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
17948
posts in
927.7
ms
Automatic
Programming
notes.billmill.org
·
4d
⚡
Proof Automation
Why Your
Codebase
Is a
Graph
, Not Files
dev.to
·
1d
·
Discuss:
DEV
🔗
Topological Sorting
The Secret Life of Python: The
Silent
Type (Type
Casting
)
dev.to
·
4d
·
Discuss:
DEV
🔤
Type Theory
There is a Lot of Knowledge and Wisdom Packed Into
Speakeasy
's Agent Skills by The API
Evangelist
apievangelist.com
·
3d
🎙️
Whisper
Barn
Owls
Know When to Wait (
iuSTDP
part 2)
blog.typeobject.com
·
1d
·
Discuss:
Hacker News
🔲
Cellular Automata
Relying
on LLMs: Student Practices and
Instructor
Norms are Changing in Computer Science Education
arxiv.org
·
3d
✅
Formal Methods
Towards Green AI:
Decoding
the Energy of LLM
Inference
in Software Development
arxiv.org
·
3d
🔍
Type Inference
The Rise of
Spec
Driven Development
dbreunig.com
·
3d
·
Discuss:
Hacker News
🔄
Reproducible Builds
brynary/attractor
: Full implementation of
StrongDM
Attractor specs in TypeScript
github.com
·
1d
·
Discuss:
Hacker News
🔗
Topological Sorting
Taming the Flat AST:
Ergonomics
in the Age of Zero
Allocations
modern-c.blogspot.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
📝
Compiler Design
stdlib
v7.2
erlang.org
·
3d
·
Discuss:
Hacker News
🦀
Rusty Databases
Your Best Thinking Is
Wasted
on the Wrong
Decisions
iankduncan.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔲
Cellular Automata
GeoGPT
– Chat-controlled
GIS
app built from a Jupyter Notebook
mljar.com
·
3d
·
Discuss:
Hacker News
📝
Concrete Syntax
isledb
: An
embedded
key-value engine built on object storage in Go
reddit.com
·
1d
·
Discuss:
r/golang
🏺
Database Archaeology
Continual
learning and the post
monolith
AI era
baseten.co
·
2d
·
Discuss:
Hacker News
📼
Tape Combinators
Structured
outputs
on Amazon Bedrock:
Schema-compliant
AI responses
aws.amazon.com
·
2d
📋
Document Grammar
Software Architecture and
Philosophical
Anthropology
michaelmangialardi.substack.com
·
3d
·
Discuss:
Substack
⚙️
TLA+
Designing
MCP tool
schemas
that LLMs understand
news.ycombinator.com
·
12h
·
Discuss:
Hacker News
🔗
Constraint Handling
Building Interactive C/C++ workflows in Jupyter through
Clang-REPL
[video]
fosdem.org
·
2d
·
Discuss:
Hacker News
🦀
Rust Macros
One Year of Using Go
rugu.dev
·
3d
·
Discuss:
Hacker News
🦀
Rust Macros
Loading...
Loading more...
« Page 7
•
Page 9 »
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