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
18257
posts in
1.07
s
outer
measure in
nLab
ncatlab.org
·
4d
🔢
Denotational Semantics
When a Model Finds a Bug in Cryptography, and a
Cryptographer
Learns New
Mathematics
from It
dev.to
·
3d
·
Discuss:
DEV
🎯
Performance Proofs
InfraBuilder
: The
Deterministic
Hardware Architect
dev.to
·
23h
·
Discuss:
DEV
🧱
Immutable Infrastructure
When cost models hit the wall
clock
futhark-lang.org
·
5d
📼
Tape Combinators
Code that
fits
in a context
window
blog.ploeh.dk
·
6d
🔗
Concatenative Programming
Alignment
Verifiability
in Large Language Models: Normative
Indistinguishability
under Behavioral Evaluation
arxiv.org
·
3d
🔍
Z3 Parsing
Ysgrifennu
Côd
yn Gymraeg (Writing Code in Welsh)
hackaday.com
·
5d
🛠
Language Design
What Ultimately Is There? <br>
Metaphysics
and the
Ruliad
writings.stephenwolfram.com
·
4d
⏰
Time Crystals
Polynomial-Time Solutions for Longest Common
Subsequence
Related Problems Between a Sequence and a
Pangenome
Graph
arxiv.org
·
3d
🕸️
Graph Algorithms
On
craft
and AI
slightknack.dev
·
3d
·
Discuss:
Lobsters
,
Hacker News
🌍
Cultural Algorithms
libfirm/cparser
: C99 parser and frontend for
libfirm
github.com
·
3d
·
Discuss:
Hacker News
🔓
Decompilation
What
Happens
When AI Can
Write
All Your Software?
jakequist.com
·
4d
·
Discuss:
Hacker News
📏
Code Metrics
Validation
is the
bottleneck
. Not code gen
kerno.io
·
3d
·
Discuss:
Hacker News
📏
Code Metrics
How to Build Safe
Natural
Language-Driven
APIs
techcommunity.microsoft.com
·
5d
·
Discuss:
Hacker News
🌀
Brotli Internals
Agentic
AI for
PHP
Developers
codewithphp.com
·
3d
·
Discuss:
Hacker News
⚡
Proof Automation
Why Is My Code So Slow? A Guide to
Py-Spy
Python
Profiling
towardsdatascience.com
·
3d
📊
Count-Min Sketch
How I Program with LLMs
blog.wesleyabbey.io
·
4d
·
Discuss:
Hacker News
⚔️
Lean Tactics
mkincl/mkincl
: A simple way to reuse
Makefiles
and scripts across multiple repositories
github.com
·
2d
·
Discuss:
Hacker News
📦
Package Managers
Safe, Fast, and Scalable: Why
gRPC-Rust
Should Be Your Next
RPC
Framework
youtube.com
·
4d
·
Discuss:
r/rust
⚡
gRPC
As
Rocks
May Think
evjang.com
·
5d
·
Discuss:
Hacker News
,
r/programming
📼
Tape Combinators
Loading...
Loading more...
« Page 12
•
Page 14 »
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