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
18145
posts in
509.1
ms
Sampling the
Oxford
CS
Library
blog.computationalcomplexity.org
·
4d
·
Discuss:
blog.computationalcomplexity.org
⛏️
Proof Mining
B+-Tree
Structure
: How Order Is
Maintained
at Scale
dev.to
·
15h
·
Discuss:
DEV
🌳
B+ Tree Splits
The Secret Life of Python: The Safety Net ('
try
' and '
except
')
dev.to
·
1d
·
Discuss:
DEV
🧪
Binary Fuzzing
NetGent
: Agent-based automation of network application
workflows
blog.apnic.net
·
4d
🌊
Streaming Systems
The anti-Bayesian is standing at the back window with a shotgun, scanning for priors coming over the hill, while a million assumptions just walk right into his house through the front door. (also, an interesting point by
Yann
LeCun
about human language)
statmodeling.stat.columbia.edu
·
2d
🔲
Cellular Automata
One Size Does NOT Fit All: On the Importance of Physical
Representations
for
Datalog
Evaluation
arxiv.org
·
3d
🧮
Datalog Engines
Does Programming Language Matter? An
Empirical
Study of
Fuzzing
Bug Detection
arxiv.org
·
3d
🧪
Binary Fuzzing
ahead-of-time wasm
gc
in
wastrel
wingolog.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
⚙️
WASM Runtime
Waterloo
Style
theprogrammersparadox.blogspot.com
·
2d
·
Discuss:
Hacker News
🕹
Emulation Theory
[
RFC
PATCH v1 0/4] Machine Learning (
ML
) library in Linux kernel
lore.kernel.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
🎵
Audio ML
QT4
grammar
explorer
so.nwalsh.com
·
4d
📝
Parsing Grammars
java
sucks
(2000)
jwz.org
·
5d
·
Discuss:
Lobsters
🔗
Concatenative Programming
Writing
the Code That
Powers
Your Code
thelinell.com
·
5d
·
Discuss:
Hacker News
📜
Proof Carrying Code
I am
happier
writing code by
hand
abhinavomprakash.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
⚔️
Lean Tactics
Bytes
as
Braille
engrenage.ch
·
2d
·
Discuss:
Hacker News
📜
Binary Philology
Show HN:
A2A
Protocol
– Infrastructure for an Agent-to-Agent Economy
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🌐
Protocol Synthesis
Showcase: "act" - A lightweight Go library for
cleaner
error
handling
- my take on the Go error
handling
discussion
reddit.com
·
1d
·
Discuss:
r/golang
📜
Proof Carrying Code
Flavours
of
Reflection
semantics.bernardteo.me
·
6d
·
Discuss:
Lobsters
,
r/cpp
📝
Concrete Syntax
Beyond
agentic
coding
haskellforall.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/programming
⚡
Effectful Programming
C and C++
dependencies
, don't
dream
it, be it!
nibblestew.blogspot.com
·
1d
·
Discuss:
Hacker News
,
nibblestew.blogspot.com
🔗
Dependency Resolution
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