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
💻 Programming languages
programming language theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
18298
posts in
920.8
ms
C
Programming
: A Complete
Beginner
's Guide to Starting Your Coding Journey
dev.to
·
1d
·
Discuss:
DEV
🔩
Systems Programming
Why Your
Codebase
Is a
Graph
, Not Files
dev.to
·
19h
·
Discuss:
DEV
🔗
Topological Sorting
Automatic
Programming
notes.billmill.org
·
4d
⚡
Proof Automation
There is a Lot of Knowledge and Wisdom Packed Into
Speakeasy
's Agent Skills by The API
Evangelist
apievangelist.com
·
2d
🎙️
Whisper
SEAL: Symbolic Execution with
Separation
Logic (Competition
Contribution
)
arxiv.org
·
3d
🧠
Separation Logic
Barn
Owls
Know When to Wait (
iuSTDP
part 2)
blog.typeobject.com
·
1d
·
Discuss:
Hacker News
🔲
Cellular Automata
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
2d
🤝
Consensus Protocols
Designing
MCP tool
schemas
that LLMs understand
news.ycombinator.com
·
27m
·
Discuss:
Hacker News
🔗
Constraint Handling
Relying
on LLMs: Student Practices and
Instructor
Norms are Changing in Computer Science Education
arxiv.org
·
3d
✅
Formal Methods
Rewriting
pycparser
with the help of an LLM
eli.thegreenplace.net
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/Compilers
📝
Concrete Syntax
Experiments
in building
bespoke
tools with AI
knlb.dev
·
4h
·
Discuss:
Hacker News
⚡
Incremental Computation
Theory-independent monitoring of the
decoherence
of a superconducting qubit with generalized
contextuality
nature.com
·
1d
⚛️
Quantum Channels
Functional
Programming
Bits
in Python
martynassubonis.substack.com
·
6d
·
Discuss:
Substack
,
r/programming
,
r/webdev
🔗
Functional Compilers
What I
haven
't
figured
out
macwright.com
·
1d
·
Discuss:
Hacker News
🔓
Reverse engineering
The Rise of
Spec
Driven Development
dbreunig.com
·
2d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Taming the Flat AST:
Ergonomics
in the Age of Zero
Allocations
modern-c.blogspot.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
📝
Compiler Design
C Isn't A
Programming
Language
Anymore
faultlore.com
·
3d
·
Discuss:
Hacker News
🔩
Systems Programming
brynary/attractor
: Full implementation of
StrongDM
Attractor specs in TypeScript
github.com
·
12h
·
Discuss:
Hacker News
🔗
Topological Sorting
stdlib
v7.2
erlang.org
·
2d
·
Discuss:
Hacker News
🦀
Rusty Databases
Your Best Thinking Is
Wasted
on the Wrong
Decisions
iankduncan.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔲
Cellular Automata
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