🐿️ 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
Type Theory, Program Verification, Theorem Proving, Specification Languages
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
The High Stakes of Biometric Surveillance
techpolicy.press
·
13h
·
Discuss:
Hacker News
🔐
Security Patterns
What Is Ears? The Easy Approach to Requirements Syntax (Ears)
alistairmavin.com
·
2d
·
Discuss:
Hacker News
💻
Programming languages
Typogram Studio: A New Tool for Beautiful Typography Design
typogram.co
·
31m
·
Discuss:
Hacker News
💻
Programming languages
Kubernetes Finally Solves Its Biggest Problem: Managing Databases
thenewstack.io
·
1d
·
Discuss:
Hacker News
🌐
Distributed systems
KDB-X: KX releases FREE Commercial KDB licence
defconq.tech
·
2h
·
Discuss:
Hacker News
🏹
Apache Arrow
What Business Do
melihozkurt.com
·
1d
·
Discuss:
Hacker News
🧩
Microservices
Show HN: ProjectD – Google Drive-based, AES-encrypted C2 in C/C++
github.com
·
1d
·
Discuss:
Hacker News
💻
Programming languages
Unpythonic: Supercharge your Python with parts of Lisp and Haskell
github.com
·
3d
·
Discuss:
Hacker News
💻
Programming languages
Using AI-Created Prototypes to Align Product and Engineering
jeremybelcher.co
·
6h
·
Discuss:
Hacker News
🌐
Distributed systems
C++ Coroutines Advanced: Converting std:future to asio:awaitable
ddhigh.com
·
1d
·
Discuss:
Hacker News
,
r/cpp
💻
Programming languages
ML/AI Pipelines: The "So What" of Crypto Data Ecosystems
davanti-research.medium.com
·
3d
·
Discuss:
Hacker News
🌊
Stream Processing
The Symbol Grounding Problem (1990)
arxiv.org
·
3d
·
Discuss:
Hacker News
🌐
Distributed systems
A code quality battle between 6 AI agents
sourcery.ai
·
1d
·
Discuss:
Hacker News
💻
Programming languages
AI That Thinks Offline, Skia Animations, and a Glimpse of the Future
thereactnativerewind.com
·
10h
·
Discuss:
Hacker News
🦀
Rust
How I Learned to Stop Worrying and Have Fun with A.I.
nytimes.com
·
5h
·
Discuss:
Hacker News
💻
Programming languages
Poor man's bitemporal data system in SQLite and Clojure
evalapply.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🗃️
Database Internals
Rust Language Cheat Sheet
cheats.rs
·
4d
·
Discuss:
Hacker News
🏹
Apache Arrow
Things Not to Learn as an AI Engineer – By Paul Iusztin
decodingml.substack.com
·
3d
·
Discuss:
Substack
💻
Programming languages
MatrixTransformer–A Unified Framework for Matrix Transformations
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
💻
Programming languages
Claude Code Unleashed
ymichael.com
·
1d
·
Discuss:
Hacker News
🌐
Distributed systems
Loading...
Loading more...
« Page 7
•
Page 9 »