Chevron reported its highest quarterly earnings ever. Shell had its second-biggest quarter, and ExxonMobil doubled its earnings compared with the same time last year.

Leonardo de Moura — Creator of Lean and Z3

apparent contradiction between the lack of evidence and high probability estimates for the existence of extraterrestrial civilizations

Neil Hopper was celebrated for continuing to do his job despite the loss of his lower limbs. But what the people he was treating didn’t know was that his injuries were self-inflicted. Now they and their families are asking questions

One buyout firm quietly collected Pyrex, Corelle, Instant Pot, and Oneida. Farberware is a name on a 200-year lease. And the pans still worth buying.

Diátaxis is a widely-adopted, pragmatic and systematic approach to thinking about and creating documentation.

Personal website of Shubham Naik

Large language models encourage smart financial behavior, but they fall short on the more subtle aspects of saving and investing, according to MIT Sloan’s Taha Choukhmane and co-authors.

Morph was a 1 person company from 0 → 10M of revenue. We will be the first 10 person $10b company.

Every employee should contribute >30M of revenue/yr to the company.

The best candidates would be top 1% at multiple parts of the inference stack, yet have…

Researchers研究者名Asaoka, Nozomi

A stray commit buried multiple levels deep cost me months. Why the DB layer must own every commit and transaction plus how to enforce these rules using AST and linters.

For (D)TLS 1.2, this document deprecates the use of two key exchanges, namely Diffie-Hellman (DH) over
a finite field and RSA. It also discourages the use of static Elliptic Curve Diffie-Hellman (ECDH)
cipher suites.
These prescriptions apply only…

An exuberant exploration of why the stuff we use (mostly) works—and a celebration of the unsung engineers who ensure it does., Kobuk the Destroyer, And Other Tales from the Wild, Unseen World of Test Engineering, Alex Davies, 9781324051299

A greenhouse and a lens both run on sunlight, and they do opposite things with it. The greenhouse traps ambient heat and holds it, so everything inside grows a…

A repository for walsh. Contribute to ats4321/walsh development by creating an account on GitHub.

Persistent State Machines: Complete Mathematical Proofs and Vivado Implementation Synthesis (Version 8.0) ABSTRACT We present a formal discrete framework for attention operators in Large Language Models via Persistent State Machines (PSMs). Computation is…

An interactive tour of what’s new in Go 1.27: every notable language, runtime, and standard library change, with short runnable examples you can edit and run in the browser.