Moving to Bearblog - Choosing constraints over customisation so I actually write.
jpain.io·1d
🧩Theorem Proving
Flag this post
Annotated 3D Point Cloud Dataset of Broad-Leaf Legumes Captured by High-Throughput Phenotyping Platform
nature.com·12h
🎲Probabilistic Programming
Flag this post
Monsta FTP: Critical Vulnerability Allows Attackers to Execute Malicious Code
heise.de·6h
🦀Rust
Flag this post
One API for all – Mozilla ends LLM chaos
heise.de·3d
🧮Programming Language Theory
Flag this post
Spinning Plates
🧩Theorem Proving
Flag this post
Little Bits: Issue #30 For October 2025
adamsdesk.com·3d
💻Operating Systems
Flag this post
Managing short-lived tokens — a small open-source config-driven solution
🤝Protocol Design
Flag this post
Fyler.nvim v2.0.0 pre-release
📝Text Editors
Flag this post
Velocity – GitHub Activity and Productivity Reports for GitHub Repos and Orgs
🏗️Software Architecture
Flag this post
Save a Junior
🧩Theorem Proving
Flag this post
The jailbreak argument against LLM values
lesswrong.com·13h
🧭SMT Solvers
Flag this post
Just hit 25 users on my new tab extension. Here’s what’s new and what I need your feedback on
📝Text Editors
Flag this post
Frontend or Backend: Where Full-Stack Devs Spend Their Time
thenewstack.io·2d
🔌Network Programming
Flag this post
Loading...Loading more...