Ex-Barclays VP who completed a PhD in prison: "All my former colleagues ignore"
efinancialcareers.comยท19hยท
Discuss: Hacker News
๐Ÿ“ˆTimeseries
Bourdain, My Camera, and Me (2021)
melaniedunea.comยท20hยท
Discuss: Hacker News
๐Ÿ“ฎMessage Queues
Show HN: MagicQuill โ€“ Edit Images with AI Brushes
magicquillai.appยท2dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Free Tool Autoswagger Finds the API Flaws Attackers Hope You Miss
bleepingcomputer.comยท6dยท
Discuss: Hacker News
๐Ÿ”Security Patterns
BGP Alternative for secure, private multi-cloud environments
nobgp.comยท6dยท
Discuss: Hacker News
๐ŸŒDistributed systems
Tetris in a Single Line of Code
survex.comยท4dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Gรถdel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.comยท4dยท
Discuss: Hacker News
๐Ÿ“Formal Methods
Figma's S-1/A from their IPO today
sec.govยท3dยท
Discuss: Hacker News
๐ŸนApache Arrow
In-Network Leaderless Replication for Distributed Data Stores
vldb.orgยท3dยท
Discuss: Lobsters, Hacker News, r/programming
๐ŸŒDistributed systems
The killing code: strange symbols in a WA settlerโ€™s diaries lay bare frontier atrocities
theguardian.comยท17hยท
Discuss: Hacker News
๐Ÿฆ€Rust
We Asked 100+ AI Models to Write Code. Hereโ€™s How Many Failed Security Tests
veracode.comยท3dยท
Discuss: Lobsters, Hacker News
๐Ÿ’ปProgramming languages
An Open Letter to Webflow: The Platform Stability Crisis
discourse.webflow.comยท5dยท
Discuss: Hacker News
๐Ÿ“ฎMessage Queues
Existential Technologies (A Close Reading of Stanisล‚aw Lem's Summa Technologiae)
existentialtech.antikythera.orgยท3dยท
Discuss: Hacker News
๐Ÿ“Formal Methods
Ergonomic keyboarding with the Svalboard: a half-year retrospective
twey.ioยท2dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Proving theorems using Julia's types (or, a mini-Lean in Julia)
lmao.bearblog.devยท6dยท
Discuss: Hacker News
๐Ÿ“Formal Methods
Verification debt is the AI era's technical debt
kevinbrowne.caยท3dยท
Discuss: Hacker News
๐Ÿ“Formal Methods
I built my blog with C preprocessor macros
wheybags.comยท4dยท
Discuss: Lobsters, Hacker News
๐Ÿ’ปProgramming languages
At 10 years old, Ethereum's future is brighter than ever despite recent setbacks
cnbc.comยท4dยท
Discuss: Hacker News
๐ŸนApache Arrow
Giants Protocol: Advancing Real World Assets Tokenization With AI-Driven Infrastructure
hackernoon.comยท5d
๐ŸŒŠStream Processing
Disposable Code Is Here to Stay, but Durable Code Is What Runs the World
honeycomb.ioยท5dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages