Valmiki Ramayana
threadreaderapp.com·5h
🔧Compiler Design
2025/35
sarahjoycalpo.art·15h
🔄Category Theory
Looking for a coach!
kanji-sensei.com·2d·
Discuss: r/webdev
⚖Algorithmic Game Theory
Generative AI is reducing the number of junior people hired
papers.ssrn.com·2d
🧩Theorem Proving
VOVSOFT Markdown Converter 1.1
majorgeeks.com·2d
👐Open Source Software
Create a shared alternative to OpenRouter Together
arxiv.org·1h·
Discuss: r/LocalLLaMA
👐Open Source Software
KDE Linux Goes Alpha: Arch-Based, Immutable OS Unveiled at Akademy
lxer.com·5h
🐧Linux
From Telegram Meetup to Cafe Drama
reddit.com·15h·
Discuss: r/southdelhi
🤝Protocol Design
How to Make OpenTelemetry Better in the Browser
thenewstack.io·3d
🤝Protocol Design
Ada Lovelace and the Story of the World's First Algorithm
dev.to·2d·
Discuss: DEV
🧩Theorem Proving
New to webdev, Ruby (on Rails) or Python stack for appointment scheduling app w/ payment processing?
reddit.com·3d·
Discuss: r/webdev
📝Lisp
Session Handling in Go
reddit.com·2d·
Discuss: r/golang
🦀Rust
This thing that i call server
reddit.com·1d·
Discuss: r/homelab
🌍Distributed Systems
tstack/lnav v0.13.1-rc3
github.com·1d
👐Open Source Software
Conquering Infinity: A New Approach to AI Planning
dev.to·2d·
Discuss: DEV
🎯Constraint Programming
Hey LocalLLaMA
reddit.com·3d·
Discuss: r/LocalLLaMA
🔗Parser Combinators
Absolutely insane improvement for Claude Code on large-scale projects with Memory MCP
reddit.com·3d·
Discuss: r/ClaudeAI
🔧Compiler Design
Loong: Synthesize Long Chain-of-Thoughts at Scale through Verifiers
arxiv.org·3d
🧭SMT Solvers
Do small language models generate realistic variable-quality fake news headlines?
arxiv.org·4d
🔗Parser Combinators
How to watch Nationals at Cubs: TV channel and streaming options for September 6
nytimes.com·1d
🧫Cellular Automata