๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
๐ Proof Assistants
Agda, Coq, Isabelle, Lean, Theorem Proving, Interactive Verification
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
History of UNIX Manpages
manpages.bsd.lv
ยท
8h
ยท
Discuss:
Lobsters
,
Hacker News
๐ข
IBM Mainframes
Just speak the truth
drewdevault.com
ยท
19h
ยท
Discuss:
Hacker News
๐ง
FOSS
Does AI Make Us Lazy?
calnewport.com
ยท
22h
ยท
Discuss:
Hacker News
๐ฒ
Cellular Automata
Efficient set-membership filters and dictionaries based on SAT
github.com
ยท
1d
ยท
Discuss:
Hacker News
๐ธ
Bloom Filters
DAY 5 OF HTML
dev.to
ยท
2h
ยท
Discuss:
DEV
๐
Concrete Syntax
Show HN: DotnetEbpf - Write Linux eBPF kernel applications in C#
github.com
ยท
6h
ยท
Discuss:
Hacker News
๐ก๏ธ
eBPF Security
Best AI Course in Bangalore | Eduleem
dev.to
ยท
2d
ยท
Discuss:
DEV
๐ป
CS
Calyptus Launches New AI Hiring Platform To Close the Global Productivity Gap
hackernoon.com
ยท
18h
๐
Indie Hacking
DAPFAM: A Domain-Aware Patent Retrieval Dataset Aggregated at the Family Level
arxiv.org
ยท
15h
๐
Information Retrieval
How I Made Task Lists Fun Again (with a Hint of World Domination)
dev.to
ยท
2d
ยท
Discuss:
DEV
๐
Concatenative Languages
Programming Entry Level: how to interpreter
dev.to
ยท
5d
ยท
Discuss:
DEV
๐
Lisp
I built a label-aware PostgreSQL proxy for Kubernetes โ supports TLS, pooling, dynamic service discovery (feedback + contributors welcome!)
reddit.com
ยท
5h
ยท
Discuss:
r/kubernetes
๐ฆ
Container Security
๐ค How I Went from Writing Tests Manually to AI-Driven API Testing with Keploy
dev.to
ยท
2d
ยท
Discuss:
DEV
โก
Proof Automation
Oracle APEX Passkeys: Passwordless Authentication Guide
dev.to
ยท
4d
ยท
Discuss:
DEV
๐
PKI Archaeology
๐ Day 2: Controlling the Flow โ Python Core Concepts Unlocked
dev.to
ยท
2d
ยท
Discuss:
DEV
๐
Constraint Handling
GSoC 2025 - Week 4: Jumping into Hardware Integration
dev.to
ยท
42m
ยท
Discuss:
DEV
๐
Interface Evolution
Data Science Projects You can start this weekend
dev.to
ยท
1d
ยท
Discuss:
DEV
๐งช
Data science
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org
ยท
6d
๐งช
CBOR Fuzzing
Building a Modern Tic-Tac-Toe Game with Radix UI, Tailwind CSS v4, and AI Collaboration
dev.to
ยท
1d
ยท
Discuss:
DEV
๐
Terminal Typography
PentaRAG: Large-Scale Intelligent Knowledge Retrieval for Enterprise LLM Applications
arxiv.org
ยท
15h
๐
Information Retrieval
Loading...
Loading more...
« Page 24
โข
Page 26 »