Prompts vs. Context
dbreunig.com·8h
⚡Proof Automation
Interview: “Previous examination formats will be rendered useless by using AI”
heise.de·2h
📐Proof Assistants
My AI Workflow for Understanding Any Codebase
steipete.me·22h
⚡Proof Automation
Refactoring English: Effective Writing for Software Developers
refactoringenglish.com·1h·
Discuss: Hacker News
🎯Gradual Typing
First NetHack ascension, and insights into the AI capabilities it requires
mikaelhenaff.substack.com·1h·
Discuss: Substack
🔲Cellular Automata
Show HN: Writer J – AI Content Generator with 7-Step SEO Workflow
writer-j.com·1d·
Discuss: Hacker News
🔃Feed Algorithms
Writing Toy Software Is a Joy
quiz.businessexplain.com·5h·
Discuss: Hacker News
🔩Systems Programming
Everyday Tasks You Didn’t Know AI Could Do
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Automattic/harper: Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
github.com·2d
📝Concrete Syntax
Therapy as an NLP Task: Psychologists' Comparison of LLMs and Human Peers in CBT
arxiv.org·4h
🌲Parse Trees
The Bazaar of Scientific Knowledge
shishyko.com·2d·
Discuss: Hacker News
🏰Manuscript Networks
Why I don't ride the AI Hype Train
mertbulan.com·1h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
new2
dev.to·5h·
Discuss: DEV
🧠Query Planners
Oblique Strategies for Vibe Coding
useyourexperience.com·1d·
Discuss: Hacker News
🇸🇪Nordic Algorithms
What are knowledge graphs and why is everyone talking about them?
dev.to·1d·
Discuss: DEV
🕸️Graph Embeddings
Why developer expertise matters more than ever in the age of AI
github.blog·1d·
Discuss: Hacker News
📏Code Metrics
[D] Alarming amount of schizoid people being validated by LLMs, anyone else experienced this?
reddit.com·8h·
Discuss: r/MachineLearning
🎯Gradual Typing
"Every Developer I Meet Is My Superior": How Emerson's Wisdom Transformed My Code Reviews
dev.to·7h·
Discuss: DEV
🔍Concolic Testing
Hong Mong 5 Development Treasure Case Sharing Buried Point Development Real Battle Guide
dev.to·11h·
Discuss: DEV
🔗Data Provenance
🚀 Top 10 Tech Skills That Will Be in Demand in 2026
dev.to·12h·
Discuss: DEV
🌀Brotli Internals