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
81121
posts in
799.3
ms
LFortran
Compiles
Lapack
lfortran.org
·
3d
·
Discuss:
Hacker News
🏗️
Cranelift
Building Multi-Agent AI Systems: Architecture
Patterns
and Best
Practices
dev.to
·
6h
·
Discuss:
DEV
🎭
Erlang OTP
ReAct
Pattern
dev.to
·
22h
·
Discuss:
DEV
✨
Gleam
LiteRT
for Web with
LiteRT.js
| Google AI Edge | Google AI for Developers
ai.google.dev
·
4d
✨
Gleam
Bitcoin
PIPEs
v2
eprint.iacr.org
·
4d
🔬
Nanopasses
Breaking Down
CVE-2026-25049
: How TypeScript Types Failed
N8n
's Security
hetmehta.com
·
4d
·
Discuss:
Hacker News
🛡️
Error Handling
Tip of the Week #108: Avoid <code>
std
::
bind
</code>
abseil.io
·
1d
🏷️
Symbol Mangling
Codified
Finite-state
Machines for Role-playing
arxiv.org
·
3d
🎯
Finite Automata
Automated Customization of LLMs for Enterprise Code
Repositories
Using Semantic
Scopes
arxiv.org
·
3d
🎨
Domain-Specific Languages
Spec-Driven Design with
Kiro
: Lessons from
Seddle
medium.com
·
2d
·
Discuss:
Hacker News
🛡️
Error Ergonomics
Tip
of the Week #131: Special Member Functions and `=
default
`
abseil.io
·
1d
🪆
Embedded DSLs
Released
genai
v0.1.0: a
sane
Go AI SDK
maruel.ca
·
3d
·
Discuss:
r/golang
🌉
Language Bridges
On the Promises of '
High-Assurance
'
Cryptography
symbolic.software
·
4d
·
Discuss:
Lobsters
,
Hacker News
🛡️
Security Type Systems
Noel
Welsh
: Direct-style
Effects
Explained
noelwelsh.com
·
5d
⚡
Effect Handlers
Mekara
:
Workflows
as Code Proof-of-Concept
meksys-dev.github.io
·
5d
·
Discuss:
Hacker News
⚡
Live Coding
Logic for
Programmers
[
Leanpub
PDF/iPad/Kindle]
leanpub.com
·
5d
🧩
Constraint Logic
The
Worst
Instructions
You Can Give an AI Coding Agent
cline.ghost.io
·
3d
💬
Interactive REPLs
LlamaLib
: A cross-platform C++/C# library for local LLMs based on
llama.cpp
github.com
·
2d
·
Discuss:
Hacker News
💬
Smalltalk VMs
GKcodebase/API
_Architecture: API designs in
jaca
github.com
·
3d
·
Discuss:
DEV
🔧
API Design
Automated Extraction and Formalization of
Presuppositions
in Philosophical Discourse via Neuro‑Symbolic Reasoning **Abstract** Presupposition—the
unstated
ba...
freederia.com
·
3d
⚖️
Inference Rules
Loading...
Loading more...
« Page 16
•
Page 18 »
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