Explore 20 years of Mac UI design through emulations of a single app
9to5mac.com·5h
🍎Apple
Generating Swagger Documentation from Source Code with ChatGPT
gist.github.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·3d·
Discuss: Hacker News
⚙️PL Implementation
System Design Basics - Databases and Connection Pools
javarevisited.substack.com·1d·
Discuss: Substack, r/programming
👁️System Observability
Home PoE switch 24ports for cameras and potential vlans- Intellinet
microcenter.com·4d·
Discuss: r/homelab
🏠HomeLab
A chatbot coined a phrase I really like. Am I allowed to use it?
jessesingal.substack.com·1d·
Discuss: Substack
✓Automated Theorem Proving
An almost catastrophic OpenZFS bug and the humans that made it
despairlabs.com·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔬Unikernels
Confessions of Mrs. Brown
fakepixels.substack.com·1d·
Discuss: Substack
🔬Unikernels
Methodological Flaws Undermining Recent AI 'Scheming' Claims
aipanic.news·1h·
Discuss: Hacker News
🎮Verification Games
A post by me urging you to write more stories
medium.com·2d·
Discuss: r/programming
🤖Program Synthesis
GitHub – pollen-robotics/AmazingHand: Code and model to control the AH
github.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Age of Information Optimization in Laser-charged UAV-assisted IoT Networks: A Multi-agent Deep Reinforcement Learning Method
arxiv.org·15h
🖥️Self-hosted Infrastructure
Seeing Like an LLM
strangeloopcanon.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·3d
🔍Formal Verification
Single-to-mix Modality Alignment with Multimodal Large Language Model for Document Image Machine Translation
arxiv.org·3d
🐫OCaml
Ask HN: Business logic that runs everywhere – would you use it?
news.ycombinator.com·21h·
Discuss: Hacker News
🛡️seL4
DMF2Mel: A Dynamic Multiscale Fusion Network for EEG-Driven Mel Spectrogram Reconstruction
arxiv.org·3d
🐫OCaml
Recursive Reward Aggregation
arxiv.org·15h
🔠Type-Level Programming
T5Gemma: A new collection of encoder-decoder Gemma models
developers.googleblog.com·5d·
Discuss: Hacker News
🐫OCaml
Entity-Specific Cyber Risk Assessment using InsurTech Empowered Risk Factors
arxiv.org·15h
🖥️Self-hosted Infrastructure