c-cube

I don't get how you can name your DB after particleboard, not the strongest material, and achieve hype ;-)

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 offsets for sharing, allows for cheap updates, and uses binary search on arrays to achieve O(ln n) lookups in large tables or arrays, etc.)

[1]: https://lite3.io/design_and_limitations.html#autotoc_md31 [2]: https://github.com/couchbase/fleece/

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, where correctness of the code can be established. Just trusting machine code output would be irresponsible.

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 some unspecified server. The timeline also hints at no serious audit taking place.

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.

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 to buy a particular brand of electric cars.

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.

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 mistake can kill hundreds of people a few minutes or seconds later?

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 again it's a terrible choice.

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 distasteful to do any sort of content addressing on json data. One would think they'd learn and use CBOR after seeing secure scuttlebutt, but no? Now you have to worry about only sending text payloads, escaping some characters, avoiding whitespace when printing the json... Guaranteed to be a source of bugs...

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 properties.

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 least before annotations were added).

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 description of a particular unification algorithm is typically a rewrite system (OP has one here: https://www.philipzucker.com/assets/traat/unify_rules.png) which qualifies as constructive imho (it builds an explicit solution, ie a substitution). But the imperative implementation of such a rewrite system can be readable too (especially if you still have pattern matching as in, say, Rust or OCaml).

I don't think there's any link to be had with the Curry Howard correspondence here. No types, no lambda calculus, nothing of the sort.

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 better to check that on the fly upon selecting a pair.

I don't think it has absolutely all that, but janet might be close?

https://janet-lang.org/ https://janet.guide/

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, regenerate dependencies, order matters in obscure ways, etc.). To be clear, OCaml is a special project since it also has to solve bootstrapping issues, but still, it's not an argument for "makefiles just work". Dune works extremely well for pure OCaml projects.

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 have to go with cultural changes, and have a dire impact on poor people. Just because the US is rich doesn't mean it's working well, just look at healthcare and how costly and unfair it is.