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

A software to better discuss opinions on the internet?
sonny.alvesdi.as·3h·
Discuss: Hacker News
🌐NetworkProtocols
SimSun 12pt: A Default with a Legacy
fayziev.com·19h·
Discuss: Hacker News
🍎Apple
Cadence IP for LPDDR6 Launched
servethehome.com·1d·
Discuss: Hacker News
⚙️Operating System Design
You're Not Refactoring – You're Just Moving Code Around
thecynical.dev·22h·
Discuss: Hacker News
🔬Static Analysis
A guide on reading PostgreSQL query plans
prateekcodes.dev·9h·
Discuss: Hacker News
👁️System Observability
What Makes Code Beautiful
thecoder.cafe·4d·
Discuss: r/programming
🔬Static Analysis
Why Lua Beats MicroPython for Serious Embedded Devs
embedded.com·5d·
Discuss: Hacker News
⚙️PL Implementation
Show HN: I made a vencord plugin to search for messages across discord
blog.jaisal.dev·1d·
Discuss: Hacker News
📦Unikernel Systems
Using Clouds for too long might have made you incompetent
loudwhisper.me·1d·
Discuss: Hacker News
⎈Kubernetes
The Unreasonable Effectiveness of Recurrent Neural Networks
karpathy.github.io·4d·
Discuss: Hacker News
🔄Finite State Machines
A Multi-Modal Fusion Framework for Brain Tumor Segmentation Based on 3D Spatial-Language-Vision Integration and Bidirectional Interactive Attention Mechanism
arxiv.org·8h
🐫OCaml
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·6d
🐫OCaml
FrameShift: Learning to Resize Fuzzer Inputs Without Breaking Them
arxiv.org·5d
🧪Property-Based Testing
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·6d·
Discuss: Hacker News
🔬Unikernels
Explore the Granddaddy of all Macs with LisaGUI
hackaday.com·4h
💾Retro Computing
crawl4ai: The Adaptive Intelligence Update
github.com·1d·
Discuss: Hacker News
👁️System Observability
C++ with no classes?
pvs-studio.com·5d·
Discuss: r/cpp, r/programming
🐫OCaml
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·5d
🔬Static Analysis
Emotion Recognition in Older Adults with Quantum Machine Learning and Wearable Sensors
arxiv.org·8h
🐫OCaml
AGI Is Mathematically Impossible (3): Kolmogorov Complexity
news.ycombinator.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Loading...Loading more...
AboutBlogChangelogRoadmap