Viewing profile — c-cube

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.

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.

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…

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.

I'm worried this person is going to experience a Yak overflow, honestly.

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.

Lighters cars, electric bikes, more trains on steel tracks...

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, wh…

Thank you for sharing. What a terrifying experience. I hope you get some help to deal with the trauma.

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.

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…

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 peopl…

TIL, thank you.

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 …

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 i…

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…

Another (small) plane crashed in Philadelphia today. That's two in a couple days.

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.

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 …

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 examp…

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 …

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. Express…

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 …

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 substi…