mrkeen

7 ms·

1.
by mrkeen 3d ago
Same rationale as flow valuing. Some people like values being reassigned, and some people like types being reassigned. You might be reading too much into the union example. The checker just doesn't know if the middle block ran, so ma
2.
by mrkeen 4d ago
Yep, this sounds like conflating two different ideas about SSA. You could parse a source language with shadowed variables into an AST, and then one of your earliest AST transforms could be a 'de-shadowing' pass. The resulting AST
3.
by mrkeen 4d ago
Ok. More thoughts. I was trying to see what was special about Crystal in this regard. It seems like if you took any ML or Haskell-like, you'd have type inference. Then you could allow shadowing (Rust-style) meaning the same symbol in t
4.
by mrkeen 4d ago
No. Type systems are unrelated to abstract machines which are unrelated to usability. Type inference/checking happens early in the pipeline. SSA is a way of laying out assembly instructions for an abstract machine. I say abstract bec
5.
by mrkeen 4d ago
The solution to this is assume an async spine to your program, and branch off to as much sync code as possible. It's the same lesson you learn wrangling the IO monad in Haskell, or dependencies (like databases) in OO-land.
6.
by mrkeen 4d ago
I started reading from the first sentence
7.
by mrkeen 4d ago
He won. The only thing sinking him is a term limit.
8.
by mrkeen 4d ago
Like I said, I got curious to see what they've been up to. Links would have been better.
9.
by mrkeen 5d ago
It got me curious, so I took a look at what Iran has been up to. https://www.aljazeera.com/news/2026/1/13/a-timeline-of-crise... It doesn't look like foreign conquest is part of their MO.
10.
by mrkeen 6d ago
> If only 2 years ago somebody said GitHub would be no longer relevant soon, nobody would believe them. GitHub was the undisputed leader in repository hosting [..] > GitHub has done too many great things over the years, so I hope it r
11.
by mrkeen 7d ago
And by my work, you are of course talking about Harry Potter.
12.
by mrkeen 7d ago
Good for them. They can sell not-your-work, and you can sell your work.
13.
by mrkeen 7d ago
What's the most generous, charitable definition of an alternative?
14.
by mrkeen 8d ago
Found another one: https://www.cs.columbia.edu/~sedwards/classes/2021/4115-fall... https://github.com/kkysen/cstar And to sibling comments: I care. Non-mainstream languages are talkin
15.
by mrkeen 10d ago
I'm not a C++er, but I sorely miss this is nearly every non-Haskell language. I have a type capable of some behavior, e.g ToString. I also want to write general code operating on such objects (highlighting, obfuscating passwords, esca
16.
by mrkeen 10d ago
It's evidence of bad abstraction if you need everyone else to make changes and couple themselves directly to you. If for some reason your services can't speak an already common language, I think it's on you to add those shims
17.
by mrkeen 11d ago
C already has vel and aut operators, but now we can name them as such!
18.
by mrkeen 12d ago
The article shows how to have a fixed array of maybe-null orders. It doesn't show how to place, cancel, or execute an order. It's even worse than just leaving this core functionality as an exercise for the reader. Because the f
19.
by mrkeen 13d ago
> TigerStyle: All memory must be statically allocated at startup. No memory may be dynamically allocated (or freed and reallocated) after initialization. This avoids unpredictable behavior that can significantly affect performance, and a
20.
by mrkeen 16d ago
Well did you learn proper computer science or did you learn plain wrong computer science?
21.
by mrkeen 16d ago
Don't forget to define OOP before requiring it!
22.
by mrkeen 16d ago
Admittedly I read this pretty quickly, but this is just structs. The "behaviours" being modelled here were data access. Writing .name() instead of .name. You can save yourself the time of manually packing these structs by writing
23.
by mrkeen 17d ago
Re-run the hypothetical, but this time without the LLM labels. Because LLM disclosure will always be voluntary.
24.
by mrkeen 17d ago
Hard to tell if sarcastic, but anyway. I think the GOTOers just died out. Some day null, statements (rather than expressions) and side-effects will have always been wrong.
25.
by mrkeen 17d ago
It will of course be theatre. Wherever they go will be LLMs too, even if there's a different social contract. Speed cameras don't stop speeding, the death penalty doesn't stop narcotics, copyright doesn't stop LLM vendo
26.
by mrkeen 17d ago
The government is not the people. The process goes something like: A) I get voted in if I give the people what they want B) The people don't want to be spied on C) I increase spying D) ??? E) Profit! I'm still hazy on the details
27.
by mrkeen 17d ago
Per another comment here: "Generally speaking the more important an issue is, the less it is allowed to be affected by democratic processes." The trick is to have a two party system and agree on all the important points. There are
28.
by mrkeen 17d ago
https://www.schneier.com/blog/archives/2015/09/how_gchq_trac...
29.
by mrkeen 17d ago
Is there actually a way to 'be careful'? The moral of this story seems that you'll step on landmines. And perhaps that 'managed' databases aren't that managed.
30.
by mrkeen 18d ago
Good writing includes some examples or statistics. The ratio of grifters to non-grifters could have halved or risen tenfold in the last few decades. How would we know? What percentage of the population "now appears willing to devote e

More ›