CPI for all items rises 0.4% in August, 2.9% YoY; shelter and food up
bls.gov·1d·
Discuss: Hacker News
🍎Apple
We are in the cancel culture part of the tragedy cycle
thefire.org·50m·
Discuss: Hacker News
📐Denotational Semantics
Minimal HMAC-SHA256 Commitment Verification Skeleton (Python)
github.com·3d·
Discuss: r/programming
🌐NetworkProtocols
An Inline Cache Isn't Just a Cache
mgaudet.ca·1d·
Discuss: Hacker News
💎Refinement Types
Overview of the DiskANN Project (2018–present)
harsha-simhadri.org·1d·
Discuss: Hacker News
🔧Unikernel Development
Debian Upgrade Marathon: 3.1 Sarge
wrongthink.link·8h·
Discuss: Lobsters, Hacker News
💾Retro Computing
From mental power to muscle power–gaining strength by using the mind
sciencedirect.com·9h·
Discuss: Hacker News
🧗Climbing Tech
The Case for Cowboy Coding
bevel.work·3d·
Discuss: Hacker News
💎Refinement Types
The short case for Oracle (via ChatGPT)
news.ycombinator.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Understanding Motion and Relativity with Spacetime Diagrams
steuard.github.io·1d·
Discuss: Hacker News
➡️Category Theory
Hackaday Podcast Episode 337: Homebrew Inductors, Teletypes in the Bedroom, and Action!
hackaday.com·3h
💾Retro Computing
Shamir's Secret Sharing
en.wikipedia.org·2d·
Discuss: Hacker News
🧩Separation Logic
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
Vibecoding is scarily powerful: minutes to get C and Python recursive pdf-to-txt
news.ycombinator.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
From Vision to Validation: A Theory- and Data-Driven Construction of a GCC-Specific AI Adoption Index
arxiv.org·3d
🤖Program Synthesis
Phospholipid head govern area per lipid and emergent elasticity of bilayer(2018)
cell.com·1d·
Discuss: Hacker News
🐫OCaml
Finetuning LLMs for Human Behavior Prediction in Social Science Experiments
arxiv.org·3d
📚Automata Learning
OOTSM: A Decoupled Linguistic Framework for Effective Scene Graph Anticipation
arxiv.org·3d
🧩Parser Combinators
Focusing by Contrastive Attention: Enhancing VLMs' Visual Reasoning
arxiv.org·3d
📚Automata Learning