YellowSuB
Re:Type Theory and Functional Programming (1999) [pdf]
on Wednesday October 01, 2025 @08:24AM (#45436839)
Is this book available in print version anywhere? I am unable to find it except for a used hardcover.
Re:My favourite animation trick: exponential smoothing
on Friday March 08, 2024 @06:08AM (#39639968)
Yeh got the same problem on firefox, had to kill it.
Re:VectorDB: Vector Database Built by Kagi Search
on Sunday November 26, 2023 @07:51AM (#38421236)
Yes it is made with Crystal
I figured he was referring to Ø used in Danish.
It seems to be an incredibly heavy site at least on my work computer, locks up the browser on scrolling the pages and severe latency on clicking actions.
Re:Unlimited Kagi searches for $10 per month
on Saturday September 23, 2023 @02:20PM (#37625879)
I was just thinking about purchasing a subscription last month, glad to see the price has dropped, I will definitely be buying it now,, also seems like they allow using PayPal which is a bonus. The results I've gotten on kagi at far superior to Google so I am happy to make the switch
Re:Lazygit: Simple terminal UI for Git commands
on Wednesday July 19, 2023 @08:14AM (#36785068)
Yes, git generally stages just hunks with the patch add mechanism, but it is possible to stage single lines, but it is a bit tedious, see: https://kennyballou.com/blog/2015/10/art-manually-edit-hunks...
Re:Learning to Touch Type Again
on Thursday July 13, 2023 @04:43PM (#36715716)
Yeah I've been thinking about getting a preonic, or at least something slightly larger than the planck, at times I find it a bit too minimal, also I would like to have two orthos so I don't have to lug one to work every day.
Re:Learning to Touch Type Again
on Thursday July 13, 2023 @10:26AM (#36709640)
I spent a long time trying to learn touch typing on a regular keyboard but I could never get it to stick, it always felt like the keys were off, due to the stagger, and I would frequently hit two keys at the same time. Getting an ortholinear keyboard (planck) really helped me and finally I can touch type at about 70-90wpm without the awkwardness of staggered keys. It feels like the keys are exactly where they are supposed to be, instead of always being slightly off angle. I guess my brain is just wired differently or something. I don't think there is any way to go back to a regular keyboard for me, which was a minor issue when I started working, but I started bringing my ortho to work and it has worked nicely for me.
Re:Mullvad Leta: A search engine used in the Mullvad Browser
on Tuesday June 20, 2023 @10:15AM (#36404317)
Well if that is 1 million active users I would bet that there are still many more 'used' keys, myself being a Mullvad user have used about four different accounts, since you can just generate a new one. I don't know if this really makes a difference though
Re:Key witness in Assange case jailed after admitting to lies and crim...
on Saturday October 09, 2021 @07:21PM (#28814243)
Well I meant in contrast to US prison cells, since I assumed most users here are from the US, maybe I'm wrong on that front.
Re:Key witness in Assange case jailed after admitting to lies and crim...
on Saturday October 09, 2021 @01:13PM (#28811532)
No that is a picture of him going into the courthouse in Reykjavík. But prison cells in Iceland are pretty nice though, here is an image of a cell in the new prison Hólmsheiði: https://axis.is/wp-content/gallery/holmsheidi/IMG_1081.jpg
But Litla-Hraun is an older building so the cells are not as nice there.
Re:Server.casino – Random Servers Across the Internet
on Tuesday June 22, 2021 @11:38AM (#27593051)
I also found that on my end, forgot I was running lighthttpd with some test website.
Re:Show HN: Wayland Explorer – Easily read Wayland protocol documentat...
on Monday April 05, 2021 @11:51AM (#26700568)
You should take a look at the Wayland book https://wayland-book.com/
Written by Drew who is the author of wlroots, a fairly popular Wayland compositor library.
Re:Luakit – fast, extensible, and customizable web browser
on Sunday May 05, 2019 @05:14PM (#19835118)
I quite liked uzbl when it was being more actively developed, seemed like a very promising project. Unfortunately development stalled some time ago and it doesn't seem like it's going to start again any time soon. So I migrated to luakit. Luakit and uzbl are pretty much on par with each other feature wise and both are pretty scriptable.
Re:Luakit – fast, extensible, and customizable web browser
on Sunday May 05, 2019 @01:08PM (#19833742)
Try looking at the settings page to see if it could be disabled. There are settings relating to video playback and hardware acceleration. There was a bug in hardware acceleration that caused the browse to use a lot of cpu, maybe it has been fixed at this point.
Re:Wittgenstein’s theories are the basis of all modern NLP
on Thursday January 10, 2019 @10:48AM (#18874659)
or Neuro-Linguistic Programming
Re:Wittgenstein’s theories are the basis of all modern NLP
on Thursday January 10, 2019 @10:46AM (#18874649)
Someone actually published a case report on it in European Child & Adolescent Psychiatry.
You can read it here https://www.researchgate.net/publication/12521251_Did_Ludwig...