Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔧 Microcontrollers
ESP32, STM32, Real-time Systems, Firmware Development
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8967
posts in
421.8
ms
VSCO
’s Film 02 preset Pack available for Adobe
Lightroom
as a limited-time release
9to5mac.com
·
17h
📺
Vintage Apple
Apple
experiencing
outages with
iCloud
, Photos, Find My, more
9to5mac.com
·
17h
🍎
Apple
2026-01-14: The Day the
telnet
Died
labs.greynoise.io
·
16h
·
Discuss:
Lobsters
,
Hacker News
📡
Network Protocol Design
January 2026
DigitalOcean
Tutorial Roundup: OpenClaw and
LangSmith
dev.to
·
5d
·
Discuss:
DEV
🛡️
seL4
Codes for
Metastability-Containing
Addition
arxiv.org
·
2d
📐
Hoare Logic
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
1d
🛡️
seL4
A five-century tree-ring record from Spain reveals recent
intensification
of western Mediterranean
precipitation
extremes
cp.copernicus.org
·
17h
·
Discuss:
Hacker News
🔲
Cellular Automata
Russia Further
Restricts
Telegram, Escalating Internet
Clampdown
nytimes.com
·
17h
·
Discuss:
Hacker News
🌐
Network Protocols
Lamp
Rubbers
thoughtmerchants.com
·
17h
·
Discuss:
Hacker News
🔬
Unikernels
Megaprocessor
(2020)
megaprocessor.com
·
6d
·
Discuss:
Hacker News
🔧
Unikernel Development
The Linux
Load
Average
logical.li
·
17h
·
Discuss:
Hacker News
👁️
System Observability
Private
RAG
and
marketplace
to sell your knowledge to AI agents
ragora.app
·
17h
·
Discuss:
Hacker News
🧠
Automated Reasoning
Ask HN: What
useful
knowledge
do you have that LLMs don't?
news.ycombinator.com
·
17h
·
Discuss:
Hacker News
📦
Module Systems
Show HN:
Berkeley
Xcelerator
– early-stage AI and agentic AI accelerator
rdi.berkeley.edu
·
17h
·
Discuss:
Hacker News
🔧
Unikernel Development
stdlib
v7.2
erlang.org
·
5d
·
Discuss:
Hacker News
🎯
GADT
Custom
ESLint
rules as AI guardrails: turning repeated mistakes into structural
impossibilities
jw.hn
·
17h
·
Discuss:
Hacker News
,
r/SoftwareEngineering
,
r/coding
,
r/node
,
r/typescript
🔍
Formal Verification
The Rise of
Spec
Driven Development
dbreunig.com
·
4d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Accelerando
, But
Janky
taoofmac.com
·
5d
·
Discuss:
Hacker News
🔬
Unikernels
Hacker
News Alternative Where People Are
Positive
About AI
news.ycombinator.com
·
17h
·
Discuss:
Hacker News
💻
CS
Gemini writes, Claude
polishes
, JetBrains
rests
: an agent development pipeline
ginkida.dev
·
15h
·
Discuss:
Hacker News
💻
CLI Tools
Loading...
Loading more...
« Page 14
•
Page 16 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help