Python: Introduction to Timestamps and Time Strings
thenewstack.io·14h
💻CS
Evergreen Funding
corporatefinanceinstitute.com·11h·
Discuss: Hacker News
🍎Apple
Understanding Muon: A Revolutionary Neural Network Optimizer
glorious-potato-19.notion.site·4d·
Discuss: Hacker News
📦Unikernel Systems
JokeAI – AI-powered joke generator built with Next.js and OpenAI
jokes-ai.top·12h·
Discuss: Hacker News
✓Automated Theorem Proving
ΜFork: A pure actor-based concurrent machine architecture with memory-safety an
ufork.org·5d·
Discuss: Hacker News
⚙️Operating System Design
Database Migration Wartime Stories
news.alvaroduran.com·4d·
Discuss: Hacker News
🛡️seL4
Psychologic manipulation for better social interactions in online Games
reddit.com·3d·
Discuss: r/gaming
🎮Verification Games
I Just Wanted a RAID Array
russ.har.mn·3d·
Discuss: Hacker News, r/selfhosted
⚙️Operating System Design
Google set up two robotic arms for a game of infinite table tennis
popsci.com·4d·
Discuss: Hacker News
🎮Verification Games
Good Enough: The Real Value of AI Today
athonlab.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Any scientific argument that prevents deep learning from producing strong AI?
ai.stackexchange.com·3d·
Discuss: Hacker News
🏹Effect Systems
We Tested AI Coding Assistants So You Don't Have To
moioapp.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
Lessons from scaling PostgreSQL queues to 100k events per second
rudderstack.com·4d·
Discuss: Hacker News
👁️System Observability
The Other Mind: How Language Models Exhibit Human Temporal Cognition
arxiv.org·6d
➡️Category Theory
Mixture of Autoencoder Experts Guidance using Unlabeled and Incomplete Data for Exploration in Reinforcement Learning
arxiv.org·6d
🎮Verification Games
Off-Policy Corrected Reward Modeling for Reinforcement Learning from Human Feedback
arxiv.org·6d
🎮Verification Games
Who Leads in the Shadows? ERGM and Centrality Analysis of Congressional Democrats on Bluesky
arxiv.org·4d
🐫OCaml
From Flat to Round: Redefining Brain Decoding with Surface-Based fMRI and Cortex Structure
arxiv.org·5d
🐫OCaml
A High Magnifications Histopathology Image Dataset for Oral Squamous Cell Carcinoma Diagnosis and Prognosis
arxiv.org·5d
➡️Category Theory
Towards Holistic Surgical Scene Graph
arxiv.org·6d
🏹Effect Systems