Prohibited Spotify SDK Uses
developer.spotify.com·18h·
Discuss: Hacker News
🐳Containerization
Catholic Theology and Code
theologyandcode.com·1d·
Discuss: Hacker News
⚡Process Calculi
Show HN: Speech-to-text CLI in Rust with Nvidia Parakeet-local, fast, extensible
elvin.engineering·1d·
Discuss: Hacker News
🐫Embedded OCaml
An Inline Cache Isn't Just a Cache
mgaudet.ca·2d·
Discuss: Hacker News
💎Refinement Types
A Case to Increase Variance
rishigurjar.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Why did the Babylonians use a base 60 number system?
galileo-unbound.blog·1d·
Discuss: Hacker News
⚡Process Calculi
The Case for Cowboy Coding
bevel.work·3d·
Discuss: Hacker News
💎Refinement Types
From mental power to muscle power–gaining strength by using the mind
sciencedirect.com·22h·
Discuss: Hacker News
🧗Climbing Tech
Why I'm not trying to freeze and revive a mouse
neurobiology.substack.com·10h·
Discuss: Substack
💾Retro Computing
React Data List: Building Virtualized UIs Declaratively
attio.com·1d·
Discuss: Hacker News
📊Runtime Verification
The short case for Oracle (via ChatGPT)
news.ycombinator.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Shamir's Secret Sharing
en.wikipedia.org·2d·
Discuss: Hacker News
🧩Separation Logic
Hackaday Podcast Episode 337: Homebrew Inductors, Teletypes in the Bedroom, and Action!
hackaday.com·16h
💾Retro Computing
Explaining, at some length, Techmeme's 20 years of consistency
news.techmeme.com·13h·
Discuss: Hacker News
🍎Apple
Better Network Topologies for Social Networks
lesswrong.com·11h
🖥️Self-hosted Infrastructure
Scaling behavior of large language models in emotional safety classification across sizes and tasks
arxiv.org·5d
🧩Parser Combinators
Benchmarking Large Language Models for Personalized Guidance in AI-Enhanced Learning
arxiv.org·4d
📚Automata Learning
From Vision to Validation: A Theory- and Data-Driven Construction of a GCC-Specific AI Adoption Index
arxiv.org·4d
🤖Program Synthesis
Phospholipid head govern area per lipid and emergent elasticity of bilayer(2018)
cell.com·2d·
Discuss: Hacker News
🐫OCaml
The Impact of Early-2025 AI on Open-Source Developer Productivity
metr.org·2d·
Discuss: Hacker News
👁️System Observability