Hacker News: jesuslop

New comment by jesuslop in "A complex structure on S^6 [pdf]"

jesuslop — Mon, 24 Aug 2026 15:47:41 +0000

> complex structure in S^6 would mean an associative version of octonions

where can one read more about that?

New comment by jesuslop in "Möbius Strips and Differential Equations"

jesuslop — Sat, 15 Aug 2026 20:28:04 +0000

Thanks to the authors, super-enjoyable and bookmarked. Part of plenty of good stuff.

New comment by jesuslop in "What does the Riemann zeta function have to do with the distribution of primes?"

jesuslop — Mon, 20 Jul 2026 19:11:15 +0000

Apropos, Wikipedia says at a picture: "(Left) The von Mangoldt function, approximated by zeta zero waves.(Right) The Fourier transform of the von Mangoldt function gives a spectrum with imaginary parts of Riemann zeta zeros as spikes." [1]. [2] explains the details very gently, one can skip parts. So this is a machine with input a function very close to prime counts, and outputs info about zeta zeros. And the machine is Fourier transform.

[1] https://en.wikipedia.org/wiki/Von_Mangoldt_function

[2] Prime numbers and the Riemann hypothesis. Mazur, Stein

New comment by jesuslop in "Ditching Zotero for a Text File"

jesuslop — Mon, 13 Jul 2026 16:18:45 +0000

That is a sensible way of turning chaos into order, but let a contrarian voice tell an alternative story. I think filesystem pdf organizing is underrated. I have been curating a tree along years and now I know where to park new pdfs by heart in there. Wrote an arxiv button adder with grease-monkey to save pdfs with title, year and authors as file-name. Windows have a nice abstract property system that can use pdf (bib) metadata by installing a shell extension, that you can use in Explorer, where you can customize displayed fields. Classic Windows search offers a good background indexed database of content and metadata for local files. You just need an "IFilter" component to let it see inside the pdf text layer (suamtraPDF cames with one). It is the kind of functionality one would expect of a commercial product, just for the windows license. Beyond File Explorer, You can query the index from scripting or dot-net. I wrote a flow-launcher plugin to making searching faster than from Explorer search text input. Search supports "saved searches", saving queries in xml. I use a lot two, listing the saved pdfs of the last week and the last month. Windows is weird in having that cute infra built-in, but just having left unfinished the last glue code needed to give some good user experiences managing docs.

New comment by jesuslop in "Computation as a universal and fundamental concept"

jesuslop — Sat, 11 Jul 2026 18:21:50 +0000

mmh I'd don't say that much, I think the logic and math foundations is common in both classic and quantum theories, only content changing, so you would say "import mathlib" from both classic-phys.lean and quant-phys.lean if writing Lean proof assistant code (I am guessing the "import" command). Concepts from linear algebra as eigendecomposition, to say something, will be used in both applications.

New comment by jesuslop in "Computation as a universal and fundamental concept"

jesuslop — Sat, 11 Jul 2026 00:59:38 +0000

I think Gödel undecidable sentence is always relative to a formal system (the title of the paper spoke about systems in the expressive power rank of Russell's Principia, of which he gives one particular example assuming it shows how his methods apply to the whole family of systems), but now Hilbert problem #6 still stands for the lack of a comprehensive axiomatization of Physics, as its modern heir the mass-gap millennium problem, that still also lingers, so we don't have a controllable notion of naked/absolute undecidability for physical phenomena or for arbitrary assertions unbound by explicit logic rules in general.

New comment by jesuslop in "Applied Category Theory Course (2018)"

jesuslop — Sat, 04 Jul 2026 16:21:18 +0000

I participated there and couldn't guess for the life of me how does Baez gathers the amount of energy needed to put together all the materials, setup all the exercises and review and comment all the participation in a tuition free everybody-welcomed online experience such as that, beyond his normal academic duties. In the link there are the e-lectures but all the online forum give-and-take is sadly lost.

New comment by jesuslop in "Windows 11 New Media Player Uses 3.5x More RAM, Charges for Popular Video Codecs"

jesuslop — Sat, 20 Jun 2026 17:57:16 +0000

Agreed, Media player classic is the Winamp of video.

New comment by jesuslop in "πFS"

jesuslop — Thu, 11 Jun 2026 01:48:38 +0000

check mate

New comment by jesuslop in "Chrome is looking to permanently drop MV2 extension"

jesuslop — Wed, 10 Jun 2026 19:15:53 +0000

Yep the MV3 thing was my ticket out also here. And some benchmarks about firefox better memory usage. All their parlance about they "protecting us" is patronizing.

New comment by jesuslop in "Iran stops negotiations with U.S., vows to 'completely' block Strait of Hormuz"

jesuslop — Tue, 02 Jun 2026 15:17:52 +0000

news impact oil futures, inflation expectations, fed rates, discounted cash flows then valuations.

New comment by jesuslop in "Iran stops negotiations with U.S., vows to 'completely' block Strait of Hormuz"

jesuslop — Tue, 02 Jun 2026 02:26:58 +0000

Markets are looking revenue figures and forward guidance.

New comment by jesuslop in "Music has scales / raagas. What about storytelling in movies and prestige shows?"

jesuslop — Wed, 13 May 2026 15:53:05 +0000

amazing this is measured

New comment by jesuslop in "Music has scales / raagas. What about storytelling in movies and prestige shows?"

jesuslop — Tue, 12 May 2026 12:07:24 +0000

The music analogy is very pleasant. Let me share another stab with similar inspiration. The parallel I'd make is with harmony. For instance in LOTR Dominant is when Frodo and Gollum struggle at the cliff of Mount Doom, they lose control of the Ring that makes an upwards arc spinning. Max tension. Fast forward, Frodo returns to Shire, music is at home again. Tension resolves. (Tonic). So setup, conflict, resolution would be pre-dominant, dominant and tonic. Subplots are secondary dominants.

New comment by jesuslop in "RSS feeds send me more traffic than Google"

jesuslop — Thu, 07 May 2026 12:47:55 +0000

Not just no money in, but actual money out. RSS is a hole in user funnel inflow to platform.

New comment by jesuslop in "The fun has been optimized out of the Internet"

jesuslop — Tue, 05 May 2026 19:14:59 +0000

Reports of the death of large swathes of the internet have been greatly exaggerated. This guy blog post "RSS Feeds Send Me More Traffic Than Google" is evidence by existing (personal web blog) more than by making the point. https://tinyurl.com/5n8cub5a

New comment by jesuslop in "Windows 9x Subsystem for Linux"

jesuslop — Fri, 24 Apr 2026 20:45:02 +0000

A bit late thanks, and a respectful hat tip.

New comment by jesuslop in "Windows 9x Subsystem for Linux"

jesuslop — Wed, 22 Apr 2026 12:24:23 +0000

The Showstoppers book by G. Pascal Zachary is an entertaining account of NT uprising.

New comment by jesuslop in "Windows 9x Subsystem for Linux"

jesuslop — Wed, 22 Apr 2026 12:11:33 +0000

Colinux was a tech feat, just not that many people noticed.

New comment by jesuslop in "Windows 9x Subsystem for Linux"

jesuslop — Wed, 22 Apr 2026 12:08:58 +0000

autotools felt old even in 90's