Step-by-Step Guide to Adding SoC and Board Support to Zephyr with CH32V303
bootlin.com·2d
🔌Operating system internals
original ↗
daniel.haxx.se·1d
🏺ZIP Archaeology
The XINU Page
xinu.cs.purdue.edu·2d·
Discuss: Hacker News
🎯Emulation Accuracy
Galois field instructions on 2021 CPUs
corsix.org·2d·
Discuss: Hacker News
🔐RISC-V Cryptography
An InfoSec Architect's First Taste of Temporal
supasaf.com·4d·
Discuss: Hacker News
⏰Temporal Logic
Introduction Koca - A universal and OS-agnostic build, package, and publishing tool
reddit.com·1d·
Discuss: r/linux
🔓Open Source Software
I ported the jsmn C JSON tokenizer to Go with goroutines for parallel parsing, seeking feedback
reddit.com·21h·
Discuss: r/golang
🔗Monadic Parsing
🧠 I built a tiny AI code review tool for GitLab – mostly for myself, maybe useful for you too
dev.to·9h·
Discuss: DEV
🚀Indie Hacking
Warp Goes Agentic: A Developer Walk-Through of Warp 2.0
thenewstack.io·12h
🖥️Modern Terminals
FridgeChef: Turn Your Fridge Into a Recipe Goldmine with AI
dev.to·10h·
Discuss: DEV
🧮Algorithmic Cooking
[D] Has anyone encountered a successful paper reading group at your company?
reddit.com·1h·
Discuss: r/MachineLearning
📜Document Physics
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·1d
🎯Proof Tactics
Taming LLMs: How to Get Structured Output Every Time (Even for Big Responses)
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
Archetype-Aware Predictive Autoscaling with Uncertainty Quantification for Serverless Workloads on Kubernetes
arxiv.org·3d
🌊Streaming Systems
Mastering Data Science: Why Python Leads the Way
dev.to·15h·
Discuss: DEV
🧪Data science
Python Testing and Debugging for beginners
dev.to·18h·
Discuss: DEV
🔍Concolic Testing
Ancient Hero Dossier | Nonanyt
dev.to·2d·
Discuss: DEV
⚡Proof Automation
ArchiveGPT: A human-centered evaluation of using a vision language model for image cataloguing
arxiv.org·1d
📄Document Digitization
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·1d
🎙️Whisper
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·1d
🧮Kolmogorov Complexity