Automatically Discover, Record, and Document APIs With WireMock AI
wiremock.io·3d·
Discuss: r/programming
👁️System Observability
AceMagic V1 Vista: Power Efficient Intel N150 Proxmox Server for Frigate NVR
michaelstinkerings.org·10h·
Discuss: Hacker News
🔬Unikernels
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·3d·
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
User simulators bridge RL with real-world interaction
jessylin.com·3d·
Discuss: Hacker News
🔍Formal Verification
Shipping Linear Drafts
mufeezamjad.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Guys need an urgent help. Can someone run this github repository. We have to submit the results tomorrow.
github.com·1d·
Discuss: r/programming
📦Unikernel Systems
SynthEHR-Eviction: Enhancing Eviction SDoH Detection with LLM-Augmented Synthetic EHR Data
arxiv.org·3d
🐫OCaml
ASSURE: Metamorphic Testing for AI-powered Browser Extensions
arxiv.org·5d
🧪Property-Based Testing
Claude Code/Cursor is using grep? Are we devolving
news.ycombinator.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Interview with John Bridges (PCPaint, Grasp, GL Pro)
ztoz.blog·2d·
Discuss: Hacker News
💾Retro Computing
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·3d
⚙️PL Implementation
BayesTTA: Continual-Temporal Test-Time Adaptation for Vision-Language Models via Gaussian Discriminant Analysis
arxiv.org·4h
🔠Type-Level Programming
Durable Agent Loops
restate.dev·4d·
Discuss: Hacker News, r/programming
👁️System Observability
HNOSeg-XS: Extremely Small Hartley Neural Operator for Efficient and Resolution-Robust 3D Image Segmentation
arxiv.org·4h
➡️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·4h
🐫OCaml
Remote Sensing Reveals Adoption of Sustainable Rice Farming Practices Across Punjab, India
arxiv.org·4h
🖥️Self-hosted Infrastructure