Prohibited Spotify SDK Uses
developer.spotify.com·10h·
Discuss: Hacker News
🐳Containerization
Catholic Theology and Code
theologyandcode.com·20h·
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
Debian Upgrade Marathon: 3.1 Sarge
wrongthink.link·12h·
Discuss: Lobsters, Hacker News
💾Retro Computing
From mental power to muscle power–gaining strength by using the mind
sciencedirect.com·14h·
Discuss: Hacker News
🧗Climbing Tech
Explaining, at some length, Techmeme's 20 years of consistency
news.techmeme.com·4h·
Discuss: Hacker News
🍎Apple
Why I'm not trying to freeze and revive a mouse
neurobiology.substack.com·1h·
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
Hackaday Podcast Episode 337: Homebrew Inductors, Teletypes in the Bedroom, and Action!
hackaday.com·7h
💾Retro Computing
The Four Fallacies of Modern AI
blog.apiad.net·1d·
Discuss: Hacker News
🧠Automated Reasoning
Scaling behavior of large language models in emotional safety classification across sizes and tasks
arxiv.org·4d
🧩Parser Combinators
Benchmarking Large Language Models for Personalized Guidance in AI-Enhanced Learning
arxiv.org·3d
📚Automata Learning
From Vision to Validation: A Theory- and Data-Driven Construction of a GCC-Specific AI Adoption Index
arxiv.org·3d
🤖Program Synthesis
Better Network Topologies for Social Networks
lesswrong.com·3h
🖥️Self-hosted Infrastructure
Phospholipid head govern area per lipid and emergent elasticity of bilayer(2018)
cell.com·2d·
Discuss: Hacker News
🐫OCaml
Finetuning LLMs for Human Behavior Prediction in Social Science Experiments
arxiv.org·3d
📚Automata Learning