Archive

A catalog of ready-to-use Ada/SPARK libraries plus a command-line tool (alr) to obtain, build, and incorporate them into your own projects. It aims to fulfill a similar role to Rust’s cargo or OCaml’s opam.

looks like Lua, statically typed, optional GC, compiles to C.

document organizer with tags and full-text-search, in a simple and clean sqlite3 schema

a new resolver for the Distributed Web, where IPFS content indexed by the Ethereum Name Service (ENS) can be accessed.

in 5 minute chunks.

some good options mentioned in the comments.

Found via Sridhar's blog

Two studies related to Toyota's Unintended Acceleration case:

• Barr Group
• Prof Koopman at CMU

This Note argues that the current framework in antitrust—specifically its pegging competition to “consumer welfare,” defined as short-term price effects—is unequipped to capture the architecture of market power in the modern economy. We cannot cognize the potential harms to competition posed by Amazon’s dominance if we measure competition primarily through price and output. Specifically, current doctrine underappreciates the risk of predatory pricing and how integration across distinct business lines may prove anticompetitive. These concerns are heightened in the context of online platforms for two reasons. First, the economics of platform markets create incentives for a company to pursue growth over profits, a strategy that investors have rewarded. Under these conditions, predatory pricing becomes highly rational—even as existing doctrine treats it as irrational and therefore implausible. Second, because online platforms serve as critical intermediaries, integrating across business lines positions these platforms to control the essential infrastructure on which their rivals depend. This dual role also enables a platform to exploit information collected on companies using its services to undermine them as competitors.

The problem with that warning is peer review guards against nothing.

More discussion on HN

. Via lobste.rs

Appears that humped bulls from India spread all over Middle East circa 2000 BC. This coincided with the drought that led to the collapse of the Harappan cities & final drying of the Saraswati river.

When I look at services like for creating a company in the US, I instantly feel such shame over the situation in the EU.

Autonomous trucking companies have already seen evidence of improved efficiency in large semi trucks. Plus saw "at least 15%" efficiency improvement:

With electrification this variability seems to increase even more.

"Western mythology alludes that the Greek civilisation is Western, but...this is to appropriate Greek contributions to world history as the West lacks its own ancient and historical legacy to build upon.

Rather, the Greeks are a transcontinental people"

RT @kmadathil: First in a planned series of blogposts diving into the mathematics of the Kerala school of mAdhava of sangamagrAma and successors.

Got an annual subscription to @lwnnet ( )after reading them for many years.

TIL, they actually pay their authors, and a substantial amount, per accepted article.

Very Nice!

@sura_puli Couple of RV aluminati -