Functional Programming, S-expressions, Code as Data, Recursion

Math Workmats
guidedmath.wordpress.comยท8h
๐Ÿ“šProof Pedagogy
Flag this post
Converting code in IDA with a simple script
gabrielcybersecurity.comยท3d
๐ŸšShell scripting
Flag this post
Joy & Curiosity #59
registerspill.thorstenball.comยท1d
๐ŸบZIP Archaeology
Flag this post
Believability in Practice (2021)
commoncog.comยท16hยท
Discuss: Hacker News
๐Ÿ›ก๏ธProof-Carrying Archives
Flag this post
Luau's Performance
luau.orgยท3dยท
๐Ÿ—๏ธCompiler Archaeology
Flag this post
Go Primitive in Java, or Go in a Box
donraab.medium.comยท1dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
Flag this post
Building an Open ABI and FFI for ML Systems
tvm.apache.orgยท5dยท
Discuss: Hacker News
๐Ÿ”ฌRefinement Types
Flag this post
C Undefined Behavior
eskimo.comยท5dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Flag this post
The Owl, the Scientific Method, and Claude Code: A Debugging Story
vsevolod.netยท3dยท
๐Ÿ‘‘Isabelle
Flag this post
Built an API that translates text to Gen Z slang (works in any language)
dev.toยท1dยท
Discuss: DEV
๐Ÿ—œ๏ธZstandardized Archives
Flag this post
I'm not a 'Vibe Coder', but when I am, this is my set up
appsoftware.comยท1dยท
Discuss: Hacker News
โœจEffect Handlers
Flag this post
How to Scale LLM Apps Without Exploding Your Cloud Bill
hackernoon.comยท9h
๐Ÿ“„Text Chunking
Flag this post
Efficient Exploration of Chemical Kinetics
arxiv.orgยท2h
โš›๏ธInformation Physics
Flag this post
From Questions to Queries: An AI-powered Multi-Agent Framework for Spatial Text-to-SQL
arxiv.orgยท2h
๐Ÿ”ถVoronoi Diagrams
Flag this post
ROPES: Robotic Pose Estimation via Score-Based Causal Representation Learning
arxiv.orgยท2h
๐ŸŒ€Riemannian Computing
Flag this post
Concordium/concordium-node
github.comยท1d
๐Ÿ”“Open Source Software
Flag this post
Code-enabled language models can outperform reasoning models on diverse tasks
arxiv.orgยท2h
๐Ÿง Intelligence Compression
Flag this post
AutoOpt: A Dataset and a Unified Framework for Automating Optimization Problem Solving
arxiv.orgยท2h
๐Ÿง Machine Learning
Flag this post
Building RAGenius: A Production-Ready RAG System with FastAPI, Azure OpenAI & ChromaDB
dev.toยท11hยท
Discuss: DEV
๐Ÿ“„Document Streaming
Flag this post