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
🌀 Scheme
Tail Call Optimization, Continuations, Hygiene, Educational Lisp
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81304
posts in
388.6
ms
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
17h
🧮
Theorem Provers
Characterizing
,
Evaluating
, and Optimizing Complex Reasoning
arxiv.org
·
17h
⚖️
Inference Rules
Learn
Java
Online: A Step-by-Step Guide for
Beginners
wscubetech.com
·
1d
·
Discuss:
DEV
🎓
Teaching Compilers
Advanced
RedisVL
Long-term Memory Tutorial: Using an LLM to
Extract
Memories
dev.to
·
10h
·
Discuss:
DEV
📏
Linear Memory
Introducing
Composer
1.5
cursor.com
·
1d
·
Discuss:
Hacker News
📚
Self-Documenting Code
Allium
is an LLM-native language for
sharpening
intent alongside implementation
juxt.github.io
·
1d
·
Discuss:
Hacker News
🎮
Language Ergonomics
Claw
Cognition
: Design how your AI thinks
producthunt.com
·
19h
🎭
Program Synthesis
How I Built My Project in
Haskell
dev.to
·
2d
·
Discuss:
DEV
🌱
Minimal Languages
llama.cpp
guide - Running LLMs
locally
, on any hardware, from scratch
blog.steelph0enix.dev
·
1d
🏗️
LLVM
A terminal user's next
interface
to
object
storage
tigrisdata.com
·
22h
💻
Terminal Control
The Skills
Decay
Curve
blog.gorewood.games
·
1d
🌊
Gradual Effects
Learn
Weird
Programming
Languages
okienko.day
·
1d
·
Discuss:
Hacker News
🏗️
Minimal Compilers
We
recreated
the Anthropic C
compiler
agent
vizops.ai
·
1d
·
Discuss:
Hacker News
🎭
Program Synthesis
On the Tension Between
Object-Oriented
and
Generic
Programming in C++
artima.com
·
2d
🗂️
Type Indexing
I built a Python
LSP
in Go!
reddit.com
·
2d
·
Discuss:
r/golang
🐹
Go Runtime
Tip of the Week #117:
Copy
Elision
and Pass-by-value
abseil.io
·
2d
⚡
Copy Elision
abdimoallim/alloc
: A header-only C allocator library
github.com
·
2d
·
Discuss:
Hacker News
,
r/C_Programming
🧠
Memory Allocators
Performance
Tip
of the Week #64: More
Moore
with better API design
abseil.io
·
2d
⚡
Interpreter Optimization
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
2d
·
Discuss:
Hacker News
🌱
Minimal Languages
tzcnt/TooManyCooks
: C++20 concurrency framework with no compromises. Excellent performance, powerful features, and simple syntax.
github.com
·
1d
🔬
Nanopasses
Loading...
Loading more...
« Page 8
•
Page 10 »
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