c-cube

21 ms·

241.
by c-cube 5y ago
High level bindings to cURL would be better imo. You don't reinvent this tricky wheel, and you get a lot of features (even async I think?) on top of a strong implementation. And a http server really doesn't belong in the stdlib of
242.
by c-cube 5y ago
For the pictures I recommand using syncthing. Works very well, and if configured to upload only on wifi it won't kill your data plan.
243.
by c-cube 5y ago
The words "static" or "analysis" do not appear there. I imagine you meant that you can runtime check the specs, which, well, is no replacement for a type system.
244.
by c-cube 5y ago
Exceptional comment, thank you.
245.
by c-cube 5y ago
Can you? Is there any tool that actually does that reliably?
246.
by c-cube 5y ago
I'm not saying types always model your problem properly! That's not even well specified. I'm saying that "x has type foo" is never wrong if the program typechecks properly. That's totally different, and it mean
247.
by c-cube 5y ago
Except, of course, that specs are only tested correct, not proven correct like types would be. Types (in a reasonable static type system, not, say, C) are never wrong. In addition, specs do not compose, do they ? If you call a function g in
248.
by c-cube 5y ago
Maybe it's because real engineering has higher stakes than a crud app. Condos can kill, bridges can kill, Javascript forms or video game engines generally can't. If they could we'd witness a lot more deaths, despite your conf
249.
by c-cube 5y ago
I think it's the opposite. If you give up on plain text, you forfeit a gigantic number of existing tools (git, grep, editors with their plugins, sed, etc.) and have to redo all of them from scratch. The big issues with making a new lan
250.
by c-cube 5y ago
Effect systems are both a runtime thing (similar to exceptions or lisp's conditions, in some sense), and a type-level thing (have a set of effects attached to an arrow, with type inference that is able to infer the effects and compose
251.
by c-cube 5y ago
The future is effect systems, not monads. The next ML will be more similar to Koka than Haskell, and yes, it'll be strict. Maybe it'll even be named OCaml if the efforts to bring effect typing into it are eventually merged :-).
252.
by c-cube 5y ago
I think it's a pity that SML didn't take over the world, but these days, as an OCaml user, I'd rather see OCaml gain popularity. OCaml now is a lot more advanced and "modern", I think — GADTs, first class modules, e
253.
by c-cube 5y ago
Amazing. Were you not a child yourself at some point?!
254.
by c-cube 5y ago
So you want a lot of children, but not to take care of them. Ok.
255.
by c-cube 5y ago
Chia is proof of waste, it doesn't store anything useful.
256.
by c-cube 5y ago
It's almost like academics are normal people who participate in the world, and not monks in an ivory tower like we so often read here!
257.
by c-cube 5y ago
"in 10 years, AI will drive most cars". See how that one panned out? Programmers are safe for still quite a while.
258.
by c-cube 5y ago
.
259.
by c-cube 5y ago
But neovim is only getting started. In a few years, the benefits of elisp over lua will probably be nil, and luajit is faster. I expect a lot of these points you make (which are valid) to become less and less relevant. First examples are al
260.
by c-cube 5y ago
The article doesn't expand much on the performance cost. Another comment mentions Swiss tables, which are what rust HashMap is based on these days, and it's unlikely that python's maps are as optimised. Not to mention the una
261.
by c-cube 5y ago
Why are you wasting your time talking here, when Facebook has billions of users?
262.
by c-cube 5y ago
A gemini-like but designed around a global content-addressed structure would be a lot more interesting, imho. It doesn't even need to be tied to gemini. If you know how to do that then you should do it!
263.
by c-cube 5y ago
You can extend redis with lua to perform atomic operations, too. And it has bindings in a lot of languages by virtue of its protocol being so simple.
264.
by c-cube 5y ago
The vaccine is safer than Covid, by your own metric. How many people did the vaccines kill so far? How many people died of Covid? Same goes for supposed long-term effects. The vaccines might have some, but it's less likely than the vir
265.
by c-cube 5y ago
A temporary BDFL... Would that be called a TBD (temporary benevolent dictator)? :)
266.
by c-cube 5y ago
See, that's just ridiculous and shows how undefined and vague "OO" is. The only relevant feature there is encapsulation, that most languages provide in some way. How is that OO? I vote for just not using this term anymore and
267.
by c-cube 5y ago
If it takes 8s to load the file, the better design is to take 8.05s instead to display the splash screen and a progress bar to indicate to the user that their request is being processed. Good interfaces are never unresponsive. So, bad examp
268.
by c-cube 5y ago
There is such as thing as letting the dust settle before you make your move. Look at what Facebook has done with whatsapp, a few years after the acquisition; clearly it was planned from the start but they had to wait a bit.
269.
by c-cube 5y ago
Why the heck would a IRC network, run by volunteer, with infra graciously provided by sponsors, have to sign NDAs with anyone? Everything about Freenode should have been transparent.
270.
by c-cube 5y ago
Thank you for the answer :-). I'm still surprised because to me, Rust looks a _lot_ like OCaml with curly braces. The surface lexical conventions are mixed with C++ (like `::` for namespacing) but code still looks more like OCaml than

More ›