🐿️ 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
first-class merges and cover letters
dotat.at
·
14h
·
Discuss:
Lobsters
,
Hacker News
🔄
Reproducible Builds
Real-Time GPU Texture Compression in Three.js
ludicon.com
·
1d
·
Discuss:
Hacker News
🔧
Unikernel Development
How We Built Our lakeFS Iceberg Catalog
lakefs.io
·
4d
·
Discuss:
Hacker News
🔄
Reproducible Builds
HiTex: A spam factory for AI-generated books
laurent.le-brun.eu
·
18h
·
Discuss:
Hacker News
🐫
OCaml
The Good Cemetarian
thegoodcemetarian.wordpress.com
·
6h
·
Discuss:
Hacker News
⚡
Process Calculi
The 100MHz 6502
e-basteln.de
·
1h
·
Discuss:
Hacker News
💾
Retro Computing
I'm Using Perplexity
fldr.zip
·
2d
·
Discuss:
Hacker News
📦
Unikernel Systems
OpenAI Lays Out The Principles Of Global-Scale Computing
nextplatform.com
·
14h
·
Discuss:
Hacker News
📦
Unikernel Systems
Back from Chaos (1998)
theatlantic.com
·
18h
·
Discuss:
Hacker News
🩹
Self-Healing Systems
AI Ate Its Own Tail, and I Learned Something About Writing
nibzard.com
·
3d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Targeting 25 years of Windows with Visual Studio 2019 (2021)
colinfinck.de
·
3d
·
Discuss:
Hacker News
🔧
Unikernel Development
Rust's Enterprise Breakthrough Year
rust-trends.com
·
2d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Vibe Coding vs. Spec-Driven Development
redmonk.com
·
4d
·
Discuss:
Hacker News
🔄
Reproducible Builds
A Rapid Review Regarding the Concept of Legal Requirements in Requirements Engineering
arxiv.org
·
2d
⚙
Operational Semantics
ByteDance unveils new AI image model to rival Google DeepMind’s ‘Nano Banana’
scmp.com
·
1d
·
Discuss:
Hacker News
,
r/SCMPauto
🔧
Unikernel Development
Ask HN: Is the Rust community the vegans of programming?
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🔬
Static Analysis
Drivel-ology: Challenging LLMs with Interpreting Nonsense with Depth
arxiv.org
·
6d
🧩
Parser Combinators
LLM Chat Scraper – AI Share URL Extractor
github.com
·
1d
·
Discuss:
Hacker News
🧩
Parser Combinators
A Multi-Modal Deep Learning Framework for Colorectal Pathology Diagnosis: Integrating Histological and Colonoscopy Data in a Pilot Study
arxiv.org
·
2d
🐳
Containerization
Risk-averse Fair Multi-class Classification
arxiv.org
·
2d
🧠
Automated Reasoning
Loading...
Loading more...
« Page 20
•
Page 22 »