pmarreck

10 ms·

151.
by pmarreck 4mo ago
I think the biggest problem is not that there may be many truths, but that people don't even bother seeking out the best evidence or reasoning against their truths. Especially in tech, for which there are basically only tradeoffs.
152.
by pmarreck 4mo ago
I love the fact that he intended to become a card shark but his mom steered him towards magic instead, and then he got hired by the US Army to teach enlistees about the various scams they might encounter overseas, in addition to serving as
153.
by pmarreck 4mo ago
If, instead of doing a binomially-distributed cut, we do a 2-step cut which consists of first a random cut (then take the bottom portion and place it on the top, which in essence shifts all the cards by a random amount), and THEN do a perfe
154.
by pmarreck 4mo ago
this is really cute (speaking as an actual sailor), but does it use actual wind physics? because it doesn’t look like it also, I need a fucking windvane, dude, please basically, what this guy said: https://news.ycombinator.com&#x
155.
by pmarreck 4mo ago
I, too, love the computer. Nothing will take that away. I have plenty of evidence for it, too. I think those of us who truly love the mechanism will not only survive the AI wave but will surf that motherfucker because WE KNOW, AT A VERY DEE
156.
by pmarreck 4mo ago
Flash was better back when it was called VideoWorks. ;) Notably, there was also a MusicWorks. Both Mac-only. But like EARLY Mac-only. /dates me
157.
by pmarreck 4mo ago
lol saw that one too "A thorough written survey of why .NET garbage collection causes latency spikes in HFT contexts" i'm like, dude, just rewrite in Zig if you want that control back, not all of your compute goodies will com
158.
by pmarreck 4mo ago
Related: I'm writing a file-format validator whose first focus is on image data. https://validate.pics Also related: I'm using LLM assistance to write it, but I also have a test suite that proves it's working (I c
159.
by pmarreck 4mo ago
You know what nearly-mindless, time-consuming task it can probably do better than anyone and free you up to keep on coding? Deploying and watching CI and looping until it passes.
160.
by pmarreck 4mo ago
on "a tool should not make you feel good" I never thought I'd actually see an anti-joy argument being used in all seriousness, but welcome to 2026! https://news.ycombinator.com/item?id=48413983 Thoughts on th
161.
by pmarreck 4mo ago
So is ADHD also to blame for "being addicted" to driving instead of walking? What about using a sewing machine instead of hand-sewing? Washing machines instead of hand-washing? (Some people still swear by air-drying instead of usi
162.
by pmarreck 4mo ago
> I guess I just don't see AI being a net positive anywhere well, at least you're being honest about your non-empirical biases...
163.
by pmarreck 4mo ago
Unless you enforce those macros somehow in a team setting, someone's going to forget to use them, and then you're still stuck with the original problem.
164.
by pmarreck 4mo ago
Well, you could go ask Richard Feldman, who I believe cited that reason to rewrite the nascent Roc language from being implemented in Rust to Zig, or anyone else who is moving from Rust to anything else. I've seen multiple people at th
165.
by pmarreck 4mo ago
> I just want my logic to work what the heck has convinced you that logic is somehow flawed in a new low-level language? LOLLL
166.
by pmarreck 4mo ago
it is my second choice next to Zig and does have a lot of cool features, for sure. The nice thing is that all these languages feature easy C interop so you can use a C FFI as the interface between them if you want to experiment with, for ex
167.
by pmarreck 4mo ago
that’s not what the benchmarks say about Go, and based on multiple reports, Rust does not scale well into large codebases, which eventually become brittle and very difficult to change Zig is a return to “no magical effects,” except with rea
168.
by pmarreck 5mo ago
Cool, now combine this with being a parent of young kids in a 2-income family without any other assistance.
169.
by pmarreck 5mo ago
That must explain the projects moving away from Rust then
170.
by pmarreck 5mo ago
Fair enough
171.
by pmarreck 5mo ago
> "I don't like this attitude" Cool, let me know when you have a rational counterargument then, some of us have gotten fed up with Rust (especially at scale) and are very much enjoying Zig (which has no magic, which turns
172.
by pmarreck 5mo ago
Dumb move. You cannot trust that they won't leak it anyway to make additional profit, since they're not accountable except to their made-up name.
173.
by pmarreck 5mo ago
I'm working on 3 apps (Zig core, C FFI, Windows/Mac frontends) that haven't been released yet. One verifies the binary data of over 200+ common filetypes, to the extent possible. Another protects data archives/data colle
174.
by pmarreck 5mo ago
There's already a product that does this lol Aaaaand now I can't remember the name of it
175.
by pmarreck 5mo ago
Same reason Zig is great for LLM's
176.
by pmarreck 5mo ago
If you're going to go Haskell, why not go all the way to Lean 4 and get mathematical provability along with reasonable speed and type-safety?
177.
by pmarreck 5mo ago
Python also has a rather high number of footguns, which is not a feature of other equally-capable languages.
178.
by pmarreck 5mo ago
Exactly. Why would you not use the language at the pareto-optimal max for speed and restrictiveness, given the use-case?
179.
by pmarreck 5mo ago
Well, that was an unexpectedly emotional trip through most of my nerd life to date lol
180.
by pmarreck 5mo ago
There's nothing I've seen that cannot be modeled as an asymptotic approach to highish human intelligence. Which makes sense, since it's essentially a parroting model, and the limit of that is by definition, the same highish h

More ›