Rudy Giuliani allvarligt skadad i bilolycka
omni.se·1d
🔢Mathematical Logic
Cambricon Rises as China’s AI Chip Champion
eetimes.com·14h
🧫Cellular Automata
Media Influence and Spatial Voting: The Role of Perceived Party Positions
link.springer.com·1d·
Discuss: Hacker News
🎲Probabilistic Programming
Document-Driven Development
gist.github.com·1d·
Discuss: Hacker News
🔍Static Analysis
”Greta Thunberg har ett lurigt varumärke”
svd.se·12h
🔢Mathematical Logic
Leveraging Formal Verification to find critical RTL bugs in a RISC-V core – a LUBIS EDA best practice
riscv.org·2d
✅Formal Verification
LLMs easily exploited using run-on sentences, bad grammar, image scaling
csoonline.com·18h
🔗Parser Combinators
AI Bookkeeping Automation (2025): How QuickBooks Agents Streamline Categorization and Reconciliation - Report by Expert Consumers
prnewswire.com·1d
⚖Algorithmic Game Theory
🎲 YAGNI, Scalability and having fun
risingthumb.xyz·22h
🐧Linux
Week in Review 35/25
dividendhawk.blogspot.com·1d·
Discuss: dividendhawk.blogspot.com
🔌Network Programming
Walk away or dance
seths.blog·12h
🧩Theorem Proving
How to design a DBMS for Telco requirements
mikaelronstrom.blogspot.com·5d·
Discuss: Hacker News
🌍Distributed Systems
2 Growth Stocks to Buy and Hold Forever
fool.com·1d
🏗Computer Architecture
Planets of the early solar system
reddit.com·16h·
Discuss: r/space
🧩Theorem Proving
How to determine if a string of characters is a valid English word?
reddit.com·1d·
Discuss: r/godot
🔗Parser Combinators
Don't be lazy (Yes, another AI rant.)
youtube.com·2d·
Discuss: r/webdev
🧫Cellular Automata
Is sleep-sort actually bad?
dev.to·1d·
Discuss: DEV
🧠Memory Management
Weekly #34-2025: Lockfiles Debate, Docker’s New Cadence, AI Agent Playbooks, and Security Wake‑Ups
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
I Built and Deployed a Micro-SaaS in 3 Hours — Here’s What I Learned
dev.to·1d·
Discuss: DEV
👐Open Source Software
WYKRA: Web You Know, Real-time Analysis
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming