🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔗 Dependently Typed
Proof-Carrying Code, Correctness by Construction, Type-Level Programming
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Surround with snippets in VS Code
devtips.stribny.name
·
9h
🔗
Concatenative Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
KDE Frameworks 6.19 Is Out, Here’s What’s New
linuxiac.com
·
4h
🔓
Open Source Software
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Oct 29 2025 : Build Your Own ArduTouch Synthesizer Workshop
nycresistor.com
·
7h
🎹
MIDI Archaeology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
2025-10-10: An Internship Experience With the Internet Archive as a Google Summer of Code Contributor
ws-dl.blogspot.com
·
1d
·
Discuss:
ws-dl.blogspot.com
🔓
Open Source Software
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Keyboard Holders, Generation 1
cceckman.com
·
2d
·
Discuss:
Hacker News
⌨️
Mechanical Keyboards
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
We built AI that auto-checks building plans
planchecksolver.com
·
1d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Experiments With Sonnet 4.5's Fiction
lesswrong.com
·
10h
·
Discuss:
Hacker News
🔗
Concatenative Languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Letting Claude make art with code
nuudeli.com
·
2d
·
Discuss:
Hacker News
🌊
Streaming Algorithms
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Seeking advice on a licensing gray area: "Derivative work" or not?
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
💧
Liquid Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Python 3.14 Released with Template String Literals, Deferred Annotations, and
socket.dev
·
4d
·
Discuss:
Hacker News
💧
Liquid Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building A Real-Time Communication System Using Go and WebSocket
dev.to
·
1d
·
Discuss:
DEV
🌐
WebSocket Framing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Every Line of Code Is a Philosophy in Disguise
dev.to
·
1d
·
Discuss:
DEV
⚖️
Emulation Ethics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
From Documents to Dialogue: A step-by-step RAG Journey
dev.to
·
1d
·
Discuss:
DEV
📊
Multi-vector RAG
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Targeted Digital Twin via Flow Map Learning and Its Application to Fluid Dynamics
arxiv.org
·
1d
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Go and PocketBase: Shortified!
dev.to
·
3d
·
Discuss:
DEV
⚡
gRPC
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loyca.ai – An open-source, local-first AI assistant with contextual awareness
github.com
·
7h
·
Discuss:
Hacker News
🌀
Brotli Internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org
·
1d
🧮
Theorem Proving
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Rise of the Knowledge Sculptor: A New Archetype for Knowledge Work in the Age of Generative AI
arxiv.org
·
1d
🗺️
Competency Maps
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to
·
1d
·
Discuss:
DEV
🌊
Apache Kafka
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org
·
1d
📼
Cassette Combinators
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 8
•
Page 10 »