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
🔄 Compiler Design
LLVM, Type Systems, Optimization, Language Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2702
posts in
205.4
ms
NixOS: Systemd unit-linking script rewrite for 60x
speedups
by
Profpatsch
· Pull Request #479442
github.com
·
2d
·
Discuss:
Hacker News
⚡
Performance Engineering
LlamaLib
: A cross-platform C++/C# library for local LLMs based on
llama.cpp
github.com
·
3d
·
Discuss:
Hacker News
🔍
eBPF
Against the
Orthogonality
Thesis
jonasmoman.substack.com
·
5d
·
Discuss:
Substack
📡
Distributed Systems
The LLM
spectrum
and
responsible
LLM use
martin.janiczek.cz
·
5d
·
Discuss:
Lobsters
,
Hacker News
📦
WebAssembly
Evaluating
and
mitigating
the growing risk of LLM-discovered 0-days
red.anthropic.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
📦
WebAssembly
Making
Pyrefly
Diagnostics
18x Faster
pyrefly.org
·
4d
·
Discuss:
Hacker News
📦
WebAssembly
The Machine
Learned
Our Language
medium.com
·
2d
·
Discuss:
r/programming
🌐
HTMX
A Neuro Symbolic Architecture For Induced
Epistemic
Agency and System 2 Reasoning in
Quantized
Large Language Models
papers.ssrn.com
·
4d
·
Discuss:
Hacker News
✅
Formal Verification
I Am Not a
Functional
Programmer
blog.daniel-beskin.com
·
5d
·
Discuss:
Hacker News
,
r/programming
📦
WebAssembly
Recent
Advances
in LLMs for
Mathematics
youtube.com
·
6d
·
Discuss:
Hacker News
✅
Formal Verification
Generative
Pen-Trained
Transformer
theodore.net
·
4d
·
Discuss:
Hacker News
⚙️
Engineering
java
sucks
(2000)
jwz.org
·
6d
·
Discuss:
Lobsters
🦀
Rust
The
Null
Pointer
Crisis: Running God-Mode Software on Legacy Hardware
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
📦
WebAssembly
ML-LIB
: Machine Learning Library Proposed For The Linux Kernel
phoronix.com
·
3d
·
Discuss:
Hacker News
🔍
eBPF
Writing
the Code That
Powers
Your Code
thelinell.com
·
6d
·
Discuss:
Hacker News
🔌
Network Programming
On the Promises of '
High-Assurance
'
Cryptography
symbolic.software
·
5d
·
Discuss:
Lobsters
,
Hacker News
🔐
Cryptography
Training language models on
TPUs
shouldn't be
scary
dogac.dev
·
4d
·
Discuss:
Hacker News
📦
WebAssembly
The Missing
Layer
yagmin.com
·
4d
·
Discuss:
Hacker News
🚢
DevOps
So
whats
the next word, then? Almost-no-math
intro
to transformer models
matthias-kainer.de
·
3d
·
Discuss:
Hacker News
✅
Formal Verification
EBM
vs. LLMs: Our
Kona
EBM
a 96% vs. 2% Sudoku Benchmark
logicalintelligence.com
·
4d
·
Discuss:
Hacker News
⚡
Performance Engineering
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