HNHacker News
TopNewBestAskShowJobs

eointierney

466 karma · joined February 28, 2016

eoin@eointierney.org in case anyone wants to chat
submissionscomments
eointierney··on Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations
Yep, when it's humans nerding it's awesome
eointierney··on Kenyans Did College Students' Homework for Years. Then A.I. Arrived
Yes to your first paragraph. Library to your second.

And no, Internet access is not the same as reading in a library. Academia is the quiet place we learn to ask questions.

And meet people who are really good at asking questions.

eointierney··on Cloud in a Bottle: making self-hosting accessible to everyone
yunohost?
eointierney··on We must not grant AI agents legal personhood
We can't, without first granting it to whales, chimps, corvids, and the rest. But we have come very close. The Law is unutterably fucking broken.

In the Republic of Ireland, an artificially wealthy, highly educated, treaty-enmeshed constitutional democracy, the following statement was enshrined:

"4. Marriage may be contracted in accordance with law by two persons without distinction as to their sex."

It doesn't say Natural Persons. My Limited Company has personality but no distinguishable sex.

Thankfully there's the "in accordance with law" phrase so we can sleep ok.

We humans are sleep-walking into ancient nightmares made real through our own curiosity.

What a time to be alive.

Thankfully, there's Mathematics. I made a blackboard today.

eointierney··on The Unreasonable Effectiveness of Mathematics in the Natural Sciences [pdf] (1960)
Max Tegmark is chatting elsewhere
eointierney··on The Unreasonable Effectiveness of Mathematics in the Natural Sciences [pdf] (1960)
Timeless
eointierney··on The Unreasonable Effectiveness of Mathematics in the Natural Sciences [pdf] (1960)
Math good, strangely effective, much science, reality deeply weird, needs more stochastic approximation of real valued functions.

Edit: em dashes available on request

eointierney··on A 77-year-old Republican man is staging a solo protest against Flock cameras
You US citizens don't seem to realise just how legal/lucky you are.

I'm Irish. We're way more legal than you.

Listen to anyone from China.

eointierney··on The Dark Night of Mathematics
In times past having one's photograph taken was a soul-stealing for some.

Some notions:

- finding counter-examples is one of the most exploratory uses of calculation

- there is no evidence, not even in the hands of the inimitable Terence Tao, that Approximate Intelligence (AI) is insightful rather than inferential*

- people who enjoy Mathematics, even amateurs, do so for the beauty

- AI is only good in the hands of those who can provide corrective context

- AI unchecked is a remarkably inefficient noise engine

- Mathematics will provide joy to the curious 'til the heat death of the Universe

- AI is contributing to the heat death of planet Earth

- anthropomorphism, of which I am otherwise not a fan, may yet be a saving grace as without proprioception we may not morph

- we may need to redefine the Turing Tarpit of Perlis

If any of this nonsense really troubles you return again to thermodynamics and revel in the joy of being the local universe's pinnacle of meaty evolution. And go outside and smell the flowers.

* Caveats abound

eointierney··on One hundred and one rules of effective living
Exactly

And yet the phrase "be kind" appears nowhere on that page

eointierney··on One hundred and one rules of effective living
Be kind as in be like thyself as in see thyself in others as in don't be unkind as in be kind

The rest is noise in an expanding universe

eointierney··on CryptPad: An Alternative to the Google Suite
https://elpa.gnu.org/packages/crdt.html

is much more fun and, obviously, vastly more powerful.

eointierney··on Mathematical Methods for Physics [pdf]
Happy as in Halmos Tombstone
eointierney··on Mathematical Methods for Physics [pdf]
Mathematics is one of our love stories?

Yes! All the endings are happy and the unfinished stories are utterly fascinating. And there are already so many stories with happy endings!

Mathematics is our best bildungsroman

eointierney··on Happy 20th Birthday, Y Combinator
Thank you to PG and dang. I reckon this is one of the best places on the Internet.

Thank you everyone. I come here to learn and I do. The standard of discourse is heightening.

You're amazing

eointierney··on IronCalc – Open-Source Spreadsheet Engine
Congratulations, this is awesome. One of those "why hasn't someone done this already?" projects.

I can see this becoming transformative and superseding Excel, which is a bold claim to make. But this is compliant (with Excel), performant, extensible, free, and in-browser. This could easily become almost an emacs-level editor.

Think of the interfaces that could be built to this in this?

I'll be sharing this with every student I know.

And the name is a winner.

eointierney··on Five or ten new proofs of the Pythagorean Theorem
One of the things I love about hacker news is that there's no AI content. The other is that it's like reading a commentary on our encyclopedia. I get to read thought happening.

Apropos of nothing, just saying, and this thread is a great example.

I always want to read more books after a good dose of hacker news.

eointierney··on Five or ten new proofs of the Pythagorean Theorem
One of the things I love about hacker news is that there's no AI content. The other is that it's like reading a commentary on our encyclopedia. I get to read thought happen.

Apropos of nothing, just saying, and this thread is a great example.

I always want to read more books after a good dose of hacker news.

eointierney··on Apple Intelligence is coming to the EU in April 2025
Digital stupidity is rife, spreading like a common cold, leaving children everywhere immunocompromised, adults ethically stunted, and technologists waving their conceits like handkerchiefs at a soccer game.

Don't eat rotten fruit. Go read a fuckdamn math text instead, with a nice cup of tea or coffee and a view of the local vegetation in the background. Then take a walk and count your fingers and toes.

eointierney··on Ask HN: If you were rewriting Emacs from scratch, what would you do differently?
It's the finest manure to fertilize thought we can turn over with only a fork
eointierney··on Ask HN: If you were rewriting Emacs from scratch, what would you do differently?
Yes
eointierney··on Ask HN: If you were rewriting Emacs from scratch, what would you do differently?
The core should be in rust, verfied in lean, and the runtime should be in guile. Literate programming in org-mode should be a hard requirement. Package management should require patch algebra. Macros should be submitted to a leaderboard in a blockchain and yield flair in EUDC. M-x measure-beard-length should require 10000 hours of logged usage and unlock the major mode infinity-categorization.

Tongue-no-longer-in-cheek:

I reckon the C core of Emacs is some of the most battle-hardened code out there. Verification, a-la SEL4, is probably irrelevant but still nice. Guile is modern and performant but Elisp is still its own little joy. Literate programming is always nice until it gets in the way. Straight is good enough for me now. Macros are always cool and a leaderboard would be fun, but patch algebra is really nice, see jujutsu nowadays. And beard length is gendered and so only partially admissable. Infinity categories are way out there and always good for a reference.

eointierney··on Photino: A lighter Electron
Thank you. This was the comment I was looking for.
eointierney··on What Is Entropy?
Ah JCB, how I love your writing, you are always so very generous.

Your This Week's Finds were a hugely enjoyable part of my undergraduate education and beyond.

Thank you again.

eointierney··on Copied Act would make removing AI digital watermarks illegal
I used to be an artist and then studied science. The first constitution I read was that of the USA, then that of Ireland. I've been reading law since. The decisions of judges are of variable quality and always susceptible to appeal, especially to autonomy. And the Law always falls apart in the face of the philosophy of freshmen, it's how we hold it together in the face of each other that makes it worthwhile.
eointierney··on Copied Act would make removing AI digital watermarks illegal
Yes, and I'm an European. I don't think this is a matter of spirit or letter of Law, rather it is a matter of rigour or fluffy wooliness of thought.
eointierney··on Copied Act would make removing AI digital watermarks illegal
Provable how?

What's an AI watermark?

What's a work of art?

How inundated by works containing supposedly unique digital signatures nonetheless susceptible to collision attacks do they wish to suffer?

The Law cannot match Mathematics in formulation, nor can it match it in meaning.

I wish mathematicians spent more time educating legislators so the rest of us can think and communicate in peace and clarity.

eointierney··on New insights into transcription factors and chromatin remodeling
Having worked in cancer hospitals at the age of 16 (35 years ago) and having a father a doctor who coordinated long term cancer treatment in our country, I can say that cancer treatment has come on in leaps and bounds. What was once a death sentence is now likely treatable, and more treatments are coming online almost by the day. We will never beat cancer as we will never beat death, but we can prolong life, prevent pain, and always make sickness easier to bear both for those who suffer it and their loved ones.

C'mon the Science!

eointierney··on Learning K programming: idiom by idiom [pdf]
How antipodean. "I'll make my own from what I have handy."

Deepest respects

eointierney··on LilyPond: Music notation for everyone
I am very happy dang is intelligent
Page 1 of 7Next →