Automating Boundary Filling in Cubical Type Theories
arxiv.org·22h
🔍Query Compilers
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💻Local LLMs
The Generativity Pattern in Rust
arhan.sh·8h·
Discuss: Lobsters, Hacker News, r/programming
🔌Embedded Rust
SAT Requires Exhaustive Search
link.springer.com·5h·
Discuss: Hacker News
🔍Query Compilers
Linear Types for Programmers
twey.io·2d·
Discuss: Hacker News
🔌Embedded Rust
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·17h·
Discuss: Hacker News
☁️Serverless Rust
Juris.js: The Thousand Masters Architecture That AI Can't Even Figure Out Where to Start
dev.to·6h·
Discuss: DEV
🤖AI agents
A Library Approach to Constant Template Parameters
brevzin.github.io·2d·
Discuss: Hacker News, r/cpp
🦋Tauri
[P] Implementing Einsum
lyadalachanchu.github.io·1d
💻Local LLMs
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·2d·
Discuss: Lobsters, Hacker News
💬Language Servers
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·10h·
Discuss: Lobsters, Hacker News
🔍Static Analysis
lydiahallie/javascript-questions
github.com·2d
🦕Deno
In Support Of Shitty Types
lucumr.pocoo.org·8h·
Discuss: Lobsters, Hacker News
🦕Deno
why you should learn ocaml
sarthak2143.bearblog.dev·5d
☁️Serverless Rust
Constructive Disintegration and Conditional Modes
arxiv.org·22h
🧬Computational Biology
Complex Iterators are Slow
caolan.uk·11h·
Discuss: Lobsters, Hacker News
🔍Query Compilers
A Gentle Introduction To Fortran
hackaday.com·9h·
Discuss: Lobsters, Hacker News
⚙Risc-v
ECMA-262, 16th edition, June 2025
262.ecma-international.org·1d·
Discuss: Hacker News
🦕Deno
Building an AI-driven course content generation system using Amazon Bedrock
aws.amazon.com·8h
☁️Serverless Rust
LLMs - Embeddings 01
dev.to·20h·
Discuss: DEV
💻Local LLMs