Teaching programming languages
kmjn.org·4h
💻Programming languages
Two Dogmas of Empiricism
en.wikipedia.org·4h·
Discuss: Hacker News
💻Programming languages
Linear Layouts Revisited: Stacks, Queues, and Exact Algorithms
arxiv.org·12h
🕸️Network Topology
How Many Paths of Length K Are There Between a and B?
horace.io·20h·
Discuss: Hacker News
🕸️Graph Algorithms
Which Programming Language Should I Teach First?
parentheticallyspeaking.org·1d·
Discuss: Lobsters, Hacker News, Hacker News
💻Programming languages
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d
🔗Functional Compilers
Stable, Mutable References for Ante
antelang.org·3h·
Discuss: Hacker News, r/programming
🔒Type Safety
GenAI, the KSA Model, and Why Industry-Experienced CS Teachers Matter More Than Ever
cacm.acm.org·1h
🗺️Competency Maps
Academic Philosophy - My quixotic quest
notes.billmill.org·14h
🏛️Philosophy
For the Singularity to Truly Arrive, We’d Need a Machine That Eats the Sun
popularmechanics.com·3h
🔲Cellular Automata
Safe Is What We Call Things Later: Some Software Engineering Folklore
worksonmymachine.ai·1d·
Discuss: Hacker News
⚙️Proof Engineering
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·6h
🤝Paxos Consensus
Computer Architecture Lessons from the Kitchen
sigarch.org·2h
🧮Algorithmic Cooking
From Logic to Linear Algebra: How AI is Rewiring the Computer
dev.to·1d·
Discuss: DEV
⚡Homebrew CPUs
Alvorada-Bench: Can Language Models Solve Brazilian University Entrance Exams?
arxiv.org·12h
💻CS
A critique of philosophical objectivity
lapcatsoftware.com·2h
🏛️Philosophy
Typeclassopedia
wiki.haskell.org·13h·
Discuss: Hacker News
🧬Functional Programming
Claude Code's 19 cent Parser
blogger.com·3h
🔧Binary Parsers
Learning and AI/LLMs - Why do we need to know or teach anything anymore?
nanoscale.blogspot.com·1d·
Discuss: www.blogger.com
🏛Digital humanities
Breaking the Architecture Bottleneck • Andrew Harmel-Law & Marit van Dijk • GOTO 2025
youtube.com·4h
🔗Topological Sorting