Online activities 6 – 12 October
ests.wordpress.com·3d
🏗️Constructive Mathematics
LLMs and reinforcement learning
sicpers.info·17h
⚔️Lean Tactics
simonw/claude-skills
simonwillison.net·3h
📄PostScript
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
Refactoring: A way to write better Code
dev.to·1h·
Discuss: DEV
⚙️Operational Semantics
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
The Porcelain to Come
stackdiver.com·4h·
Discuss: Hacker News
🔲Cellular Automata
VLLM Predicted Outputs
cascadetech.ai·6h·
Discuss: Hacker News
💻Local LLMs
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·57m·
Discuss: DEV
🎵Audio ML
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org·23h
💻Programming languages
A Manifesto for the Programming Desperado
github.com·11h·
Discuss: Hacker News
💻Programming languages
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·2h·
Discuss: Hacker News
🎧Learned Audio
Neuro-Symbolic AI
en.wikipedia.org·12h·
Discuss: Hacker News
🔲Cellular Automata
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.org·23h
🔲Cellular Automata
TypeScript Flaws (2024)
intercaetera.com·4d·
Discuss: Hacker News
🎯Gradual Typing
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
🔩Systems Programming
The Mondrian introduction to functional optics
marcosh.github.io·3d·
Discuss: Lobsters, Hacker News
⟷Bidirectional Programming
English - the hottest programming language of the future
dev.to·9h·
Discuss: DEV
🔄Language Evolution
Which programming language does AI write best? Python, JavaScript or Elixir?
revelry.co·1d·
Discuss: Hacker News
🏗️Compiler Archaeology