csb6

15 ms·

211.
by csb6 4y ago
You have to build from source. The repo is here [0]; there is a link to build instructions in the README. It is still experimental, but has an active community working on it.
212.
by csb6 4y ago
ChatGPT was released less than a week ago, so I would be very surprised if a practical product was already built on it.
213.
by csb6 4y ago
Ada’s memory management is a mix of memory pools, RAII, and manual memory management. It often isn’t necessary to explicitly use pointers to dynamically allocated memory. For example, Ada lets you return an array of unknown size by value fr
214.
by csb6 4y ago
> Nine years later, Mark Fisher is in the grave That is a rather smug way of putting it. Fisher’s suicide was a tragic event caused by lifelong depression. The fact that he killed himself doesn’t make the essay age better or worse. Bring
215.
by csb6 4y ago
> Is it just simpler/easier to read than the code is, so they're easier to spot? Kind of. You basically annotate your program with pre/post-conditions, then you run the program through a theorem prover, which attempts to p
216.
by csb6 4y ago
There is also a Modula-2 compiler based on LLVM. https://github.com/redstar/m2lang
217.
by csb6 4y ago
The FAQ [0] clarifies some of what TLA+ is good for [0] https://learntla.com/intro/faq.html
218.
by csb6 4y ago
The UAW didn’t organize this election. Neither did any major unions. An independent union, the Amazon Labor Union, did. Stop implying that major unions have anything to do with the dispute.
219.
by csb6 4y ago
The Prius is a reliable car that gets good gas mileage. Why can’t we just leave it at that? I’ve noticed that there is a part of the culture war where certain consumer goods are aesthetically “liberal” and others are aesthetically “conserva
220.
by csb6 4y ago
Exactly. High speed internet is no longer a novelty. It is necessary for most people who use the Internet/stream video. A municipal, “no frills” package that is just a slow DSL connection would be inadequate.
221.
by csb6 4y ago
Maybe you could use an SMT solver like Z3. It lets you write formulas constraining the values of bit arrays and numeric variables and then produce counterexamples if the constraints are inconsistent.
222.
by csb6 4y ago
Why by 3? Is there any kind of basis for that number or is it just speculation?
223.
by csb6 4y ago
It is good at parsing/other compiler-related tasks. Basically anything where you are working with tree structures I think can be a good fit. It is also good as a way to learn about functional programming.
224.
by csb6 5y ago
That is misleading and misses most of the story. A large reason we have cheap global air travel is due to government intervention, research, and military development since the first World War. The U.S. (and other) governments have massively
225.
by csb6 5y ago
Here is another similar project that has been around a while for anyone interested http://opentaxsolver.sourceforge.net
226.
by csb6 5y ago
> Our history rife with things horrific to our modern sensibilities I want to note that slavery was also horrific to vast numbers of people's sensibilities historically as well. Opposing slavery is not a "modern sensibility&quo
227.
by csb6 5y ago
> In our time, it's considered one of the greatest sins. However, if you look just a bit back, it wasn't exclusive to the English-American line, as the twitter take goes, but was was commonplace across human history. Where you
228.
by csb6 5y ago
Sure the British Navy helped enforce an end to the Trans-Atlantic slave trade (slavery, of course, continued for many decades longer on a massive scale in the U.S. and Brazil, among others), but the slave trade is just one of the many crime
229.
by csb6 5y ago
For me it varies. On some sites Bitwarden prompts to add the new password, but not every site. Still I would say it prompts most of the time, but YMMV.
230.
by csb6 5y ago
> Admittedly, this situation presents a new set of challenges compared to the German invasion in 1938–1939, the main being a threat of a potential nuclear war. However, at some point, the Western allies will have to make a calculated mil
231.
by csb6 5y ago
I’m not sure what GCC and MSVC are doing, but Clang [1] at least is in the process of developing a bytecode interpreter for running constexpr code more efficiently. It seems like it hasn’t been actively worked on in quite some time, unfortu
232.
by csb6 5y ago
What does that have to do with the http protocol?
233.
by csb6 5y ago
The telescope slows down over time due to Earth’s gravitational pull. IIRC the trip to L2 was all driven by momentum after the rocket released it. The rocket boosted it in the right direction/speed so that gravity would slow it to a st
234.
by csb6 5y ago
Code review and coding standards are needed for any project in any language. If people try to write unreadable C++, just don’t allow it.
235.
by csb6 5y ago
This is a bad faith interpretation of what the parent said. They did not suggest gassing anyone or executing old people. There is a world of difference between that and saying that immortality is a selfish goal.
236.
by csb6 5y ago
> The U.S. doesn't have a wealth tax, doesn't claim to, never did. This is true (I guess estate taxes could be considered a sort of wealth tax, although there is a lot of Republican support for removing them, so we'll see
237.
by csb6 5y ago
> probably just opportunistic vultures What is your inside information as to the incidents described in the article? Can you bring evidence that contradicts what they’ve claimed? Otherwise you are just speculating.
238.
by csb6 5y ago
Is the proportion of all collected taxes paid by the 1% a meaningful measure here? Wouldn’t it be more useful to compare how much the 1% pay in taxes as a proportion of their own wealth versus other classes? That way you can see the relativ
239.
by csb6 5y ago
Not to mention the large amounts of land and water used to raise cattle.
240.
by csb6 5y ago
The CCP is not mentioned once in the article, nor are its supposed plans for TikTok, nor are any attempts by TikTok to stoke political division. In fact, TikTok briefly (supposedly by accident) hid posts related to Black Lives Matter. Prese

More ›