c-cube

38 ms·

361.
by c-cube 7y ago
I'm hopeful about Crystal filling this niche in the future.
362.
by c-cube 7y ago
horrendously slow `svn log`, locking files, bad branching… I only used it when I was a student but I don't miss svn at all.
363.
by c-cube 7y ago
how about, instead of making grand claims about compilation speed and features, the language's author actually published the code and benchmarks?
364.
by c-cube 7y ago
It's misleading because "serverless" intuitively means peer to peer, where everything runs on clients and there are truly no servers. So unlike "bug" it has an intuitive meaning that is the opposite of what the buzz
365.
by c-cube 7y ago
Ah, thanks for the precision. How do distributions typically handle that? And why does GNU feel the need to patch rustc, is it for things that can't be upstreamed?
366.
by c-cube 7y ago
The domain name is quite adequate, this is hyperbola indeed. Since when do the 4 freedoms include the right to fork under the same name? This is a rude thing to do anyway (hostile, even).
367.
by c-cube 7y ago
It's very expressive and pleasant (and I never used ruby), while being fast and statically typed. That's a great combination of features. If it were stable, it'd be a serious contender to Go imho.
368.
by c-cube 7y ago
What kind of text do you have to process at your job, that you never meet any unicode in it? Nowadays unicode is everywhere, especially with emojis. Even a simple IRC bot needs to handle that.
369.
by c-cube 7y ago
https://ircv3.net/ solves that nicely.
370.
by c-cube 7y ago
in my experience, even just setting +s to enforce TLS connections was enough to remove all spam.
371.
by c-cube 7y ago
Lean has independent proof checkers, and Coq could have, too. The fact that these are big systems doesn't harm the de Bruijn principle: you only need to trust the checkers… (btw I couldn't find the source code for the proof checke
372.
by c-cube 7y ago
I'm surprised by this statement. Most of the research in automatic theorem proving (including for first and higher order logics) is based on classical logic, because it's much easier to reduce to a search for false, than to try an
373.
by c-cube 7y ago
Came here to say that. Here in the US I see people driving with their phone in their right hand, which is just not possible with a manual transmission car (and I never saw that in France). It might also explain a bit why so many people driv
374.
by c-cube 7y ago
For me it's more: what does it offer over Crystal (apart from being freshly 1.0). Crystal seems a lot nicer and a bit more, hum, uniform. Nim seems to have a lot of features to be aware of, and doesn't have type-safe nil.
375.
by c-cube 7y ago
Each of the 28 participants will run its own hardware and validator on it (there are hardware requirements on top of the 10M$). FB might control the only wallet, initially, but not the validators.
376.
by c-cube 7y ago
mutt is single threaded, for a start.
377.
by c-cube 7y ago
It's not the same approach as CDCL(T) (the stuff in z3, cvc4, and other classic SMT solvers). Basically CDCL(T) uses the theory part (the "T") as a callback in the inner loop of the SAT solver (to validate partial models). iP
378.
by c-cube 7y ago
What if your domain problem (say, compilers, symbolic algorithms) doesn't have a clear notion of ownership because everything is a shared DAG that may survive for arbitrarily long? Not every problem has clear ownership imho (and tools
379.
Local-first software: You own your data, in spite of the cloud(inkandswitch.com)
566 points by c-cube 7y ago|190 comments
380.
by c-cube 8y ago
It doesn't seem possible to backport pattern matching, sum types, borrow-checker, and the expression based language into C++. This kind of things really needs to be there from the start. At work we use a pretty big C++ library maintain
381.
by c-cube 8y ago
What safety feature does rust lack exactly? I know C++ has some more expressive features (like templates on values), but safety? C++ is as unsafe as it gets…
382.
Solving Sudokus with Msat(blag.cedeela.fr)
1 points by c-cube 8y ago|0 comments
383.
by c-cube 8y ago
I'm pretty sure the Animal Liberation, considered one of the founding blocks of militant vegetarians and vegans in occident, raised this question in… 1975. I think it would be like horses, you would still find (healthy, relatively happ
384.
by c-cube 8y ago
Isn't Graal an Oracle thing? I don't understand why anyone would want to touch that even with a 10-foot pole.
385.
by c-cube 8y ago
git is not what people call "blockchain", only half of it. The distributed consensus part is not there. Maybe that's what it's both efficient and popular?
386.
by c-cube 9y ago
Very interesting, and mostly right imho. Still no killer app for any blockchain so far, but lots of problems already well known. I'm almost disappointed the author didn't mention the ecological disaster that goes with the energy c
387.
by c-cube 9y ago
I'm not convinced that Base will solve our problems. It's not, afaik, more portable, more lightweight, more performant, or more feature-full than [containers]( https://github.com/c-cube/ocaml-containers ) (whic
388.
by c-cube 9y ago
I agree that jbuilder (dune) more or less solved the fragmentation problem for build systems, and is nice to use. I switched most of my projects to it. On the other hand I'm more pessimistic about the stdlib situation because Base brea
389.
by c-cube 9y ago
Currently you can block many ads based on their url (which is from a third party provider). Using umatrix, ad and tracking is often clearly marked in red, and the corresponding js never even loaded. I don't think that would change with
390.
by c-cube 9y ago
Because people voted for someone, doesn't mean they fully agree with the elected person's whole program. In an election you have only a few candidates for a large number of possible combinations of positions. If you mostly agree w

More ›