Title: Algorithmic Discrepancy Theory
informatics.ed.ac.uk·4d
🎯Performance Proofs
Flag this post
We Programmers Need "Results"
📜Proof Carrying Code
Flag this post
HigherOrderCO/Bend2
github.com·1d
🔗Functional Compilers
Flag this post
Claude, Teach Me Something
hugotunius.se·1d
🤖Grammar Induction
Flag this post
Unsplittable Cost Flows from Unweighted Error-Bounded Variants
arxiv.org·6h
🧮Algebraic Datatypes
Flag this post
Typst's Math Mode Problem
🔗Lisp
Flag this post
Corecursion
λLambda Encodings
Flag this post
A Vision for Future Low-Level Languages
🦀Rust Borrowing
Flag this post
The Trojan Example: Jailbreaking LLMs through Template Filling and Unsafety Reasoning
arxiv.org·6h
🌐NetworkProtocols
Flag this post
Golang for physics
🧮Theoretical Computer Science
Flag this post
MIT 6.851: Advanced Data Structures (Spring'21)
💻CS
Flag this post
AI and Intro Theory
🎯Performance Proofs
Flag this post
PMPP-Eval Journey
🔍Concolic Testing
Flag this post
Reasoning's Razor: Reasoning Improves Accuracy but Can Hurt Recall at Critical Operating Points in Safety and Hallucination Detection
arxiv.org·6h
🔬Logic in Computer Science
Flag this post
How bugs made me believe in TDD
🔍Concolic Testing
Flag this post
Three Sins of Contextual Mismatch: Obscurity, Ambiguity, and Confabulation
🇸🇪Nordic Algorithms
Flag this post
Loading...Loading more...