Embedding Lua in Nim
lambdacreate.com·4d
🦀Rust Macros
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.dev·3d·
Discuss: Hacker News
🌳Incremental Parsing
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·3d·
Discuss: Hacker News, r/neovim
🔗Lisp
Item Patterns and Struct Await
noratrieb.dev·23h·
Discuss: Hacker News
🦀Rust Macros
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·15h·
Discuss: DEV
📊Multi-vector RAG
A gentle introduction to Generative AI: Historical perspective
medium.com·4h·
Discuss: Hacker News
🧠Learned Codecs
The Porcelain to Come
stackdiver.com·6h·
Discuss: Hacker News
🔲Cellular Automata
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·1d
🔗Parser Combinators
Love C, Hate C: Web Framework Memory Problems
alew.is·1d·
Discuss: Hacker News
🔩Systems Programming
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·6h·
Discuss: Hacker News
⚡Proof Automation
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
TALENT: Table VQA via Augmented Language-Enhanced Natural-text Transcription
arxiv.org·2d
🎙️Whisper
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🧮Theorem Proving
LoRA Explained: Faster, More Efficient Fine-Tuning with Docker
docker.com·1d
💻Local LLMs
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org·1d
💻Programming languages
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·2d
📜Manuscript Algebras
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
🔩Systems Programming
Automated Anomaly Detection in Time-Series Statistical Spreadsheets via Hyperdimensional Vector Similarity
dev.to·8h·
Discuss: DEV
🔤Character Classification