Automating Boundary Filling in Cubical Type Theories
arxiv.org·23h
🔶Cubical Type Theory
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·16h
⚗️Algebraic Coding
The Generativity Pattern in Rust
arhan.sh·9h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Machine Learning Fundamentals: machine learning with python
dev.to·10h·
Discuss: DEV
🧠Machine Learning
[P] Implementing Einsum
lyadalachanchu.github.io·1d
📐Linear Algebra
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·13h
📝Concrete Syntax
Linear Types for Programmers
twey.io·2d·
Discuss: Hacker News
🔒Linear Types
Renesas RZ/G3E Arm Cortex-A55/M33 MPU targets mid-range HMI systems requiring AI acceleration
cnx-software.com·17h
⚡Nordic Processors
A Library Approach to Constant Template Parameters
brevzin.github.io·2d·
Discuss: Hacker News, r/cpp
🦀Rust Macros
SAT Requires Exhaustive Search
link.springer.com·6h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Where Matters: Location Feature Engineering for Search & Recs
shaped.ai·1d
📏Range Queries
Let's hax0r a GC… (eventually)
h4x0r.org·12h·
Discuss: Lobsters, Hacker News
🧠Memory Allocators
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·11h·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Extensions and Shadows (9)
sites.psu.edu·13h
✨Effect Handlers
How I Use LLMs for Data Harmonization: A Strategic, Limited Approach
rxdatalab.com·8h·
Discuss: Hacker News
🔄Archival Workflows
original ↗
dotat.at·1d·
Discuss: Lobsters, Hacker News
🌳Trie Structures
Pairing-unfriendly curves
johndcook.com·7h
🔱Galois Cryptography