You Can Get a Lifetime Subscription to Qlango for Just $32 Right Now
lifehacker.comยท3h
๐ŸŽฏ99-Line Languages
Embedding Lua in Nim
lambdacreate.comยท1d
๐ŸŒ™Lua
Efficiently Updatable Neural Network (NNUE)
beuke.orgยท1d
๐ŸนMinimal Go
Rodrigo Girรฃo Serrรฃo: Functions: a complete reference | Pydon't ๐Ÿ
mathspp.comยท1d
๐ŸšชFunction Prologues
Recurse Checkins
404wolf.comยท2d
๐Ÿ”„Bootstrapping
Clojure Data Cookbook โ€“ How to manipulate data, analyze, and visualize tasks
github.comยท12mยท
Discuss: Hacker News
โšกfunctional programming
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.toยท2dยท
Discuss: DEV
๐ŸงฎTheorem Provers
Can I justify C for everything?
reddit.comยท1hยท
๐Ÿช„C Metaprogramming
Bridging the Digital Divide: Automated Accessibility Audit & Remediation via Hyperdimensional Semantic Analysis
dev.toยท8hยท
Discuss: DEV
๐Ÿง Semantic Parsing
The Debate on RLVR Reasoning Capability Boundary: Shrinkage, Expansion, or Both? A Two-Stage Dynamic View
arxiv.orgยท23h
๐Ÿ’ซEffect Systems
StaMo: Unsupervised Learning of Generalizable Robot Motion from Compact State Representation
arxiv.orgยท23h
๐ŸŒฑMinimal ML
Understanding Retrieval Augmentation for Long-Form Question Answering
arxiv.orgยท23h
๐Ÿ’ฌInteractive REPLs
Simulating and Understanding Deceptive Behaviors in Long-Horizon Interactions
arxiv.orgยท23h
๐ŸŽฒParser Fuzzing
NS-Pep: De novo Peptide Design with Non-Standard Amino Acids
arxiv.orgยท23h
๐Ÿช„C Metaprogramming
Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.orgยท1d
๐Ÿ“‹Souffle Datalog
MedReflect: Teaching Medical LLMs to Self-Improve via Reflective Correction
arxiv.orgยท23h
๐Ÿ—๏ธMLIR
Training Dynamics of Parametric and In-Context Knowledge Utilization in Language Models
arxiv.orgยท1d
๐ŸชœRecursive Descent
Building Modern Data Systems: Event-Driven Architecture, Messaging Queues, Batch Processing, ETL & ELT
dev.toยท11hยท
Discuss: DEV
๐Ÿ“ฎMessage Queues
Database Normalization
dev.toยท2dยท
Discuss: DEV
๐ŸŽ“Educational Databases