🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🐫 Embedded OCaml
Bare-metal Programming, Resource Constraints, Firmware Development
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
At my wits end..
i.redd.it
·
14h
·
Discuss:
r/homelab
💾
Retro Computing
Secure Your Keys with Keyand.me
thasso.xyz
·
22h
·
Discuss:
Hacker News
🛡️
seL4
I Built a Real-Time Voice Assistant That Talks Like ChatGPT – From Scratch in Python
youtu.be
·
1d
·
Discuss:
r/programming
💻
CS
Show HN: Yoslm -- You Only Need a Smoll Language Model for Object Detection
jigsawstack.com
·
17h
·
Discuss:
Hacker News
🔄
Finite State Machines
Software Reverse Engineering Bookshelf
mcgrewsecurity.com
·
1d
·
Discuss:
Hacker News
💾
Retro Computing
A.I. Can See You in Ways You Can't See Yourself
nytimes.com
·
15h
·
Discuss:
Hacker News
🎮
Verification Games
Grok 4
x.ai
·
6h
·
Discuss:
Hacker News
🎮
Verification Games
https:// daniel.haxx.se/blog/2025/07/08 /keeping-tabs-on-curls-memory-use/
daniel.haxx.se
·
4d
·
Discuss:
Hacker News
🔬
Static Analysis
GATMesh: Clock Mesh Timing Analysis using Graph Neural Networks
arxiv.org
·
3d
💻
CS
IMPACT: Industrial Machine Perception via Acoustic Cognitive Transformer
arxiv.org
·
2d
🏹
Effect Systems
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io
·
1d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Inheritance and Polymorphism in Plain C
coz.is
·
3d
·
Discuss:
Hacker News
,
r/C_Programming
,
r/programming
🔬
Static Analysis
LLaMeSIMD – LLM SIMD Intrinsic and Function Translation Benchmarking Suite
github.com
·
4d
·
Discuss:
Hacker News
⚙️
PL Implementation
I'm more proud of these 128 kilobytes than anything I've built since
medium.com
·
10h
·
Discuss:
Hacker News
🔬
Unikernels
Announcing egui 0.32.0 - an easy-to-use cross-platform GUI for Rust
github.com
·
1d
·
Discuss:
r/programming
🍎
XNU Internals
Designing Robust Software Sensors for Nonlinear Systems via Neural Networks and Adaptive Sliding Mode Control
arxiv.org
·
2d
🔄
Finite State Machines
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org
·
1d
🔍
Formal Verification
Show HN: Authorization in LLM Applications
osohq.com
·
2d
·
Discuss:
Hacker News
🛡️
seL4
Position: We Need An Algorithmic Understanding of Generative AI
arxiv.org
·
1d
✓
Automated Theorem Proving
GPUs go brrr with Mojo – Fundamentals
shubhamg.in
·
5d
·
Discuss:
Hacker News
🐫
OCaml
Loading...
Loading more...
« Page 8
•
Page 10 »