Dende os rescaldos e as cinzas
lavozdegalicia.es·2d
📐Type Theory
Kodansha USA Announces Print Releases for Yuna Hirasawa's 'Luca, the Dragon Vet,' My Journey to Her Manga, BECK Omnibus
animenewsnetwork.com·5h
🔄Category Theory
The Sheer Alone
laphamsquarterly.org·2d
🔧Compiler Design
Why You Need Systems Thinking Now
werd.io·3h
🏗️Software Architecture
An Updated Version of the OPML Peeler
calishat.com·2d
👐Open Source Software
Funniest/Most Insightful Comments Of The Week At Techdirt
techdirt.com·1h
💻Operating Systems
Are we solving digital identity or revealing we've lost what we're proving?
syntheticauth.ai·2d·
Discuss: Hacker News
🔐Cryptography
Checklists Are Better Than Reward Models For Aligning Language Models
machinelearning.apple.com·2d
🔗Parser Combinators
If You’re Ignoring Your Duolingo Notifications, This Desktop Owl Can Help
hackster.io·2d
🔧Compiler Design
Developers lose focus 1,200 times a day — how MCP could change that
venturebeat.com·1h·
Discuss: Hacker News
🔧Compiler Design
How to Perform Comprehensive Large Scale LLM Validation
towardsdatascience.com·2d
✅Formal Verification
Ask HN: Why is JavaScript STILL the only choice for browser-side programming
news.ycombinator.com·3d·
Discuss: Hacker News
📦WebAssembly
mimidns: an authoritative dns server in Go.
github.com·1d·
Discuss: r/golang
🤝Protocol Design
The Mind's Eye: Mental Models in Cognition and Consciousness
psychologytoday.com·3d
⚡Concurrency
🚀 Introducing MeiliBridge: Real-Time PostgreSQL to Meilisearch Sync Engine!
github.com·2d·
Discuss: Hacker News, r/opensource
🦀Rust
EvoCut: Strengthening Integer Programs via Evolution-Guided Language Models
arxiv.org·5d
🧭SMT Solvers
Narcissistic Abuse, C-PTSD, and the Cartesian OMES of Aneurothymic Victims
cristinagherghel.substack.com·11h·
Discuss: Substack
📐Type Theory
Creating an AI Agent in Claude Code to Control my Smartphone
dev.to·2d·
Discuss: DEV
🧫Cellular Automata
Memento: A Survival Guide for Building Real Software with a Forgetful Genius
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
On This Day in Math - August 21
pballew.blogspot.com·3d·
Discuss: www.blogger.com
🔢Mathematical Logic