csb6

6 ms·

61.
by csb6 8mo ago
It is a good way to see which commenters read the article instead of just the headline.
62.
by csb6 8mo ago
"best" meaning the best decision the LFS team can make given their limited, unpaid time and resources. They feel maintaining guides for two parallel init systems is unsustainable even though they would prefer not to have systemd a
63.
by csb6 9mo ago
I like the approach; it reminds me of Towards Zero Defect Programming by Allan Stavely and Dijkstra's idea of deriving programs mechanically from their specifications. Were LLMs used to produce some of the writing? Not sure how to de
64.
by csb6 9mo ago
> But that leads you to the conclusion that the central bank isn’t permissible. The court could have just as easily have cited Framers that opposed the creation of the Bank as evidence the Constitution did not permit it. Or cited Jackson
65.
by csb6 9mo ago
Any person in power might violate the rules and just because they happened to be one of the people who helped write them doesn't mean they wouldn't violate them. In fact, they would be more likely to get away with bending the rule
66.
by csb6 9mo ago
The "historical tradition" justification for rulings the Supreme Court seems to favor in recent years when determining if something is constitutional is fascinating. Presumably this court would have ruled that the original Bank of
67.
by csb6 9mo ago
Do any Western universities have significant investments/connections to Iranian institutions? If not, then what would their students be pressuring the universities to do? I am pretty sure virtually every university administration has l
68.
by csb6 9mo ago
Both Armenia and Azerbaijan? At least they aren’t playing favorites.
69.
by csb6 9mo ago
> “While this bill prohibits Members from buying new stocks, it does nothing to remove the conflict of interest that arises from owning or selling existing stocks. Members can still act on legislation, investigations, and briefings that
70.
by csb6 9mo ago
Around the same time not far from there I saw a Waymo car partially blocking a lane of traffic as if it had frozen partway through turning. Wonder if they temporarily shut down all cars in that area until they could figure out what was goin
71.
by csb6 9mo ago
It worked out pretty poorly for the average Iraqi. Hundreds of thousands of Iraqis were killed (some estimates put it at around 1 million), and millions of people became refugees. Citing the relative GDP per capita number is reductive and d
72.
by csb6 9mo ago
What is stopping him from simply militarily occupying Greenland indefinitely? He could just fabricate a reason (“national security”, “drugs”, etc.) and send troops. Wouldn’t need to involve Congress for that kind of military action, and the
73.
by csb6 9mo ago
Especially when the U.S. has a military base there already and has full military cooperation with Denmark/Greenland. The real motivation is pretty clearly resource extraction.
74.
by csb6 9mo ago
I think the answer to those questions are pretty self-evident.
75.
by csb6 9mo ago
> Which works today do you think future generations will see as the classics of the 2010s and 2020s? I think the film Tár will be. It captures the “fake it until you make it” spirit of the present really well along with the god complex a
76.
by csb6 9mo ago
Being genuine here - what is heroic about those two things?
77.
by csb6 9mo ago
Have you looked into using a full MIME/mbox parser library, e.g. GMime [0] or MimeKit [1]? Both support parsing mbox files directly, and they should be able to handle the intricacies of parsing any messages/attachments you throw a
78.
by csb6 10mo ago
Here is a link to the repository for the gamepad simulator: https://github.com/vanilla-wiiu/vanilla
79.
by csb6 10mo ago
There was a project [0] to write a bare bones rust compiler (no borrow checking) in C that aims to be able to build rustc in order to simplify bootstrapping, but it seems to have stalled. [0] https://notgull.net/announcing-d
80.
by csb6 10mo ago
Not sure how you could construe U.S. anti-trust actions as socialist. They prevented Amazon from acquiring iRobot. That is government intervention in the free market, but that is not the same thing as socialism. In fact you could argue a so
81.
by csb6 10mo ago
One difference is that SPARK is intended primarily for safety critical, real-time software (often for embedded systems), while Dafny is meant for teaching purposes and non-real time applications (i.e. environments where a large runtime and
82.
by csb6 10mo ago
Seems like the unions have a lot of valid concerns about how the measures in those bills will be implemented and how/if new materials/training will be provided for teachers. It also seems like legislators are mostly ignoring the u
83.
by csb6 10mo ago
> And you end up with terrible outcomes like collapsing literacy rates through the prevention of teaching phonics, which leads to parents opting out of public education entirely. What is your evidence that teachers’ unions are causing th
84.
by csb6 10mo ago
Catala is specifically for tax codes and other laws that involve formulas and calculations, not all laws, so I don’t think most of your concerns apply to it specifically. There are often complicated rules governing how, e.g. benefits or tax
85.
by csb6 10mo ago
Strange to see no mention of potential copyright violations found in LLM-generated code (e.g. LLMs reproducing code from Github verbatim without respecting the license). I would think that would be a pretty important consideration for any s
86.
by csb6 10mo ago
> One day you have kente cloths and taking the knee everywhere, and before you know it, right-winger bloggers are running the law enforcement. How are these at all comparable? One is a photo op at the Capitol, and one is leading a massiv
87.
by csb6 10mo ago
Countries have that right, and people have the right to criticize them for their policies and agitate to change them. This is a concept known as “politics”.
88.
by csb6 10mo ago
Larger vehicles tend to have reduced visibility which can cause accidents, tend to more seriously injure pedestrians in accidents, and tend to wear down roads faster. If a government is taxing/restricting ICE vehicles to account for th
89.
by csb6 11mo ago
Was this the article? http://brinch-hansen.net/papers/1999b.pdf
90.
by csb6 11mo ago
> When Boring Co.’s Davis called the Governor’s office the day the company received the citations, he spoke to Chris Reilly, the governor’s point person for state infrastructure, who was hired in 2024 after working at Tesla for more than

More ›