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
🐫 Embedded OCaml
Bare-metal Programming, Resource Constraints, Firmware Development
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8211
posts in
61.0
ms
Still Manual? Automated
Linter
Configuration via
DSL-Based
LLM Compilation of Coding Standards
arxiv.org
·
3d
🔤
DSLs
Focus Session:
LLM4PQC
-- An Agentic Framework for Accurate and Efficient Synthesis of
PQC
Cores
arxiv.org
·
2d
🔧
ppx
Paper: Prompt Optimization Makes
Misalignment
Legible
lesswrong.com
·
12h
✓
Automated Theorem Proving
MiniMax
M2.5
: Game-Changer with 80% Coding Benchmark Score
news.reading.sh
·
12h
·
Discuss:
Hacker News
🔧
Unikernel Development
models have some pretty
funny
attractor
states
lesswrong.com
·
10h
🔲
Cellular Automata
Workledger
– An offline first engineering
notebook
about.workledger.org
·
13h
·
Discuss:
Lobsters
,
Hacker News
🔧
Unikernel Development
Why
agile
development is hard in
hardware
evercurrent.substack.com
·
13h
·
Discuss:
Substack
🔧
DevOps
We have
outgrown
the
Process
model
sidhion.com
·
19h
·
Discuss:
Hacker News
⚙️
Operating System Design
How the GNU C Compiler became the
Clippy
of
cryptography
theregister.com
·
3d
·
Discuss:
Hacker News
,
r/programming
🏃
Escape Analysis
Cross Compiling
CGO
with
Dagger
and Zig
johncodes.com
·
20h
·
Discuss:
Hacker News
🏗️
Dune
Is Local
Hardware
Is All You Need?
wwws.nightwatchcybersecurity.com
·
2d
·
Discuss:
Hacker News
💾
Retro Computing
Resurrecting
_why's
Dream
schwadlabs.io
·
9h
·
Discuss:
Hacker News
💾
Retro Computing
LocalGPT
: A local AI assistant with
persistent
memory in a single binary
localgpt.app
·
3d
·
Discuss:
Hacker News
🔬
Unikernels
CCBench
: How do agents perform on
codebases
that aren't part of training data?
ccbench.org
·
9h
·
Discuss:
Hacker News
🔍
CBMC
Python's Dynamic
Typing
Problem
whileforloop.com
·
2d
·
Discuss:
Hacker News
,
Hacker News
,
r/programming
🔀
Brzozowski Derivatives
OpenAI
sidesteps
Nvidia with
unusually
fast coding model on plate-sized chips
arstechnica.com
·
9h
·
Discuss:
Hacker News
🔀
OCaml Multicore
The
Zero-Inventory
Hardware
Company I
miguelarmengol.com
·
1d
·
Discuss:
Hacker News
🔧
Microcontrollers
SotA
ARC-AGI-2 Results with
REPL
Agents
symbolica.ai
·
23h
·
Discuss:
Hacker News
🧠
Automated Reasoning
Gemini writes, Claude
polishes
, JetBrains
rests
: an agent development pipeline
ginkida.dev
·
2d
·
Discuss:
Hacker News
💻
CLI Tools
six
thoughts
on
generating
c
wingolog.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🎯
GADT
Sign up or log in to see more results
Sign Up
Login
« Page 2
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