mrkeen

33 ms·

691.
by mrkeen 1y ago
> In Odin all variables are automatically zero initialized. Not just integers and floats. But all structs as well. Their memory is filled with zeroes when those variables are created. > This makes ZII extra powerful! There is little r
692.
by mrkeen 1y ago
I don't think we'll ever do better than 'IO is made out of bytes'.
693.
by mrkeen 1y ago
LLMs reinforce what the majority is already doing, because that's what it's trained on. I'd like ORMs to go away but LLMs aren't going to do that.
694.
by mrkeen 1y ago
> The group [...] said the amendments tabled for the Lords debate would create a requirement for AI firms to tell copyright owners which individual works they have ingested. They are demanding to be informed.
695.
by mrkeen 1y ago
Language adoption maybe , but not language development . Language dev requires precise semantics. If a user decides that types or other academic nonsense are overrated, they can get away with it. You can be cavalier and just let your ap
696.
by mrkeen 1y ago
Why didn't they get their usual 9-5ers to do the job? Why bother getting the guy who'd published the computing paper in academia in 1936 to come work at Bletchley in 1937?
697.
by mrkeen 1y ago
He's losing it. If the penalty I pay for checking my types at compile time is the ouroboros eating its own tail, I guess I'll just pay it?
698.
by mrkeen 1y ago
Nah. check :: Bool -> a check True = undefined check False = undefined check _ = undefined 7:1: warning: [GHC-53633] [-Woverlapping-patterns] Pattern match is redundant In an equation for ‘check’: check _ =
699.
by mrkeen 1y ago
This may not go over as well as you'd think. I took Haskell in the same uni course with FSAs, Turing machines, Lambda calculus, natural deduction, Hoare logic and structural induction. So I was exposed to the "base case & step
700.
by mrkeen 1y ago
As of right now, search appears to be completely broken. I can see that the keyword I'm looking for is in the messages. But it won't show up via search (either from the top bar, or from the helpful "press ctrl-f to search w
701.
by mrkeen 1y ago
Couldn't put it better myself. I have the toughest time trying to communicate why f(x) should equal f(x) in the general case.
702.
by mrkeen 2y ago
As they say, we shouldn't judge AI by the current state-of-the-art, but by how far and fast it's progressing. I can't wait to see future models get it even more wrong than that.
703.
by mrkeen 2y ago
> So with that in mind, how can we reject the possibility that as an AI Agent (e.g. Aider) works on a program over time, it bootstraps a theory? That's the appropriate level of faith for today's LLMs. They're not good eno
704.
by mrkeen 2y ago
Sure. I used to enjoy playing the Sims until I had that gut realisation that I was trying to get them to grind out better lives, when I should just spend that time doing it for myself. I also bought Shenzhen I/O, because the idea of b
705.
by mrkeen 2y ago
> ZFS is notorious for corrupting itself when bit flips hit it and break the checksum on disk. What's a bit flip?
706.
by mrkeen 2y ago
He pleaded guilty and then walked away without a conviction or penalty (unless he's convicted for something else in the near future, in which case this penalty would be added to that)
707.
Australian who ordered radioactive materials walks away from court(chemistryworld.com)
334 points by mrkeen 2y ago|364 comments
708.
by mrkeen 2y ago
Follow-up from: 'Naive' science fan faces jail for plutonium import https://news.ycombinator.com/item?id=43449645
709.
by mrkeen 2y ago
When I pitched Kafka to my backend team in 2018, I got pushback from the ops team who wanted me to use something AWS-native instead, i.e. Kinesis. A big part of why I doubled-down on Kafka is because it's vendor neutral and I can just
710.
by mrkeen 2y ago
It's not just about the scaling, it's about solving the "doing two things" problem. If you take action a, then action b, your system will throw 500s fairly regularly between those two steps, leaving your user in an incon
711.
by mrkeen 2y ago
I once worked in a small VB6-based team - you can probably guess the attitudes and surrounding tech were just as out of date. I tried to push for using svn, rather than just making copies of our source code folders and adding dates to them.
712.
by mrkeen 2y ago
They stole the music too. Anti-pirating ad music stolen [2013]: https://www.abc.net.au/science/articles/2013/01/29/3678851.h...
713.
by mrkeen 2y ago
A lot of people want to "inline" IO from a non-IO function too. I'm glad that the fight happens between the developer and the compiler so that it doesn't have to happen between developers on every single pull request.
714.
by mrkeen 2y ago
> Null is a valid state, not something incredibly scary best dealt with with a full reboot or better yet throwing away the container. Agreed. It should be a first-class construct in a language with its own own proper type, Null null
715.
by mrkeen 2y ago
Excessive brackets are an evergreen complaint against lisp. Here's one that made the front page, same time as your comment: https://news.ycombinator.com/item?id=43753381
716.
by mrkeen 2y ago
> Put application state and data in dozens of queues that make the application prone to failures, race conditions and incorrect results In 2025 I literally have no way of verifying if a system is in the correct state other than to hold t
717.
by mrkeen 2y ago
The functional fanboys have moved onto languages that don't overflow the stack.
718.
by mrkeen 2y ago
When in doubt, measure! Your code didn't show a quadratic blowup in the timing: main = print . sum $ take 1000000 ints ints = 1 : map (+1) ints 500000500000 real 0m0.022s user 0m0.021s sys 0m0.000s
719.
by mrkeen 2y ago
data.iter() .filter(|w| w.alive) .map(|w| w.id) .collect() collect(map(filter(iter(data), |w| w.alive), |w| w.id)) The second approach is open for extension - it allows you to write new functions on old datatype
720.
by mrkeen 2y ago
Nothing that LLMs produce today is good enough to bypass a developer who can judge whether it's correct or not.

More ›