HackerLangs
トップ新着トレンドコメント過去質問紹介求人

ipnon

8,443 カルマ登録 10 年前
#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.")

投稿

A Declaration of the Independence of Cyberspace (1996)

eff.org
2 ポイント·投稿者 ipnon·先月·0 コメント

What's a mathematician to do? (2010)

mathoverflow.net
179 ポイント·投稿者 ipnon·2 か月前·86 コメント

Mathematics Genealogy Project

mathgenealogy.org
1 ポイント·投稿者 ipnon·2 か月前·0 コメント

Fanspeak (1999)

fantasymaps.com
1 ポイント·投稿者 ipnon·2 か月前·0 コメント

Nobel Lecture: On the possibility of progress (2019)

paulromer.net
2 ポイント·投稿者 ipnon·3 か月前·0 コメント

Taiwan Market Cap Tops $4T on AI Boom, Overtaking UK

bloomberg.com
3 ポイント·投稿者 ipnon·3 か月前·0 コメント

Teaching Mathematics (1997) [pdf]

maths.tcd.ie
2 ポイント·投稿者 ipnon·3 か月前·0 コメント

Author's preface to the book: "PGP Source Code and Internals" (1995)

philzimmermann.com
5 ポイント·投稿者 ipnon·3 か月前·0 コメント

[untitled]

1 ポイント·投稿者 ipnon·3 か月前·0 コメント

Shor's algorithm is possible with as few as 10k reconfigurable atomic qubits

arxiv.org
13 ポイント·投稿者 ipnon·3 か月前·6 コメント

Contemporary Australian Composers: Alan Lamb (2000)

rainerlinz.net
2 ポイント·投稿者 ipnon·4 か月前·0 コメント

The Department of War is making a mistake [video]

youtube.com
3 ポイント·投稿者 ipnon·4 か月前·0 コメント

The cruelty of teaching computing science (1988)

cs.utexas.edu
2 ポイント·投稿者 ipnon·4 か月前·0 コメント

Dijkstra's Crisis: The End of Algol and Beginning of Software Engineering (2010) [pdf]

tomandmaria.com
64 ポイント·投稿者 ipnon·4 か月前·30 コメント

4K Restoration: 1984 Super Bowl Apple Macintosh Ad by Ridley Scott [video]

youtube.com
2 ポイント·投稿者 ipnon·5 か月前·0 コメント

Ask HN: Would Steve Jobs Get into YC?

1 ポイント·投稿者 ipnon·5 か月前·2 コメント

DeepWiki and Increasing Malleability of Software

twitter.com
1 ポイント·投稿者 ipnon·5 か月前·0 コメント

Work at tiny corp: "Bounties pay you while judging that fit."

tinygrad.org
1 ポイント·投稿者 ipnon·5 か月前·0 コメント

RFC 3092 – Etymology of “Foo” (2001)

datatracker.ietf.org
168 ポイント·投稿者 ipnon·5 か月前·52 コメント

The Apple Marketing Philosophy (1977)

stevejobsarchive.com
3 ポイント·投稿者 ipnon·5 か月前·1 コメント

コメント

ipnon
·昨日·議論
Kind of feels like fusion power at this point, always just around the corner.
ipnon
·先月·議論
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
·先月·議論
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
·2 か月前·議論
I’ve never thought about how the room model matches the LiveView socket model before. Which socket library are you using?
ipnon
·2 か月前·議論
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
·2 か月前·議論
A real theory would predict phenomena thus far unseen. We already know about this 4 part taxonomy.
ipnon
·2 か月前·議論
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
·2 か月前·議論
I have noticed that everything in their app Just Works. It's very satisfying coming from other services!
ipnon
·2 か月前·議論
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
·2 か月前·議論
I don't know of any. People are really just selecting for the underlying runtime. And Elixir and Gleam are better targets here.
ipnon
·3 か月前·議論
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
·3 か月前·議論
I usually invoke this by naming with POSIWID.
ipnon
·3 か月前·議論
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
·3 か月前·議論
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
·3 か月前·議論
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
·3 か月前·議論
Yes, to paraphrase Jobs, I'm only interested in the intersection of Technology Avenue and Liberal Arts Street.
ipnon
·3 か月前·議論
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
·3 か月前·議論
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.
ipnon
·3 か月前·議論
Common failure mode in environments that promote being the best over getting things done: If you went from school to college to industry always identifying with being better than everyone else, because that's what it takes to get in the door, sometimes you miss the transition to when you're already in the door. A lot of people don't realize they were supposed to put their guards down until it's too late. It's too bad but this is what the cutthroat labor pipeline rewards.
ipnon
·3 か月前·議論
I like this quote from pg:

>In a way this is virtuous, because I think startups are a good thing. But really what motivates us is the completely amoral desire that would motivate any hacker who looked at some complex device and realized that with a tiny tweak he could make it run more efficiently. In this case, the device is the world's economy, which fortunately happens to be open source.

After a while you learn to ignore criticism. I'm not really interested in what people have to say who would never become users anyway. They're simply not the demographic. It's all noise, and when I was younger and more impressionable it caused serious self-doubt. But when I demo something and I see the eyes light up, and then they say "well, what about this?", that's pure gold.

[0] https://paulgraham.com/whyyc.html