Protean Funds Scandinavia AB October 2025 Partner Letter
seekingalpha.com·21h
🧩Theorem Proving
Flag this post
Bus Factor 0
ericphanson.com·23h·
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·11h
📊Information Theory
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·1d
⚙Functional Programming
Flag this post
AI Uses Functions to Fetch Real Data (Not Just Chat)
farukalpay.substack.com·12h·
Discuss: Substack
🔗Parser Combinators
Flag this post
Jeff Su: 4 Next-Level ChatGPT Techniques (Save 15+ Hours Weekly)
youtube.com·11h·
Discuss: DEV
🧭SMT Solvers
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
daft.ai·8h·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
Software Development in the Time of New Angels
davegriffith.substack.com·1d·
Discuss: Substack
🔍Static Analysis
Flag this post
Building Resilient Event-Driven Systems: Lessons from the Distributed Trenches
dev.to·17h·
Discuss: DEV
🌍Distributed Systems
Flag this post
Context7 is the most underrated MCP server you're not using for your local LLM
xda-developers.com·23h
🧮Programming Language Theory
Flag this post
Creating a very basic gRPC server
dev.to·1d·
Discuss: DEV
🤝Protocol Design
Flag this post
Part 2: The Role of No-Code in OSS Modernization
dev.to·8h·
Discuss: DEV
🤝Protocol Design
Flag this post
Transform web pages at the edge
dev.to·1d·
Discuss: DEV
🦀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
MaGNet: A Mamba Dual-Hypergraph Network for Stock Prediction via Temporal-Causal and Global Relational Learning
arxiv.org·20h
🎲Probabilistic Programming
Flag this post
It's Mainframes All the Way Down
medium.com·7h·
Discuss: Hacker News
🏗Computer Architecture
Flag this post
Introducing GoBetterAuth
github.com·5h·
Discuss: r/golang
🤝Protocol Design
Flag this post
Introducing Spira - Making a Shell #0
github.com·1d·
Discuss: DEV
🦀Rust
Flag this post
Real-time stock volatility prediction with deep learning on a time-series DB
medium.com·17h·
Discuss: Hacker News
🎲Probabilistic Programming
Flag this post