🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🐫 Embedded OCaml

Bare-metal Programming, Resource Constraints, Firmware Development

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...
AboutBlogChangelogRoadmap