Test on a fleet of physical devices with Android Device Streaming, now with Android Partner Device Labs
android-developers.googleblog.com·3d·
Discuss: android-developers.googleblog.com, Hacker News
🔬Unikernels
Playwright for Beginners: Quick-Start Automation
qa.tech·4d·
Discuss: Hacker News
🧪Property-Based Testing
Show HN: Tenum – a serverless full‑stack Dev Plattform and Runtime
tenum.ai·3d·
Discuss: Hacker News
⎈Kubernetes
From private to public: How a United Nations organization open sourced its tech
github.blog·4d·
Discuss: Hacker News
🔄Reproducible Builds
Organics and Mechanics
randsinrepose.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
The Imminent Deprecation of memory_order:consume
people.kernel.org·5d·
Discuss: Hacker News
🐫Embedded OCaml
Create a digital twin that joins meetings for you
joinly.ai·3d·
Discuss: Hacker News
✓Automated Theorem Proving
PostgreSQL 17.6, 16.10, 15.14, 14.19, 13.22, and 18 Beta 3 Released!
postgresql.org·4d·
Discuss: Hacker News
🔄Reproducible Builds
Apple trained an LLM to teach itself good interface design in SwiftUI
9to5mac.com·2d
🍎Apple
Some users report their Firefox browser is scoffing CPU power
theregister.com·4d·
Discuss: Hacker News, Hacker News
🔬Unikernels
Show HN: Enter your domain and my open-source agent will hack it
github.com·5d·
Discuss: Hacker News, r/SoftwareEngineering
🛡️seL4
Numerical Considerations in Weighted Model Counting
arxiv.org·6d
🏹Effect Systems
Show HN: Guardian Protocol – Open-Source Ethereum Security Framework
github.com·5d·
Discuss: Hacker News
🌐NetworkProtocols
I chose OCaml as my primary language
xvw.lol·4d·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
Learning to Defer in Congested Systems: The AI-Human Interplay
arxiv.org·3d
✓Automated Theorem Proving
Taking next steps for my homelab and trying to figure out the best solution (Stable Plex + VM Testing)
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Microsoft and the Rise of the Full-Stack Builder
thenewstack.io·3d
🔄Reproducible Builds
Yet another algorithmic bias: A Discursive Analysis of Large Language Models Reinforcing Dominant Discourses on Gender and Race
arxiv.org·2d
➡️Category Theory
Learning to Detect Unknown Jailbreak Attacks in Large Vision-Language Models: A Unified and Accurate Approach
arxiv.org·3d
🔬Unikernels
Opinion on Dell PowerEdge R730 Build for EVE-NG / Homelab
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab