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·1d
🧮Theorem Proving
Show HN: I built a LSP with its own parser to learn Rust
github.com·1h·
Discuss: Hacker News
⚡Dependent Rust
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·15h·
Discuss: Hacker News
🌐Protocol Synthesis
North Korea’s Contagious Interview Campaign Escalates: 338 Malicious npm Packages, 50,000 Downloads
socket.dev·11h·
Discuss: Hacker News
🚀Indie Hacking
Replacing the Type Checker for the Swift Compiler
forums.swift.org·2d·
Discuss: Hacker News
💧Liquid Types
Automated Parameter Calibration in Physics-Based Robot Simulation via Bayesian Optimization
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Scriptable mutating admission hook?
reddit.com·9h·
Discuss: r/kubernetes
🎯Gradual Typing
Nearest Neighbor CCP-Based Molecular Sequence Analysis
arxiv.org·1d
🔄Burrows-Wheeler
Why it took 4 years to get a lock files specification
snarky.ca·1h·
Discuss: Hacker News
🔄Language Evolution
Operable Software
ferd.ca·15h·
Discuss: Hacker News
👁️System Observability
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
SAT problems are kind of cool
blog.karanjanthe.me·2d·
Discuss: Hacker News
🧮SMT Solvers
The Porcelain to Come
stackdiver.com·6h·
Discuss: Hacker News
🔲Cellular Automata
TypeScript Flaws (2024)
intercaetera.com·4d·
Discuss: Hacker News
🎯Gradual Typing
Automated Anomaly Detection in Time-Series Statistical Spreadsheets via Hyperdimensional Vector Similarity
dev.to·8h·
Discuss: DEV
🔤Character Classification
Show HN: I've built C# source code generator Fluent API library
github.com·1d·
Discuss: Hacker News
🦀Rust Macros
Scaling LLM Multi-turn RL with End-to-end Summarization-based Context Management
arxiv.org·2d
💻Local LLMs