Artificial intelligence: Nirvana or apocalypse?
mathscholar.org·1d
🔲Cellular Automata
Flag this post
The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
romainpeter.substack.com·2d·
Discuss: Substack
⚔️Lean Theorem
Flag this post
We're Counting Birbs Today
counting-stuff.com·19h·
Discuss: Hacker News
📻Homebrew Protocols
Flag this post
Our latest fraud and scams advisory
blog.google·25m
📡Feed Security
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·3d·
Discuss: Hacker News
🎯Performance Proofs
Flag this post
Skills for the Future
bastian.rieck.me·1d·
Discuss: Hacker News
🧠Intelligence Compression
Flag this post
Why AI Can't Write Good Software
blog.jpillora.com·2d·
Discuss: Hacker News
💻Programming languages
Flag this post
The Exhaust Port of Cohesion: Precision Provocation in LLMs
blog.gopenai.com·1d·
Discuss: Hacker News
🧮Z3 Solver
Flag this post
Show HN: KnexBridge – Generate TypeScript and Zod Types from Knex DB
github.com·4h·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
Improving Gene Trees without more data
arxiv.org·10h
🌳Format Genealogy
Flag this post
pDANSE: Particle-based Data-driven Nonlinear State Estimation from Nonlinear Measurements
arxiv.org·3d
🌀Differential Geometry
Flag this post
Cybersecurity in the AI Era: It's Not a Feature, It's Genetic Code
dev.to·15h·
Discuss: DEV
🛡Cybersecurity
Flag this post
Part 3: Agentic AI in Telecom — From Insight to Action
dev.to·1d·
Discuss: DEV
⚙️TLA+
Flag this post
From Vibe Coding to Informed Development: How Codalio PRD Transforms Your Cursor Workflow
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Flag this post
From Vulnerable to Production-Ready: A Real-World Security Hardening Journey
dev.to·1d·
Discuss: DEV
🛡️WASM Security
Flag this post
80 Days of Python Challenges: How I Turned Consistency into Progress
dev.to·2h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
A Decade of AI Platform at Pinterest
medium.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Flag this post
Document-Driven Development in Next.js: How I Stopped Losing My Mind Managing Requirements
danielkliewer.com·3d·
🦋Format Metamorphosis
Flag this post
Show HN: I'm open sourcing my Chrome extension that uses AI to modify websites
github.com·13h·
Discuss: Hacker News
🎬WebCodecs
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·2d·
Discuss: DEV
⚔️Lean Tactics
Flag this post