The Elements of Programming Style
en.wikipedia.org·2d·
Discuss: Hacker News
🧮Programming Language Theory
Finding the thread.
readtangle.com·2d
🧮Programming Language Theory
International anarchy? Modern adoption of Hobbes's state of nature
frontiersin.org·2d·
Discuss: Hacker News
🧮Programming Language Theory
Friday open line
arktimes.com·1d
👐Open Source Software
Perplexity's definition of copyright gets it sued by the dictionary
engadget.com·2d
👐Open Source Software
Robert Haas: Hacking Workshop for October 2025
postgr.es·2d
🔐Cryptography
8 – 12 September 2025
walknotes.com·1d
🧮Programming Language Theory
Computing Pairings on Elliptic Curves with Embedding Degree Two via Biextensions
eprint.iacr.org·2d
🧭SMT Solvers
Lessons learned from a 100 blog posts on AI
frontierai.substack.com·3d·
Discuss: Substack
🎲Probabilistic Programming
[P] Semlib: LLM-powered Data Processing
reddit.com·3d·
Discuss: r/MachineLearning
⚖️Logic Programming
Let Ai speak with money
dev.to·1h·
Discuss: DEV
🔗Parser Combinators
Poetry Review: ‘Night Watch,’ by Kevin Young
nytimes.com·2d
🧮Programming Language Theory
--- SHOCKING REPORT REVEALS --- Vibe coding is shitty and confusing and produces garbage software that sucks to work on. Claude Code makes it less shitty, but n...
reddit.com·1d·
Discuss: r/javascript
🧩Theorem Proving
Moving Away From Google
reddit.com·3h·
Discuss: r/selfhosted
👐Open Source Software
Perplexity's Comet browser is magic
medium.com·1d·
Discuss: Hacker News
🧭SMT Solvers
Tightly Secure Inner-Product Functional Encryption Revisited: Compact, Lattice-based, and More
eprint.iacr.org·6d
🔐Cryptography
Hyperbolic Large Language Models
arxiv.org·5d
🔗Parser Combinators
Nano Banana trend: 15 easy prompts to turn photos into 3D figurines with Google AI Studio - Times of India
news.google.com·1d
🧫Cellular Automata
13歳になった我が子が挑戦、ChatGPTでつくる自分専用AI【【連載】EducAItion Times】
news.jp·2d
🧫Cellular Automata
ALEXANDRA SHULMAN: I can't explain mad things happening in my house
dailymail.co.uk·8h
🔄Category Theory