CTD after switching Vortex profiles
pastebin.com·5h·
Discuss: r/skyrimmods
🔐Ownership Types
The Case for Compact AI – Communications of the ACM
dl.acm.org·18h·
Discuss: Hacker News
🌱Minimal ML
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·1d·
Discuss: Hacker News
🌱Minimal Lisps
GitHub MCP Registry: The fastest way To discover AI tools - The GitHub Blog
news.google.com·10h
🚂Cranelift IR
Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.org·22h
🔢Algebraic Datatypes
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·5d·
Discuss: Hacker News
🔮Type Inference Visualization
Scaling AI Evaluation Through Expertise
harvey.ai·9h·
Discuss: Hacker News
🏷️Attribute Grammars
Bitrig's Swift Interpreter: From Code to Bytecode
bitrig.app·9h·
Discuss: Hacker News
🦉Swift Interpreters
Effective Software Engineering with Claude Code
reddit.com·1d·
Discuss: r/ClaudeAI
⚡Interpreter Optimization
Rustlantis: Randomized Differential Testing of the Rust Compiler
plf.inf.ethz.ch·1d·
Discuss: Hacker News
🏗️Cranelift
I paired NotebookLM with VS Code for my coding classes, and I can’t believe how much easier coding got
xda-developers.com·8h
📚Self-Documenting Code
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🎯Finite Automata
No Answer Needed: Predicting LLM Answer Accuracy from Question-Only Linear Probes
lesswrong.com·11h
🎲Parser Fuzzing
Enhanced Genome Sequencing Accuracy via Adaptive Hyperdimensional Neural Networks (AHNNs)
dev.to·14h·
Discuss: DEV
📋JSON Parsing
I got the highest score on ARC-AGI again swapping Python for English
jeremyberman.substack.com·49m·
Discuss: Substack
🪜Recursive Descent
<p>**Abstract:** This paper introduces a novel framework, the Automated Scientific Review and Validation Scoring Framework (ASRVSF), designed to objectively eva...
freederia.com·7h
🌳Tree Diffing
PSA: `views::single` doesn’t really view
quuxplusone.github.io·1d
🔗Lexical Scoping
The Alchemist's Endgame: My Final Synthesis of p-adic Clojure and Legacy Code.
dev.to·4d·
Discuss: DEV
🔗Unification
Reasoned Safety Alignment: Ensuring Jailbreak Defense via Answer-Then-Check
arxiv.org·22h
🪜Recursive Descent
Code Reviews as Exploratory Testing
codemanship.wordpress.com·18h
🚚Code Migration