Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·2d
🎯Performance Proofs
Status Update: August 2025
joshleeb.com·4d
🔗Topological Sorting
Mojo Roadmap Document
docs.modular.com·2d·
Discuss: Hacker News
💻Programming languages
Vibe Coding Terminal Editor
matklad.github.io·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Enhanced Floating Wind Turbine Blade Fatigue Life Prediction via Deep Feature Fusion
dev.to·12h·
Discuss: DEV
📊Quantization
Compiler-Driven Development: Building an Elm Playground That Compiles in the Browser
cekrem.github.io·21h·
Discuss: Hacker News, r/programming, r/webdev
🏗️Compiler Archaeology
Real-World Java • Victor Grazi, Jeanne Boyarsky & Barry Burd • GOTO 2025
youtube.com·3d
💻Programming languages
Abstractions, Future-Proofing, and a Reasonable Amount of Effort
oddevan.com·1d·
Discuss: Hacker News
🦋Format Metamorphosis
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·10h·
Discuss: Hacker News
🔍Type Inference
HealthProcessAI: A Technical Framework and Proof-of-Concept for LLM-Enhanced Healthcare Process Mining
arxiv.org·4h
🌊Stream Processing
Ripple is a TypeScript UI framework for web (If React and Svelte had a baby)
github.com·2d·
Discuss: Hacker News, Hacker News, r/webdev
🎯Gradual Typing
Quirks of Common Lisp Types
fosskers.ca·1d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Where LLMs Have Been Useful (For Rebuilding a Car)
outruncarbon.com·3d·
Discuss: Hacker News
⚙️Assembly Verification
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·5h·
Discuss: Hacker News
✅Format Verification
AI Models Need a Virtual Machine
blog.sigplan.org·2d·
Discuss: Hacker News, Hacker News
⚙️TLA+
DynaMark: A Reinforcement Learning Framework for Dynamic Watermarking in Industrial Machine Tool Controllers
arxiv.org·4h
🔍Vector Forensics
Improving Aviation Safety Analysis: Automated HFACS Classification Using Reinforcement Learning with Group Relative Policy Optimization
arxiv.org·4h
✨Algebraic Effects
A Constructive Look at TempleOS (2015)
codersnotes.com·53m·
Discuss: Hacker News
🔌Operating system internals
Adaptive Cooperative Routing Optimization for Enhanced V2X-Based Autonomous Vehicle Resilience
dev.to·11h·
Discuss: DEV
🕸️Mesh Networking
Orchestrating Multi-Agent Systems: Google ADK, A2A, and Temporal
medium.com·2d·
Discuss: Hacker News
⚙️TLA+