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
⬌ Bidirectional Typing
Type Inference, Elaboration, Synthesis, Checking Modes
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23369
posts in
830.0
ms
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
1d
⚙️
TLA+
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
dev.to
·
2d
·
Discuss:
DEV
🦀
Rust Macros
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
1d
🔗
Functional Compilers
Rethinking Scientific Modeling: Toward Physically Consistent and
Simulation-Executable
Programmatic
Generation
arxiv.org
·
1d
⚡
Incremental Computation
Why you should
consider
F#
asfaload.com
·
5d
·
Discuss:
Hacker News
🔒
Type Safety
A
one-prompt
attack that breaks LLM safety
alignment
microsoft.com
·
1d
·
Discuss:
Hacker News
🌐
DNS Security
Why
securing
AI model
weights
isn’t enough
the-substrate.net
·
1d
·
Discuss:
Hacker News
🕵️
Vector Smuggling
We
recreated
the Anthropic C
compiler
agent
vizops.ai
·
2d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
Python’s
Truthiness
: A Code Smell Worth
Sniffing
owl.billpg.com
·
4d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
How the GNU C Compiler became the
Clippy
of
cryptography
theregister.com
·
2d
·
Discuss:
Hacker News
,
r/programming
🔓
Password Cracking
Why
Spec-Driven
Development
Breaks
at Scale (and How to Fix It)
arcturus-labs.com
·
1d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Hello
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔗
Concatenative Languages
The Potential of
RLMs
dbreunig.com
·
1d
·
Discuss:
Hacker News
📏
Linear Logic
Vibe
Coding
tosbourn.com
·
1d
·
Discuss:
Hacker News
📏
Code Metrics
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
4d
·
Discuss:
Hacker News
🐚
Shell Monads
Show HN:
ShapeGuard
– Shape Contracts for
NumPy
and Jax
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🧮
Algebraic Datatypes
Let Your Agents
Instantly
Understand Any Git
Repo
instagit.com
·
2d
·
Discuss:
Hacker News
⚡
Proof Automation
AI Coding Is a Framework—Use It Like a Library
piglei.com
·
1d
·
Discuss:
Hacker News
,
r/programming
📏
Code Metrics
Style tips for less
experienced
developers
coding with AI
honnibal.dev
·
5d
·
Discuss:
Hacker News
🎯
Gradual Typing
CSCI
49201 - Functional Programming in
OCaml
a-nikolaev.github.io
·
5d
·
Discuss:
Hacker News
🧬
Functional Programming
Loading...
Loading more...
« Page 5
•
Page 7 »
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