owi's Top FindsLoading...
Arenas in Rust
russellw.github.io·12h·
Discuss: Hacker News
🦀Programming languages
Python performance myths and fairy tales
lwn.net·5h·
Discuss: Lobsters, Hacker News
📊Type systems
In Support Of Shitty Types
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News
📊Type systems
Claude Code IDE Integration for Emacs
github.com·46m·
Discuss: Hacker News
🦀Programming languages
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
📊Type systems
OpenAI Just Dropped GPT-OSS and It's a Game Changer (Full Breakdown and Code)
algogist.com·18h·
Discuss: Hacker News
👐Open source software
The Generativity Pattern in Rust
arhan.sh·1d·
Discuss: Lobsters, Hacker News, r/programming
📊Type systems
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·8h·
Discuss: Hacker News
🧪Testing
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·1d·
Discuss: Lobsters, Hacker News
🧪Testing
How the Lean language brings math to coding and coding to math
amazon.science·19h·
Discuss: Hacker News
🦀Programming languages
Coding with Claude
blog.puzzmo.com·22h·
Discuss: Hacker News
📊Type systems
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·20h·
Discuss: Hacker News
📊Type systems
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Rust Making Progress On Its 2025 Project Goals
phoronix.com·13h·
Discuss: Hacker News
🦀Programming languages
What's New in C# 14: User-Defined Compound Assignments
blog.ivankahl.com·15h·
Discuss: Hacker News
📊Type systems
Linear Types for Programmers
twey.io·3d·
Discuss: Hacker News
📊Type systems
Automated Browser Testing with Claude Code Agents and Browserbase
ritza.co·1h·
Discuss: Hacker News
🦀Programming languages
Embracing the Model Context Protocol in practice: An engineering deep-dive
xpander.ai·16h·
Discuss: Hacker News
🌐Web
Show HN: Rotel – Fast and Efficient OpenTelemetry Collection in Rust
rotel.dev·21h·
Discuss: Hacker News
👐Open source software
The Amaranth hardware description language
amaranth-lang.org·10h·
Discuss: Hacker News
📊Type systems
A New Concurrent ML in Guile Scheme
wingolog.org·1d·
Discuss: Hacker News
📊Type systems