Last Week on My Mac: 🦉 No AI content
eclecticlight.co·6h·
Discuss: Hacker News
🦀Rust
Uncertain⟨T⟩
nshipster.com·2d·
Discuss: Hacker News
✅Formal Methods
Show HN: (Almost) instant NAICS, UNSPSC, HS code classification (free webapp)
classifast.com·5h·
Discuss: Hacker News
🦀Rust
Serializable Isolation for Snapshot Databases
muratbuffalo.blogspot.com·3d·
Discuss: Hacker News
⚡CUDA
AI Alignment and the Human Fabric of Deceit
d1gesto.blogspot.com·1d·
Discuss: Hacker News
✅Formal Methods
I've returned to Linux but I miss PowerShell
chrisfun.xyz·13h·
Discuss: Hacker News
✅Formal Methods
Erase Your Darlings
grahamc.com·2d·
Discuss: Hacker News
🔒Cryptography
OverHAuL: Harnessing Automation for C Libraries with Large Language Models
kchousos.github.io·1h·
Discuss: Lobsters, Hacker News
✅Formal Methods
Bluesky's ATProto and the race to the bottom of the brain stem
erasmus.github.io·1d·
Discuss: Hacker News
🔒Cryptography
Safe-MCP: Security Analysis Framework for Evaluation of Model Context Protocol
github.com·2d·
Discuss: Hacker News
🔒Cryptography
First release: Popcorn – Bring Elixir to the browser
blog.swmansion.com·13h·
Discuss: Hacker News
🦀Rust
Hitting the Brakes on Claude Code
preslav.me·20h·
Discuss: Hacker News
🦀Rust
CPUs, GPUs, NPUs, and TPUs: Choosing the Right Processing Unit for AI Workloads
guptadeepak.com·1d·
Discuss: DEV, Hacker News
⚡CUDA
Tessera: A declarative, immediate-mode UI framework for Rust
github.com·5h·
Discuss: Hacker News
🦀Rust
Show HN: We built a self-aware AI agent,and this is the log of its first mission
github.com·5h·
Discuss: Hacker News
✅Formal Methods
When Memcpy Betrays You: A Lesson in Overlapping Buffers and Ancient Toolchains
blog.mycal.net·22h·
Discuss: Hacker News
🦀Rust
Graphene OS: a security-enhanced Android build
lwn.net·2d·
Discuss: Hacker News
🔒Cryptography
AI-Generated Malware in Panda Image Hides Persistent Linux Threat
aquasec.com·3d·
Discuss: Hacker News, r/linux
🔒Cryptography
The Vendor Lock-In You Don't See
lastweekinaws.com·1d·
Discuss: Hacker News
🔒Cryptography
The perils of the real client IP (2022)
adam-p.ca·16h·
Discuss: Hacker News
✅Formal Methods