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

Math Workmats
guidedmath.wordpress.comยท12h
๐Ÿ“šProof Pedagogy
Flag this post
Converting code in IDA with a simple script
gabrielcybersecurity.comยท4d
๐ŸšShell scripting
Flag this post
Joy & Curiosity #59
registerspill.thorstenball.comยท1d
๐ŸบZIP Archaeology
Flag this post
Believability in Practice (2021)
commoncog.comยท19hยท
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
C Undefined Behavior
eskimo.comยท5dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Flag this post
Bringing CGI Back from the Dead
intertwingly.netยท16hยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Flag this post
The Owl, the Scientific Method, and Claude Code: A Debugging Story
vsevolod.netยท3dยท
๐Ÿ‘‘Isabelle
Flag this post
From Questions to Queries: An AI-powered Multi-Agent Framework for Spatial Text-to-SQL
arxiv.orgยท6h
๐Ÿ”ถVoronoi Diagrams
Flag this post
ROPES: Robotic Pose Estimation via Score-Based Causal Representation Learning
arxiv.orgยท6h
๐ŸŒ€Riemannian Computing
Flag this post
Code-enabled language models can outperform reasoning models on diverse tasks
arxiv.orgยท6h
๐Ÿง Intelligence Compression
Flag this post
InnoGate: Anti-Piracy Research Discovery Platform with AI-Powered RAG and Auth0 FGA
dev.toยท3hยท
Discuss: DEV
๐Ÿ”ŒArchive APIs
Flag this post
AutoOpt: A Dataset and a Unified Framework for Automating Optimization Problem Solving
arxiv.orgยท6h
๐Ÿง Machine Learning
Flag this post
Convert Word DOC/DOCX to HTML Efficiently
dev.toยท3hยท
Discuss: DEV
๐Ÿ“Text Compression
Flag this post
Redefining Retrieval Evaluation in the Era of LLMs
arxiv.orgยท6h
๐Ÿ”Information Retrieval
Flag this post
Large Language Model enabled Mathematical Modeling
arxiv.orgยท3d
๐Ÿ”ขDenotational Semantics
Flag this post
Can Confidence Estimates Decide When Chain-of-thought is Necessary for Llms?
arxiv.orgยท6h
๐Ÿ’ปLocal LLMs
Flag this post
How ChatGPT Was Made: Behind the Scenes of a Large Language Model
dev.toยท15hยท
Discuss: DEV
๐Ÿค–Grammar Induction
Flag this post