📐 Mathematical Logic - bassam_exe · Scour

What Do Gödel’s Incompleteness Theorems Truly Mean? 🔢Homomorphic Encryption

quantamagazine.org·2d·Hacker News, Hacker News

Perfect Number Bomb(2025) 🔢Homomorphic Encryption

quantumcalculus.org·5d·Hacker News

How San José State leaped to No. 2 in national computer science ranking 💻Computers

edsource.org·3h·Hacker News

The Wireworld Computer(1987) ⚛️Quantum Computing

quinapalus.com·1d·Hacker News

Lojban is a carefully constructed spoken language ✅Formal Verification

mw.lojban.org·11h·Hacker News

Scheme Interpreter ✅Formal Verification

cs61a.org·52m·Hacker News

The Preparation of Programs for an Electronic Digital Computer 💻Computers

en.wikipedia.org·5d·Hacker News

machine review for the scientific record ✅Formal Verification

pith.science·2d·Hacker News

Weaving baskets and braiding hair for quantum computing [video] ⚛️Quantum Computing

youtube.com·21h·Hacker News

Congrats, new grads! Welcome to job market hell. 💻Computers

washingtonpost.com·19h·Hacker News

KV Cache and Flash Attention with interactive diagrams 🔢Homomorphic Encryption

kvcache.cobanov.dev·9h·Hacker News

"AGI" via ML was *not* proven impossible with complexity theory ✅Formal Verification

mikeguerzhoy.substack.com·2d·Substack

SymPy – a Python library for symbolic mathematics ✅Formal Verification

docs.sympy.org·4d·Hacker News

Compute Optimal Tokenization: Scaling Laws for Data Compression in LLMs ✅Formal Verification

co-tok.github.io·2d·Hacker News

Between-Device Sharing Still Sucks 💻Computers

hackaday.com·14h·Hacker News

Everything Is Computer: On Palantir's Manifesto and the Recompiling of the State 🧠Polymath

turbulence.substack.com·5h·Substack

How Many Questions Can the World Afford to Ask AI? 🎯Game Theory

chicagobooth.edu·4h·Hacker News

We’re about to find out if quantum computers can live up to the hype ⚛️Quantum Computing

scientificamerican.com

·1d·Hacker News, Hacker News

Computer Hobby Movement in Canada · Computer Hobby Movement in Canada 💻Computers

museum.eecs.yorku.ca·6d·Hacker News

Initial Benchmarks Of The SpacemiT K3 RVA23 RISC-V CPU With The K3 Pico-ITX 🔒Hardware Security

phoronix.com·12h·Hacker News

Log in to enable infinite scrolling