Stories by wslh

Review of Lean 4 in Haskell subreddit

Can the language of proof assistants be used for general purpose programming?

macOS Sonoma 14.1 Addresses user interface spoofing

Google: Bugtraq Site:marc.info

IBM's Mission Statement and Vision Statement (An Analysis)

Google DeepMind chief: AI risk must be treated as seriously as climate crisis

Captagon: Drug Hamas Took Before the Attack

Texas Instruments Reaches Agreement with Samsung (1996)

Covenant Property Law Examples in the USA

Ethereum co-founder Joseph Lubin faces lawsuit over Consensys stock value

What's up with Sam Bankman-Fried's defense?

A 1959 Essay by Isaac Asimov on Creativity

The Devil on Trial documentary on a homicide attributed to demonic possession

The Smell of Parkinson's Disease

First-order logic explanation in Wikipedia

What does the Fahrenheit and Celsius scales mean?

What Was the Foodie?

Detroit: magic wand makes dirty air look clean and lets polluters off the hook

The FTX trial, day nine: Nishad Singh: "I have always been intimidated by Sam"

BitVM: Compute Anything on Bitcoin [pdf]