Cyclic Proofs for iGL via Corecursion
arxiv.org·11h
🧮SMT Solvers
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·5h·
Discuss: r/programming
🎭Program Synthesis
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
📐Type Theory
Flag this post
How to use the matches! Macro Pattern Matching
dev.to·1d·
Discuss: DEV
📦Serde
Flag this post
Pain Points of OCaml
quamserena.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
Personal Standard Library - Generic and Type-Safe Containers
reddit.com·18h·
Discuss: r/C_Programming
📏Linear Types
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·2d·
Discuss: Hacker News
🔗Dependent Types
Flag this post
Continuous Autoregressive Language Models
shaochenze.github.io·13h·
Discuss: Hacker News
📱Edge AI
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
dev.to·22h·
Discuss: DEV
⚛️Quantum Computing
Flag this post
Creating Lisp Systems
renato.athaydes.com·8h·
Discuss: Hacker News
🏭Code Generation
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·1d
🔤Language Design
Flag this post
Regularization Through Reasoning: Systematic Improvements in Language Model Classification via Explanation-Enhanced Fine-Tuning
arxiv.org·11h
📱Edge AI
Flag this post
News for October 2025
ptreview.sublinear.info·1d
✅Property Testing
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·3d·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Using Coding Agents to Decompile Nintendo 64 Games
blog.chrislewis.au·4h·
Discuss: Hacker News
🔓Binary Exploitation
Flag this post
Low-Level Hacks
blog.raycursive.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·19h
λFunctional Programming
Flag this post
Recursive macros in C, demystified (once the ugly crying stops)
h4x0r.org·1h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·1d·
Discuss: Hacker News
💬Prompt Engineering
Flag this post