Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔍 Refinement Types
Liquid Haskell, SMT Integration, Verification, Predicate Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81107
posts in
1.46
s
Long-Sought Proof
Tames
Some of Math’s
Unruliest
Equations
quantamagazine.org
·
2d
·
Discuss:
Hacker News
,
Hacker News
⚡
Fusion Laws
Data-Oriented
Programming for
Java
: Beyond Records
openjdk.org
·
3d
📊
Row Polymorphism
Feedback on checked
exceptions
and
lambdas
dev.to
·
3d
·
Discuss:
DEV
🛡️
Error Handling
[
RFC
PATCH v1 0/4] Machine Learning (
ML
) library in Linux kernel
lore.kernel.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
📐
Standard ML
Local-First AI: How
SLMs
are Fixing the
Latency
Gap 💻✨
dev.to
·
3h
·
Discuss:
DEV
🏰
Capability Machines
Finding the needle in the
logstack
: Reducing LLM context with
TF-IDF
eliseomartelli.it
·
3d
🏗️
MLIR
clojure.spec
-
Rationale
and Overview
clojure.org
·
6d
·
Discuss:
Hacker News
🔮
Clojure
Constraining
Tensorial
Dimension‑Six Operators in the Standard Model Effective Field Theory via Combined Analysis of Rare B‑Meson Decays from
LHCb
and Belle II
freederia.com
·
2d
🔮
Type Inference Visualization
E-Globe: Scalable $\
epsilon
$-Global Verification of Neural Networks via Tight Upper Bounds and Pattern-Aware
Branching
arxiv.org
·
3d
🗺️
Region Inference
CoLT
: Reasoning with Chain of
Latent
Tool Calls
arxiv.org
·
4d
🗺️
Region Inference
Tip of the Week #101: Return Values,
References
, and
Lifetimes
abseil.io
·
1d
🔗
Weak References
Evaluating
and
mitigating
the growing risk of LLM-discovered 0-days
red.anthropic.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🛡️
Parser Security
Michael
Tsai
- Blog - LLMs and Software Development
Roundup
mjtsai.com
·
2d
🎮
Language Ergonomics
Tip of the Week #94:
Callsite
Readability and
bool
Parameters
abseil.io
·
1d
🔧
Error Recovery
Threads
, processes and
concurrency
in Python: some thoughts
artima.com
·
1d
🔗
Concurrency Primitives
codx-dev/msgpacker
: MessagePack serializer implementation for Rust / msgpack.org[Rust]
github.com
·
2d
·
Discuss:
Hacker News
🪆
Embedded DSLs
History
Lesson
yamlscript.org
·
2d
🏺
Code Archeology
Clean
Coder
: The Dark Path (2017)
blog.cleancoder.com
·
4d
·
Discuss:
Hacker News
🚂
Error Propagation
AI +
Clojure
Functions in
YAML
yamlscript.org
·
2d
🔮
Clojure
Trip Report:
Ad-Hoc
Meeting on
Threads
in C++
artima.com
·
1d
🧠
Memory Models
Loading...
Loading more...
« Page 10
•
Page 12 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help