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
λ Functional Programming
Immutability, Pattern Matching, Type Theory, Pure Functions
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9119
posts in
280.0
ms
Improving Set Function Approximation with
Quasi-Arithmetic
Neural Networks
arxiv.org
·
3d
🎯
Hindley-Milner
Mechanized
Undecidability
of Higher-order beta-Matching (Extended Version)
arxiv.org
·
6d
🎯
Hindley-Milner
When a Model Finds a Bug in Cryptography, and a
Cryptographer
Learns New
Mathematics
from It
dev.to
·
4d
·
Discuss:
DEV
🎯
Hindley-Milner
InfraBuilder
: The
Deterministic
Hardware Architect
dev.to
·
1d
·
Discuss:
DEV
☁️
Serverless Rust
mstrYoda/goraphdb
: A graph database implemented in Golang
github.com
·
3d
·
Discuss:
r/programming
🪳
CockroachDB
Architecture for Flow •
Susanne
Kaiser
& James Lewis • GOTO 2026
youtube.com
·
4d
🏗️
System Design
Show HN:
ZigZag
– A Bubble Tea-Inspired
TUI
Framework for Zig
github.com
·
2d
·
Discuss:
Hacker News
⚙️
Zig
The control
layer
for AI
blog.dottxt.ai
·
2d
·
Discuss:
Hacker News
🏗️
AI Infrastructure
C Isn't A
Programming
Language
Anymore
faultlore.com
·
3d
·
Discuss:
Hacker News
🔄
C to Rust Translation
The Rise of
Spec
Driven Development
dbreunig.com
·
3d
·
Discuss:
Hacker News
⚙️
LLVM
LLMs versus the
Halting
Problem: Revisiting Program
Termination
Prediction
orensultan.com
·
6d
·
Discuss:
Hacker News
🔗
Dependent Types
Building Highly Efficient Inference System for
Recommenders
Using
PyTorch
pytorch.org
·
3d
·
Discuss:
Hacker News
🔥
PyTorch
Against the
Orthogonality
Thesis
jonasmoman.substack.com
·
4d
·
Discuss:
Substack
🔢
Homomorphic Encryption
Building a Claude Code
skill
sevalla.com
·
5d
🤖
AI Coding Tools
On
craft
and AI
slightknack.dev
·
4d
·
Discuss:
Lobsters
,
Hacker News
🤖
AI Coding Tools
Evaluating
and
mitigating
the growing risk of LLM-discovered 0-days
red.anthropic.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🔓
Binary Exploitation
1M
token context: The good, the bad and the
ugly
(2025)
micron.com
·
3d
·
Discuss:
Hacker News
➡️
Apache Arrow
slow
abstraction
steel-water.bearblog.dev
·
5d
🧠
Memory Models
So
whats
the next word, then? Almost-no-math
intro
to transformer models
matthias-kainer.de
·
3d
·
Discuss:
Hacker News
🤖
Transformers
One Year of Using Go
rugu.dev
·
3d
·
Discuss:
Hacker News
☁️
Serverless Rust
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