BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·1h·
Discuss: Hacker News
🦀Rust Macros
Implicit `operator bool` participates in comparison
quuxplusone.github.io·23h
🦀Rust Verification
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
C++26: range support for std:optional
sandordargo.com·2d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Building the Reasoning Engine at Axiom
axiommath.ai·3h·
Discuss: Hacker News
⚔️Lean Tactics
Three ways formally verified code can go wrong in practice
buttondown.com·6h
📜Proof Carrying Code
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·19h
⛪Church Encoding
Experimenting with ACL2 and Claude Code
mikedodds.org·11h·
Discuss: Hacker News
👑Isabelle
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·15h·
Discuss: Hacker News
✨Effect Handlers
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Efficient and accurate search in petabase-scale sequence repositories
nature.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler
North Korea’s Contagious Interview Campaign Escalates: 338 Malicious npm Packages, 50,000 Downloads
socket.dev·6h·
Discuss: Hacker News
🚀Indie Hacking
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to·14h·
Discuss: DEV
🌊Apache Kafka
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·10h·
Discuss: Hacker News
🎯Performance Proofs
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·2d·
Discuss: Hacker News
🧬Functional Programming
Vexing Exceptions
ericlippert.com·20h·
Discuss: Hacker News
🧪Binary Fuzzing
The Mondrian introduction to functional optics
marcosh.github.io·3d·
Discuss: Lobsters, Hacker News
⟷Bidirectional Programming
Golang Dependency Inversion — A Java Developer's Point of View
dev.to·3d·
Discuss: DEV
🔬Refinement Types
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·19h
🧮Theorem Proving
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·9h·
Discuss: Hacker News
🌐Protocol Synthesis