Steven Heller's Font of the Month: Archive Matrix
ilovetypography.com·8h·
Discuss: Hacker News
🎨Rendering
Flag this post
Show HN: TabPFN-2.5 – SOTA foundation model for tabular data
priorlabs.ai·1d·
Discuss: Hacker News
Formal Methods
Flag this post
Workload Identity in a Multi System Environment (Wimse) Architecture
datatracker.ietf.org·23h·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Handbook of Biological Statistics
biostathandbook.com·9h·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
LLKV: Rust, SQL, Apache Arrow, and zero-copy KV Storage
github.com·1d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
The Paranoid Guide to Running Copilot CLI in a Secure Docker Sandbox
gordonbeeming.com·3d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Flag this post
Tiny GenBI: Lightweight Agent for business analysis
github.com·1d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Why We Migrated from Python to Node.js
blog.yakkomajuri.com·4d·
📡Side-Channel Attacks
Flag this post
Providers
adactio.com·1d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
phoebe.work·4d·
Discuss: Hacker News
Formal Methods
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
comparia.beta.gouv.fr·3d·
📡Side-Channel Attacks
Flag this post
Shiroa: MdBook for Typst
github.com·2d·
Discuss: Hacker News
Formal Methods
Flag this post
9 Malicious NuGet Packages Deliver Time-Delayed Destructive Payloads
socket.dev·1d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
How I am deeply integrating Emacs
joshblais.com·1d·
Discuss: Hacker News
Formal Methods
Flag this post
Building an Accessible Before/After Slider in React
jsdev.space·15h·
Discuss: Hacker News
🎨Rendering
Flag this post
Document Chat System
document-chat-system.vercel.app·20h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Flag this post
Screeps: MMO RTS sandbox game for programmers
github.com·1d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
repoprompt.com·2d·
Discuss: Hacker News
Formal Methods
Flag this post
Async QUIC and HTTP/3 made easy: Tokio-quiche is now open-source
blog.cloudflare.com·1d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Composing and Decomposing AI Functions (Tutorial with Python Examples)
lightcapai.medium.com·2d·
Discuss: Hacker News
Formal Methods
Flag this post