🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧮 Lambda Calculus
Combinatory Logic, Church Encoding, Beta Reduction, Type Theory
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Exploring the frontiers of the periodic table: Bismuth Catalysis's applications
chemistryworld.com
·
20h
·
Discuss:
Hacker News
🐫
OCaml
Recommended Books for Learning Ruby
rubynewbie.org
·
1d
·
Discuss:
Hacker News
💎
Refinement Types
Write Your Own Retro Compiler
t3x.org
·
4d
·
Discuss:
Hacker News
⚙️
PL Implementation
More Random Than You Realize
overcomingbias.com
·
14h
·
Discuss:
Hacker News
🩹
Self-Healing Systems
Show HN: My portfolio in the style of a campy early-internet Geocities site
jmkod.es
·
1d
·
Discuss:
Hacker News
❄️
Nixified Development
C++26: erroneous behaviour
sandordargo.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/cpp
,
r/programming
🔬
Static Analysis
Money for Nothing, Chips for Free
phrack.org
·
4d
·
Discuss:
Hacker News
💾
Retro Computing
Trillion Dollar Elephants
dbushell.com
·
2d
·
Discuss:
Hacker News
🔬
Unikernels
Relaunching Yakread: an algorithmic reading app
biffweb.com
·
4d
·
Discuss:
Hacker News
📦
Unikernel Systems
Ask HN: Data integrity in a decentralized trustless system
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Survival Analysis with Adversarial Regularization
arxiv.org
·
2d
📊
Runtime Verification
Content Query Languages
deanebarker.net
·
5d
·
Discuss:
Hacker News
🧩
Parser Combinators
Widespread NPM Supply Chain Attack: Breaking Down Impact and Scope Across Debug
wiz.io
·
1d
·
Discuss:
Hacker News
🔄
Reproducible Builds
A Study of Large Language Models for Patient Information Extraction: Model Architecture, Fine-Tuning Strategy, and Multi-task Instruction Tuning
arxiv.org
·
2d
🧩
Parser Combinators
O Brother, What Art Thou?
hackaday.com
·
17h
💾
Retro Computing
On the local consequence of modal Product logic: standard completeness and decidability
arxiv.org
·
6d
🧠
Automated Reasoning
William James at CERN (1995)
bactra.org
·
4d
·
Discuss:
Hacker News
🏹
Effect Systems
Pose-Free 3D Quantitative Phase Imaging of Flowing Cellular Populations
arxiv.org
·
2d
🐫
OCaml
Toggle Hero Worship
lesswrong.com
·
2h
🩹
Self-Healing Systems
Just Enough Automation
bevel.work
·
1h
·
Discuss:
Hacker News
🤖
Program Synthesis
Loading...
Loading more...
« Page 15
•
Page 17 »