Thesis Art
thesisart.de·2d·
Discuss: Hacker News
🔬Unikernels
In Defense of Defensive Forecasting
argmin.net·2d·
Discuss: Hacker News
✓Automated Theorem Proving
How to create a PDFs API using Puppeteer with auto-deploy to AWS Lambda
buglesstack.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
The Latest GPT-5 Leaks and Teasers
bgr.com·2d·
Discuss: Hacker News
🎮Verification Games
AI Is the Answer to Everything
banagale.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
How to Write Great Prompts for String
pipedream.com·5d·
Discuss: Hacker News
🧪Property-Based Testing
Preserving Ownership Culture in a Scaling Engineering Team
handsonculture.blog·2d·
Discuss: Hacker News
👁️System Observability
How AI Can Degrade Human Performance in High-Stakes Settings
ai-frontiers.org·5d·
Discuss: Hacker News
👁️System Observability
Raft Consensus Algorithms
blog.outlandish.claims·2d·
Discuss: Hacker News
🎮Verification Games
The Death of Industrial Design and the Era of Dull Electronics
hackaday.com·20h·
Discuss: Lobsters, Hacker News
💾Retro Computing
Cyber security of Mega Events: A Case Study of Securing the Digital Infrastructure for MahaKumbh 2025 -- A 45 days Mega Event of 600 Million Footfalls
arxiv.org·2d
📡Network Protocol Design
Usage Rules: Leveling the Playing Field for AI-Assisted Development
zachdaniel.dev·5d·
Discuss: Hacker News
🛡️seL4
[2025] Homelab Update
i.redd.it·3d·
Discuss: r/homelab
🏠HomeLab
Audio-Vision Contrastive Learning for Phonological Class Recognition
arxiv.org·6h
💻CS
Persona-Based Synthetic Data Generation Using Multi-Stage Conditioning with Large Language Models for Emotion Recognition
arxiv.org·3d
🐫OCaml
Kolmogorov Arnold Networks (KANs) for Imbalanced Data -- An Empirical Perspective
arxiv.org·3d
🏹Effect Systems
How AI Can Speed up Modernization of Your Legacy IT Systems
thenewstack.io·5d
👁️System Observability
Mindfulness Meditation and Respiration: Accelerometer-Based Respiration Rate and Mindfulness Progress Estimation to Enhance App Engagement and Mindfulness Skill...
arxiv.org·6h
👁️System Observability
FDA’s New Drug Approval AI Is Generating Fake Studies: Report
gizmodo.com·17h·
Discuss: Hacker News
🎮Verification Games
On exploration of an interior mirror descent flow for stochastic nonconvex constrained problem
arxiv.org·2d
🐫OCaml