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
81049
posts in
621.2
ms
From
Prop
Drilling
to Context API😏
dev.to
·
17h
·
Discuss:
DEV
🌊
Gradual Effects
Querying
Dataverse
Using AI Builder’s Grounded Prompts
dev.to
·
3h
·
Discuss:
DEV
🧠
Semantic Parsing
Long-Sought Proof
Tames
Some of Math’s
Unruliest
Equations
quantamagazine.org
·
2d
·
Discuss:
Hacker News
,
Hacker News
⚡
Fusion Laws
Logic
Puzzles
: Why the
Liar
Is the Helpful One
blog.szczepan.org
·
2d
·
Discuss:
Hacker News
📜
Proof Languages
Data-Oriented
Programming for
Java
: Beyond Records
openjdk.org
·
3d
📊
Row Polymorphism
[
RFC
PATCH v1 0/4] Machine Learning (
ML
) library in Linux kernel
lore.kernel.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
📐
Standard ML
Finding the needle in the
logstack
: Reducing LLM context with
TF-IDF
eliseomartelli.it
·
3d
🏗️
MLIR
Understanding LLM Inference
Engines
: Inside
Nano-vLLM
(Part 2)
neutree.ai
·
2d
·
Discuss:
Hacker News
🗺️
Region Inference
New MIT Framework Uses Search to
Handle
LLM
Errors
in AI Agents
hpcwire.com
·
3d
🔄
Subinterpreters
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
Tip of the Week #101: Return Values,
References
, and
Lifetimes
abseil.io
·
1d
🔗
Weak References
CoLT
: Reasoning with Chain of
Latent
Tool Calls
arxiv.org
·
4d
🗺️
Region Inference
Building a battle tested C
compiler
in a new language using
Codex
moonbitlang.com
·
3d
·
Discuss:
Hacker News
🔄
Bootstrapping
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
Michael
Tsai
- Blog - LLMs and Software Development
Roundup
mjtsai.com
·
2d
🎮
Language Ergonomics
History
Lesson
yamlscript.org
·
2d
🏺
Code Archeology
codx-dev/msgpacker
: MessagePack serializer implementation for Rust / msgpack.org[Rust]
github.com
·
2d
·
Discuss:
Hacker News
🪆
Embedded DSLs
Clean
Coder
: The Dark Path (2017)
blog.cleancoder.com
·
4d
·
Discuss:
Hacker News
🚂
Error Propagation
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