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
tiferrei's Feed
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8911
posts in
369.5
ms
Loading...
Subscribe
Topological
Semantics
for Common
Inductive
Knowledge
arxiv.org
·
20h
📐
Denotational Semantics
Optimal
Abstractions
for Verifying Properties of Kolmogorov-Arnold Networks (
KANs
)
arxiv.org
·
20h
🔍
CBMC
Sign up or login to customize your feed and get personalized topic recommendations
Sign Up
Login
Discord
Is Not an
Acceptable
Choice for Free Software Projects (2020)
sneak.berlin
·
6h
·
Discuss:
Hacker News
🌐
ActivityPub
Native voice
cloning
for Mac,
runs
on-device
speaklone.com
·
12h
·
Discuss:
Hacker News
🍎
Apple
AirPods
Pro 4 Could Feature
Cameras
to 'See Around You'
macrumors.com
·
12h
·
Discuss:
Hacker News
🍎
Apple
Learning Rust:
Custom
Error
types
that actually work!
rup12.net
·
3h
·
Discuss:
Lobsters
,
Hacker News
🎯
GADT
Compound
Engineering: Make Every
Unit
of Work
Compound
Into the Next
every.to
·
7h
·
Discuss:
Hacker News
🔄
Reproducible Builds
Heterogeneous
Processing: A Strategy for
Augmenting
Moore's Law (2006)
linuxjournal.com
·
1d
·
Discuss:
Hacker News
🔀
OCaml Multicore
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
1d
·
Discuss:
Hacker News
⚙️
Compiler Design
QFuture
❤️ C++
coroutines
arnorehn.de
·
3h
·
Discuss:
Hacker News
🔀
OCaml Multicore
A Kubernetes-native way to manage
kubeconfigs
and
RBAC
(no IdP)
reddit.com
·
2d
·
Discuss:
r/kubernetes
⎈
Kubernetes
Allium
is an LLM-native language for
sharpening
intent alongside implementation
juxt.github.io
·
14h
·
Discuss:
Hacker News
⚙️
PL Implementation
Screenshots
from developers and
Unix
people (2002) (2015)
anders.unix.se
·
15h
·
Discuss:
Hacker News
❄️
Nix
Chasing a Zig
AVR
Segfault
Down to LLVM
sourcery.zone
·
2d
·
Discuss:
r/Zig
🐫
Embedded OCaml
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
14h
·
Discuss:
Hacker News
🔤
Language Design
Inside
Mesa
26.0's
RADV
RT improvements
pixelcluster.github.io
·
2h
·
Discuss:
Hacker News
,
r/linux_gaming
🔄
Reproducible Builds
Show HN:
ShapeGuard
– Shape Contracts for
NumPy
and Jax
news.ycombinator.com
·
21h
·
Discuss:
Hacker News
🔢
Algebraic Data Types
Running Your Own AS: BGP on FreeBSD with
FRR
,
GRE
Tunnels, and Policy Routing
blog.hofstede.it
·
1d
·
Discuss:
Lobsters
,
Hacker News
📡
Network Protocol Design
M1 MacBook Pro as a
k3s
Node with
Asahi
Linux
grh.am
·
1d
·
Discuss:
Hacker News
💻
QEMU
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
1d
·
Discuss:
Hacker News
🔧
Unikernel Development
Loading...
Loading more...
« Page 3
•
Page 5 »
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