On This Day in Math - July 20
pballew.blogspot.com·22h·
Discuss: www.blogger.com
🇬🇧British Computing
Open source microprocessors with Jan Pleskac
opensourcesecurity.io·3h
🔬Hardware Forensics
Show HN: A rudimentary game engine to build four dimensional VR evironments
brainpaingames.com·1d·
Discuss: Hacker News
📟Terminal Physics
Notes on Image Generation with GPT-4.1
taoofmac.com·7h·
Discuss: Hacker News
📐Mathematical Art
Hyperdimensional Connections a Lossless, Queryable Semantic Reasoning Framework
zenodo.org·2d·
Discuss: Hacker News
🗂️Vector Databases
Zig Interface Revisited
williamw520.github.io·4d·
Discuss: Hacker News
🧩WASM Components
How to Write Great Prompts for String
pipedream.com·2d·
Discuss: Hacker News
⚡Proof Automation
“A small group of mathematicians . . .”
statmodeling.stat.columbia.edu·13h
📚Archive Mathematics
Functional Abstract Interpretation
simon.peytonjones.org·6d·
Discuss: Hacker News
🔗Functional Compilers
OpenAI's gold medal performance on the International Math Olympiad
simonwillison.net·1d
👑Isabelle
From chaos to clarity: Using GitHub Copilot agents to improve developer workflows
github.blog·5d
📜Proof Carrying Code
MUPAX: Multidimensional Problem Agnostic eXplainable AI
arxiv.org·2d
🧠Machine Learning
AI whiplash, and Neovim in the age of AI
dlants.me·3d·
Discuss: Hacker News, r/neovim
✨Effect Handlers
Google Gemini CLI: AI Agent for Developers with 1000 model requests per day
dev.to·5h·
Discuss: DEV
🔓Open Source Software
U.S. CISA adds Fortinet FortiWeb flaw to its Known Exploited Vulnerabilities catalog
securityaffairs.com·13h
🛡Cybersecurity
Wrote a tiny FSM library in Go for modeling stateful flows (bots, games, workflows)
reddit.com·3d·
Discuss: r/golang
💧Liquidhaskell
My Experience With Claude Code After 2 Weeks of Adventures
sankalp.bearblog.dev·3d·
Discuss: Hacker News
🌳Incremental Parsing
The Power of HTML - Part 22: The Future of HTML: WebAssembly, AI Integration, and Predictions
dev.to·15h·
Discuss: DEV
🌐Web Standards
MiniCourseX AI Review (2025): The Easiest Way To Create & Sell Your Own AI-Powered Mini Courses In Just 60 Seconds
dev.to·1d·
Discuss: DEV
🎵Audio ML
[D] thoughts about "prompt routing" - what do you think about it?
reddit.com·2d·
Discuss: r/MachineLearning
🌐Protocol Synthesis