Show newer

So at a linux (or equivalent) terminal, type this:

$ telnet mapscii.me

Get an interactive world map. In your terminal.

Zoom in and out with A and Z, use the arrow keys to move.

Astonishing.

Show thread

Many yearn for the "good old days" of the web. We could have those good old days back — or something even better — and if anything, it would be easier now than it ever was.

citationneeded.news/we-can-hav

#web #newsletter #CitationNeeded

A better view of the wild solar prominences during Monday's eclipse.

(Quick hand-held shot with Nikon Z9 + Nikkor 800mm f/6.3 PF)

The Verge article on the best printer in 2024 is just completely brilliant in so many ways.

And also kinda sad.

theverge.com/2024/4/2/24117976

"I’m fond of effective altruists. When you meet one, ask them how many people they’ve killed."

- Stanford professor Leif Wenar pens a devastating takedown of #EffectiveAltruism for WIRED magazine, in the wake of #crypto fraudster Sam Bankman-Fried's sentencing.

wired.com/story/deaths-of-effe

#EA #SamBankmanFried #SBF

A new (diamond open access) journal devoted to #FormalMathematics has just launched: "Annals of Formalized Mathematics", afm.episciences.org/ . (I am not directly involved with the journal, though I am on the #mathematics "epi-committee" of the broader #episciences platform, episciences.org/ . There has traditionally not been a natural forum for publishing research-level work on formalizing mathematics, and hopefully this journal will be successful in providing one.

Reminder to @ieeevis full paper authors, the *abstract deadline* is TOMORROW (Thursday) -- you can't submit a paper without first submitting an abstract!

Michel Talagrand wins the #AbelPrize 2024 "For his groundbreaking contributions to probability theory and functional analysis, with outstanding applications in mathematical physics and statistics." abelprize.no/abel-prize-laurea

Just now I was writing tests and for one of the properties I thought “wow, there's really no good way to test this, I guess I'll just skip it.”

I thought a little more and came up with a crappy way to test it and thought “This crappy test will be false-negative too much of the time, it probably is not even worth writing.”

Then I wrote the poor test anyway.

Then the poor test failed and revealed that my code had a bug.

Show older
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.