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 Likes
Subscribe
Lambda calculus: compiler, type inference, and
evaluator
in less than 100
LOC
gist.github.com
·
42w
·
Discuss:
Hacker News
🧮
Lambda Calculus
Learning
Regular
Languages with
RPNI
Algorithm
rahul.gopinath.org
·
14w
·
Discuss:
Hacker News
🔤
Regular Expressions
RISC
Architecture
Really Did Change Everything
wired.com
·
45w
·
Discuss:
Hacker News
,
r/hardware
,
r/programming
,
r/technews
⚙️
Operating System Design
Infinite
Mac OS X
blog.persistent.info
·
45w
·
Discuss:
blog.persistent.info
,
Lobsters
,
Hacker News
,
Hacker News
🍏
Darwin
Best
Practices
for
Nix
at Work
determinate.systems
·
45w
·
Discuss:
Lobsters
,
Hacker News
❄️
Nix Flakes
LLMs on a
PowerPC
Mac
theresistornetwork.com
·
45w
·
Discuss:
theresistornetwork.com
,
Lobsters
,
Hacker News
🐫
Embedded OCaml
Setting Up
Nix
on
macOS
nixcademy.com
·
46w
·
Discuss:
Hacker News
❄️
NixOS
Scaling a State Machine
Saga
with
Kubernetes
medium.com
·
47w
·
Discuss:
r/programming
⎈
Kubernetes
Taming
Servers
for Fun and Profit
blog.railway.com
·
46w
·
Discuss:
Hacker News
🏠
HomeLab
OCaml
's Standard Library (
Stdlib
)
batsov.com
·
46w
·
Discuss:
Hacker News
📦
Module Systems
Verification-First
Development
buttondown.com
·
46w
·
Discuss:
Hacker News
🔍
Formal Verification
Bialgebraic
Reasoning on
Stateful
Languages
arxiv.org
·
46w
📐
Hoare Logic
Active Learning For
Repairable
Hardware Systems With
Partial
Coverage
arxiv.org
·
46w
🩹
Self-Healing Systems
Structure
and
Meaning
shrsv.github.io
·
46w
·
Discuss:
Hacker News
≤
Order Theory
What We Know About the
Closure
of
Heathrow
Airport
nytimes.com
·
46w
·
Discuss:
Hacker News
🐳
Containerization
(
Asahi
Linux)
Progress
Report: Linux 6.14
asahilinux.org
·
46w
·
Discuss:
Lobsters
,
Hacker News
,
r/linux
🔧
Unikernel Development
macOS
15.4: Four new features are coming to your Mac soon
9to5mac.com
·
46w
🍎
Apple
A proof
checker
meant
for education
jsiek.github.io
·
46w
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Leaking
Passwords
(and More) on macOS
wts.dev
·
46w
·
Discuss:
Lobsters
,
Hacker News
💬
Mach Messages
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