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
81756
posts in
591.7
ms
ExpressivityBench
: Can LLMs Communicate
Implicitly
?
arxiv.org
·
13h
🔗
Lexical Scoping
Reclaiming First Principles: A Differentiable Framework for
Conceptual
Hydrologic
Models
arxiv.org
·
13h
🌊
Reactive Languages
Kubernetes Operator for automated
Jupyter
Notebook validation in
MLOps
pipelines
reddit.com
·
2d
·
Discuss:
r/kubernetes
🗺️
Region Inference
Zinc
Language Design
ziggit.dev
·
2d
🔧
Nickel
creact-labs/creact
:
CReact
is a meta-runtime for building domain-specific,
reactive
execution engines.
github.com
·
1d
·
Discuss:
r/node
,
r/reactjs
💬
REPL Design
Like
LEGO
? Love Python! 🧱🐍
Ep.2
dev.to
·
3h
·
Discuss:
DEV
🧩
Prolog
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
3d
📡
Erlang BEAM
A
Proof
of P =
NP
dev.to
·
18h
·
Discuss:
DEV
🎨
Graph Coloring
The
Prospero
Challenge
mattkeeter.com
·
3h
🔬
Nanopasses
I
vibecoded
a production grade
internationalization
library in 2 days
sklivvz.com
·
9h
·
Discuss:
Hacker News
⚡
Incremental Parsing
Varparser
Reveals How LLM Log
Parsing
Benefits From Variable Data
quantumzeitgeist.com
·
5h
📊
Log Parsers
AI Code Generation Tools Repeat Security Flaws, Creating
Predictable
Software
Weaknesses
quantumzeitgeist.com
·
6h
🎭
Program Synthesis
Tutorial
on
Agentic
Engine
pori.vanangamudi.org
·
17h
·
Discuss:
r/LocalLLaMA
🎭
Erlang OTP
Tip
of the Week #177:
Assignability
vs. Data Member Types
abseil.io
·
1d
📏
Linear Types
Atomics
in C++26?
meetingcpp.com
·
1d
🧠
Memory Models
Fail Fast,
Refactor
Often -
Escaping
the Defensive Terraform Trap
blog.techdecline.dev
·
21h
📦
Monorepos
C and C++
dependencies
, don't
dream
it, be it!
nibblestew.blogspot.com
·
2d
·
Discuss:
Hacker News
,
nibblestew.blogspot.com
,
r/cpp
🪆
Embedded DSLs
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
1d
·
Discuss:
Hacker News
🌱
Minimal Languages
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
38m
·
Discuss:
Hacker News
🔄
Bootstrapping
Recursive
Deductive
Verification: A framework for reducing AI
hallucinations
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🪜
Recursive Descent
Loading...
Loading more...
« Page 4
•
Page 6 »
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