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
🐫 Ocaml
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
121801
posts in
1.36
s
LET vs
ALLR
: Same
Drawer
, Different Spin
ryortho.com
·
16h
🔧
PLT
The
Observer
Lemma
zenodo.org
·
7h
·
Discuss:
Hacker News
🔧
PLT
Hello
!!!
write.as
·
5h
⚡
Zig
Wikipedia
en.wikipedia.org
·
4h
🔧
PLT
Structured
Prompting
for LLMs: From Raw Text to
XML
pub.towardsai.net
·
3h
🔎
Semantic Analysis
EyesOff
: Why Some Models
Quantize
Better Than Others
ym2132.github.io
·
8h
·
Discuss:
Hacker News
🔍
Symbolic Execution
Fluent
mlajtos.github.io
·
1d
·
Discuss:
Lobsters
🪜
Scala
January 2026 Monthly report | Alternative Rust
Compiler
for
GCC
rust-gcc.github.io
·
1d
·
Discuss:
r/rust
🔍
Static Analysis
Reckless
displaay.net
·
8h
🔎
Semantic Analysis
The World's First
LLM-Native
Language
nerd-lang.org
·
2d
·
Discuss:
Hacker News
🔧
PLT
What's New in the February Release of
Zoomtext
2026
groups.io
·
14h
🪜
Scala
SMTLIB
as a
Compiler
IR I
philipzucker.com
·
3d
·
Discuss:
Hacker News
🔍
Symbolic Execution
Show HN: I built an AI executive
assistant
you use through
iMessage
getattache.com
·
15h
·
Discuss:
Hacker News
🤖
AI
Standardizing
HLSL
devblogs.microsoft.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🔍
Static Analysis
Is this
const
str
concat
macro cursed or blessed?
docs.rs
·
17h
·
Discuss:
r/rust
🦀
Rust
The
Univalence
Principle
golem.ph.utexas.edu
·
1d
🔧
PLT
🔬Science at the speed of inference — Gabriele Corso & Jeremy
Wohlwend
,
Boltz
latent.space
·
5h
🔍
Symbolic Execution
I used to be
fervent
embedded
DSL
fan many years ago (particularly in college wi...
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🪜
Scala
Clojure
Deref
(Feb 10, 2026)
clojure.org
·
2d
🪜
Scala
Fast Museum Searches: Go
Concurrency
and
Caching
pkg.go.dev
·
15h
·
Discuss:
DEV
🔍
Symbolic Execution
Loading...
Loading more...
« Page 3
•
Page 5 »
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