Skip to main content
Scour
Browse
Getting Started
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, Contract Programming, SMT Integration, Type Safety
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
28839
posts in
16.3
ms
freest-lang/freest
: A programming language for safe
concurrency
powered by context-free session types.
github.com
·
1d
🔗
Functional Compilers
Refining
Almost-Safe Value Functions on the
Fly
arxiv.org
·
17h
🔒
Type Safety
SOLID in FP:
Liskov
Substitution
, or The Principle That Was Never About Inheritance
cekrem.github.io
·
22h
·
Discuss:
Hacker News
,
r/programming
🔤
Type Theory
How do you handle domain-specific transformation
logic
without
hardcoding
it?
news.ycombinator.com
·
10h
·
Discuss:
Hacker News
🗣️
Domain-Specific Languages
Generic
methods arrive in Golang, but they
weren
't the top dev demand
theregister.com
·
5h
⬆️
Lambda Lifting
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
22h
⚔️
Lean Tactics
A Foundation for
Differentiable
Logics
using Dependent Type Theory
arxiv.org
·
17h
🔠
Type-Level Programming
State of
Haskell
2025 results
discourse.haskell.org
·
2h
·
Discuss:
Lobsters
🔗
Functional Compilers
manifold/manifold-deps-parent/manifold-sql
at master
github.com
·
3h
·
Discuss:
Hacker News
💧
Liquid Types
F# Weekly #9, 2026 –
Crunching
the Technical Debt with Repo
Assist
sergeytihon.com
·
1d
💧
Liquid Types
PEP
827 – Type
Manipulation
peps.python.org
·
3d
·
Discuss:
Hacker News
🎯
Gradual Typing
The truly
programmable
SASE
platform
blog.cloudflare.com
·
16h
🖥️
Self-hosted Infrastructure
Testing AI Agents:
Deterministic
Evaluation
in a
Non-Deterministic
World
sitepoint.com
·
2h
🔍
Concolic Testing
Large induced
matchings
and minimal blocking sets using
parabolas
anuragbishnoi.wordpress.com
·
1h
🕸️
Graph Algorithms
extended C*-
algebra
in
nLab
ncatlab.org
·
2h
🧮
Algebraic Archives
Show HN: Turn – A
compiled
systems language for agentic
computation
news.ycombinator.com
·
5h
·
Discuss:
Hacker News
🌐
Protocol Synthesis
Claude code
underlap.org
·
22h
🔩
Systems Programming
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
5h
🔧
Hardware Verification
Parse
, Don't
Guess
architecture-weekly.com
·
4h
✅
Format Verification
Structured
Outputs
for LLMs
ternarysearch.blogspot.com
·
15h
·
Discuss:
Hacker News
,
ternarysearch.blogspot.com
🌳
Context free grammars
Loading...
Loading more...
Page 2 »
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