owi's Top FindsLoading...
Side-events you shouldn't miss at DevConnect Buenos Aires
thomasbenoitbenoitonchain.substack.com·1d·
Discuss: Substack
🌐Web
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·4d·
Discuss: Hacker News
📊Type systems
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
Accumulating Context Changes the Beliefs of Language Models
lm-belief-change.github.io·9h·
Discuss: Hacker News
🧪Testing
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
blog.dominikrudnik.pl·2d·
Discuss: Hacker News
📊Type systems
Flag this post
Catalog of reliability properties for blockchains (Antithesis)
antithesis.com·2d·
Discuss: Hacker News
🧪Testing
Flag this post
Zensical – A modern static site generator built by the Material for MkDocs team
squidfunk.github.io·1d·
Flag this post
Dive into Systems
diveintosystems.org·2d·
Discuss: Hacker News
📊Type systems
Flag this post
What data do coding agents send, and where to?
chasersystems.com·2d·
Discuss: Hacker News
🌐Web
Flag this post
Gem.coop Update #1
gem.coop·4h·
Flag this post
Prog8
github.com·2d·
Discuss: Hacker News
📊Type systems
Flag this post
Firefox and Chromium
madaidans-insecurities.github.io·11h·
Discuss: Hacker News
Flag this post
A PoC to make a backdoored PyTorch neural network
hacktelligence.org·17h·
Discuss: Hacker News
Flag this post
A few months with htmx
thomashunter.name·1d·
🌐Web
Flag this post
Show HN: Yansu, Serious Coding
twitter.com·21h·
Discuss: Hacker News
🌐Web
Flag this post
'Vibe coding' named word of the year by Collins Dictionary
bbc.com·13h·
Discuss: Hacker News
Flag this post
Patterns for Defensive Programming in Rust
corrode.dev·4d·
📊Type systems
Flag this post
Prentice Hall Interview with Rich Stevens, Author of Unix Programming (1997)
kohala.com·6h·
Discuss: Hacker News
Flag this post
The Same Feature That Makes a Component Powerful Can Also Make It Dangerous
blog.zast.ai·2d·
Discuss: Hacker News
🦀Programming languages
Flag this post
Build Efficient MCP Servers: Three Design Principles
damiangalarza.com·18m·
Discuss: Hacker News
Flag this post
C++ move semantics from scratch (2022)
cbarrete.com·3d·
📊Type systems
Flag this post