Weekly Update 465
troyhunt.com·5d
❄️Nixified Development
Managing MongoDB Database Changes Using Liquibase Pro
foojay.io·2d·
Discuss: r/programming
🧱Immutable Infrastructure
AAMG is looking to acquire Lilium's assets and expertise
electrive.com·2d·
Discuss: Hacker News
🍎Apple
Firefox bug that's 24 years old
bugzilla.mozilla.org·1d·
Discuss: Hacker News
🧪Property-Based Testing
Senior, 76, died while trying to meet Meta AI chatbot which he thought was real
nypost.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Vibecoded a tiny product for companies to manage their employee's leaves
beans-web.onrender.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Never Split the Difference
lesspenguiny.com·3d·
Discuss: Hacker News
🛡️seL4
Show HN: AIHabitPro: AI-powered habit tracker with smart suggestions and streaks
apps.apple.com·1d·
Discuss: Hacker News
🍎Apple
REITs Buying Tranches of Single-Family Homes (2024)
finance.yahoo.com·2d·
Discuss: Hacker News
⚙️PL Implementation
Apple Watch helps user discover brain tumor after unusual heart rate alerts
9to5mac.com·1d
🍎Apple
The Fastest Way to End Client Switching Chaos
medium.com·3d·
Discuss: Hacker News
👁️System Observability
CoMoNM: A Cost Modeling Framework for Compute-Near-Memory Systems
arxiv.org·4d
🐫Embedded OCaml
Live experiment: can ChatGPT generate alpha trading micro‑caps with just $100?
github.com·3d·
Discuss: Hacker News
🍎XNU Internals
Prompter: Jupyter-Like LLM Notebooks for VSCode
github.com·3d·
Discuss: Hacker News
⚙️PL Implementation
Modelling Exactly-Once Delivery Using TLA+
medium.com·4d·
Discuss: Hacker News
🔍Formal Verification
2025 One Hertz Challenge: A Flaming Oscillator and a New Take on the Candle Clock
hackaday.com·4d
📦Unikernel Systems
Drifting Away from Truth: GenAI-Driven News Diversity Challenges LVLM-Based Misinformation Detection
arxiv.org·3d
🎮Verification Games
MPCAR: Multi-Perspective Contextual Augmentation for Enhanced Visual Reasoning in Large Vision-Language Models
arxiv.org·3d
🐫Embedded OCaml
A Deep Learning Approach to Teeth Segmentation and Orientation from Panoramic X-rays
arxiv.org·3d
💻CS
MATA (m\=ata): Mindful Assessment of the Telugu Abilities of Large Language Models
arxiv.org·2d
✓Automated Theorem Proving