Tuesday, March 17, 2026

Reddit User Uncovers Who Is Behind Meta's $2B Lobbying for Age Verification Tech

Reddit User Uncovers Who Is Behind Meta's $2B Lobbying for Age Verification Tech
752 by doener | 376 comments on Hacker News.


on

Leanstral: Open-source agent for trustworthy coding and formal proof engineering

Leanstral: Open-source agent for trustworthy coding and formal proof engineering
588 by Poudlardo | 127 comments on Hacker News.
Lean 4 paper (2021): https://ift.tt/PUcv1yi

on

Kagi Translate now supports LinkedIn Speak as an output language

Kagi Translate now supports LinkedIn Speak as an output language
580 by smitec | 154 comments on Hacker News.


on

US SEC preparing to scrap quarterly reporting requirement

US SEC preparing to scrap quarterly reporting requirement
512 by djoldman | 271 comments on Hacker News.


on

Monday, March 16, 2026

Corruption erodes social trust more in democracies than in autocracies

Corruption erodes social trust more in democracies than in autocracies
441 by PaulHoule | 197 comments on Hacker News.


on
Subscribe to: Posts (Atom)