Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp
How we made JSON.stringify more than twice as fast
v8.dev·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🌊Streaming Compression
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
The Generativity Pattern in Rust
arhan.sh·13h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
GoLang101: Functions, Methods, and Go’s Minimal Object-Oriented Style
dev.to·3d·
Discuss: DEV
🔗Concatenative Programming
Creating a Toy Programming Language with Actor-Based Parallelism
pointersgonewild.com·2d·
Discuss: Hacker News
🔄Lens Laws
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·43m
✅Archive Validation
Extensions and Shadows (9)
sites.psu.edu·17h
✨Effect Handlers
A Library Approach to Constant Template Parameters
brevzin.github.io·2d·
Discuss: Hacker News, r/cpp
🦀Rust Macros
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·21h
⚗️Algebraic Coding
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·15h·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·23h·
Discuss: Hacker News
🔒Linear Types
Beyond Manually Designed Pruning Policies with Second-Level Performance Prediction: A Pruning Framework for LLMs
arxiv.org·3h
💻Local LLMs
ECMA-262, 16th edition, June 2025
262.ecma-international.org·1d·
Discuss: Hacker News
🎯Gradual Typing
[P] Implementing Einsum
lyadalachanchu.github.io·1d
📐Linear Algebra
Vibe coding complex changes in Rust
youtube.com·3d
🦀Rust Macros
Linear Types for Programmers
twey.io·2d·
Discuss: Hacker News
🔒Linear Types
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·4d·
Discuss: Hacker News
📝Concrete Syntax