Fibonacci Funhouse: Exploring Ruby Algorithms for Fibonacci Numbers
rorvswild.com·1d·
Discuss: Hacker News
🏹Effect Systems
Working in Groups
internet.place·1d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
The new compression algorithm is not like the standard ones
ferki-git-creator.github.io·4d·
Discuss: Hacker News
🧮Lambda Calculus
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·1d·
Discuss: Hacker News
❄️Nixified Development
You Can Just Do Things
elite-ai-assisted-coding.dev·1d·
Discuss: Hacker News
✓Automated Theorem Proving
OpenAI Lays Out The Principles Of Global-Scale Computing
nextplatform.com·19h·
Discuss: Hacker News
📦Unikernel Systems
Using Linters to Direct Agents
factory.ai·2d·
Discuss: Hacker News
🔄Reproducible Builds
Cutting-Edge AI vs. Solid Architecture: Which Will Transform Your Business?
blog.mangoteque.com·6h·
Discuss: Hacker News
👁️System Observability
Scaffolding for production vibe coding
interjectedfuture.com·2d·
Discuss: Hacker News
🔬Static Analysis
Lessons from Studying Two-Hop Latent Reasoning
lesswrong.com·3h
📚Automata Learning
Ban&Pick: Achieving Free Performance Gains and Inference Speedup via Smarter Routing in MoE-LLMs
arxiv.org·2d
🐫OCaml
Idle thoughts about how we replace keyboards
interconnected.org·1d·
Discuss: Hacker News
🍎Apple
RAFFLES: Reasoning-based Attribution of Faults for LLM Systems
arxiv.org·2d
🧠Automated Reasoning
A Fragile Number Sense: Probing the Elemental Limits of Numerical Reasoning in LLMs
arxiv.org·2d
📚Automata Learning
Show HN: Inception: Automatic Rust Trait Implementation by Induction
github.com·5d·
Discuss: Hacker News, r/rust
🔠Type-Level Programming
MachineLearningLM: Continued Pretraining Language Models on Millions of Synthetic Tabular Prediction Tasks Scales In-Context ML
arxiv.org·2d
📚Automata Learning
Unidimensional semi-discrete partial optimal transport
arxiv.org·17h
🔠Type-Level Programming
Examining Vision Language Models through Multi-dimensional Experiments with Vision and Text Features
arxiv.org·17h
📚Automata Learning
NPM debug and chalk packages compromised
aikido.dev·3d·
Discuss: Hacker News, r/linux, r/node, r/programming, r/webdev
🍎Apple
Massively Parallel Agentic Simulations with Ray
anyscale.com·18h·
Discuss: Hacker News
⚙️Operating System Design