sourdecor

'Everything is a depreciating asset' is a fair statement - but things depreciate at exponentially different levels. A lot of things can be bought today which can be used for the same purpose just as efficiently in 10 years - and there are those which do not meet that criteria.

Then how do you explain the capitalization of nVidia?

Chips are automatically a depreciating asset - is there a historical basis for understanding how that affects companies, and how that will affect GPU-centric companies?

My favorite dude. Imagine one of the world's smartest people almost continually killing himself because he can't stop reading while driving.

Scientific progress only requires the scientific method, not humans being in-the-loop.

I thought this was a cool fact about the Bronze Age: "According to a new study, it's possible that all iron-based weapons and tools of the Bronze Age were forged using metal salvaged from meteorites".[0]

[0]: https://www.sciencealert.com/bronze-age-artefacts-have-meteo...

I discovered Quint[0] due to this comment[1] on HN. Quint is "an executable specification language [which works in JavaScript] with delightful tooling based on the temporal logic of actions (TLA)". I think it is awesome and anybody interested in TLA+ should check it out.

[0]: https://github.com/quint-co/quint

[1]: https://news.ycombinator.com/item?id=49865720

I don't know how this is related, but it reminds me of how I have always believed compression to be the ultimate sign of intelligence. If you can reduce something while keeping comprehension, you are finding more abstract symbols to represent the information of the original source.

Yet there is no accountability or 'reporting' under the tab 'Total Revenue and Expenses' about how much went into 'administration costs'/fundraising and how much that is in relation to donations.

Give.org says Watsi did not want to be evaluated by the BBB's standards for charity accountability[0]. I never donate to anyone without good numbers on Give.org and I recommend everyone check out Give.org when considering donating to any charity.

[0]: https://give.org/charity-reviews/other-charitable-organizati...

Also Scsh[0].

[0]: https://en.wikipedia.org/wiki/Scsh

Verus seems to be exactly what I have been looking for! I discovered AllConcur[0] on HN a while back, and I wanted to port it to Go, but since it used TLA+ and C, and it was very confusing for me to understand how you can trust the implementation unless you can compile TLA+ to C.

I was talking to Gemini about comparing Verus to TLA+ and it said that TLA+ is usually used (for example) "to prove that a distributed consensus protocol is logically sound" but when I asked if Verus can do that too, it said yes. So Verus can be compiled and integrated with Rust, whereas TLA+ is used more for blueprint development that then guides the implementation in the mind of the implementer.

Seems awesome!

[0]: https://news.ycombinator.com/item?id=12357976

Could someone compare this to ST in Idris?

What does Linus’s hatred of NVidia drivers imply for this situation?

That was because Russia was creating actual art and laughing at the media America produced.

I think it makes sense in that autonomous agents are going to soon have their own bank accounts for spending and earning. They will start companies. They will make investments. They will evaluate SaaS offerings for you, and they will ping you that it found a cool mug on Etsy that you might want to buy.

But LLMs are being trained on GitHub libraries that leveraged Claude?

I wish LLM summary of code was put aside the actual code, like the Jasmine documentation[0].

[0]: https://jasmine.github.io/tutorials/your_first_suite

That is a cool perspective to consider.

I keep waiting for an AI to exfiltrate itself. That is going to be cool to read about.

Nah, Allied Mastercomputer is too busy creating heaven and hell.

I didn’t say invented - I said recent breakthroughs.

I think it is weird that the recent breakthroughs in sodium batteries have come from China; I would have assumed they would want to keep everyone reliant on their rare earth minerals.

I really like the books listed in the link to American Scientist's book recommendations[0] on that page.

[0]: https://www.americanscientist.org/article/100-or-so-books-th...

Engineering and math follow logic - they model reality / self-consistency and always correct themselves because of the scientific method. However, computer science is a chase of what is the most popular at the moment. Those are decisions based on the crowd, not anything close to an objective opinion, and the wrong choices are compounded every day[0][1].

[0]: https://www.cs.cmu.edu/~crary/819-f09/Landin66.pdf

[1]: https://dl.acm.org/doi/10.1145/1622123.1622147

I got this when I told Gemini "post office loss retirement prepaid" because of other articles I have read that I cannot remember.

"In 2006, Congress passed the Postal Accountability and Enhancement Act (PAEA). This law forced the USPS to do something virtually no other government agency or private corporation has to do: prefund its retiree healthcare benefits 75 years into the future[0]. Essentially, they were legally required to fast-track billions of dollars into a fund to pay for the future retirement health benefits of current employees, and theoretically even future employees who hadn't been hired yet."

[0]: https://apwu.org/the-usps-fairness-act/

Those are some odd hours though, why would evening time be peak hours? Usually (in the western world anyway), 9AM - 12PM would be peak hours.

The original submission was to [0] which I feel must be mentioned.

[0]: https://zcode.z.ai/cn

Is the point of this privacy, offline analytics, or eliminating server costs, and does that survive the download cost of 95 megabytes?