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
81099
posts in
962.3
ms
LFortran
Compiles
Lapack
lfortran.org
·
2d
·
Discuss:
Hacker News
🏗️
Cranelift
Unlocking
the Power of Python
Generators
: A Comprehensive Guide
dev.to
·
21h
·
Discuss:
DEV
🔧
Parser Generators
Building Multi-Agent AI Systems: Architecture
Patterns
and Best
Practices
dev.to
·
2h
·
Discuss:
DEV
🎭
Erlang OTP
[$]
Modernizing
swapping
: the end of the swap map
lwn.net
·
3d
⏭️
Skip Lists
Procmail
Quick
Reference
Guide
web.archive.org
·
2d
🪄
Macros
LiteRT
for Web with
LiteRT.js
| Google AI Edge | Google AI for Developers
ai.google.dev
·
3d
✨
Gleam
Breaking Down
CVE-2026-25049
: How TypeScript Types Failed
N8n
's Security
hetmehta.com
·
4d
·
Discuss:
Hacker News
🛡️
Error Handling
Towards Green AI:
Decoding
the Energy of LLM
Inference
in Software Development
arxiv.org
·
3d
🗺️
Region Inference
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
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
Issues with AI:
Toxic
Dependencies
blog.mathieui.net
·
2d
·
Discuss:
Hacker News
🥾
Bootstrapping Strategies
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
GKcodebase/API
_Architecture: API designs in
jaca
github.com
·
3d
·
Discuss:
DEV
🔧
API Design
cjaube/OpenEdgeUtilities
: A repository of OpenEdge utilities.
github.com
·
2d
🗺️
Stack Mapping
Loading...
Loading more...
« Page 15
•
Page 17 »
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