Framework for Machine Evaluation of Reasoning Completeness in Large Language Models For Classification Tasks
arxiv.org·6h
🧠Intelligence Compression
Flag this post
My First Rust Project
binwang.me·6h
🦀Rust Macros
Flag this post
Turing Machine Visualization (2016)
🎞️Tape Combinatorics
Flag this post
HigherOrderCO/Bend2
github.com·2d
🔗Functional Compilers
Flag this post
Parsing: How Ruby Understands Your Code
patshaughnessy.net·1d
📝Concrete Syntax
Flag this post
A bestiary of single-file programming language implementations
🔗Concatenative Programming
Flag this post
Nonmonotonic Logic
🔬Logic in Computer Science
Flag this post
Recent Rust Changes
🦀Rust Borrowing
Flag this post
How to Use Zorn's Lemma
⚔️Lean Theorem
Flag this post
"use workflow": Understanding Directives
🐚Shell Monads
Flag this post
ENTP: Enhancing Low-Quality SFT Data via Neural-Symbolic Text Purge-Mix
arxiv.org·6h
🧮SMT Solvers
Flag this post
Purely Functional Retrogames (2008)
🔗Lisp
Flag this post
Clean Code, Clear Writing: William Zinsser's Principles for Developers
📝Compiler Design
Flag this post
Research Bits: Oct. 28
🖥️Hardware Architecture
Flag this post
Loading...Loading more...