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
9023
posts in
70.3
ms
GoodVibe
:
Security-by-Vibe
for LLM-Based Code Generation
arxiv.org
·
22h
📦
Module Systems
Go -
Unit
&
Integration
Testing
linkedin.com
·
1d
·
Discuss:
r/programming
🧪
Property-Based Testing
Llama-Polya
:
Instruction
Tuning for Large Language Model based on
Polya
's Problem-solving
arxiv.org
·
22h
📚
Automata Learning
AI #155: Welcome to
Recursive
Self-Improvement
lesswrong.com
·
11h
🧮
SMT Solvers
ZX81
KEYBOARD
Subroutine
—Commentary
drj11.github.io
·
2d
·
Discuss:
Lobsters
🔧
Microcontrollers
(Re)
Discovering
Natural
Laws
lesswrong.com
·
5h
🎯
Hindley-Milner
Technical "
whitepaper
" for
afl-fuzz
lcamtuf.coredump.cx
·
12h
·
Discuss:
Lobsters
🔧
Unikernel Development
Zvec
: SQLite-like
simplicity
in an embedded vector database (By Alibaba)
zvec.org
·
15h
·
Discuss:
Hacker News
🧮
Z3 Solver
Show HN:
PolyMCP
–
Expose
Python functions as MCP tools
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔀
OCaml Multicore
C-- Home
cs.tufts.edu
·
2d
·
Discuss:
Lobsters
⚙️
Compiler Design
Results from the
Advent
of
FPGA
Challenge
blog.janestreet.com
·
23h
·
Discuss:
Hacker News
🔧
Microcontrollers
A
stack-buffer-overflow
exercise with
AddressSanitizer
and PostgreSQL
enterprisedb.com
·
1h
·
Discuss:
Lobsters
,
Hacker News
🎯
GADT
EyesOff
: Why Some Models
Quantize
Better Than Others
ym2132.github.io
·
1d
·
Discuss:
Hacker News
🧮
SMT Solvers
From
Breadboard
to
Perf
Board (Part 1)
tomsantunes.substack.com
·
1d
·
Discuss:
Substack
🔧
Microcontrollers
OpenAI
sidesteps
Nvidia with
unusually
fast coding model on plate-sized chips
arstechnica.com
·
4h
·
Discuss:
Hacker News
🔀
OCaml Multicore
Python's Dynamic
Typing
Problem
whileforloop.com
·
2d
·
Discuss:
Hacker News
,
Hacker News
,
r/programming
🔀
Brzozowski Derivatives
Show HN: Solving
Sudoku
reasoning via Energy
Geometric
models
davisgeometric.com
·
18h
·
Discuss:
Hacker News
🧮
SMT Solvers
Show HN: A
compiled
programming language for LLM-to-LLM
communication
[pdf]
sifsystemsmcrd.com
·
1d
·
Discuss:
Hacker News
🐫
OCaml
Is Local
Hardware
Is All You Need?
wwws.nightwatchcybersecurity.com
·
2d
·
Discuss:
Hacker News
💾
Retro Computing
Resurrecting
_why's
Dream
schwadlabs.io
·
4h
·
Discuss:
Hacker News
💾
Retro Computing
Loading...
Loading more...
« Page 1
•
Page 3 »
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