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

10 Insights from Integrating AI into My Coding Workflow
thenewstack.io·1h
🤖Program Synthesis
Advice on mini pc
reddit.com·39m·
Discuss: r/homelab
💾Retro Computing
The Ancient History of Compression Algorithms
cs4fn.org·1d·
Discuss: Hacker News
💻CS
Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev·13h·
Discuss: Hacker News
🌐NetworkProtocols
Data Science Weekly – Issue 607
datascienceweekly.substack.com·9h·
Discuss: Substack
👁️System Observability
Single-to-mix Modality Alignment with Multimodal Large Language Model for Document Image Machine Translation
arxiv.org·9h
🐫OCaml
Modern Electric Vehicle Infrastructure Security
ocpp.us·3d·
Discuss: Hacker News
🌐NetworkProtocols
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·1d·
Discuss: Substack
🧪Property-Based Testing
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·9h
✓Automated Theorem Proving
Fun with flags: How Compilers Break and Fix Constant-Time Code
arxiv.org·2d·
Discuss: Hacker News, r/programming
🔬Static Analysis
The hidden cost of AI reliance
codebytom.blog·1d·
Discuss: Hacker News, r/programming
✓Automated Theorem Proving
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·9h
🔍Formal Verification
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·2d
🔬Static Analysis
Orca Build System
orca-app.dev·23h·
Discuss: Lobsters, Hacker News, r/programming
📦Unikernel Systems
T5Gemma: A new collection of encoder-decoder Gemma models
developers.googleblog.com·1d·
Discuss: Hacker News
🐫OCaml
Stacked Intelligent Metasurfaces-Aided eVTOL Delay Sensitive Communications
arxiv.org·1d
📡Network Protocol Design
FrameShift: Learning to Resize Fuzzer Inputs Without Breaking Them
arxiv.org·2d
🧪Property-Based Testing
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·3d·
Discuss: Hacker News
🔬Unikernels
Model-free Optical Processors using In Situ Reinforcement Learning with Proximal Policy Optimization
arxiv.org·2d
🐫OCaml
Loading...Loading more...
AboutBlogChangelogRoadmap