🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🐫 OCaml
MirageOS, dune, functional
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
The Beginner's Guide to Subtitling (2001)
armitage.crinkle.net
·
1d
·
Discuss:
Hacker News
⚙️
PL Implementation
How Hyper Built a 1m-Accurate Indoor GPS
andrewhart.me
·
1h
·
Discuss:
Hacker News
🍎
Apple
Wish you could escape the planet? Too bad life in space would suck
salon.com
·
3h
·
Discuss:
Hacker News
🧗
Climbing Tech
Exploring Windows XP on macOS ARM64
milen.me
·
2d
·
Discuss:
Hacker News
💾
Retro Computing
Building a custom GUI app for my Hugo blog with Tauri
blog.notmyhostna.me
·
1d
·
Discuss:
Hacker News
🧱
Immutable Infrastructure
Want Discriminated Unions in Kotlin? Use a Sealed Class.
spin.atomicobject.com
·
6d
·
Discuss:
Hacker News
🔍
Formal Verification
More Windsurf Drama
theahura.substack.com
·
2d
·
Discuss:
Substack
📦
Unikernel Systems
Interactive Programming in C (2014)
nullprogram.com
·
5d
·
Discuss:
Hacker News
🎮
Verification Games
Scott Alexander Is Smarter Than Me. Should I Steal His Beliefs?
starlog.substack.com
·
21h
·
Discuss:
Substack
➡️
Category Theory
Ars spoke with the military’s chief orbital traffic cop—here’s what we learned
arstechnica.com
·
1d
·
Discuss:
Hacker News
🧗
Climbing Tech
Solving the inference problem for open source AI projects with GitHub Models
github.blog
·
6d
·
Discuss:
Hacker News
📦
Unikernel Systems
Meta Is Going to Let Job Candidates Use AI During Coding Tests
wired.com
·
3h
·
Discuss:
Hacker News
🤖
Program Synthesis
Cloudflare AI as well as upload VTT files now not working across all domains?
blog.cloudflare.com
·
3d
·
Discuss:
Hacker News
🌐
NetworkProtocols
Show HN: Gencmd, an fzf for natural language to bash commands
github.com
·
4d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Deciding what hardware to use for upcoming homelab project
reddit.com
·
1d
·
Discuss:
r/homelab
🏠
HomeLab
Frustrated trying to upgrade Cisco Custom image ESXI 7 to 8, HELP!
reddit.com
·
1d
·
Discuss:
r/homelab
🏠
HomeLab
Reinforcement Learning for Accelerated Aerodynamic Shape Optimisation
arxiv.org
·
4d
🎮
Verification Games
Show HN: AI Equalizer – Personality sliders for building a better AI friend
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🍎
Apple
Wasserstein GAN-Based Precipitation Downscaling with Optimal Transport for Enhancing Perceptual Realism
arxiv.org
·
4d
💻
CS
Windows 11 is a minefield of micro-aggressions in the shipping lane of progress
theregister.com
·
1d
·
Discuss:
Hacker News
🔬
Unikernels
Loading...
Loading more...
« Page 52
•
Page 54 »