Show HN: Convert between Mermaid, draw.io, and Excalidraw diagrams
diagram-bridge-project-new.vercel.app·1h·
Discuss: Hacker News
💬REPL Design
The ReD Hat Consulting Breach – An Analysis
digitalforensicsmagazine.com·10h
🛡️Security Type Systems
Show HN: Maudit, a Rust library to build static websites
maudit.org·1d·
Discuss: Hacker News
📋Template Compilers
JSON Schema Compatibility and the Robustness Principle
yokota.blog·4h·
Discuss: Hacker News
⚡Fusion Laws
Show HN: CodexLocal – Offline, Privacy-First AI Coding Tutor (WebLLM and RAG)
codexlocal.com·2h·
Discuss: Hacker News
📚Self-Documenting Code
Show HN: AutoRules AI – Check all files against a list of questions
markwylde.com·3d·
Discuss: Hacker News
🛡️Security Type Systems
LoRA Fine-Tuning for Phi Silica
learn.microsoft.com·2h
🛡️Capability VMs
IBM claims 45% productivity gains with Project Bob, its multi-model IDE that orchestrates LLMs with full repository context
venturebeat.com·10h
🎮Language Ergonomics
[shi•rei] A new immediate-mode GUI framework for Go
judi.systems·1d·
Discuss: r/golang
💻Terminal UIs
Security Concerns Shadow Vibe Coding Adoption
darkreading.com·1h
🎭Program Synthesis
Why Small Coding Habits Matter for Developers
blog.shubhra.dev·1d·
Discuss: DEV
📚Self-Documenting Code
Optimizing Long-Form Clinical Text Generation with Claim-Based Rewards
arxiv.org·1d
💬Interactive REPLs
SliceMoE: Routing Embedding Slices Instead of Tokens for Fine-Grained and Balanced Transformer Scaling
arxiv.org·16h
📋JSON Parsing
🧑‍💻 How I Fell in Love with the MERN Stack (and What I Learned So Far)
dev.to·15h·
Discuss: DEV
🥾Bootstrapping Strategies
Android in the Browser
404wolf.com·1d
🤖Embedded Go
Working pipe operator today in pure JavaScript
github.com·3d·
Discuss: Hacker News
🌪️V8 Pipeline
Predictive Modeling of Age-Related Aberrant DNA Methylation Patterns via Multi-Modal Integration
dev.to·10h·
Discuss: DEV
✨Effect Inference
PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.org·1d
✅Type Checking
Modular Satellite Bus Self-Diagnostics via Reinforcement Learning and Bayesian Optimization
dev.to·1d·
Discuss: DEV
🎭Program Synthesis
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org·16h
📏Linear Logic