Algorithm for showing overlapping hints in keyboard-driven browser extensions
FastAPI add-on that integrates the dry-python “returns” library
Xonsh users can use any-nix-shell to stay in xonsh when running nix shell
On the occasion of Nima Hoda’s wedding.
Is there for honest Poverty
That hings his head, an’ a’ that;
The coward slave - we pass him by,
We dare be poor for a’ that!
For a’ that, an’ a’ that.
Our toils obscure an’ a’ that,
The rank is but the guinea’s stamp,
The Man’s the gowd for a’ that.What though on hamely fare we dine,
Wear hodden grey, an’ a that;
Gie fools their silks, and knaves their wine;
A Man’s a Man for a’ that:
For a’ that, and a’ that,
Their tinsel show, an’ a’ that;
The honest man, tho’ e’er sae poor,
Is king o’ men for a’ that.Ye see yon birkie, ca’d a lord,
Wha struts, an’ stares, an’ a’ that;
Tho’ hundreds worship at his word,
He’s but a coof for a’ that:
For a’ that, an’ a’ that,
His ribband, star, an’ a’ that:
The man o’ independent mind
He looks an’ laughs at a’ that.A prince can mak a belted knight,
A marquis, duke, an’ a’ that;
But an honest man’s abon his might,
Gude faith, he maunna fa’ that!
For a’ that, an’ a’ that,
Their dignities an’ a’ that;
The pith o’ sense, an’ pride o’ worth,
Are higher rank than a’ that.Then let us pray that come it may,
(As come it will for a’ that,)
That Sense and Worth, o’er a’ the earth,
Shall bear the gree, an’ a’ that.
For a’ that, an’ a’ that,
It’s coming yet for a’ that,
That Man to Man, the world o’er,
Shall brothers be for a’ that.
Modern English:
Should honest poor hang their heads?
We pass by the coward ashamed of his poverty
We dare be poor despite all that!
Despite all that, and all that,
Our humble work, and all that,
Aristocratic rank is but the form that gold is cast into,
The man himself is the gold, despite all that.So what if we dine on homely fare,
Wear rough grey tweed, and all that?
Give fools their silks, and knaves their wine -
A man is a man despite all that.
Despite all that, and all that,
Their ostentation, and all that,
The honest man, though ever so poor,
Is king of men despite all that.You see that person called a “lord”,
Who struts, and postures, and all that?
Though hundreds worship at his word,
He is but a fool for all that.
Despite all that, and all that,
His regalia, and all that,
The man of independent mind,
He looks and laughs at all that.A prince can bestow the title of knight,
Or marquis, duke, and all that!
But an honest man is above all of these -
Good faith, he must not fault that
Despite all that, and all that,
Their titles, and all that,
Strength of sense and pride of merit
Are higher rank than all that.Then let us pray that it may come
(And it will come despite all that)
That sense and merit over all the earth
Will prevail and all that!
Despite all that, and all that,
It is coming yet despite all that,
That man to man the world over
Will be brothers despite all that.
There’s a meta-contrarian idea that the mechanisms of academia exclude some really good science that’s just too unconventional. This is not true to the extent claimed.
Computer algebra is useful but discovering new algorithms to automate mathematical work is hard.
As Robin Hanson and Steve Levitt say, life is long. There’s lots of time to do lots of different things.
Juergen Schmidhuber is right: China will surpass the US in dominance this century.
Here Robin Hanson proposes a much more efficient method of small claims resolution. The Enlightenment was about such ideas: approaching economic problems rationally where previously no one realized there was a problem.
The rapid decision-making abilities of basketball and soccer players impress me as much as their physical skills.
“Up to 40%” of travelers from developed to developing countries get travelers’ diarrhea; “in the normal population 1% to 2% of persons per year will develop irritable bowel syndrome (IBS), while 5% to 6% of travelers after traveler’s diarrhea will develop IBS”; and “the prevalence of depression and anxiety in IBS patients is 37.1 and 31.4% respectively”.
The Princeton Companion to Mathematics says “algebraists like to work with exact formulas and analysts use estimates. Or, to put it even more succinctly, algebraists like equalities and analysts like inequalities”. In computer science, algebraists like programming languages and analysts like algorithms and complexity. Or, to put it even more succinctly, algebraists like lambda calculus and analysts like Turing machines.
During retirement, write a memoir to be read by your descendants if no one else.
Mathematics, to a first approximation, is a 20th century phenomenon.
The Three Character Classic is a 13th century Chinese text with three characters per line which is traditionally read by children. Below is an excerpt from the 1812 translation by Robert Morrison, Presbyterian missionary and author of the first Chinese-English dictionary.
Chung-ni [another name for Confucius] once called a boy of ten years of age his instructor; for, of old, even perfect and wise men learned diligently.
Chao, when he held the office of Chung-ling, read Sun-yu. Though filling so high a situation, he yet learned diligently – so much so, that he never laid the book out of his hand.
In the time of the emperor Sung, Lu-wen-shu was constantly looking over the books engraven on leaves.
Wu-yao made leaves of the reed bamboo, by paring it thin. Though he did not possess books [as we do], he exerted himself in the pursuit of knowledge.
Sun-king suspended his head by its hair to the beam of his house, to prevent his sleeping over his books.
Su-tsin pricked his thigh with an awl, to prevent his sleeping.
Those persons, though not taught, of themselves rigorously pursued their studies.
Che-yin, when a boy, being poor, read his book by the light of a glow-worm which he confined. And Sun-kang, in winter, read his book by the light reflected from snow. Though their families were poor they studied incessantly.
Chu-mai-chin, though he subsisted by carrying fire-wood round the town to sell, yet carefully read his book. At last he became capable of, and filled a public office.
Li-mie, while watching his cattle in the field, always had his book at hand, suspended to the horn of a cow. These two persons, though their bodies were wearied by labor yet studied hard.
Su-lao-tsiuen, at the age of twenty-seven years began to exert himself, and read a great many books. He, when at that age, repented of his delay: you, a little boy, should early consider.
Leang-hao, at the age of eighty-two, was permitted to answer the emperor in his palace, and was placed at the head of all the literati. In the evening of life his wishes were fulfilled, and all spoke of his extraordinary learning. You, a little boy, ought to determine to pursue your studies.
Yung, at eight hears of age could recite the Odes. Li-pi, at seven years of age could play chess. These clever and studious boys were called by everyone wonderful. You, youths, ought to imitate them.
Tsai-wen-ki could play a stringed instrument. Sie-tao-wen could sing well. These ladies were clever. You, who are a gentleman, ought at an early time of life, to perfect that which is suitable.
Chin-tung, a remarkable lad, was raised by the emperor to fill the office of Ching-tsi. He, though a youth, was made a public officer. Do you, youths, exert yourselves to learn, and you may arrive at the same. Let all who make learning their pursuit be as those persons whom we have mentioned.
It is natural for a dog to watch at night, and for a cock to crow in the morning; if anyone does not learn, how can he be called a man?
(Above: In the Temple of Literature in Hanoi.)
Mainland Canada extends south to a latitude found in California
There’s a piece of France in between Nova Scotia and Newfoundland
Victoria, BC has a “warm-summer Mediterranean climate” like Porto, Portugal and Cape Town, South Africa.
Canada’s most picturesque spot is Lake Louise
What would a market for mathematics look like?
Formal verification might allow an elegant mechanism: Someone posts a proposition in a formal language like Coq and the first to submit a proof that passes verification wins the bounty. Everything can be automated and maybe even trustless. This has been tried, at proofmarket.org, which was shut down due to consistency bugs in the verifier. Even without bugs, proof assistants are still difficult to use; mathematician Thomas Hales says “It is very hard to learn to use Lean proficiently. Are you a graduate student at Stanford, CMU, or Pitt writing a thesis on Lean? Are you a student at Imperial being guided by Kevin Buzzard? If not, Lean might not be for you.”
If we stick to natural language to avoid the learning curve, things get messy. How does the market decide what a complete proof is, which proof is first, and who did it? Perhaps the only tenable solution is to leave these decisions up to the individuals who post the bounties. How would we know that bounties would ever get paid? Stack Exchange forces bounties to be put in escrow and if they’re not awarded to someone there’s no refund. Another option is to rely on reputation by using certified identities (e.g. users’ email addresses are verified and public so they can be checked against personal webpages).
Something along these lines might be doable (name: proofbounty.io?) but what’s the use case? Monetary rewards for mathematical problems are rare and mathematicians generally already earn a salary, so the interest would likely be modest. Students (anywhere in the world) are plausible suppliers though, perhaps even high school students, while consumers could be anyone with a research grant usable for paying “research assistants”, or industry and non-profit research groups. A market that brings these two sides together could be of some value.
Paid question answering has been tried before, e.g. Google Answers which wasn’t very popular. Did it fail due to lack of network effects, lack of innovative mechanisms, or an essential flaw in the concept? I don’t know. Bounties on GitHub issues seem to be a bit more successful.
In addition to bounties, there could be a prediction market. The time of resolution may have to be indefinite, though, since resolving “proposition X will be publicly proved by date Y” would in general require determining the nonexistence of a public proof, which is at least somewhat error-prone. However, prediction markets are basically illegal so it’s a moot point.
