Cliodynamics – History as Science
peterturchin.com·3d·
Discuss: Hacker News
⚡Process Calculi
Scientists Have Summoned a Massless Demon Particle
popularmechanics.com·1d·
Discuss: Hacker News
❄️Nix
Show HN: How to Spot AI Chatbots vs. Real Humans: 5 Proven Detection Methods
tolearn.blog·1d·
Discuss: Hacker News
🎮Verification Games
GraalVM's LLVM Back End
praj.in·3d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
RomM 4.2 Launches with Console Mode and Smarter Library Tools
gardinerbryant.com·6d·
Discuss: Hacker News
💾Retro Computing
Sleep disorders increase risk of dementia, Alzheimer's, and cognitive decline
link.springer.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Show HN: ArtifyAi – AI Text-to-Image Tool by 30 image models models
artifyai.app·4d·
Discuss: Hacker News
📺Vintage Apple
Agent Jido: The Elixir Autonomous Agent Framework
agentjido.xyz·5d·
Discuss: Hacker News
🧱Immutable Infrastructure
Alternate-day fasting reduces fat more than time-restricted eating for non-obese
sciencedirect.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Building the AI-powered local smart home
home-assistant.io·4d·
Discuss: Hacker News
🏠HomeLab
McDonald's AI Chatbot Olivia
aidarwinawards.org·1d·
Discuss: Hacker News
🍎Apple
A Case to Increase Variance
rishigurjar.com·3d·
Discuss: Hacker News
🩹Self-Healing Systems
Rust's Enterprise Breakthrough Year
rust-trends.com·6d·
Discuss: Hacker News
🔄Reproducible Builds
The Android Linux Commander
hackaday.com·5d
🐳Containerization
Integrating Anatomical Priors into a Causal Diffusion Model
arxiv.org·3d
📚Automata Learning
Dicio: Open-Source Voice Assistant for Android
github.com·3d·
Discuss: Hacker News
🧩Parser Combinators
Human-Hardware-in-the-Loop simulations for systemic resilience assessment in cyber-socio-technical systems
arxiv.org·6d
🩹Self-Healing Systems
Explaining the Reputational Risks of AI-Mediated Communication: Messages Labeled as AI-Assisted Are Viewed as Less Diagnostic of the Sender's Moral Character
arxiv.org·3d
✓Automated Theorem Proving
Most Rust GUI frameworks suck
reddit.com·5d·
Discuss: r/rust
❄️Nixified Development
Depth-Bounded Epistemic Planning
arxiv.org·4d
🧩Separation Logic