Sign in

iiinova is part of the Atmosphere — an open, public network where you own your identity.

Pozorvlak

@pozorvlak.mathstodon.xyz.ap.brid.gy
22 followers 2 following 289 posts

Janeite STEMbro, relapsing mathematician, nervous mountaineer, abundance-pilled environmentalist. Fan of compilers, love/hate relationship with build systems. 🌉 bridged from ⁂ mathstodon.xyz/@pozorvlak, follow @ap.brid.gy to interact

PostsRepliesMedia
Reposted by Pozorvlak
Ada Palmer @adapalmer.wandering.shop.ap.brid.gy · 22h
America’s cancer death rate has fallen by 35% since 1991. That adds up to more than 4.8 million deaths avoided. Five-year survival across all cancers has climbed from 49% in the mid-1970s to 71%, and for cancers that have already spread it has more than doubled since the mid-1990s, from 17% to […]
wandering.shop
Original post on wandering.shop
008 8
Pozorvlak @pozorvlak.mathstodon.xyz.ap.brid.gy · 16/10/2026
I have now submitted this as a lightning talk to #BigMathsJam, under the title "Navier-Stokes and the Murder of the Impossible". We'll see what the programme committee think of it...
000 0
Pozorvlak @pozorvlak.mathstodon.xyz.ap.brid.gy · 16/10/2026
As usual, @stecks is taking no chances.
A screenshot from a Google form, reading "I have definitely noticed it's only a 5- minute slot", followed by a checkbox labelled "I super-mega-ultra-promise I won't overrun"
000 0
Reposted by Pozorvlak
Chris Martin @chris--martin.functional.cafe.ap.brid.gy · 16/10/2026
People want your website like they want the plastic clamshell packaging on the thing they ordered.
112 2
Reposted by Pozorvlak
Chris Martin @chris--martin.functional.cafe.ap.brid.gy · 15/10/2026
I do not need password fields masked. THERE IS NOBODY HERE TO SEE BUT CHICKENS
001 1
Reposted by Pozorvlak
Dmitry Tantsur @creepy-owlet.mastodon.online.ap.brid.gy · 15/10/2026
"Everyone hates AI" oh my sweet summer child...
mastodon.online
002 2
Reposted by Pozorvlak
David Penfold :verified: @davep.infosec.exchange.ap.brid.gy · 14/10/2026
An Englishman, a Scotsman, an Irishman, a Welshman, a Latvian, a Turk, a German, an Indian, several Americans (including a Texan, a New Englander, and a Californian), an Argentinian, a Dane, an Australian, a Slovakian, an Egyptian, a Japanese, a Moroccan, a Frenchman, a New Zealander, a Spaniard […]
infosec.exchange
Original post on infosec.exchange
3321 21
Pozorvlak @pozorvlak.mathstodon.xyz.ap.brid.gy · 15/10/2026
AI Safety Is Not A Corporate Plot www.astralcodexten.com/p/ai-safety-…
astralcodexten.com
AI Safety Is Not A Corporate Plot
...
000 0
Pozorvlak @pozorvlak.mathstodon.xyz.ap.brid.gy · 15/10/2026
I'm thinking of submitting this to #BigMathsJam as a lighting talk. Good idea?
000 0
Reposted by Pozorvlak
Moof! 🏳️‍🌈 @moof.space · 15/10/2026
TIL that there is a standard for technical English, originally thought up by the airline industry in order to have rules on how to write documentation for that makes it easier for non-native English speakers to understand. It’s called ASD-STE100, where STE stands for Simplified Technical […]
cupoftea.social
Original post on cupoftea.social
0011 11
Pozorvlak @pozorvlak.mathstodon.xyz.ap.brid.gy · 14/10/2026
@mjd relevant to our earlier discussion of dictators' dodgy PhDs: thediplomat.com/2023/09/in-search-o… (I was so happy to see that Hun Sen was no longer Prime Minister of Cambodia, before I noticed the new guy's surname)
thediplomat.com
In Search of Hun Manet’s Bristol University PhD Thesis
In 2009, Cambodia’s new prime minister was awarded a doctorate in economics – but it is nearly impossible to access his thesis.
000 0
Pozorvlak @pozorvlak.mathstodon.xyz.ap.brid.gy · 14/10/2026
I Climbed Four Unclimbed Peaks In Central Asia Despite The Existence Of Helicopters; Here's What That Taught Me About The Future Of Mathematics
101 1
Reposted by Pozorvlak
Jon Hancock @bigjackbrass.social.vivaldi.net.ap.brid.gy · 13/10/2026
How on earth can they afford an apartment in that neighbourhood?
Screenshot of : Smithsonian magazine website. Headline:
A Family of Barn Owls Has Moved Into New York City's Upper West Side, Perhaps the First to Nest in Manhattan in Modern History.
023 3
Reposted by Pozorvlak
MWZ (Matthew) @masto.discobear.net · 14/10/2026
Inside the Atomium, Brussels, June 2026.
A dark round corridor with an escalator moving upwards, lit by rings of purple light gradually becoming red. The metal escalator reflects the rings, which are mounted to a paneled metal structure.
001 1
Pozorvlak @pozorvlak.mathstodon.xyz.ap.brid.gy · 13/10/2026
I'd love to know why one person thinks it's impossible!
mathstodon.xyz
000 0
Reposted by Pozorvlak
knirirr @knirirr.mamot.fr.ap.brid.gy · 13/10/2026
Seeing www.xda-developers.com/as-the-linux… reminded me that, based on recent discussions about LLMs, I ought to say how I think they can be useful, to me, at least. There is one specific thing […]
mamot.fr
Original post on mamot.fr
102 2
Pozorvlak @pozorvlak.mathstodon.xyz.ap.brid.gy · 13/10/2026
It is unfortunate for the world that the tech industry has centred itself on a region with such dysfunctional government.
000 0
Reposted by Pozorvlak
Medieval Illumination @medieval-illuminations.mastodon.social.ap.brid.gy · 12/10/2026
Initial ‘R’. Hours of Charles of Angoulême, France ca. 1475-1500. BnF, Latin 1173, fol. 3r. #medieval #MedievalArt
Initial ‘R’. Hours of Charles of Angoulême, France ca. 1475-1500. BnF, Latin 1173, fol. 3r.
#medieval #MedievalArt
35214 52
Reposted by Pozorvlak
Vee @veroniqueb99.mastodon.social.ap.brid.gy · 06/08/2026
This is a blog run by a Japanese man living in America 1/2
411762 117
Pozorvlak @pozorvlak.mathstodon.xyz.ap.brid.gy · 12/10/2026
Remember when everyone called Eliezer Yudkowsky crazy for suggesting airstrikes on datacentres? That was three years ago.
mastodon.online
000 0
Reposted by Pozorvlak
bewitchedmind @bewitchedmind.mastodon.social.ap.brid.gy · 11/10/2026
Timelinefund + BBesch
Zwei Fotos einer Szene in einem Vorgarten, kurz hintereinander aufgenommen. Bild 1: Eine schwarze Katze steht einer aufblasbaren Halloween-Deko in Form einer etwa viermal so großen schwarzen Katze gegenüber, es sieht aus, als ob sie Beef haben. Bild 2: Die Katze sitzt triumphierend auf der nun platten Deko-Katze.
015 5
Pozorvlak @pozorvlak.mathstodon.xyz.ap.brid.gy · 10/10/2026
In BRIDE AND PREJUDICE (2004), the role of Lady Catherine de Bourgh is split in two: Mrs Darcy, who is trying to arrange a marriage between Will Darcy and an heiress he doesn't love; and the United States of America, about whose superiority Mr Collins/Kohli will not shut up. In this essay I will
000 0
Reposted by Pozorvlak
Ada Palmer @adapalmer.wandering.shop.ap.brid.gy · 09/10/2026
Thailand eliminates rubella as a public health problem. The milestone, verified by the WHO, is the result of a vaccination programme that began in schools in 1986 and expanded to all one-year-olds in 1993. Thailand is the seventh country in the region to achieve elimination […]
wandering.shop
Original post on wandering.shop
017 7
Reposted by Pozorvlak
robinhouston @robinhouston.mathstodon.xyz.ap.brid.gy · 07/10/2026
I didn’t even notice this one at first. This is cool! Talk about a weird machine. > 376. Universal computation in forced Navier–Stokes flows. Constructs viscous incompressible flows starting from rest on a fixed flat three-dimensional domain that perform universal computation under smooth […]
mathstodon.xyz
Original post on mathstodon.xyz
103 3
Reposted by Pozorvlak
Dan Piponi @dpiponi.mathstodon.xyz.ap.brid.gy · 08/10/2026
If we continue to name things after paper authors then future mathematics will look like: Using the OpenAI transcendence property we show that OpenAI vectors in an Anthropic bundle on an OpenAI manifold when Anthropic-induced by an OpenAI-homomorphism are always Anthropic-OpenAI in the critical […]
mathstodon.xyz
Original post on mathstodon.xyz
101 1
Reposted by Pozorvlak
Rach "pumpkin spice butt girl" @ykantrachelread.social.treehouse.systems.ap.brid.gy · 08/10/2026
okay, _Coyote vs Acme_ is legit the funniest film I've seen in ages. whoever made this film realized that emulating the slapstick comedy of Looney Tunes requires one to completely abandon internal consistency, the laws of physics, and basically anything else that makes too much sense, in favor […]
social.treehouse.systems
Original post on social.treehouse.systems
102 2
Reposted by Pozorvlak
Terence Eden @edent.mastodon.social.ap.brid.gy · 07/10/2026
If you publish any #OpenSource and you want people to use it, may I please implore you to test your README? Can you actually follow the steps you've written down? Does it work if the user doesn't have the same development packages installed as you? […]
mastodon.social
Original post on mastodon.social
5733 33
Reposted by Pozorvlak
robinhouston @robinhouston.mathstodon.xyz.ap.brid.gy · 08/10/2026
I feel this is getting a disproportionate amount of attention on here, relative to the 369 papers that haven't been withdrawn
241 4
Reposted by Pozorvlak
Mike Prior-Jones @drmikepj.mastodon.social.ap.brid.gy · 08/10/2026
@pozorvlak @counting_is_hard this is where textbooks often add a lot of value - for example, transforming older units into SI, rearranging equations to the form that’s most useful for practitioners, and combining results from multiple sources to create useful rules for students to learn.
101 1
Pozorvlak @pozorvlak.mathstodon.xyz.ap.brid.gy · 08/10/2026
When I was working on my PhD, there was a particular result that "everybody knew" was proved in Blackwell, Kelly and Power (1987). When I actually read Blackwell, Kelly and Power (1987), it explicitly said that they did *not* prove that result. In the *introduction*. (The result was correct […]
mathstodon.xyz
Original post on mathstodon.xyz
100 1
Reposted by Pozorvlak
Sam Stokes @five-eights.com · 07/10/2026
Coding agents reduce software development to a simple matter of: * specifying requirements * verifying correctness and quality * maintaining and operating software you didn't write As we all know, those have always been the easiest, most well-understood parts of the craft, so everything is fine!
214279 142
Pozorvlak @pozorvlak.mathstodon.xyz.ap.brid.gy · 08/10/2026
Does any of the OpenAI maths have real-world consequences? joehalliwell.com/posts/openai-maths…
joehalliwell.com
Does any of the OpenAI maths have real-world consequences? – Joe Halliwell
OpenAI just shocked the maths community by releasing a torrent of papers that felled prize problems and answered foundational questions across a dozen fields. But does any of it matter outwith the halls of academe?
000 0
Pozorvlak @pozorvlak.mathstodon.xyz.ap.brid.gy · 08/10/2026
OK, gonna stick my neck out. I think there is a good chance we will see a claimed solution to Hodge and maybe BSD by the start of #BigMathsJam. I would be shocked if we saw solutions to PvNP or Riemann. I have no strong opinion on Yang-Mills.
mathstodon.xyz
100 1
Reposted by Pozorvlak
Misinformation-Superhighwayman @damienwise.aus.social.ap.brid.gy · 08/10/2026
Vale Margaret Hamilton. She was a Software Engineer. She was the _first_ Software Engineer because she defined the term, Software Engineering: "When I first came up with the term, no one had heard of it before, at least in our world. It was an ongoing joke for a […] [Original post on aus.social]
A B&W photo of a person standing next to a stack of printed paper as high as the top of their head. This is Margaret Hamilton, at work as a Software Engineer and the leader of a team of extremely specialised programmers who worked for NASA. The photo was taken in 1969, and it shows a physical form if her work since she joined the Apollo project in 1965 (she joined at the age of 29 by my calculation). My interpretation of the expression on her face is a mix of pride and mild amusement.  She has glasses, long, straight hair, and neat office attire. Margaret Hamilton has her hands placed gently on the stack of printouts to keep it all balanced upright. The pages appear to be arranged in bundles, ranging from 8-10 centimetres thick, to 20cm thick or more. The resulting stack of printouts is physically impressive for being an unusual feat, and it represents something even more impressive: it's the printed form of the source-code she and the team she led wrote for the NASA Apollo project. Their software ran on the Apollo Guidance Computer that was that on board each Apollo command module and Apollo Lunar Module. The Apollo Guidance Computer onboard the Eagle was an essential flight instrument for Neil Armstrong when he piloted the craft to land on the surface of the moon.
116125 125
Reposted by Pozorvlak
Chris Martin @chris--martin.functional.cafe.ap.brid.gy · 07/10/2026
Claude is down and I am typing with my hands like a fucking cave man
001 1
Pozorvlak @pozorvlak.mathstodon.xyz.ap.brid.gy · 07/10/2026
I'm surprised to see P vs NP take an early lead - I thought it was the furthest out of reach! I'd guess that BSD would be the next to fall. OpenAI have already made progress on special cases, and (AIUI) it exists at the intersection of arithmetic and algebraic geometry, so machines which can […]
mathstodon.xyz
Original post on mathstodon.xyz
000 0
Pozorvlak @pozorvlak.mathstodon.xyz.ap.brid.gy · 07/10/2026
TIL Yersinia pestis claims *three* of the top-ten spots for "deadliest pandemics in human history": en.wikipedia.org/wiki/List_of_epide…
000 0
Reposted by Pozorvlak
robinhouston @robinhouston.mathstodon.xyz.ap.brid.gy · 01/10/2026
Absolutely amazing progress on short superpermutations from Jay Pantone and his AI collaborators: github.com/jaypantone/superperm-upp… This breaks the existing records for all n > 7. Here is a superpermutation on 8 symbols of length 46,181 – a lot shorter than any that was […]
mathstodon.xyz
Original post on mathstodon.xyz
001 1
Reposted by Pozorvlak
daniel:// stenberg:// @bagder.mastodon.social.ap.brid.gy · 07/10/2026
Buckle up. One of the pending #curl CVEs that we publish next week is graded severity HIGH. Considered the worst flaw found in curl in several years. Yes, found with AI.
43837 38
Reposted by Pozorvlak
David Penfold :verified: @davep.infosec.exchange.ap.brid.gy · 06/10/2026
At the hotel reception I said "I'm awfully sorry, I forgot what room I'm in". "No problem sir" the lady said. "This is called 'The Lobby'".
0734 34
Reposted by Pozorvlak
robinhouston @robinhouston.mathstodon.xyz.ap.brid.gy · 06/10/2026
There's an amazing new result in algorithmic complexity today. 3SUM is the problem: given a list of n numbers – there are different versions of the problem, depending on whether the numbers have to be integers or not – determine whether three of them sum to zero. There is an O(n²) algorithm […]
mathstodon.xyz
Original post on mathstodon.xyz
002 2
Reposted by Pozorvlak
robinhouston @robinhouston.mathstodon.xyz.ap.brid.gy · 06/10/2026
This is not my fight, but I don’t at all relish the prospect of the criteria by which mathematicians are judged becoming subjective ones. That opens the door to so much potential corruption that it makes my heart sink to think of it.
mathstodon.xyz
001 1
Pozorvlak @pozorvlak.mathstodon.xyz.ap.brid.gy · 06/10/2026
It's been another exciting week in the minimal superpermutation community! Jay Pantone, building on work by Hunter and Raudvere, found a new constructive upper bound and improved on SOTA for n>7; since then others have been splitting the results of his construction into continuous runs of […]
mathstodon.xyz
Original post on mathstodon.xyz
000 0
Reposted by Pozorvlak
Moof! 🏳️‍🌈 @moof.space · 05/10/2026
It occurs to me that a lot of people reading me here may not actually grasp how _normal_ international trains are in this part of the world. Want to take a train from Mannheim to Karlsruhe? You can hop on the train to Zürich. Want to go from Berlin to Dresden? You should absolutely go on the […]
cupoftea.social
Original post on cupoftea.social
102 2
Pozorvlak @pozorvlak.mathstodon.xyz.ap.brid.gy · 05/10/2026
OMFG! www.radiotimes.com/tv/drama/bbc-the… Though personally I'm holding out for The Other Price Sister, in which Susan Price shows up at Mansfield Park swearing like a Marine, licks all the Bertrams and Crawfords […]
mathstodon.xyz
Original post on mathstodon.xyz
100 1
Pozorvlak @pozorvlak.mathstodon.xyz.ap.brid.gy · 04/10/2026
Hannah Fry learns kendama, using a specially-designed kendama machined by Adam Savage himself: youtu.be/0gg7WYhQJkk FAO @TheVoidTLMB
100 1
Pozorvlak @pozorvlak.mathstodon.xyz.ap.brid.gy · 04/10/2026
#nowplaying the 1981 BBC miniseries of Sense and Sensibility (as distinct from the 1971 and 2008 BBC miniseries of same). Currently two episodes in, and both Brandon and Willoughby have left Devonshire, so we're rattling through the plot. Marianne (Tracey Childs) is suitably over-the-top, but […]
mathstodon.xyz
Original post on mathstodon.xyz
000 0
Pozorvlak @pozorvlak.mathstodon.xyz.ap.brid.gy · 04/10/2026
It turns out quite a few Bollywood movies have been filmed in Scotland! static.visitscotland.com/pdf/bollyw…
mathstodon.xyz
100 1
Pozorvlak @pozorvlak.mathstodon.xyz.ap.brid.gy · 04/10/2026
I just pledged to keep humans in control of AI. Join me. #TeamHuman teamhuman.org
teamhuman.org
#TeamHuman: Keep Humans in Control of AI
AI could be the best thing that ever happens to humanity. It could also be the last. Add your name.
000 0