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
9828
posts in
87.8
ms
A Guide to Large Language Models in Modeling and
Simulation
: From Core
Techniques
to Critical Challenges
arxiv.org
·
23h
📚
Automata Learning
RAL-Bench
: Benchmarking for Application-Level Functional
Correctness
and Non-Functional Quality Attributes
arxiv.org
·
2d
🔍
Formal Verification
Qwen3-Coder-Next
: How to Run Locally
unsloth.ai
·
3d
·
Discuss:
Hacker News
🔀
OCaml Multicore
RFC 3284: The
VCDIFF
Generic
Differencing
and Compression Data Format
datatracker.ietf.org
·
3d
·
Discuss:
Hacker News
🌐
NetworkProtocols
Floppinux
– An
Embedded
Linux on a Single Floppy, 2025 Edition
krzysztofjankowski.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
🔧
Unikernel Development
qzxcvbn/Csa
: THE SOVEREIGN ACCESS CONSTANT (
CsaC
_{sa} Csa) A Universal Open Standard for Passwordless, Zero-Knowledge Internet & Device Authentication
github.com
·
1d
·
Discuss:
Hacker News
🛡️
macOS Security
Notes: The Universal
Paperclip
Clicker
corecursive.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔲
Cellular Automata
CloudpilotEmu
cspeckner.de
·
3d
·
Discuss:
Hacker News
💻
QEMU
Bjarne
’s Last
Stand
: How the Father of C++ Is Fighting a Losing War Against Rust
lucisqr.substack.com
·
4d
·
Discuss:
Substack
,
r/cpp
🏃
Escape Analysis
Calling
Lean
Functions
As Python
Functions
philipzucker.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
🔧
ppx
Evaluating
Multilingual
Guardrails
in Humanitarian AI
blog.mozilla.ai
·
3d
·
Discuss:
Hacker News
🔤
Language Design
qcc4cp/qcc
: Source code for the book "Quantum Computing for
Programmers
", Cambridge University Press
github.com
·
2d
·
Discuss:
Hacker News
⚙️
Compiler Design
Defending
the Apple Neural Engine (
ANE
)
dennisforbes.ca
·
3d
·
Discuss:
Hacker News
🍎
Apple
The Linux
graphics
stack in a
nutshell
, part 1
lwn.net
·
2d
·
Discuss:
Hacker News
🔧
Unikernel Development
Small Projects
reddit.com
·
4d
·
Discuss:
r/golang
⚙️
Compiler Design
Verifying
coding
AIs
for LLM powered software
aunhumano.com
·
3d
·
Discuss:
Hacker News
🔍
Formal Verification
Language Modeling, Part 5:
Reverse
Engineering
LSTM
Cells
connorjdavis.substack.com
·
2d
·
Discuss:
Substack
📚
Automata Learning
My
GPT-5.3-Codex
Review: Full
Autonomy
Has Arrived
shumer.dev
·
2d
·
Discuss:
Hacker News
🔬
Unikernels
Fitness Functions:
Automating
Your Architecture
Decisions
lukasniessen.medium.com
·
2d
·
Discuss:
r/devops
,
r/node
,
r/programming
,
r/typescript
🧪
Property-Based Testing
What
Happens
When AI Can
Write
All Your Software?
jakequist.com
·
2d
·
Discuss:
Hacker News
🤖
Program Synthesis
Loading...
Loading more...
« Page 10
•
Page 12 »
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