Minimum Viable Caring: When Efficiency Costs Us
theproductmindedqa.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Execute3 – Weekly Planner
execute3.com·12h·
Discuss: Hacker News
⚡Process Calculi
Career Leverage as a Developer
mooreds.com·2h·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: I built a tool that turns cryptography papers into working Python code
paperstoapp.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Designing audio-first reading experience
usekatalog.com·1d·
Discuss: Hacker News
🧩Parser Combinators
The Perceptron
jontysinai.github.io·1d·
Discuss: Hacker News
📚Automata Learning
Show HN: Higher-order transform streams: 10x faster AI with recursive prompts
timetler.com·3d·
Discuss: Hacker News, r/programming
🧩Parser Combinators
LLM as Pair?
ronjeffries.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Assessing prompting frameworks for enhancing literature reviews among university students using ChatGPT
arxiv.org·3d
✓Automated Theorem Proving
Top 10 Most compelling arguments against Superintelligent AI
lesswrong.com·1d
🩹Self-Healing Systems
LLMs from Scratch Using Middle School Math – TDS Archive
medium.com·2d·
Discuss: Hacker News
📚Automata Learning
Strategic Analysis of Dissent and Self-Censorship
arxiv.org·1d
🩹Self-Healing Systems
Disciplined AI Software Development: Structured Method for Generative Programming
github.com·2d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
I made a transformer by hand (no training)
vgel.me·2d·
Discuss: Hacker News
📚Automata Learning
A PM's Guide to AI Agent Architecture
productcurious.com·2d·
Discuss: Hacker News
🩹Self-Healing Systems
SESGO: Spanish Evaluation of Stereotypical Generative Outputs
arxiv.org·2d
📚Automata Learning
Mitigating Catastrophic Forgetting in Continual Learning through Model Growth
arxiv.org·3d
📚Automata Learning
Flaw or Artifact? Rethinking Prompt Sensitivity in Evaluating LLMs
arxiv.org·3d
🧩Parser Combinators
A Survey on Human-AI Collaboration with Large Foundation Models
arxiv.org·2d
🧠Automated Reasoning
Autonomation, Not Automation: Activities and Needs of European Fact-checkers as a Basis for Designing Human-Centered AI Systems
arxiv.org·1d
✓Automated Theorem Proving