Benamin Bambur Blog

Hacker News

The Coming Need for Formal Specification

by todsacerdoti

Read more

New benchmark shows top LLMs struggle in real mental health care

by RicardoRei

Read more

A unscientific guide to the security of various PQC algorithms

by todsacerdoti

Read more

Pope criticizes US bid to 'break apart' US-Europe alliance

by sipofwater

Read more

McDonald's pulls AI Christmas ad after backlash

by mindracer

Read more

Compute in Space: a first principles interactive model

by kvee

Read more

From Zero to QED: An informal introduction to formality with Lean 4

by rwosync

Read more

Largest U.S. recycling project to extend landfill life for Virginia residents

by mooreds

Read more

Working at Cold War Los Alamos

by chmaynard

Read more

Thomas Piketty: 'The reality is the US is losing control of the world'

by robtherobber

Read more

Kpython – A MicroPython Sidecar for the Linux Kernel (Experimental)

by kpython

Read more

Dependable C

by RossBencina

Read more

Verizon refused to unlock man's iPhone, so he sued the carrier and won

by speckx

Read more

Six Big Bets

by personjerry

Read more

Stronger Normalization-Free Transformers

by mfiguiere

Read more