🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
✅ Formal Methods
TLA+, Model Checking, Coq, Theorem Proving, Specification Languages
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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...
« Page 26
•
Page 28 »