Show HN: A rigorous proof that the imaginary unit "i" is real(PGP and DOI)

1 purrplexia 0 6/30/2025, 9:20:34 AM zenodo.org ↗

I just published a short, deep, rigorous, math proof showing that the strange behavior of "i" is actually real, continuous, definite integration, and behaves under all axioms of i and Euler's identity. Cryptographically signed (PGP). CC BY 4.0

I Write Type Safe Generic Data Structures in C (danielchasehooper.com)

A CarFax for Used PCs; Hewlett Packard wants to give old laptops new life (spectrum.ieee.org)

There Are No New Ideas in AI Only New Datasets (blog.jxmo.io)

Show HN: TokenDagger – A tokenizer faster than OpenAI's Tiktoken (github.com)

They don't make 'em like that any more: Sony DTC-700 audio DAT player/recorder (kevinboone.me)

The provenance memory model for C (gustedt.wordpress.com)

Ask HN: What's the 2025 stack for a self-hosted photo library with local AI?

Donkey Kong Country 2 and Open Bus (jsgroth.dev)

Show HN: New Ensō – first public beta (untested.sonnet.io)

14.ai (YC W24) hiring founding engineers in SF to build a Zendesk alternative (14.ai)

The Plot of the Phantom, a text adventure that took 40 years to finish (scottandrew.com)

Ask HN: What Are You Working On? (June 2025)

Auth for B2B SaaS: it's not like auth for consumer software (tesseral.com)

Gridfinity: The modular, open-source grid storage system (gridfinity.xyz)

Printegrated Circuits: Merging 3D Printing and Electronics (spectrum.ieee.org)

Asynchronous Error Handling Is Hard (parallelprogrammer.substack.com)

Reverse Engineering Vercel's BotID (nullpt.rs)

Helix: A Modern, High-Performance Language (github.com)

Show HN: Open-Source International Space Station Tracker ESP32/Arduino for $20 (github.com)

Scribble-based forecasting and AI 2027 (dynomight.net)

Cloud-forming isoprene & terpenes from crops may drastically improve climate (smithsonianmag.com)

New proof dramatically compresses space needed for computation (scientificamerican.com)

Researching LED Displays for the Time Circuits (partsnotincluded.com)

Proton joins suit against Apple for predatory practices (proton.me)

Data Centers, Temperature, and Power (backblaze.com)

I made my VM think it has a CPU fan (wbenny.github.io)

Why We Should Care About This War over the Future of Money (gizmodo.com)

Shadow of a Doubt (harpers.org)

Show HN: I built a daily sunlight tracker (lumehealth.io)

A glob of 99M-year-old amber trapped a zombie fungus erupting from a fly (cnn.com)

OpenTelemetry Is Great, but Who the Hell Is Going to Pay for It? (adatosystems.com)

Operation Gold Rush, largest health care fraud bust in U.S. history (washingtonpost.com)

Cross-Compiling Common Lisp for Windows (fosskers.ca)

Revisiting Knuth's “Premature Optimization” Paper (probablydance.com)

Cell Towers Can Double as Cheap Radar Systems for Ports and Harbors (2014) (spectrum.ieee.org)

Ultrasound toothbrush promises painless checks for hidden gum problems (phys.org)

Jane Austen's Boldest Novel Is Also Her Least Understood (nytimes.com)

Event – Fast, In-Process Event Dispatcher (github.com)

NativeJIT: A C++ expression –> x64 JIT (2018) (github.com)

Want to meet people, try charging them for it? (notes.eatonphil.com)

The role of the University is to resist AI (danmcquillan.org)

The Medley Interlisp Project: Reviving a Historical Software System [pdf] (interlisp.org)

Does Form Shape Function? (quantamagazine.org)

Many ransomware strains will abort if they detect a Russian keyboard installed (2021) (krebsonsecurity.com)

Ubuntu: Introducing Debcrafters (discourse.ubuntu.com)

The $25k car is going extinct? (media.hubspot.com)

What Does a Post-Google Internet Look Like? (matduggan.com)

Anticheat Update Tracking (not-matthias.github.io)

Building untrusted container images safely at scale (depot.dev)

The Book of Shaders (2015) (thebookofshaders.com)

Show HN: A rigorous proof that the imaginary unit "i" is real(PGP and DOI)

Comments (0)