Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
tiferrei's Likes
Subscribe
161
interests
·
38
feeds
·
19
likes
🧮
Lambda Calculus
gist.github.com
·
61w
61 weeks ago
Lambda calculus: compiler, type inference, and evaluator in less than 100 LOC
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Lambda calculus: compiler, type inference, and evaluator in less than 100 LOC
🔤
Regular Expressions
rahul.gopinath.org
·
33w
33 weeks ago
Learning Regular Languages with RPNI Algorithm
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Learning Regular Languages with RPNI Algorithm
⚙️
Operating System Design
WIRED
·
64w
64 weeks ago
RISC Architecture Really Did Change Everything
Discussed on
Hacker News
,
r/hardware
,
r/programming
, and
r/technews
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for RISC Architecture Really Did Change Everything
❄️
Nix Flakes
Determinate Systems
·
64w
64 weeks ago
Best Practices for Nix at Work
Discussed on
Hacker News
and
Lobsters
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Best Practices for Nix at Work
🍏
Darwin
blog.persistent.info
·
64w
64 weeks ago
Infinite Mac OS X
Discussed on
Hacker News
,
Hacker News
,
Lobsters
, and
blog.persistent.info
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Infinite Mac OS X
🔀
OCaml Multicore
theresistornetwork.com
·
64w
64 weeks ago
Thinking Different, Thinking Slowly: LLMs on a PowerPC Mac
Discussed on
Hacker News
and
theresistornetwork.com
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Thinking Different, Thinking Slowly: LLMs on a PowerPC Mac
❄️
NixOS
nixcademy.com
·
66w
66 weeks ago
Setting Up Nix on macOS
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Setting Up Nix on macOS
⎈
Kubernetes
medium.com
·
66w
66 weeks ago
Scaling a State Machine Saga with Kubernetes
Discussed on
r/programming
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Scaling a State Machine Saga with Kubernetes
🏠
HomeLab
Railway Blog
·
65w
65 weeks ago
Taming Servers for Fun and Profit
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Taming Servers for Fun and Profit
📦
Module Systems
batsov.com
·
65w
65 weeks ago
OCaml's Standard Library (Stdlib)
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for OCaml's Standard Library (Stdlib)
🔍
Formal Verification
Computer Things via buttondown.com
·
65w
65 weeks ago
Verification-First Development
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Verification-First Development
📐
Hoare Logic
arxiv.org
·
65w
65 weeks ago
Bialgebraic Reasoning on Stateful Languages
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Bialgebraic Reasoning on Stateful Languages
🩹
Self-Healing Systems
arxiv.org
·
65w
65 weeks ago
Active Learning For Repairable Hardware Systems With Partial Coverage
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Active Learning For Repairable Hardware Systems With Partial Coverage
≤
Order Theory
shrsv.github.io
·
65w
65 weeks ago
Structure and Meaning
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Structure and Meaning
🐳
Containerization
The Athletic
·
65w
65 weeks ago
What We Know About the Closure of Heathrow Airport
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for What We Know About the Closure of Heathrow Airport
🔧
Unikernel Development
asahilinux.org
·
65w
65 weeks ago
(Asahi Linux) Progress Report: Linux 6.14
Discussed on
Hacker News
,
Lobsters
, and
r/linux
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for (Asahi Linux) Progress Report: Linux 6.14
🍎
Apple
9to5Mac
·
65w
65 weeks ago
macOS 15.4: Four new features are coming to your Mac soon
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for macOS 15.4: Four new features are coming to your Mac soon
✓
Automated Theorem Proving
jsiek.github.io
·
65w
65 weeks ago
A proof checker meant for education
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for A proof checker meant for education
💬
Mach Messages
wts.dev
·
65w
65 weeks ago
Leaking Passwords (and More) on macOS
Discussed on
Hacker News
and
Lobsters
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Leaking Passwords (and More) on macOS
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
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
Discover
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
Like
Save
Not for me
Report