An AI-Generated Protein Helps T Cells Kill Cancer
the-scientist.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Common Expression Language – Fast, safe expression language
cel.dev·5d·
Discuss: Hacker News
⚙️PL Implementation
Examine Anywhere: Fact-check supplements as you browse
examine.com·2d·
Discuss: Hacker News
🍎Apple
Rampant Noncompliance (~50%) with California Privacy Laws (CCPA)
news.uci.edu·3d·
Discuss: Hacker News
📡Network Protocol Design
The Dark Factor of Personality
darkfactor.org·2d·
Discuss: Hacker News, Hacker News
➡️Category Theory
JokeAI – AI-powered joke generator built with Next.js and OpenAI
jokes-ai.top·1h·
Discuss: Hacker News
✓Automated Theorem Proving
What kind of work I want
seangoedecke.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Running Serverless WASM Functions on the Edge with K3s and SpinKube
fermyon.com·2d·
Discuss: Hacker News
⎈Kubernetes
DeLLMa: Decision Making Under Uncertainty with Large Language Models
dellma.github.io·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Arc AGI 3
arcprize.org·5d·
Discuss: Hacker News
🎮Verification Games
KDE Plasma 6.5 will notify you if your printer's ink is low
neowin.net·1d·
Discuss: Hacker News
⎈Kubernetes
Using Fortune to Reinforce Habits
judy.co.uk·2d·
Discuss: Lobsters, Hacker News
💾Retro Computing
Apple @ Work: Apple makes Managed Apple Account transitions easier for IT at scale
9to5mac.com·1d
🍎Apple
PICACO: Pluralistic In-Context Value Alignment of LLMs via Total Correlation Optimization
arxiv.org·4d
🔠Type-Level Programming
Aligned Manifold Property and Topology Point Clouds for Learning Molecular Properties
arxiv.org·4d
🐫OCaml
2025 One Hertz Challenge: 16-Bit Tower Blinks at One Hertz
hackaday.com·3d
🍎XNU Internals
"PhyWorldBench": A Comprehensive Evaluation of Physical Realism in Text-to-Video Models
arxiv.org·6d
🏹Effect Systems
Unsupervised Domain Adaptation for 3D LiDAR Semantic Segmentation Using Contrastive Learning and Multi-Model Pseudo Labeling
arxiv.org·2d
➡️Category Theory
Vortex: A Prompting Protocol to Test for a 'Self' in LLMs
habr.com·2d·
Discuss: Hacker News
🔬Unikernels
My first and second Homelab
i.redd.it·1d·
Discuss: r/homelab
🏠HomeLab