Protean Funds Scandinavia AB October 2025 Partner Letter
seekingalpha.com·1d
🧩Theorem Proving
Flag this post
[bitcoindev] Motion to Activate BIP 3
gnusha.org·5h
🤝Protocol Design
Flag this post
Bus Factor 0
ericphanson.com·1d·
Discuss: Hacker News
🔍Static Analysis
Flag this post
Dive into Systems
diveintosystems.org·1d·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
CISO Predictions for 2026
fortinet.com·17h
📊Information Theory
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·1d
⚙Functional Programming
Flag this post
Jeff Su: 4 Next-Level ChatGPT Techniques (Save 15+ Hours Weekly)
youtube.com·17h·
Discuss: DEV
🧭SMT Solvers
Flag this post
I tried OpenAI’s AgentKit: Does it make Zapier and n8n obsolete?
blog.logrocket.com·15h
⚖Algorithmic Game Theory
Flag this post
This blew my mind 🤯
threadreaderapp.com·1d
👐Open Source Software
Flag this post
Dusty, new HTTP server using async I/O and coroutines
github.com·2d·
Discuss: r/Zig
🌍Distributed Systems
Flag this post
I just created go-picker: a small Go library for picking values from maps, typically parsed JSON.
github.com·9h·
Discuss: r/golang
🤝Protocol Design
Flag this post
I built a self-healing home lab with n8n
xda-developers.com·17h
🦀Rust
Flag this post
Part 2: Building Station Station - A Real-World SDD Case Study
dev.to·1d·
Discuss: DEV
🏗️Software Architecture
Flag this post
I Built Figma for AI Coding (Using Itself)
dev.to·16h·
Discuss: DEV
👐Open Source Software
Flag this post
Transform web pages at the edge
dev.to·1d·
Discuss: DEV
🦀Rust
Flag this post
Actively looking for open source contributors to an MCP project! Please DM me if interested.
github.com·3h·
Discuss: r/opensource
🦀Rust
Flag this post
7 Proven Core Web Vitals Optimization Patterns That Boost Performance and User Experience
dev.to·1d·
Discuss: DEV
🦀Rust
Flag this post
New comment by GuB-42 in "Some software bloat is OK"
news.ycombinator.com·10h·
Discuss: Hacker News
💻Operating Systems
Flag this post
Building PRRover: A FastAPI GitHub PR Reviewer with Telex A2A Integration
dev.to·1d·
Discuss: DEV
🤝Protocol Design
Flag this post
I built sbsh: persistent terminal sessions and shareable profiles for kubectl, Terraform, and more
reddit.com·9h·
Discuss: r/kubernetes
🦀Rust
Flag this post