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
🦀 Rust
Julia, Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2576
posts in
50.5
ms
annotate
–> preview –> code generation
intentify.dev
·
2d
·
Discuss:
Hacker News
✅
Formal Methods
EarlyBinder
and
instantiating
parameters - Rust Compiler Development Guide
rustc-dev-guide.rust-lang.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
✅
Formal Methods
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
1d
·
Discuss:
Hacker News
✅
Formal Methods
Show HN: A
Prompting
Framework for
Non-Vibe-Coders
github.com
·
25m
·
Discuss:
Hacker News
✅
Formal Methods
Kadajett/blECSd
: A modern typescript rewrite of blessed, with dozens of modern features, a strict functional architecture, and bitECS as a backend for a fully composable API. Not just for games either! ;)
github.com
·
1d
·
Discuss:
Hacker News
,
r/javascript
✅
Formal Methods
One Year of Using Go
rugu.dev
·
2d
·
Discuss:
Hacker News
✅
Formal Methods
LFortran
Compiles
Lapack
lfortran.org
·
1d
·
Discuss:
Hacker News
✅
Formal Methods
Rust is Just a Tool
lewiscampbell.tech
·
4d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Compile
and Run Your First Program
emojicode.org
·
1d
·
Discuss:
Hacker News
✅
Formal Methods
Clankers
with
claws
world.hey.com
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Codex
Is a Surprisingly
Competent
Research Assistant
nicholasclark.org
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
✅
Formal Methods
Type
Variance
en.wikipedia.org
·
1d
·
Discuss:
Hacker News
✅
Formal Methods
stdlib
v7.2
erlang.org
·
1d
·
Discuss:
Hacker News
✅
Formal Methods
RAG on
Ruby
on
Rails
jessewaites.com
·
2d
·
Discuss:
Hacker News
✅
Formal Methods
The ‘weird’ things that happened when
Clickhouse
replaced
C++ with Rust
thenewstack.io
·
3d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Testing can be
fun
, actually
giacomocavalieri.me
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Rewriting
pycparser
with the help of an LLM
eli.thegreenplace.net
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/Compilers
✅
Formal Methods
Fast
Autoscheduling
for Sparse ML
Frameworks
ajroot.pl
·
3d
·
Discuss:
Hacker News
,
r/Compilers
📡
Side-Channel Attacks
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
·
3d
·
Discuss:
Hacker News
✅
Formal Methods
Loading...
Loading more...
« Page 1
•
Page 3 »
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