MVC Isn't MVC – Collin Donnell
collin.blog·1d·
Discuss: Hacker News
🏹Effect Systems
Show HN: I automated code security to help vibe coders from getting busted
elara-app.ai·1d·
Discuss: Hacker News
🛡️seL4
AceMagic V1 Vista: Power Efficient Intel N150 Proxmox Server for Frigate NVR
michaelstinkerings.org·13h·
Discuss: Hacker News
🔬Unikernels
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·4d·
Discuss: Hacker News
📡Network Protocol Design
LLMs and Algorithmic Trading
architect.co·2d·
Discuss: Hacker News
🐫Embedded OCaml
An InfoSec Architect's First Taste of Temporal
supasaf.com·5d·
Discuss: Hacker News
⚙️PL Implementation
Shipping Linear Drafts
mufeezamjad.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
User simulators bridge RL with real-world interaction
jessylin.com·3d·
Discuss: Hacker News
🔍Formal Verification
BayesTTA: Continual-Temporal Test-Time Adaptation for Vision-Language Models via Gaussian Discriminant Analysis
arxiv.org·7h
🔠Type-Level Programming
Claude Code/Cursor is using grep? Are we devolving
news.ycombinator.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Interview with John Bridges (PCPaint, Grasp, GL Pro)
ztoz.blog·2d·
Discuss: Hacker News
💾Retro Computing
HNOSeg-XS: Extremely Small Hartley Neural Operator for Efficient and Resolution-Robust 3D Image Segmentation
arxiv.org·7h
➡️Category Theory
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·4d·
Discuss: Hacker News
❄️Nix
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·3d
✓Automated Theorem Proving
Improving MLLM's Document Image Machine Translation via Synchronously Self-reviewing Its OCR Proficiency
arxiv.org·7h
🐫OCaml
Durable Agent Loops
restate.dev·4d·
Discuss: Hacker News, r/programming
👁️System Observability
Remote Sensing Reveals Adoption of Sustainable Rice Farming Practices Across Punjab, India
arxiv.org·7h
🖥️Self-hosted Infrastructure
Beyond Scale: Small Language Models are Comparable to GPT-4 in Mental Health Understanding
arxiv.org·7h
🐫OCaml
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
arxiv.org·5d
🔍Formal Verification
AutoLayout: Closed-Loop Layout Synthesis via Slow-Fast Collaborative Reasoning
arxiv.org·6d
🎮Verification Games