The Easiest Way to Build a Type Checker
jimmyhmiller.com·13h·
Discuss: Hacker News
✅Type Checking
Flag this post
October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
📈Monotonic Logic
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·10h
🗂️Type Indexing
Flag this post
Global Optimization: Finding the Needle in a Haystack – Faster by Arvind Sundararajan
dev.to·5h·
Discuss: DEV
🔍Search Algorithms
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·15h·
Discuss: Hacker News
🌱Minimal Interpreters
Flag this post
On Thread Synchronization : Part 1 - A deep dive into mutexes
sayujya-apte.github.io·22h·
Discuss: r/programming
🔗Concurrency Primitives
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.com·1d
⚖️Inference Rules
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·23h·
Discuss: Substack
📚Forth Compilers
Flag this post
10000
jro.sg·19h
📦Executable Size
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔶Lattice Theory
Flag this post
Rust Smart Pointers: Safe Memory Management Without Garbage Collection
dev.to·18h·
Discuss: DEV
🔒Rust Borrowing
Flag this post
Is it possible for a 16-thread processor 4GHz to run a single-threaded program in a virtual machine program at 64 Giga computations/s? Latency?
reddit.com·1d·
Discuss: r/compsci
🔀SIMD Programming
Flag this post
How LLM Inference Works
arpitbhayani.me·1d
🚀Tokenizer Performance
Flag this post
Unlocking Speed: Certified Symmetry Breaking with Auxiliary Variables
dev.to·1d·
Discuss: DEV
🧮Combinator Calculus
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·22h·
Discuss: Lobsters
🔧Error Recovery
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
🔧API Design
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·22h·
Discuss: Substack
🎭Program Synthesis
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·10h·
Discuss: Hacker News
🔶Lattice Theory
Flag this post
An overview of memory management in Go (2021)
medium.com·14h·
Discuss: Hacker News
📚Stack Data Structures
Flag this post
Trying Out C++26 Executors
mropert.github.io·12h·
Discuss: Lobsters, Hacker News
🔮Speculative Execution
Flag this post