GUADEC 2025
feaneron.com·2h
🎨Computational Creativity
How the Lean language brings math to coding and coding to math
amazon.science·2h·
Discuss: Hacker News
📊Formal Semantics
Updated Stacks Project
math.columbia.edu·1h
📚Reading
The Seed Poem by SymbolSatoshi
stacker.news·16h
🧮Information theory
Feeling unstimulated and apathetic at work? You might be experiencing rustout
theconversation.com·7h
📝NLP
I change these 6 settings on Windows to improve battery life
xda-developers.com·1d
🍎Macos
6 Unconventional Habits That Actually Help Entrepreneurs Find Work-Life Sanity
entrepreneur.com·1d
🎨Computational Creativity
I Connected Claude to My Work Apps—Now I Get So Much More Done
makeuseof.com·3d
🎨Computational Creativity
Hessian analysis with JAX: a platform-agnostic, high-performance approach
lesswrong.com·15h
🤖AI
I made an opensource chrome extension for chatgpt that improves the webui with a number of powerful tools
reddit.com·5h·
Discuss: r/opensource
🍎Macos
Your Flutter Logging Strategy is Embarrassing (Here's How to Fix It)
dev.to·3h·
Discuss: DEV
📝NLP
Hands-On Transformer Deep Dive: Part 2 — Multi-head Attention Variants with Code
dev.to·6h·
Discuss: DEV
🔄Transformers
When Claude Code Did a Volkswagen on Me
blog.alexsanjoseph.com·7h·
Discuss: Hacker News
🤖AI
Prefect Pipeline Tutorial: Complete Breakdown
dev.to·22h·
Discuss: DEV
📝NLP
Legacy code: How bad are comments (really)?
dev.to·6h·
Discuss: DEV
📊Formal Semantics
How to tolerate boredom?
lesswrong.com·2d
🎨Computational Creativity
Building AI Virtual Assistants in 2025: 5 Critical Lessons from Our Platform Crisis
dlabs.ai·45m
🤖AI
Side Project Blog: Clear Bench - Tech stack and Backstory
github.com·5h·
Discuss: DEV
📝NLP
My 2-Year-Old Shipped His First Game. I'm Not Teaching Him to Code.
dev.to·7h·
Discuss: DEV
🤖AI
Building a Document Management App with Split, Merge, and PDF Export using HTML5 and JavaScript
dev.to·13h·
Discuss: DEV
🔍Content discovery