๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
๐ Refinement Types
Liquid Haskell, SMT Integration, Verification, Predicate Types
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
eBook: Kubernetes at the Edge โ Container Orchestration at Scale
conissaunce.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Redis Protocols
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Is Data Modeling Dead?
confessionsofadataguy.com
ยท
14h
ยท
Discuss:
Hacker News
๐
Souffle Datalog
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Cve-2025-43330: breaking out of a sandbox using font files
bsssq.xyz
ยท
14h
ยท
Discuss:
Hacker News
๐ป
Terminal Emulators
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Machine learning and quantum chemistry unite to simulate catalyst dynamics
phys.org
ยท
1d
โจ
Effect Inference
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
PHP: A fractal of bad design (2012)
eev.ee
ยท
1d
ยท
Discuss:
Hacker News
๐
Bootstrapping
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Kevin week
blog.mitrichev.ch
ยท
3d
ยท
Discuss:
blog.mitrichev.ch
๐งฉ
Constraint Solvers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Noisy: interactive procedural terrain generation sandbox
reddit.com
ยท
9h
ยท
Discuss:
r/proceduralgeneration
๐ช
Playground Compilation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Productive AI Programming Using Forced Context Distillation
jx0.ca
ยท
2d
ยท
Discuss:
Hacker News
๐ฌ
Interactive REPLs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
SevenDB : a reactive and scalable database
reddit.com
ยท
1d
ยท
Discuss:
r/programming
๐พ
Minimal Databases
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why the Edge Isnโt Just โCloud Computing, But Closerโ
thenewstack.io
ยท
1d
๐ฆ
Monorepos
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: XSched, a scheduling framework for multitasking over diverse XPUs
github.com
ยท
2h
ยท
Discuss:
Hacker News
๐
Language Toolchains
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building Web Servers from First Principles (Part 6)
dev.to
ยท
5h
ยท
Discuss:
DEV
๐
JSON Parsers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Ditch REST: How React + SQL + WebSockets Can Power Real-Time Apps Without the Overhead
dev.to
ยท
13h
ยท
Discuss:
DEV
๐
Network Protocols
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Fortress AI: Verifiable Data Integrity in Collaborative Machine Learning
dev.to
ยท
2d
ยท
Discuss:
DEV
๐ก๏ธ
Security Type Systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A JSON alternative but 1000x better
reddit.com
ยท
2d
ยท
Discuss:
r/rust
๐
Gradual Languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The "0 Hook" Android Architecture Your Team Has Been Dreaming Of (Especially for Jetpack Compose)
dev.to
ยท
1d
ยท
Discuss:
DEV
๐
Bootstrapping
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LLMs on a Shoestring: The Dynamic Cache Advantage by Arvind Sundararajan
dev.to
ยท
2d
ยท
Discuss:
DEV
๐พ
Cache Algorithms
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
why is rust not being utilized to its full potential?
reddit.com
ยท
2d
ยท
Discuss:
r/rust
โ๏ธ
TOML Parsers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org
ยท
3d
โญ๏ธ
Skip Lists
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Conformal Prediction Framework for Uncertainty Quantification in Physics-Informed Neural Networks
arxiv.org
ยท
1h
๐ก
Async Channels
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 18
โข
Page 20 »