Feeds to Scour
SubscribedAll
Scoured 13746 posts in 697.8 ms
Exploring the Type System
gibbok.github.io·16h
🔤Type Theory
Preview
Report Post
ForTheChurch/ministrypages: An AI-first website template for churches
github.com·9h·
Discuss: Hacker News
🔗Hypermedia APIs
Preview
Report Post
Limited Math: Aligning Mathematical Semantics with Finite Computation
arxiv.org·2d
λLambda Encodings
Preview
Report Post
Python can encode meaning directly not represent it, embody it
news.ycombinator.com·11h·
Discuss: Hacker News
λLambda Encodings
Preview
Report Post
A Unique Performance Optimization for a 3D Geometry Language
cprimozic.net·23h·
Discuss: Lobsters, Hacker News
⬆️Lambda Lifting
Preview
Report Post
Ogg Encapsulation for the Opus Audio Codec
rfc-editor.org·1d
✅FLAC Verification
Preview
Report Post
How Many Scales Are Modes of Other Scales?
petecorey.com·1d
🎵Music Universality
Preview
Report Post
research!rsc: Pulling a New Proof from Knuth’s Fixed-Point Printer
research.swtch.com·1d·
Discuss: Lobsters, Hacker News
📐Interval Arithmetic
Preview
Report Post
Investigating Record-Based Domain Models
coding-mischief.com·14h·
Discuss: Hacker News
🔢Denotational Semantics
Preview
Report Post
Sparse Federated Representation Learning for heritage language revitalization programs with inverse simulation verification
dev.to·1d·
Discuss: DEV
💻Local LLMs
Preview
Report Post
Issue 506
haskellweekly.news·3d
🔗Functional Compilers
Preview
Report Post
A Zeckendorf table
leancrew.com·1d
🎞️Tape Combinatorics
Preview
Report Post
Judging Books by Their Covers, Empirically
yakshed.com·20h·
Discuss: Hacker News
📜Binary Philology
Preview
Report Post
Fancy unicode symbols made easy
web.archive.org·2h
🔤Unicode Normalization
Preview
Report Post
Halting Problem
en.wikipedia.org·1d·
Discuss: Hacker News
🔍Type Inference
Preview
Report Post
TinyOS 2.1.2 printfUART Global Buffer Overflow via Unbounded Format Expansion
seclists.org·20h
✅Format Verification
Preview
Report Post
BASIC Programming With No Strings Attached
hackaday.com·1d
🔗Concatenative Programming
Preview
Report Post
Lewis Carroll, Happy Birthday, and RIP (a compilation of several posts)
pballew.blogspot.com·17h·
Discuss: Blogger
📐Mathematical Art
Preview
Report Post
Functional Optics for Modern Java
blog.scottlogic.com·3d
⟷Bidirectional Programming
Preview
Report Post
Java Generics and Collections • Maurice Naftalin & Stuart Marks
youtube.com·2d
λLambda Formalization
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help