A ‘Grand Unified Theory’ of Math Just Got a Little Bit Closer
wired.com·11h·
Discuss: Hacker News, r/longform
🔐Zero-Knowledge Proofs
Why Cursor is a great company
zandrey.com·17h·
Discuss: Hacker News
🔒Cryptography
Carbon Chauvinism
en.wikipedia.org·3h·
Discuss: Hacker News
🎨Rendering
A deterministic π-driven algorithm for the Partition Problem (NP-complete)
osf.io·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Show HN: Historical GPX Wind Visualizer
github.com·16h·
Discuss: Hacker News
🎨Rendering
Signals for Python – Reactive State Management Inspired by SolidJS and Angular
reaktiv.bui.app·2d·
Discuss: Hacker News
🦀Rust
Metasurfaces could be the next quantum information processors
phys.org·1d·
Discuss: Hacker News
🔒Cryptography
Self-Driving Postgres
postgres.ai·2d·
Discuss: Hacker News
🔒Cryptography
When Memcpy Betrays You: A Lesson in Overlapping Buffers and Ancient Toolchains
blog.mycal.net·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Show HN: LunaSVG – C++ Library for Rendering and Manipulating SVG Documents
github.com·20h·
Discuss: Hacker News
🦀Rust
Cashfree Payments Saved 160 Hours of Manual Testing with Generative AI
tech.cashfree.com·2d·
Discuss: Hacker News
✅Formal Methods
The Quality of CPI Data Continues to Deteriorate
apolloacademy.com·5h·
Discuss: Hacker News
🎨Rendering
'Crash-Proof' Hybrid Drone Can Move Between Flight and Ground Operation
thedebrief.org·2d·
Discuss: Hacker News
🔒Cryptography
Consider Thruster with Puma on Heroku
island94.org·2d·
Discuss: Hacker News
🔒Cryptography
OverHAuL: Harnessing Automation for C Libraries with Large Language Models
kchousos.github.io·10h·
Discuss: Lobsters, Hacker News
✅Formal Methods
Artisanal Programming (Coding)
kuccello.medium.com·1d·
Discuss: Hacker News
🦀Rust
Interfaces for representing uncertainty
digitalseams.com·6h·
Discuss: Hacker News
🦀Rust
Safer Drivers, Stronger Devices
techcommunity.microsoft.com·3d·
Discuss: Hacker News
🦀Rust
KDE Plasma 6.5 will notify you if your printer's ink is low
neowin.net·1d·
Discuss: Hacker News
🎨Rendering
Financial Services Firms Will Bank On Homegrown AI Training
nextplatform.com·3d·
Discuss: Hacker News
🔒Cryptography