Critical Analysis of the Meshtastic Protocol
disk91.com·16h·
Discuss: Hacker News
📡Network Protocol Design
KSAT
corrode.dev·1d·
Discuss: Hacker News
⎈Kubernetes
Parsing 1 Billion Rows in Bun/TypeScript Under 10s
taekim.dev·19h·
Discuss: Hacker News, r/node, r/programming, r/typescript
⚙️PL Implementation
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.org·2d
✓Automated Theorem Proving
User simulators bridge RL with real-world interaction
jessylin.com·12h·
Discuss: Hacker News
🔍Formal Verification
Announcing GenAI Processors: Build powerful and flexible Gemini applications
developers.googleblog.com·16h·
Discuss: Hacker News
⚙️PL Implementation
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev·3d·
Discuss: Lobsters, Hacker News, r/programming
🐫OCaml
Show HN: Cactus – Ollama for Smartphones
news.ycombinator.com·14h·
Discuss: Hacker News
🐫OCaml
My first verified (imperative) program
markushimmel.de·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
Smart Ring Development (Part 2) － Hardware Design
interrupt.memfault.com·1d·
Discuss: Hacker News, r/embedded
⚙️Operating System Design
DMF2Mel: A Dynamic Multiscale Fusion Network for EEG-Driven Mel Spectrogram Reconstruction
arxiv.org·5h
🐫OCaml
Rationale-Enhanced Decoding for Multi-modal Chain-of-Thought
arxiv.org·5h
🔄Finite State Machines
Adding a new instruction to RISC-V back end in LLVM
blog.gustavoleite.me·5d·
Discuss: Hacker News
🐫OCaml
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·1d
🐫OCaml
Seeing Like an LLM
strangeloopcanon.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Claude Code vs Gemini CLI: Which One’s the Real Dev Co-Pilot?
milvus.io·2d·
Discuss: Hacker News
🤖Program Synthesis
Mastering Language Models: A Deep Dive into Input Parameters
megaputer.com·16h·
Discuss: Hacker News
🧪Property-Based Testing
Building an AI app builder with an AI app builder built with an AI app builder
rhett.info·14h·
Discuss: Hacker News, r/webdev
🔄Reproducible Builds
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·3d
🐫OCaml
Single-to-mix Modality Alignment with Multimodal Large Language Model for Document Image Machine Translation
arxiv.org·5h
🐫OCaml