FFmpeg โ€“ The Ultimate Guide
img.lyยท2dยท
Discuss: Hacker News
๐ŸŽXNU Internals
Performance Improvements in .NET 10
devblogs.microsoft.comยท3dยท
๐Ÿ“ŠRuntime Verification
Betrusted โ€“ Building transparent, secure computing from the silicon up
betrusted.ioยท11hยท
Discuss: Hacker News
๐Ÿ“ฆUnikernel Systems
Trump's video about Charlie Kirk is being accused of using AI
dailydot.comยท2dยท
Discuss: Hacker News
๐ŸŽApple
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.comยท5dยท
๐Ÿ’ŽRefinement Types
The Weekly Win
yusufaytas.comยท9hยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
Generating Website Banners Algorithmically
golfed.xyzยท2dยท
Discuss: Hacker News
๐Ÿ’พRetro Computing
Richard Feynman โ€“ There's Plenty of Room at the Bottom
muonray.blogspot.comยท2dยท
Discuss: Hacker News
๐Ÿ”งUnikernel Development
The OSS code that powers Claude and the maintainer they didn't hire
agenticweb.nearestnabors.comยท3dยท
Discuss: Hacker News
๐Ÿ”ฌUnikernels
Show HN: Robot MCP Server โ€“ Connect Any Language Model and ROS Robots Using MCP
github.comยท3dยท
Discuss: Hacker News
๐Ÿ HomeLab
Show HN: Open source, AI-enhanced Mailchimp alternative
github.comยท19hยท
Discuss: Hacker News
๐Ÿ–ฅSelf-Hosting
Personal AI Integrated with WhatsApp and Telegram
news.ycombinator.comยท2dยท
Discuss: Hacker News
๐ŸŽApple
Greener Deep Reinforcement Learning: Analysis of Energy and Carbon Efficiency Across Atari Benchmarks
arxiv.orgยท5d
๐ŸŽฎVerification Games
From Post To Personality: Harnessing LLMs for MBTI Prediction in Social Media
arxiv.orgยท5d
๐ŸงฉParser Combinators
HuMo: Human-Centric Video Generation via Collaborative Multi-Modal Conditioning
arxiv.orgยท2d
๐ŸงฉParser Combinators
The Case for An AI Safety Political Party in the US
lesswrong.comยท3d
๐ŸฉนSelf-Healing Systems
Language Native Lightly Structured Databases for Large Language Model Driven Composite Materials Research
arxiv.orgยท4d
๐ŸซOCaml
A Low-Rank tensor framework for THB-Splines
arxiv.orgยท1d
๐ŸซOCaml