c-cube

7 ms·

1.
by c-cube 2mo ago
definitely not suitable for runtimes. After all, OCaml's own runtime is in C, not OCaml! For compilers I agree it's a fine choice.
2.
by c-cube 5mo ago
That's very uncharitable. Crypto has been extremely useful for all sorts of grifters and enabled separating fools from their money at true web scale.
3.
by c-cube 9mo ago
It's a bit unfortunate that [1] doesn't seem to mention Fleece[2], since Fleece is an already existing, solid format with very similar properties (JSON-compatible data format, uses offsets for sharing, allows for cheap updates, an
4.
by c-cube 10mo ago
That's what Twirp ( https://github.com/twitchtv/twirp ) is about. Protobuf or JSON, over any HTTP, with a simple URL schema. It's fairly simple.
5.
by c-cube 1y ago
I'm worried this person is going to experience a Yak overflow, honestly.
6.
by c-cube 2y ago
So many little things for parents. Your list is good. I was also struck by "early baby", for example, for subtext children will only get when they re-watch in 20 years.
7.
by c-cube 2y ago
Lighters cars, electric bikes, more trains on steel tracks...
8.
by c-cube 2y ago
So you can't even debug or check the LLM's output for correctness? Good luck with that. If anything, the best use for LLMs is to produce code in very strong languages like Lean, where correctness of the code can be established. Ju
9.
by c-cube 2y ago
Thank you for sharing. What a terrifying experience. I hope you get some help to deal with the trauma.
10.
by c-cube 2y ago
Thank you, not surprising it's the nordic countries. I can't imagine this in the US but I'm glad to learn some places pull it off.
11.
by c-cube 2y ago
Where do you see sunshine? Are the "audits" public at all? It's indistinguishable from just having Musk kill every agency he dislikes with no further proof, while siphoning data to some unspecified server. The timeline also h
12.
by c-cube 2y ago
Can you point to a country that publicly releases everybody's tax returns, as a policy? I know some countries that release elected officials' returns, but not those of common people.
13.
by c-cube 2y ago
TIL, thank you.
14.
by c-cube 2y ago
You think that individual choice is the one and only way to fix climate change? The new regime's policy is "drill baby drill". That's a lot more impactful than people electing not to buy a particular brand of electric ca
15.
by c-cube 2y ago
Why does this one man, then, work for a government bent on ignoring science and denying climate change? I'm just laughing at the idea that the grievances are "petty" when the guy is leading a fascist coup right now.
16.
by c-cube 2y ago
I sincerely hope this is satire (it sure is very HN in nature). "AI" in its current generative incarnation is prone to hallucinations/confabulations that cannot be avoided. In what world is that compatible with a job where a
17.
by c-cube 2y ago
Another (small) plane crashed in Philadelphia today. That's two in a couple days.
18.
The Twine Data Format(twine-data.dev)
2 points by c-cube 2y ago|0 comments
19.
by c-cube 2y ago
Maybe you're right, that's quite sad. I found dasl.ing to be quite nice and simple as a foundation for dCBOR42, without needing the full ipfs craziness. Oh well.
20.
by c-cube 2y ago
I think they should have not reinvented the wheel ;-) and use dCBOR42, which has an actual canonical form. But somehow people like to use json in places where it's shown again and again it's a terrible choice.
21.
by c-cube 2y ago
Can nostr be used for the same form of social network as bluesky (ie, a twitter clone)? It seems that it would only show messages from people the user explicitly follows, for example, and not replies by a third user. Also it's distaste
22.
by c-cube 2y ago
A paper passport can be valid for 10 years (maybe more, I'm not sure). It can be stashed in a safe. It can be left alone for several years and be picked up just before leaving for the airport. A smartphone will not satisfy any of these
23.
by c-cube 2y ago
It's not "obviously" typed. Values in python have (runtime) types, sure. But contrast that with a statically typed language in which expressions (and functions) have types. Expressions in python do not have types at all (at
24.
by c-cube 2y ago
It's not really clear that functional style is easier/closer to proofs, tbh: https://hillelwayne.com/post/theorem-prover-showdown/ :-). There's absolutely a constructivist form of unification, the d
25.
by c-cube 2y ago
I want to disagree, but honestly the recursive method I tend to use is almost isomorphic to a loop + stack/deque. Eager elimination of `x=t` pairs, or eager normalization of substitutions sounds potentially inefficient, imho it's
26.
1933 and the Definition of Fascism(acoup.blog)
40 points by c-cube 2y ago|20 comments
27.
by c-cube 2y ago
I don't think it has absolutely all that, but janet might be close? https://janet-lang.org/ https://janet.guide/
28.
by c-cube 2y ago
OCaml might be built with makefiles, but it's also not an easy path at all. Adding a module to the compiler or stdlib is really not straightforward compared to what it'd be with dune (you have to list your new file somewhere, rege
29.
by c-cube 2y ago
I'm saying that it's force massive changes, and, really, increase prices significantly (food is more expensive in Europe for example). Same in restaurants, you'd have far less staff. It's not impossible but it'd hav
30.
by c-cube 2y ago
Some industries, like agriculture or restaurants, rely so heavily on cheap immigrant labor that enforcing this would cause an economic crash and food prices would soar. Other industries will ask prospective employees their SSN, which illega

More ›