🐿️ 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

Automerge 3.0
automerge.org·20h·
Discuss: Hacker News
🔄Reproducible Builds
Using a USB Foot Pedal for Vibe Coding
coding.napolux.com·1d·
Discuss: Lobsters, Hacker News, r/programming
💾Retro Computing
Hill Space: Neural nets that do perfect arithmetic (to 10⁻¹⁶ precision)
hillspace.justindujardin.com·2d·
Discuss: Hacker News
💻CS
Generating Almost Equally-Spaced Points Along a Parabola
arjuns07.github.io·2d·
Discuss: Hacker News
🎮Verification Games
Augmented Engineering: How Shopify Tackles Large-Scale Problems With AI
aviator.co·14h·
Discuss: r/programming
🔄Reproducible Builds
Technical deep dive of how we built an AI to answer structured data questions
secoda.co·11h·
Discuss: Hacker News
✓Automated Theorem Proving
What are we missing out on when we think Transformer is unreasonable in biology?
dmf-archive.github.io·2d·
Discuss: Hacker News
🏹Effect Systems
Introducing PooLA Filament: Grass Fiber-Reinforced PLA
hackaday.com·1d
⚙️PL Implementation
Kernel-Adaptive PI-ELMs for Forward and Inverse Problems in PDEs with Sharp Gradients
arxiv.org·1d
📦Unikernel Systems
L-CLIPScore: a Lightweight Embedding-based Captioning Metric for Evaluating and Training
arxiv.org·2d
💻CS
Are developers slowed down by AI? Evaluating an RCT (?) and what it tells us about developer productivity
fightforthehuman.com·2d·
Discuss: Hacker News
🏹Effect Systems
Cross-modal Associations in Vision and Language Models: Revisiting the bouba-kiki effect
arxiv.org·1d
➡️Category Theory
Could you be wrong: Debiasing LLMs using a metacognitive prompt for improving human decision making
arxiv.org·1d
✓Automated Theorem Proving
Study finds AI tools made open source software developers 19 percent slower
arstechnica.com·1d·
Discuss: Hacker News, r/LocalLLaMA, r/embedded, r/technews
👁️System Observability
Secure and Efficient UAV-Based Face Detection via Homomorphic Encryption and Edge Computing
arxiv.org·1d
🛡️seL4
Distilling Empathy from Large Language Models
arxiv.org·2d
🔠Type-Level Programming
SPINT: Spatial Permutation-Invariant Neural Transformer for Consistent Intracortical Motor Decoding
arxiv.org·2d
➡️Category Theory
Safe Deep Reinforcement Learning for Resource Allocation with Peak Age of Information Violation Guarantees
arxiv.org·2d
📡Network Protocol Design
Looking for a switch
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Imitation Learning in Continuous Action Spaces: Mitigating Compounding Error without Interaction
arxiv.org·1d
🏹Effect Systems
Loading...Loading more...
AboutBlogChangelogRoadmap