🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✅ Formal Methods

TLA+, Model Checking, Coq, Theorem Proving, Specification Languages

Codeminer42 Dev Weekly #67
blog.codeminer42.com·2d
❄️Nix Adoption
Why Dyad?: A Perspective for Modelica Users
juliahub.com·4d·
Discuss: Hacker News
💧Liquid Types
The Age of Integrity
schneier.com·2d·
Discuss: Hacker News
🔗Data Provenance
The Impact of Regular Training and Timely Security Policy Changes on Dev Teams
thenewstack.io·1d
🔄Language Evolution
Challenging projects every programmer should try
austinhenley.com·3d·
Discuss: Hacker News
📝Compiler Design
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·6d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Linux Explain (Journey from Linux to DevOps)
dev.to·10h·
Discuss: DEV
🔌Operating system internals
A Plea for History and Philosophy of Statistics and Machine Learning
arxiv.org·5h
🧠Machine Learning
AI Infra Guard
github.com·24m·
Discuss: Hacker News
🛡️eBPF Security
Essay writing
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Introducing Ogresync: Free, Open-Source Obsidian Sync Without the Subscription
dev.to·16h·
Discuss: DEV
🔓Open Source Software
Most Advanced AI Agents Now Capable of Lying, Scheming & Threatening Their Creators: A Growing AI Safety Concern
dev.to·1d·
Discuss: DEV
🎯Threat Hunting
GSoC Week 4: RTL Madness, OAuth Adventures & Markdown Mayhem
dev.to·23h·
Discuss: DEV
🌳Incremental Parsing
Navigating the Future of Tech: Trends, Innovations, and Best Practices Every New Developer Should Know
dev.to·18h·
Discuss: DEV
🔄Language Evolution
Flame Graph Performance Truth Analysis(1750918443851900)
dev.to·4d·
Discuss: DEV
⚡Performance Tools
Memory Safety in Web Rust System Zero Cost Secure(1750931826373700)
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
From expected to actual: Kotlin doesn't reinvent, it reuses 🔄
dev.to·3d·
Discuss: DEV
💧Liquid Types
Hey devs, we're Kinde
dev.to·2h·
Discuss: DEV
🔓Open Source Software
Cache Breakdown Prevention with Go’s singleflight
dev.to·2d·
Discuss: DEV
🔄Sync Engine
Heartbeat of Modern Web Real Time Patterns User Design(1751140982879700)
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Loading...Loading more...
AboutBlogChangelogRoadmap