c-cube

15 ms·

121.
by c-cube 4y ago
40 years is a really long time in computing. If you add to that the fact that C was already antiquated when it was designed, it means a modern language that learnt from decades of practice and CS advances can be a truly different beast.
122.
by c-cube 4y ago
IRC is not a book. It's spoken language in written form, not written language. There's not always full sentences or paragraph structure. Seems like this distinction has escaped you.
123.
by c-cube 4y ago
`let` takes a pattern, these are not just found in `match`. The `_` here is still a pattern.
124.
by c-cube 4y ago
Nitpick: _ is not a variable, it's a wildcard pattern that means "ignore this value". It can occur in other places like tuple deconstruction and the likes.
125.
by c-cube 4y ago
But the problem is that C fundamentally limits reusability! I have great respect for you and redis, but your examples are telling: they deal only with strings. With Rust or C++ you can have an extremely efficient, well tested, robust gener
126.
by c-cube 4y ago
Clearly that's a matter of taste. The popularity of rust shows that some people prefer writing it to writing C or C++, otherwise they'd just write C or C++. And yeah, personally I'd rather spend time fixing compile time error
127.
by c-cube 4y ago
French rocket scientists get toilet breaks and healthcare, as well as other advantages of living in a country with some semblance of safety net. Just comparing raw salaries is misleading.
128.
by c-cube 4y ago
Yeah, Americans often stick to the first version of something that worked well enough. Examples: election system (indirect), constitution, 110V sockets, iPhones, imperial system of units... It's hard to break established practice.
129.
by c-cube 4y ago
They also do that, the post refers to their Quickcheck library. But how do you property test the Fibonacci function ? There isn't much to say about it...
130.
by c-cube 4y ago
If we want hard problems to solve, surviving climate change is a good one that's definitely going to matter soon. It's a lot more important than putting boots on Mars.
131.
by c-cube 4y ago
Why do you need to be on Mars to do that? It's simpler to do everything in orbit, which is the real gate to the asteroid belt. Or directly establish bases in the belt, if we knew how.
132.
by c-cube 4y ago
It's pretty strange. Rust is dismissed because interop with C++ is hard, but then Val is cheered on despite its C++ interop basically being a big "todo" item.
133.
by c-cube 4y ago
There are so many more differences between C and C++. Templates, RAII, type inference, lambdas, etc. These are the abstractions that try to be zero cost; C has little abstraction overall so it doesn't claim "zero cost abstraction
134.
by c-cube 4y ago
Is there actually any proof system running on GPUs?! I'd love to read about that. Afaict it must be super hard because tree manipulation is not great on GPUs...
135.
by c-cube 4y ago
I'm not sure you can call the type rules for CiC "intuitive for programmers". They're quite powerful and go further than "type of argument matches expected type". Compared to CoC, first order logic is a model o
136.
by c-cube 4y ago
He's on display on Twitter every day all day. No need for conspiratorial thinking, people can make their opinions based on years of lying about FSD, being an absolute asshole to (former) Twitter employees, and generally flailing around
137.
by c-cube 4y ago
A lot of cities were rebuilt in the 1950s to accommodate cars and car oriented design, destroying neighborhoods in the process. Before that they had public transport and better walkability. The real solution is to undo that.
138.
by c-cube 4y ago
Super interesting. I always wondered why the US call "cider" their apple juice and do not know the real thing.
139.
by c-cube 4y ago
If your language matches ocaml's runtime semantics, then sure. It means uniform representation, 63bits integers, etc. but can be quite useful if your language is ML-ish.
140.
by c-cube 4y ago
I haven't heard anyone talk about STM for OCaml, funny. People talk about, or work on, lightweight fibers, lockfree data structures, io_uring, etc. but not STM. Is it falling out of fashion? Even in clojure I hear that few people actua
141.
by c-cube 4y ago
I thought C11 had threads and atomic and concurrency primitives?
142.
by c-cube 4y ago
It's just very hard to write a solid concurrent GC. There are not many in existence today. Here the challenge was doubled by the obligation to preserve the single core performance of existing programs, with the very fast allocation pat
143.
by c-cube 4y ago
The Effects module is kind of low level right now, as it understand it. You should like at Eio for a library that gives you nice fibers and non blocking IOs on top of effects! It's a neat library.
144.
by c-cube 4y ago
Does that also include pedestrians and cyclists killed by drivers?
145.
by c-cube 4y ago
Http 1.1 doesn't use UDP, so probably not?
146.
by c-cube 4y ago
I'm horrified by the words "saving a single gigabyte". What have we come to? Wasting a billion bytes is a small deal now? :-/
147.
by c-cube 4y ago
I wonder if it's a combination of phones, car centric city design with wide stroads, and automatic transmissions. The latter two make driving very easy and boring, with long waiting periods at red lights, high speed between the lights,
148.
by c-cube 4y ago
That's bad driving, sorry. If you don't have good visibility, just don't turn right on red. It's a stupid law that allows it anyway and if makes streets more dangerous to pedestrians.
149.
by c-cube 4y ago
In some other countries (many? Most? idk) you file taxes directly on the government's website. No private third party is involved. In France for example, in a simple case (employee) it can take as low as few minutes to file your taxes
150.
by c-cube 4y ago
He hasn't had time to know them. He doesn't even know who does what and who's already been fired. It's only been a few weeks. He's only now wanting to "understand the tech stack"! He might think he knows

More ›