Good Riddance Teespring, Hello Fourthwall
troyhunt.com·2d
🍎Apple
Why I Talk to Myself
elijahpotter.dev·3d·
Discuss: Hacker News
🔄Reproducible Builds
Recursive Functions To Piss Off Your CS Professor
inventwithpython.com·5d·
Discuss: Hacker News, r/programming
✓Automated Theorem Proving
Wild Vanilla and pollinators at risk of spatial mismatch in a changing climate
frontiersin.org·1d·
Discuss: Hacker News
🏹Effect Systems
This iPhone case switches Lightning ports to USB-C
theverge.com·14h·
Discuss: Hacker News
🍎Apple
A troubled SPAC plans to buy iRocket for $400M but it already returned most of its cash
techcrunch.com·4h·
Discuss: Hacker News
⎈Kubernetes
Ephemeral video premieres – who might care?
news.ycombinator.com·1d·
Discuss: Hacker News
🔬Unikernels
Context Engineering for AI Agents: Lessons
manus.im·5d·
Discuss: Hacker News
🛡️seL4
Open-source SEC EDGAR MCP server
github.com·2d·
Discuss: Hacker News
🛡️seL4
A Spectrophotometer Jailbreak to Resolve Colorful Disputes
hackaday.com·3d
🍎Apple
A High Magnifications Histopathology Image Dataset for Oral Squamous Cell Carcinoma Diagnosis and Prognosis
arxiv.org·23h
➡️Category Theory
Disability Across Cultures: A Human-Centered Audit of Ableism in Western and Indic LLMs
arxiv.org·23h
🔍Formal Verification
Surfacing Variations to Calibrate Perceived Reliability of MLLM-generated Image Descriptions
arxiv.org·1d
🐫Embedded OCaml
iOS and Android are heading in opposite design directions
birchtree.me·7h·
Discuss: Hacker News
🍎Apple
Semi-off-Policy Reinforcement Learning for Vision-Language Slow-thinking Reasoning
arxiv.org·23h
🎮Verification Games
Lessons from the TREC Plain Language Adaptation of Biomedical Abstracts (PLABA) track
arxiv.org·2d
✓Automated Theorem Proving
Disparities in Peer Review Tone and the Role of Reviewer Anonymity
arxiv.org·1d
🔬Static Analysis
What are the practical building blocks for independent AI agents?
news.ycombinator.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Replay institutional trades for debugging and testing (QuantReplay, open-source)
github.com·5d·
Discuss: Hacker News
🔄Reproducible Builds
M-SpecGene: Generalized Foundation Model for RGBT Multispectral Vision
arxiv.org·23h
🐫OCaml