Complete the Square: Can you get to Level 200?
kully.itch.io·5h·
Discuss: Hacker News
🎮Verification Games
Aging well according to a longevity researcher
wbur.org·1d·
Discuss: Hacker News
💾Retro Computing
Veles, Google's open source secret scanner
opensource.googleblog.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Door Wide AI: The 64M Users McDonald's Left Behind
vitraag.com·3d·
Discuss: Hacker News
🍎Apple
Billions of Tokens Later: Scaling LLM Fuzzing in Practice
gusarich.com·5d·
Discuss: Hacker News
🛡️seL4
Azure's Inferno: Escape from API Hell
wallpunch.net·6d·
Discuss: Hacker News, r/programming
🖥️Self-hosted Infrastructure
Remix 3 and the End of React-Centric Architectures
thenewstack.io·13h
🧱Immutable Infrastructure
DeepMind and OpenAI achieve IMO Gold. What does it all mean?
garymarcus.substack.com·1d·
Discuss: Substack
🎮Verification Games
Navigating AI Dementia: Strategies for Safe Rollback
news.ycombinator.com·3d·
Discuss: Hacker News
💾Retro Computing
Traded in an arm for 320 more (Ampere Altra homelab upgrade)
i.redd.it·2d·
Discuss: r/homelab
🏠HomeLab
The UPS did its job.
reddit.com·2d·
Discuss: r/homelab
💾Retro Computing
Deep Film Inc. Back End/AI Engineer and UI/UX Engineer
berlinstartupjobs.com·1h·
Discuss: Hacker News
🍎Apple
Graph Attention Specialized Expert Fusion Model for Node Classification: Based on Cora and Pubmed Datasets
arxiv.org·2d
➡️Category Theory
Learning Deformable Body Interactions With Adaptive Spatial Tokenization
arxiv.org·3d
🏹Effect Systems
Deep Micro Solvers for Rough-Wall Stokes Flow in a Heterogeneous Multiscale Method
arxiv.org·3d
🐫OCaml
Causal Knowledge Transfer for Multi-Agent Reinforcement Learning in Dynamic Environments
arxiv.org·3d
🎮Verification Games
Intuitionistic monotone modal logic via translation
arxiv.org·3d
➡️Category Theory
Beyond Architectures: Evaluating the Role of Contextual Embeddings in Detecting Bipolar Disorder on Social Media
arxiv.org·2d
🐫OCaml
VTarbel: Targeted Label Attack with Minimal Knowledge on Detector-enhanced Vertical Federated Learning
arxiv.org·2d
🎮Verification Games
Chapter 11 Students' interaction with and appreciation of automated informative tutoring feedback
arxiv.org·2d
✓Automated Theorem Proving