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
7940
posts in
200.7
ms
MathlibLemma
: Folklore
Lemma
Generation and Benchmark for Formal Mathematics
arxiv.org
·
6d
🔍
Datalog Engines
From Separate
Compilation
to Sound Language
Composition
arxiv.org
·
6d
⚙️
LLVM
Generative Simulation Benchmarking for sustainable
aquaculture
monitoring systems for extreme data
sparsity
scenarios
dev.to
·
3d
·
Discuss:
DEV
🎲
Procedural Generation
The Secret Life of Python: The Safety Net ('
try
' and '
except
')
dev.to
·
2d
·
Discuss:
DEV
🔓
Binary Exploitation
Show HN: C discrete event SIM w
stackful
coroutines runs 45x faster than
SimPy
github.com
·
6d
·
Discuss:
Hacker News
⚡
Tokio
Groverkss/mlir-tutor
: Exercises for Learning MLIR (Originally written for
PPoPP
2026)
github.com
·
5d
·
Discuss:
Hacker News
,
r/Compilers
🚀
MLOps
Python 3.14.3 and 3.13.12 are now available!
pythoninsider.blogspot.com
·
6d
·
Discuss:
Blogger
🔍
Static Analysis
The LLM
spectrum
and
responsible
LLM use
martin.janiczek.cz
·
5d
·
Discuss:
Lobsters
,
Hacker News
⚙️
LLVM
Multi-layer defense for LLM agents inspired by
immune
systems (seeking
critique
)
gist.github.com
·
6d
·
Discuss:
Hacker News
🏠
Self-hosted AI
Wirth
's
Revenge
jmoiron.net
·
6d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🏗️
AI Infrastructure
Beyond Giant Models: Why AI
Orchestration
Is the New
Architecture
kdnuggets.com
·
6d
🏗️
AI Infrastructure
Mekara
:
Workflows
as Code Proof-of-Concept
meksys-dev.github.io
·
6d
·
Discuss:
Hacker News
🤖
AI Coding Tools
Why do we use
async-await
in our Code
furotmark.github.io
·
6d
·
Discuss:
Hacker News
⏱️
Async Runtime Design
AI Inference
Pipelines
– Building Low-Latency Systems With
gRPC
youtube.com
·
5d
🏗️
AI Infrastructure
The
Limit
in the
Loop
weaviate.io
·
6d
·
Discuss:
Hacker News
🧠
Memory Models
Show HN:
OpenSymbolicAI
– Agents with typed variables, not just context
stuffing
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
🤖
AI agents
Launch HN:
Modelence
(
YC
S25) – App Builder with TypeScript
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
🦋
Tauri
Why you should
consider
F#
asfaload.com
·
4d
·
Discuss:
Hacker News
🔍
Static Analysis
I created a comprehensive resource to master
Concurrency
Interviews
blog.algomaster.io
·
5d
🔀
Concurrency
Integrating
Coverity
static analysis with
Bazel
tweag.io
·
5d
·
Discuss:
Lobsters
⚙️
DataFusion
Loading...
Loading more...
« Page 13
•
Page 15 »
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