Protean Funds Scandinavia AB October 2025 Partner Letter
seekingalpha.com·1d
🧩Theorem Proving
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·22h
📊Information Theory
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·1d
⚙Functional Programming
Flag this post
Actively looking for open source contributors to an MCP project! Please DM me if interested.
🦀Rust
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·7h
🎲Probabilistic Programming
Flag this post
I built sbsh: persistent terminal sessions and shareable profiles for kubectl, Terraform, and more
🦀Rust
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
Lightning Network and Node.js
🤝Protocol Design
Flag this post
Loading...Loading more...