Show HN: I built a tool that turns cryptography papers into working Python code
paperstoapp.com·3d·
Discuss: Hacker News
🤝Protocol Design
Large language models can execute complete ransomware attacks autonomously, research shows
techxplore.com·2d
🔗Parser Combinators
The Top 5 Longreads of the Week
longreads.com·2d
🧮Programming Language Theory
This Month in Rust OSDev: August 2025
rust-osdev.com·2d·
Discuss: r/rust
🦀Rust
Atmospheric patterns drive marine heatwaves in the North Atlantic and Mediterranean Sea during summer 2023
iopscience.iop.org·2d
🎲Probabilistic Programming
YA, Fantasy, & More
smartbitchestrashybooks.com·2d
🧩Theorem Proving
A Creative Reconstruction of the Lost "Dao Ji Jing" (道機經) - Seeking Feedback
reddit.com·1d·
Discuss: r/taoism
🔄Category Theory
I Was Wrong: Start Simple, Then Move to More Complex
charles-frenzel.medium.com·3d·
Discuss: Hacker News
🔗Parser Combinators
Using AI as my engineering copilot (not autopilot)
depot.dev·2d
🧩Theorem Proving
🚀 New challenge for aspiring developers!
reddit.com·1d·
Discuss: r/programming
🧩Theorem Proving
Test-Driven Development Is Stupid
geometrian.com·5d·
Discuss: Hacker News
🔍Static Analysis
Reservoir Predictive Path Integral Control for Unknown Nonlinear Dynamics
arxiv.org·2d
🔐Cryptography
I Didn’t Have Money to Pay for Grammarly, So I Self-Hosted My Own Solution Using LanguageTool 📝
dev.to·2d·
Discuss: DEV
🧮Programming Language Theory
The maths you need to start understanding LLMs
gilesthomas.com·4d·
Discuss: Hacker News
🔗Parser Combinators
A Pitfall of "Expertise"
lesswrong.com·2d
🔢Mathematical Logic
My First Step into Open Source
dev.to·1d·
Discuss: DEV
👐Open Source Software
How I Learned Python by Making Fun Projects
dev.to·3d·
Discuss: DEV
🧩Theorem Proving
InvisiCaps: The Fil-C capability model
fil-c.org·3d·
Discuss: Hacker News
🧠Memory Management
Tomorrow Today : DW : September 6, 2025 9:30am-10:01am CEST
archive.org·1d
🌍Distributed Systems
Advanced Polymer Degradation Prediction via Kinetic Monte Carlo and Machine Learning Integration
dev.to·4d·
Discuss: DEV
🎲Probabilistic Programming