doctor_phil

6 ms·

1.
by doctor_phil 19d ago
From personal experience in a small (total <10 people) company, we have definitely 10x our product in the last two years. What 4 devs did in 4 years have been dwarfed by what 2 devs were able to do in 1 year with AI. I'm not so fami
2.
by doctor_phil 1mo ago
Wouldn't it make sense to use mouse movement for this. Display the tooltip only if the cursor is not moving (same position two frames in a row).
3.
by doctor_phil 2mo ago
If you don't copy the data to the other process, then your garbage collection needs to be aware of all processes all the time. I'm not sure if the author would count that as a form of synchronization, but it wouldn't be unrea
4.
by doctor_phil 3mo ago
I agree, producing a lower bound is possible. It's practically very hard to give a good lower bound though. Many programs do not terminate, so we don't know if they do produce the right output eventually. In practice the best that
5.
by doctor_phil 3mo ago
Overall an interesting blog post, but the author makes this claim several times: > So you can never close the case on even one candidate, let alone all of them at once, which means the lower bound stays sealed. Which is simply not true.
6.
by doctor_phil 3mo ago
Nice, not having bodies on GET has been a pet peeve of mine for a long time. It would be nice to allow bodies on DELETE as well, but that is less of a problem in most cases.
7.
by doctor_phil 4mo ago
> UBI won't work either because it will lead to [...] extreme levels of invasive control over people's lives and what they can and cannot do I've never heard this before. I thought UBI would be very freeing and without muc
8.
by doctor_phil 7mo ago
I also for a second thought this was Rasmus Lerdorf, the creator of PHP. In my head I just have him as Rasmus L-something, so this guy was just a hash collision. :)
9.
by doctor_phil 7mo ago
Idris is slightly more mainstream I would say, but not wildy so. If you like the Haskell interop then I'd recommend staying with Agda. Scala 3 is much more mainstream and has path dependent types. I've only used Scala 2, and there
10.
by doctor_phil 7mo ago
Wow, this is so cool! Very overwhelming with so many interesting things at once. I wish I had a few months with nothing else so I could surround myself with only this. :)
11.
by doctor_phil 9mo ago
Yes. Metal. No. You want to read about "conservation of etendue" for a technical explanation. For an easier explanation, look for xkcd's excellent "Fire from Moonlight".
12.
by doctor_phil 10mo ago
I don't think this blog post reflects so well on this engineering team. Kudos to them to be so transparent about it though. "We had so many flaky tests that depended on 3rd parties that broke pipelines that we decided on micro-ser
13.
by doctor_phil 2y ago
Link to interview with Anders. (linked from the thread as well) https://www.youtube.com/watch?v=10qowKUW82U&t=1154s
14.
by doctor_phil 2y ago
Why does the fix need to remember all the nodes we have visited? Can't we just keep track of what span we are in? That way we just need to keep track of 2 nodes. In the graphic from the example we would keep track like this: low: -
15.
by doctor_phil 2y ago
Is this a serious question? From whose viewpoint are you asking?
16.
by doctor_phil 2y ago
We have a hard time understanding what dark matter is. There are theories that some of the dark matter could be tiny black holes left over from the big bang, called primordial black holes (PHBs). How can we detect PHBs if they exist? If the
17.
by doctor_phil 2y ago
The author mentions just downloading the audio track. That's a lot less data than downloading any video at all. ;)
18.
by doctor_phil 2y ago
I actually haven't tried Nix (or other nix-alternatives) yet. I've seen a lot of complaints about the language, but a lot of praise and love of the idea. I though Guix was the "main" competitor to nix, using a more mains
19.
by doctor_phil 2y ago
Preventing accidental privacy intrusion is easy. If you have a fence around your property (or even something as simple as a mowed lawn) then it is quite obvious where your plot starts and where the forest ends. Someone malicious doesn'
20.
by doctor_phil 2y ago
The point is that every function is explicitly telling you if it can or can not return null. Your editor and typechecker will tell you if you need to handle null after calling that function. If you have a non-null returning function that yo
21.
by doctor_phil 2y ago
But a switch and an if-else *is* a matter of algorithmic complexity. (Well, at least could be for a naive compiler). A switch could be converted to a constant time jump, but the if-else would be trying each case linearly.
22.
by doctor_phil 2y ago
There are a lot of endgames that are drawn because of stalemate though. Many pawn endgames ( e.g. pawn and king against lone king) are drawn because of stalemate, but would be a win in most cases if stalemate didn't exist.
23.
by doctor_phil 3y ago
Sounds like comptime from Zig. There are a few others that does something similar, but Zig probably has most mind share right now.
24.
by doctor_phil 3y ago
Just a fyi: your website is not readable on mobile. (At least not on my firefox/android) The text clips to the left. Desktop mode works though.
25.
by doctor_phil 3y ago
Bevyengine is open source and very findable by most search engines. Here is a direct link: https://github.com/bevyengine/bevy
26.
by doctor_phil 3y ago
I don't get the American fixation of cars. Isn't public roads a mild form of communism?
27.
by doctor_phil 3y ago
Missed opportunity to use V and W as single/double quote? :-)
28.
by doctor_phil 3y ago
Nice. I thought that Zig would be a nice language for writing NIFs - but of course Rust would be good too. Cool!
29.
by doctor_phil 3y ago
I found this book very helpful as a supplement to "Crafting Interpreters". The BEAM has a lot of interesting features that many mainstream languages don't. I found the parts about processes, tagging, memory and reduction coun
30.
by doctor_phil 3y ago
Past discussions: https://news.ycombinator.com/item?id=14061985 https://news.ycombinator.com/item?id=23718278 https://news.ycombinator.com/item?id=17003897

More ›