March 2023 updates
2023-Mar-5New note: Interviewing programmers
New note: Problem solving strategy in math and beyond
Convert images to the solarized color scheme
New note: Interviewing programmers
New note: Problem solving strategy in math and beyond
Convert images to the solarized color scheme
A great idea: let people use your yard as a vegetable garden and receive a percentage of the produce
Lifting CrossHair (automatic bug finder) from Python to SQL via SQLGlot
New note: Survey on computer assisted natural language problem solving in the formal sciences
New note: Global keyboard shortcuts for editing like in emacs, screenshots, and media controls
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.
When I was 17 my lowest grade was in math and I thought I wasn’t good at it. One year later I was obsessed with it. Things can change.
Robin Hanson says that academia views impractical research as more prestigious. Yes, pure mathematics and theoretical physics are impractical and prestigious but ceteris paribus a research finding plus an application is more prestigious than just a research finding.
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.
Re: Where are All the Successful Rationalists?, rationality is an important scientific concept in AI, finance, and statistics; its value as a self-help technique is not so clear.
Juergen Schmidhuber is right and Tyler Cowen is wrong: China will surpass the US in dominance this century.
Geoffrey Miller and Robin Hanson have different views on what people are signaling when they engage in politics: Miller says personal traits and Hanson says tribal loyalty. Presumably it’s some of each but I find Miller more convincing.
Robin Hanson says meditation is about signaling who’s a better meditator. This is an example of meta-contrarianism at one too many levels of meta.
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 the physical.
“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), and 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.
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?