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
81264
posts in
557.7
ms
Quantization-Aware
Distillation
ternarysearch.blogspot.com
·
1d
·
Discuss:
Hacker News
🪜
Recursive Descent
Reducing
the Costs of Proof Synthesis on Rust Systems by Scaling Up a
Seed
Training Set
arxiv.org
·
3d
🔒
Rust Borrowing
Computing an approximation of the partial
Weyl
closure of a
holonomic
module
arxiv.org
·
9h
⚡
Partial Evaluation
Hello World:
Algorithmic
Trading &
DeFi
Logic
dev.to
·
23h
·
Discuss:
DEV
📋
Datalog
🚀
OLSRT
v1.2: A Powerful
Runtime
for All Programming Languages!
dev.to
·
15h
·
Discuss:
DEV
✨
Gleam
Software design is now
cheap
dottedmag.net
·
1d
·
Discuss:
Hacker News
🎮
Language Ergonomics
Anthropics
Compiler
Challenge
corsix.org
·
1d
🚀
Code Motion
stdlib
v7.2
erlang.org
·
3d
·
Discuss:
Hacker News
🎭
Polymorphic Variants
Logic
for
Programmers
New Release and Next Steps
buttondown.com
·
5d
📋
Souffle Datalog
Functional
Programming
Bits
in Python
martynassubonis.substack.com
·
6d
·
Discuss:
Substack
,
r/programming
,
r/webdev
⚡
functional programming
TypeScript
: JavaScript With
Syntax
For Types.
typescriptlang.org
·
3d
🔧
Nickel
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
·
4d
·
Discuss:
Hacker News
📋
Souffle Datalog
A
GTM
guide to AI models
revengine.substack.com
·
1d
·
Discuss:
Substack
🏷️
Attribute Grammars
Tip of the Week #49:
Argument-Dependent
Lookup
abseil.io
·
1d
🔗
Lexical Scoping
Portable
C
Compiler
en.wikipedia.org
·
1d
·
Discuss:
Hacker News
📦
Portable Bytecode
Cooperative
Visitor
: A Template Technique for
Visitor
Creation
artima.com
·
1d
📋
Template Compilers
Performance
Tip
of the Week #64: More
Moore
with better API design
abseil.io
·
1d
⚡
Interpreter Optimization
Local Agent
Bench
: Test 11 small LLMs on tool-calling
judgment
, on CPU, no GPU
github.com
·
2d
·
Discuss:
Hacker News
,
r/LocalLLaMA
🗺️
Region Inference
Safe
Labels
in C++
artima.com
·
1d
🏷️
Symbol Mangling
From Prediction to
Compilation
: A Manifesto for
Intrinsically
Reliable AI
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🚂
Error Propagation
Loading...
Loading more...
« Page 8
•
Page 10 »
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