Trufi Association brings informal transport reality to UITP 2025 Summit
trufi-association.org·6h·
Discuss: Hacker News
✅Formal Methods
Show HN: Fast Elevation API with memory mapped tiles
terraintap.com·1d·
Discuss: Hacker News
🎨Rendering
PresEngage Files Patent for Groundbreaking AI Co-Presenter
presengage.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
1999: A new OS project: MorphOS
amiga.czex.com·2d·
Discuss: Hacker News
✅Formal Methods
One-fifth of computer science papers may include AI content
science.org·9h·
Discuss: Hacker News
🦀Rust
Microsoft build of Go 1.25 crypto back end changes
devblogs.microsoft.com·5d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Tim Cook: Apple Continues to Be "Very Focused" on VisionOS
uploadvr.com·7h·
Discuss: Hacker News
🎨Rendering
Matrix Is Not Safe for EU Data Privacy
wire.com·4d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Rebuilding an old project paid off, literally!
pro.hextaui.com·3d·
Discuss: Hacker News
🦀Rust
My journey to the heart of the forgotten internet
bbc.com·1d·
Discuss: Hacker News
🎨Rendering
Prioritise the Highest Order Bit
commoncog.com·4d·
Discuss: Hacker News
✅Formal Methods
SFrame Stack Trace Format
sourceware.org·2d·
Discuss: Hacker News
✅Formal Methods
Top MCP Security Risks (and How to Avoid Them)
prefactor.tech·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Write Faster with AI – While Keeping It Yours
anupshinde.com·16h·
Discuss: Hacker News
🦀Rust
OpenAI Needs Adult Supervision
thepourquoipas.com·8h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
The Emacs dumper dispute (2016)
lwn.net·2d·
Discuss: Hacker News
🦀Rust
Minimal Astro and TypeScript blog theme with MDX and SEO support
github.com·1d·
Discuss: Hacker News
🦀Rust
Lobsters Interview with Icefox
lobste.rs·3d·
Discuss: Lobsters
🦀Rust
Switching to Qwen3-30B-A3B-Instruct-2507 Significantly Improves Local Agent
hexeditreality.com·4d·
Discuss: Hacker News
✅Formal Methods
In search of riches, hackers plant 4G-enabled Raspberry Pi in bank network
arstechnica.com·4d·
Discuss: Lobsters, Hacker News
🔐Zero-Knowledge Proofs