Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·18h
🔍Query Compilers
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🔍Query Compilers
Slip – A Lisp System in JavaScript
lisperator.net·8h·
Discuss: Hacker News
✨vibe-coding
Effective C++ – Hour 10
jtag.bearblog.dev·1d
⚠️Unsafe Rust
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·1h·
Discuss: DEV
🧠Neuromorphic Hardware
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🦕Deno
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔍Query Compilers
Let's Write a Macro in Rust
hackeryarn.com·6h·
Discuss: Hacker News
🔌Embedded Rust
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
☁️Serverless Rust
Building the Reasoning Engine at Axiom
axiommath.ai·2h·
Discuss: Hacker News
🔍Query Compilers
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·14h·
Discuss: r/golang
⚡Tokio
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·18h
🕸️Graph Databases
Lobsters Interview with Zdsmith
lobste.rs·16h·
Discuss: Lobsters
🧩Low-code
Zen of Python
webaligo.bearblog.dev·1h
🔍Static Analysis
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
🧩WebAssembly
Experimenting with ACL2 and Claude Code
mikedodds.org·9h·
Discuss: Hacker News
💬Language Servers
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·2d·
Discuss: Hacker News
☁️Serverless Rust
Simplicity • Pragmatic Dave Thomas & Sarah Taraporewalla
youtube.com·9h
☁️Serverless Rust
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·18h
🔍Query Compilers
The Library Method: Understanding @cache
dev.to·20h·
Discuss: DEV
🔌Embedded Rust