🐿️ 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
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Show HN: QuickShelf – Stop opening Finder just to drag files
quickshelf-app.slowlab.dev
·
16h
·
Discuss:
Hacker News
⚙️
systems programming
XpressReal T3 Compact SBC with Realtek RTD1619B Runs Chromium OS Variant
linuxgizmos.com
·
20h
·
Discuss:
Hacker News
🔄
compilers
I built SelectToSearch to reduce my clicks by 85% when needing AI search
apps.apple.com
·
4h
·
Discuss:
Hacker News
⚙️
systems programming
Show HN: Was frustrated w ChatGPTs health advice so I built better biomed search
news.ycombinator.com
·
56m
·
Discuss:
Hacker News
🗄️
databases
Omakase Computing
manuals.omamix.org
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
LLM Evals Are Just Tests. Why Are We Making This So Complicated?
cameronwestland.com
·
1d
·
Discuss:
Hacker News
✅
formal methods
Channel your inner Marie Kondo – identifying and eliminating policy clutter
eatingpolicy.com
·
3h
·
Discuss:
Hacker News
⚙️
systems programming
Human Data Is (Probably) More Expensive Than Compute for Training Frontier LLMs
ddkang.substack.com
·
1h
·
Discuss:
Substack
⚙️
systems programming
Using Topological Data Analysis and Sparse Autoencoders to Evaluate TruthfulQA
bluelightai.com
·
1d
·
Discuss:
Hacker News
🗄️
databases
Nonlinear response of gyroid infills for prediction of effective yield strength
link.springer.com
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
K0rdent v1.0: Manage Distributed Infrastructure at Scale with Kubernetes
cncf.io
·
12h
·
Discuss:
Hacker News
⚙️
systems programming
Yet Another Online YAML Lint Tool
yamllint.vibecodinghub.org
·
2d
·
Discuss:
Hacker News
✅
formal methods
Object Packing
nms.ac.uk
·
8h
·
Discuss:
Hacker News
✅
formal methods
How Boom uses software to accelerate hardware development
bscholl.substack.com
·
1d
·
Discuss:
Substack
⚙️
systems programming
The Soft Architecture of Meaning: Language Against Entropy
medium.com
·
2d
·
Discuss:
Hacker News
✅
formal methods
Tokenization in Large Language Models
seantrott.substack.com
·
3d
·
Discuss:
Substack
✅
formal methods
Show HN: I built an open-source workout tracker app in 4 days with Claude Code
github.com
·
2h
·
Discuss:
Hacker News
⚙️
systems programming
The Replication Engine
ifp.org
·
2h
·
Discuss:
Hacker News
⚙️
systems programming
81% of people more wary of dependencies due to AI
tosbourn.com
·
11h
·
Discuss:
Hacker News
,
r/programming
⚙️
systems programming
IBM and Moderna have simulated the longest mRNA pattern without AI — they used a quantum computer instead
livescience.com
·
2d
·
Discuss:
Hacker News
,
r/technews
✅
formal methods
Loading...
Loading more...
« Page 7
•
Page 9 »