Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
Optimal Scheduling Algorithms for LLM Inference: Theory and Practice
arxiv.org·21h
💻Local LLMs
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·4d
🔗Lisp
How the Lean language brings math to coding and coding to math
amazon.science·7h·
Discuss: Hacker News
🔬Lean
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp
Issue 483
haskellweekly.news·5d
🧬Functional Programming
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·5h
🔬Refinement Types
The Generativity Pattern in Rust
arhan.sh·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Show HN: List of Clojure-Like projects
github.com·4d·
Discuss: Hacker News
🧠Lisp Dialects
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d·
Discuss: Lobsters, Hacker News
🔗Lisp
Machine Learning Fundamentals: model evaluation project
dev.to·8h·
Discuss: DEV
📏Code Metrics
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📝Concrete Syntax
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.com·13h·
Discuss: Hacker News
📼Tape Combinators
A New Concurrent ML in Guile Scheme
wingolog.org·16h·
Discuss: Hacker News
🔄Lens Laws
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·7h
💧Liquid Types
Why Computer Science Is No Good, Redux
cacm.acm.org·8h
🎯Performance Proofs
SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·12h·
Discuss: www.blogger.com
🌳Persistent Data Structures
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·1d·
Discuss: Hacker News
🔒Linear Types