Mozilla Firefox 143.0 adds support for Progressive Web Apps, Copilot on sidebar, Important dates in the address bar
ghacks.net·4h·
Discuss: Hacker News
🍎Apple
"The Second Coming" by W. B. Yeats (1920)
poets.org·2d·
Discuss: Hacker News
🐫OCaml
Charlie Kirk Assassination Sparks Social Media Crackdown
kenklippenstein.com·14h·
Discuss: Hacker News
🌐NetworkProtocols
UTF-8 as told by Rob Pike
doc.cat-v.org·3d·
Discuss: Hacker News
🐫Embedded OCaml
Meta-abstraction in the physical and social sciences (2021)
edwardfeser.blogspot.com·5d·
Discuss: Hacker News
➡️Category Theory
Paraventricular Thalamus in Alcohol Seeking Rats with Withdrawal
sciencedirect.com·3d·
Discuss: Hacker News
📚Automata Learning
Explaining, at some length, Techmeme's 20 years of consistency
news.techmeme.com·3d·
Discuss: Hacker News
🍎Apple
How do we get AI Personas to sound so human?
askrally.com·4d·
Discuss: Hacker News
💾Retro Computing
Building an ARM64 home server the hard way
jforberg.se·4d·
Discuss: Hacker News
🔬Unikernels
Effects of natural extracts in cognitive function: systematic meta-analysis
frontiersin.org·3d·
Discuss: Hacker News
🧠Automated Reasoning
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·1d·
Discuss: Hacker News
⚙️PL Implementation
What will the day after tomorrow look like?
newsandsentinel.com·3d·
Discuss: Hacker News
🧠Automated Reasoning
Why Apple Is Quietly Rewriting iOS in a Language You've Never Heard Of
medium.com·1d·
Discuss: Hacker News
🍎Apple
Show HN
github.com·3d·
🧩Parser Combinators
Show HN: Nano Banana AdKit – Generate AI ads and product photos in one click
aiomnigen.com·1d·
Discuss: Hacker News
🍎Apple
Personalized Sleep Prediction via Deep Adaptive Spatiotemporal Modeling and Sparse Data
arxiv.org·4d
📊Runtime Verification
Designing user interfaces with bots not buttons
interconnected.org·5d·
Discuss: Hacker News
🔬Unikernels
Mechanistic Learning with Guided Diffusion Models to Predict Spatio-Temporal Brain Tumor Growth
arxiv.org·4d
🧩Separation Logic
How People Use ChatGPT
nber.org·23h·
🧩Parser Combinators
VaultGemma: The world's most capable differentially private LLM
research.google·4d·
🧩Separation Logic