🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📐 Denotational Semantics
Domain Theory, Fixed Points, Continuations, Program Equivalence
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Looking forward. Refresh old or get new NAS?
reddit.com
·
5h
·
Discuss:
r/homelab
🏠
HomeLab
Using domain inspired ML for embedded DSP
buchanan.one
·
1d
·
Discuss:
Hacker News
📚
Automata Learning
Show HN: Hyperif – Chat with your data across all your tools
hyperif.com
·
6h
·
Discuss:
Hacker News
🐳
Containerization
7 Best Practices for API Design 🔥
newsletter.systemdesign.one
·
1d
·
Discuss:
r/programming
👁️
System Observability
A Look Back at Research from 1875
bcmullins.github.io
·
4h
·
Discuss:
Hacker News
➡️
Category Theory
How Do Devs Make Levels Without Game Engines?
jslegenddev.substack.com
·
19h
·
Discuss:
Substack
🧱
Immutable Infrastructure
The Design and Regulation of Technology
leapfrog.nl
·
1d
·
Discuss:
Hacker News
🩹
Self-Healing Systems
Show HN: My portfolio in the style of a campy early-internet Geocities site
jmkod.es
·
4h
·
Discuss:
Hacker News
❄️
Nixified Development
The Grounded Turing Test
whattotelltherobot.com
·
4d
·
Discuss:
Hacker News
📚
Automata Learning
Type Checking is a Symptom, Not a Solution
programmingsimplicity.substack.com
·
3d
·
Discuss:
Substack
🐫
Embedded OCaml
Stress testing Biome's noFloatingPromises lint rule
vercel.com
·
4d
·
Discuss:
Hacker News
💎
Refinement Types
The Oscar Winning Algorithm
sangarshanan.com
·
2d
·
Discuss:
Hacker News
🏹
Effect Systems
We built an interpreter for Swift (a compiled language)
bitrig.app
·
4d
·
Discuss:
Hacker News
,
r/programming
🐫
Embedded OCaml
When LLMs Grow Hands and Feet, How to Design Our Agentic RL Systems?
amberljc.github.io
·
2d
·
Discuss:
Hacker News
⚙️
PL Implementation
Just One More Prompt
commandpattern.org
·
3d
·
Discuss:
Hacker News
📚
Automata Learning
The Babysitter Problem
chrisbeckman.dev
·
2d
·
Discuss:
Hacker News
🛡️
seL4
Ask HN: What did you obtain from learning compilers?
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🐫
OCaml
Analysis of Voluntarily Reported Data Post Mesh Implantation for Detecting Public Emotion and Identifying Concern Reports
arxiv.org
·
16h
🩹
Self-Healing Systems
Logic Theorist
en.wikipedia.org
·
2d
·
Discuss:
Hacker News
🧠
Automated Reasoning
FSP: Novel Compression Algorithm Based on Pattern Similarity Unlike the Others
news.ycombinator.com
·
12h
·
Discuss:
Hacker News
🧮
Lambda Calculus
Loading...
Loading more...
« Page 10
•
Page 12 »