HNHacker News
TopNewBestAskShowJobs

ipnon

8,463 karma · joined September 23, 2016

#lang racket

(define email (foldl string-append "" '("me" "." "pm" "@" "ipnon")))

(define zero "If you can imagine a society in which the computer-robot is the only menial, you can imagine anything.")

(define one "War is the best game and the worst life.")

(define two "For I know of nothing as profoundly exciting as to glimpse for the first time some new and basic truth.")

(define three "When I got to Cambridge, I was faced with the problem of looking at a question to which no one knew the answer—but I wasn’t willing to face it. When I left Cambridge, I didn’t know how to face it very well, but I understood that this was my job; this was the change that occurred that year.")

(define four "So here is an even more striking statistic: 0% of that first batch had a terrible experience. They had ups and downs, like every startup, but I don't think any would have traded it for a job in a cubicle. And that statistic is probably not an anomaly. Whatever our long-term success rate ends up being, I think the rate of people who wish they'd gotten a regular job will stay close to 0%.")

(define five "They asked me how well I understood theoretical physics. I said I had a theoretical degree in physics. They said welcome aboard.")

(define six "Always with you what cannot be done.")

(define seven "But whoever is acquainted with such a change in men, and can render a man humid and dry, hot and cold by regimen, could also cure this disease, if he recognizes the proper season for administering his remedies, without minding purifications, spells, and all other illiberal practices of a like kind.")

(define eight "松茸やかぶれた程は松の形")

(define nine "This black sprite is called humanity, but little is known about its true nature. If the soul is the source of all life, then what distinguishes the humanity we hold within ourselves?")

(define ten "If you chase two rabbits, you will lose them both.")

(define eleven "Clear and plain and coming through fine. I'm coming through fine too, eh? Good, then. Well then as you say we're both coming through fine. Good. Well it's good that you're fine and I'm fine. I agree with you. It's great to be fine.")

(define twelve "And he came and found them asleep again: for their eyes were heavy.")

(define thirteen "I believe that men are here to grow themselves into the full, into the best good that they can be, at least this is what I want to do. This is my belief: We are supposed to, I'm supposed to grow into the best good that I can get to. As I'm going there, becoming this, and when I become and forever become, this will just come out of the horn. Whatever that's going to be, that's what it will be. I'm not so much interested in trying to say what it's going to be, I don't know, but I just hope; I realize good can only bring good.")

(define fourteen "You can always tell a Harvard man, but you can't tell him much.")

(define fifteen "Live in the future, then build what’s missing.")

(define sixteen "Don’t you find that there’s a certain mad beauty in unorthodoxy?")

(define seventeen "From the first day we met, it was surprising to find that there were so many similarities in our thinking ... the day I met Isamu Noguchi I realized that he was a man who was nearly as strange and opinionated as I was.")

(define eighteen "Nothing can exist in isolation. Architecture and garden, garden and sculpture, sculpture and people, people and community ... must each be closely and mutually related. In these connections may lie a new ethics for artists.")

(define nineteen "I solemnly swear that I am up to no good.")

(define twenty "Heaven forbid! That would be the greatest misfortune of all! To find a man agreeable whom one is determined to hate! Do not wish me such an evil.")

(define twenty-one "Our philosophy stops with the sigh 'If only ...' and with the insight 'Once upon a time ...'")

(define twenty-two "In my whole life, I have known no wise people (over a broad subject area) who didn't read all the time--none.")

(define twenty-three "Please put me out of my Missouri.")

(define twenty-four "企業のネットが星を被い、電子や光が駆け巡っても国家や民族が消えてなくなるほど、情報化されていない近未来—")

(define twenty-five "Religion brought forth Prosperity, and the daughter destroyed the mother.")

(define twenty-six "ὁ δὲ ἀνεξέταστος βίος οὐ βιωτὸς ἀνθρώπῳ")

(define twenty-seven "I only know two tunes—-one of them is Yankee Doodle and the other isn’t.")

(define twenty-seven "On ne conduit le peuple qu'en lui montrant un avenir : un chef est un marchand d'espérance.")

(define twenty-eight "Because children have abounding vitality, because they are in spirit fierce and free, therefore they want things repeated and unchanged. They always say, 'Do it again'; and the grown-up person does it again until he is nearly dead. For grown-up people are not strong enough to exult in monotony. But perhaps God is strong enough to exult in monotony. It is possible that God says every morning, 'Do it again' to the sun; and every evening, 'Do it again' to the moon. It may not be automatic necessity that makes all daisies alike; it may be that God makes every daisy separately, but has never got tired of making them. It may be that He has the eternal appetite of infancy; for we have sinned and grown old, and our Father is younger than we.")

(define twenty-nine "Come to me, artificially accelerated cortical-development idea, he said in prayer.")

(define thirty "What I cannot create, I do not understand.")

(define thirty-one "La parole a été donné à l'homme pour déguiser sa pensée.")

(define thirty-two "Ὅπου ἔργον ἐπιτελεῖσθαι δύναται κατὰ τὸν κοινὸν θεοῖς καὶ ἀνθρώποις λόγον, ἐκεῖ οὐδὲν δεινόν˙ ὅπου γὰρ ὠφελείας τυχεῖν ἔξεστι διὰ τῆς εὐοδούσης καὶ κατὰ τὴν κατασκευὴν προιούσης ἐνεργείας, ἐκεῖ οὐδεμίαν βλάβην ὑφορατέον.")

(define thirty-three "Unaccustomed as I am to public speaking, I’d like to share with you a maxim I thought of the first time I met an IBM mainframe: Never trust a computer you can’t lift.")

(define thirty-four "You don't need to take my proposal seriously because it is so ridiculous that I am obviously completely out of touch with the real world. But that kite won't fly, for I know the real world only too well: the problems of the real world are primarily those you are left with when you refuse to apply their effective solutions. So, let us try again.")

(define thirty-five "The effort of using machines to mimic the human mind has always struck me as rather silly: I'd rather use them to mimic something better.")

(define thirty-six "It's like if you want to be a good pianist, you have to do a lot of scales and a lot of practice, and a lot of that is kind of boring, it's work. But you need to do that before you can really be very expressive and really play beautiful music. You have to go through that phase of practice and drill.")

(define thirty-seven "Whereof one cannot speak, thereof one must be silent.")

(define thirty-eight "Every mathematician believes that he is ahead of the others. The reason none state this belief in public is because they are intelligent people.")

(define thirty-nine "Ambition is a state of permanent dissatisfaction with the present.")

(define forty "If you decide you don’t have to get A's, you can learn an enormous amount in college.")

(define forty-one "At age 16 or 17, I had wanted to be another Einstein; at 21, I would have been happy to be another Feynman; at 24, a future T. D. Lee would have sufficed. By 1976, sharing an office with other postdoctoral researchers at Oxford, I realized that I had reached the point where I merely envied the postdoc in the office next door because he had been invited to give a seminar in France. In much the same way, by a process options theorists call time decay, financial stock options lose their potential as they approach their own expiration.")

(define forty-one "Genuine mathematicians do not gang up, but the weak need gangs in order to survive.")

(define forty-two "The Arnold Principle: If a notion bears a personal name, then this name is not the name of the discoverer. The Berry Principle: The Arnold Principle is applicable to itself.")

(define forty-three "But as for you, ye thought evil against me; but God meant it unto good, to bring to pass, as it is this day, to save much people alive.")

(define forty-four "The least efficient learning strategy is to ask 'why am I so dumb' over and over. A more efficient strategy is to ask 'what (prerequisite knowledge) am I missing' and go back and fill it in.")

(define forty-seven "What is this Earth without art? Just a rock.")

(define forty-eight "There is no reason to stop at any given place, even though it is probably unwise to order the full menu.")

(define forty-nine "I insulted you because I'm honest, and I apologized because I'm brave".)

(define fifty "Em mim foi sempre menor a intensidade das sensações que a intensidade da consciência delas. Sofri sempre mais com a consciência de estar sofrendo que com o sofrimento de que tinha consciência.")

(define fifty-one "Het is me ten enenmale onmogelijk alles op te bouwen op de basis van dood, ellende en verwarring, ik zie hoe de wereld langzaam steeds meer in een woestijn herschapen wordt, ik hoor de aanrollende donder steeds harder die ook ons zal doden, ik voel het leed van miljoenen mensen mee en toch als ik naar de hemel kijk, denk ik dat dit alles zich weer ten goede zal wenden, dat ook deze hardheid op zal houden, dat er weer rust en vrede in de wereldorde zal komen.")

(define fifty-two "Ce qui est n'est pas clos, du point de vue le plus essentiel. Ce qui est ouvert, est à être.")

(define fifty-three "EARTH PEOPLE, THIS IS GOD. YOU HAVE THIRTY DAYS TO LEAVE. I HAVE A BUYER FOR THE PROPERTY.")

submissionscomments
ipnon··on If math is more than proof, we need to better celebrate the rest of it
I feel that you can see quite strongly the truth in “writing code was never the point” when you encounter inevitably at every company the guy who has been around forever but doesn’t seem to be working particularly hard. Their value is (was) no longer in writing code at a furious pace all day. It was having a coherent, intelligible and communicable theory of the software system the company is founded on.

I propose this thought experiment: put all living mathematicians in a very long bus. This bus crashes and they all tragically lose their lives. Can we really say mathematics simply marches onwards with AI alone? Let’s say Anthropic needs a new research result to improve Claude. Are we really already at the point where we burn tokens ad infinitum and arrive at the end of scientific progress in some timely fashion?

ipnon··on Muse – Meta’s personal AI agent
We should remember that Meta is the largest social media company in the world, so they do not have much trouble with people trusting them with data.
ipnon··on Claude Fable 5.1 and Claude Mythos 5.1
Fable is much more expensive both in time and tokens for a marginal increase in productivity.
ipnon··on vLLM v0.28.0
Yes, I think this project is a good example of how complex domains aren't simply solvable just by pointing ever more intelligence at the system, even when the code is all open source and the issues are all well defined. I say this as a contributor!
ipnon··on Aspirational Clownmaxxing and Joey's cadillac todo list
I used to find internet slang very piercing and illuminating. I felt I was able to describe certain things which were difficult or impossible to convey with AFK language. But now that this way of speaking has become normalized outside of the internet, I find it’s lost this piercing quality, and just makes me confused. If only this cloud in the sky would move away!
ipnon··on Starbase, LA
From 1990 to 2025, the number of people in extreme poverty dropped from around 2.3 billion to roughly 831 million. I think we're making fast enough progress here to warrant public companies going to space on their own dime and volition.
ipnon··on How Universities Should Prepare Founders
I don't think there's much value in college anymore outside of as a class signifier, and most schools are signifying that you are not in the right social class.
ipnon··on Why does Opus 5 feel worse to work with?
Very surprised no one has this answer: because it is fundamentally not a human being.
ipnon··on Codex Security
I actually don't read any code! For generation I use simulations to ensure satisfactory error rates, for deterministic code I use test suites, and for user interfaces I use good ol' intuition! So I guess you could say I just write extra code that makes reading the code unnecessary. I find it quite strange to be honest! But this is the most effective way for me to ship now.
ipnon··on Ten advances in mathematics and theoretical computer science
But why can’t we prompt the LLM “just do math research”? This is what I don’t understand.
ipnon··on Codex Security
Yes, now that humans write less than 99% of code, the most important criteria for a language isn't readability, which I'd argue was always Python's main selling point, but the underlying runtime. There are practical limits to how fast a Python program can run either under I/O or CPU bound compared to other popular and mature languages with extensive libraries, like Elixir, Go or C++, depending on your use case.
ipnon··on Elixir-lang.org has a new design
It's a good joke but most of my applications are I/O bound. So I use Elixir for performance.
ipnon··on AI 2040: Plan A
Kind of feels like fusion power at this point, always just around the corner.
ipnon··on Ask HN: Are most corporate SWE jobs performative?
A company is like a bridge. The job of a bridge is to support the weight of what crosses it. But if a particular deck or arch or beam or joint or bearing fails to do its own job, the bridge can fail and will catastrophically. Perhaps some beams hold more weights than others, but can any bridge be composed entirely of decks or entirely of arches or entirely of beams? Perhaps, but we do not see many of them. It is always possible to innovate in the design of bridges, but if most of the great bridges in the world all have a mix of decks and arches and beams and joints and bearings, instead of simply being composed of solely beams or solely joints, then we might begin to wonder if this composition is not accidental to the proper functioning of a great bridge, but essential to it, even if we are not particularly interested in or proficient in the Art of Being Another Part of the Whole.
ipnon··on Pentagon raised threat of Israeli spying on U.S. to highest level, sources say
I think this is correct. There has been bipartisan support of Israel for decades. Netanyahu even mentions in his autobiography that Israeli politicians usually underestimate the strength and durability of the relationship with America.
ipnon··on What I've Learned (So Far) Building Online Mini Games with Elixir and Swift
I’ve never thought about how the room model matches the LiveView socket model before. Which socket library are you using?
ipnon··on A look at Denver’s “Unlocking Housing Choices” plan
My neighborhood in California added plenty of these and it didn’t change the vibe of the neighborhood at all. It’s a great YIMBY solution because it satisfies both the pro and anti development crowds.
ipnon··on A Theory of Deep Learning
A real theory would predict phenomena thus far unseen. We already know about this 4 part taxonomy.
ipnon··on From Supabase to Clerk to Better Auth
It’s not that crazy! Or hard. If you can store a hashed password in your users table, and keep the salt secret, you have working auth.
ipnon··on A couple million lines of Haskell: Production engineering at Mercury
I have noticed that everything in their app Just Works. It's very satisfying coming from other services!
ipnon··on Modern C++ Programming: Busato
CUDA is an extension of C++ just like C++ is an extension of C. Deployed CUDA is growing exponentially. C++ is definitely not a dying language!
ipnon··on Dabbling in Erlang, part 2: A minimal introduction (2013)
I don't know of any. People are really just selecting for the underlying runtime. And Elixir and Gleam are better targets here.
ipnon··on Scores decline again for 13-year-old students in reading and mathematics
It leads to K-shaped education where parents who recognize the deficiency of public education simply teach their kids math themselves or hire private tutors. Public education used to be a force for equality of knowledge in the country. Now it perversely does the opposite, all in the name of education!
ipnon··on Laws of Software Engineering
I usually invoke this by naming with POSIWID.
ipnon··on US national level OS-level age verification bill proposed
My belief is that to a large extent the art of politics is the art of bothsidesing and rationalizing away your integrity for common aims. And that when applied correctly, these common aims can be used to benefit the public. Look at systems where you can't bothesides (also known as finding common ground and compromising) or rationalize the integrity of other members (also known as acting in good faith). I suspect you will not find the results of these political bodies to have preferable results to the American Congress!
ipnon··on US national level OS-level age verification bill proposed
I really think left-right and honest-dishonest are useless dimensions to evaluate Congress members on. The job practically requires ideological fuzziness and truth stretching to get anything done. This is a feature: legislatures that require high ideological purity tend to become rubber stamps. DPRK is a good example.
ipnon··on Show HN: Druids – Build your own software factory
Interesting. I like it. Now let's say I currently use the OS process as my primitive for agents, just spawning `claude "foo bar baz"`, and orchestrating this way, using perhaps Unix style of files for intermediate data and piping for transformations. What would you are some good use cases of Druid for someone like me?
ipnon··on Will I ever own a zettaflop?
Yes, to paraphrase Jobs, I'm only interested in the intersection of Technology Avenue and Liberal Arts Street.
ipnon··on Finnish sauna heat exposure induces stronger immune cell than cytokine responses
It’s like saying you don’t want to exercise because it induces tachycardia and hypertension. The point is that you are training your body to adapt to overstimulation in a context and dose dependent manner.
ipnon··on AGI Is Here
The singularity doesn't mean that we get an AGI Day with a big announcement from The People In Charge that intelligence has been solved once and for all. It simply means that the frequency of "this changes everything" and "rumored model X at lab Y passes benchmark Z at 110% in less-than-zero-shot" style posts increases monotonically for ever.
Page 1 of 34Next →