Protean Funds Scandinavia AB October 2025 Partner Letter
seekingalpha.com·1d
🧩Theorem Proving
Flag this post
[bitcoindev] Motion to Activate BIP 3
gnusha.org·8h
🤝Protocol Design
Flag this post
Kimsuky Debuts HTTPTroy Backdoor Against South Korea Users
darkreading.com·8h
🔐Cryptography
Flag this post
Bus Factor 0
🔍Static Analysis
Flag this post
Dive into Systems
🧩Theorem Proving
Flag this post
CISO Predictions for 2026
fortinet.com·20h
📊Information Theory
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·1d
⚙Functional Programming
Flag this post
I tried OpenAI’s AgentKit: Does it make Zapier and n8n obsolete?
blog.logrocket.com·18h
⚖Algorithmic Game Theory
Flag this post
Actively looking for open source contributors to an MCP project! Please DM me if interested.
🦀Rust
Flag this post
Building PRRover: A FastAPI GitHub PR Reviewer with Telex A2A Integration
🤝Protocol Design
Flag this post
What is vibe coding? AI writes the code so developers can think big
infoworld.com·1d
🎲Probabilistic Programming
Flag this post
Context7 is the most underrated MCP server you're not using for your local LLM
xda-developers.com·1d
🧮Programming Language Theory
Flag this post
A Unified Model for Human Mobility Generation in Natural Disasters
arxiv.org·5h
🎲Probabilistic Programming
Flag this post
I built sbsh: persistent terminal sessions and shareable profiles for kubectl, Terraform, and more
🦀Rust
Flag this post
Loading...Loading more...