c-cube

20 ms·

91.
by c-cube 3y ago
Users coming for seconds, because they've been rate limited and deprived of their dopamine hits.
92.
by c-cube 3y ago
Is it really bad? In the grand scheme of things this should have little impact. No branches. The pipeline will do these extra ops really fast. A bigger problem with perf in ocaml is the amount of indirection and the subsequent cache misses,
93.
by c-cube 3y ago
https://en.m.wikipedia.org/wiki/French_frigate_Belle_Poule_(... :p
94.
by c-cube 3y ago
No generics... Zig seems like a better fit.
95.
by c-cube 3y ago
What you're describing is literally called e-bike, bike lanes, and bike racks. It's known technology and it's just not cars. (apparently there are tiny electric cars for handicapped people, in use in the Netherlands, with rig
96.
by c-cube 3y ago
https://www.redox-os.org/
97.
by c-cube 3y ago
You could use Go with templates and htmx, no js needed :-)
98.
by c-cube 3y ago
You're moving the goalposts here. Rust is being used, in significant projects (eg: proxies at Cloudflare, a company where http is somewhat of a big deal: https://blog.cloudflare.com/introducing-oxy/ ; Dropbox&#x27
99.
by c-cube 3y ago
> No, its being used for pet projects by people. Serious development = major companies using it in backends. You mean companies like Dropbox, Cloudflare, Amazon, Microsoft...? Are they too small to be relevant?
100.
by c-cube 3y ago
As someone from the community, I absolutely love this design (and blog post). It would be especially great for returning options, tuples, results, etc. with no overhead at all. I suppose it could also be useful to allocate int64, floats, an
101.
by c-cube 3y ago
Glucose was a patch on minisat I think. So it couldn't have existed without minisat and its exceptional popularity. For a while there was even a category at the competition where entrants had to be small modifications of minisat.
102.
by c-cube 3y ago
The difficulty is which variables to pick so that all subspaces are of comparable difficulty. Cube and conquer is a nice paper on that problem.
103.
by c-cube 3y ago
Everyone middle class, no poors, no homeless? That sounds extremely nice, better than current society's big inequalities.
104.
by c-cube 3y ago
So, based on this line of reasoning, do you think zombies are an realistic danger in our near future? A lot of films have certainly been made on the subject.
105.
Why Nushell?(reillywood.com)
2 points by c-cube 3y ago|0 comments
106.
by c-cube 4y ago
So, there are no bad tools, no bad languages, ever? A chainsaw without hand guard is a fine tool, and the blame is on whoever got their own arm chopped? I find that dubious, to say the least. Languages are not all equal, obviously. You can
107.
by c-cube 4y ago
You're wrong on all points :-) Vegan cheese is not named this way to trick you, it's for vegans who want something functionally similar to cheese. Same goes for oat milk and the likes, they're used _like_ milk, in coffee, etc
108.
by c-cube 4y ago
I'm pretty sure that program equivalence is undecidable, ie you literally can't write this validation pass at all. There's a C compiler (compcert) that is formally verified to preserve the semantic of its input C code down to
109.
by c-cube 4y ago
Then please inform us on what causes the bulk of pollution in cities. It's certainly not metros or bicycles.
110.
by c-cube 4y ago
Calling Java a modern ML is a bit of a stretch :-). It's getting sum types, I hear, but it still has null, and it's not really the feeling of a nice expression oriented Hindley-Milner language. If anything scala 3 might be a close
111.
by c-cube 4y ago
You can write explicit types in OCaml, it's actually quite smooth. Over the years my style has evolved towards that and now I almost always write at least the return type when I write a function!
112.
by c-cube 4y ago
Sadly it's paywalled. Care to enlighten me? If inspiration came from smalltalk and not prolog then great, you win.
113.
by c-cube 4y ago
That's quite weird. These traits don't look like rust's traits, which really are a port of typeclasses from Haskell. I think the section about scala illustrates this well because scala's "traits" are an OO cons
114.
by c-cube 4y ago
I shudder at the idea of people who put truck nuts on their F150 having access to that kind of technology...
115.
by c-cube 4y ago
See, that's where chatGPT would have confidently made up an URL to a made up story instead of recognizing its limitations.
116.
by c-cube 4y ago
Moreover, static typing means that every expression has a well defined type (checked or inferred statically, as the name suggests). Dynamic typing means that only values, ie the result of evaluating expressions, have types in any meaningful
117.
by c-cube 4y ago
> Language has special properties that lead to the emergence of abilities previously only possible for humans. Citation needed. > Humans for example like to read fiction. It's all pretend, but enjoyable, maybe also instructive. W
118.
by c-cube 4y ago
Best take on "AI alignment" I've read in a while.
119.
by c-cube 4y ago
In this particular case, Vscode doesn't have the bug... Because it's responsible for this mess in the first place. LSP was first introduced in Vscode which is written in C++ and typescript, so they found it convenient to assume a
120.
by c-cube 4y ago
> it's only a matter of computational speed, we knew about "advanced concepts" in the 30s of the last century already. Believe it or not, but type theory and CS in general have kept making progress since. I know lambda cal

More ›