Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·9h·
Discuss: Hacker News
☁️Serverless Rust
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·1d
🔍Query Compilers
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🔍Query Compilers
Slip – A Lisp System in JavaScript
lisperator.net·18h·
Discuss: Hacker News
✨vibe-coding
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·12h·
Discuss: DEV
🧠Neuromorphic Hardware
Effective C++ – Hour 10
jtag.bearblog.dev·1d
⚠️Unsafe Rust
My First Week of Vibecoding
underreacted.leaflet.pub·5h·
Discuss: Hacker News
✨vibe-coding
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔍Query Compilers
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🦕Deno
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
☁️Serverless Rust
Let's Write a Macro in Rust
hackeryarn.com·16h·
Discuss: Hacker News
🔌Embedded Rust
OCaml 5.4 Release: New Features, Fixes, and More
tarides.com·1h·
Discuss: Lobsters, Hacker News
🔍Query Compilers
Building the Reasoning Engine at Axiom
axiommath.ai·12h·
Discuss: Hacker News
🔍Query Compilers
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·1d·
Discuss: r/golang
⚡Tokio
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1d
🕸️Graph Databases
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·10h·
Discuss: Hacker News
☁️Serverless Rust
Zen of Python
webaligo.bearblog.dev·11h
🔍Static Analysis
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
🧩WebAssembly
Can an LLM Be a Black-Box Optimizer?
posgeo.wordpress.com·49m·
Discuss: Hacker News
🔍Query Compilers
The Custom Conveyor: Building Your Own Iterators
dev.to·4h·
Discuss: DEV
🔍Query Compilers