abnv's Top FindsLoading...
Fall foliage, music, games, and text editors
eli.li·22h
📝Text Editors
ZeroPoint Technologies Teams with OCP Composable Memory Systems TCO Sub-Team Member to Showcase Inline Hardware Memory Compression
prnewswire.com·2h
💾Zero-Copy
How to Start Learning Go
pixelstech.net·15h
🤖Embedded Go
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·3d·
Discuss: Hacker News
📡Erlang BEAM
Unforgettable factory revisited
holyblackcat.github.io·3d·
Discuss: r/cpp
🪆Embedded DSLs
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·2d·
Discuss: Hacker News
📋Task Queues
Defeating Return Type Polymorphism
philipphagenlocher.de·4d·
Discuss: Hacker News
📏Linear Haskell
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Vulnerability in confidential cloud environments uncovered
techxplore.com·3h
🛡️Security Type Systems
Procedurally generated flags
reddit.com·1h·
Discuss: r/proceduralgeneration
✨Code Formatting
Imagine your browser as a giant customizable and navigable canvas, twelve times bigger than your screen. That’s what I’m building
reddit.com·10h·
Discuss: r/browsers
🌐Browser REPLs
Three ways formally verified code can go wrong in practice
buttondown.com·3d·
Discuss: Lobsters, Hacker News
📜Proof Languages
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·3d·
Discuss: Hacker News
📝Text Editors
Graphulo: Accumulo library of matrix math primitives and graph algorithms
github.com·2d·
Discuss: Hacker News
📊DataFrame Types
Building AI Systems That Don't Break Under Attack
dev.to·1d·
Discuss: DEV
🛡️Security Type Systems
(FULLY OPEN SOURCE) open-computer-use: Computer agents working on their own VMs
github.com·1d·
Discuss: Hacker News
⚡Live Coding
Best AI Mobile App Builders for Designers in 2025: Create Stunning Apps Without Coding
dev.to·9h·
Discuss: DEV
⚡Live Coding
Decoding Positive Selection in Mycobacterium tuberculosis with Phylogeny-Guided Graph Attention Models
arxiv.org·14h
🗺️Region Polymorphism
COMPASS: Enhancing Agent Long-Horizon Reasoning with Evolving Context
arxiv.org·14h
🧩Constraint Solvers
Building A Real-Time Communication System Using Go and WebSocket
dev.to·2d·
Discuss: DEV
🌍HTTP Servers
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.org·5d
🗺️Region Inference