Sign in

DougMerritt (log😅 = 💧log😄)

@dougmerritt.mathstodon.xyz.ap.brid.gy
24 followers 3 following 1.3K posts

I'm a philomath (many interests; call it polymath-wanna-be) professional computer programmer in Silicon Valley, specializing in operating systems […] 🌉 bridged from ⁂ mathstodon.xyz/@dougmerritt, follow @ap.brid.gy to interact

PostsRepliesMedia
Reposted by DougMerritt (log😅 = 💧log😄)
Petr Tesařík @ptesarik.infosec.exchange.ap.brid.gy · 1h
I love it how @ljs makes an attempt at restoring real English. For example, »schloppen« sounds almost like a word by Chaucer: And smale folkes maken melodye That schloppen al the nyght with open ye (So priketh hem nature in hir corages).
101 1
Reposted by DougMerritt (log😅 = 💧log😄)
Benjamin Geer @benjamingeer.piaille.fr.ap.brid.gy · 3h
All LLM behaviour is undefined behaviour.
infosec.exchange
001 1
Reposted by DougMerritt (log😅 = 💧log😄)
Roger Crew✅❌☑🗸❎✖✓✔ @wrog.mastodon.murkworks.net.ap.brid.gy · 12h
TIL: "thagomizer" is now an actual technical term used in paleontology, referring to the distinctive collection of tail spikes on a stegosaurus that do, in fact, appear to have been used as weapons. (This was *not* the case when Gary Larson first coined the term in 1982. Evidently, there had […]
mastodon.murkworks.net
Original post on mastodon.murkworks.net
201 2
Reposted by DougMerritt (log😅 = 💧log😄)
oschene @oschene.mastodon.social.ap.brid.gy · 19h
The importance of the random cannot be overestimated. @RandomRadioBot
001 1
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 16/10/2026
@raster > Archivist of archaic games. > Archeologist of ancient computers. Public or private?
000 0
Reposted by DougMerritt (log😅 = 💧log😄)
Tom Lyon ✅ @aka-pugs.mastodon.social.ap.brid.gy · 16/10/2026
Will the AI bubble be like the dot com bubble? Probably worse: blog.dshr.org/2026/10/dark-gpus.html
blog.dshr.org
Dark GPUs
--- Laying dark fiber Stealth Communications CC-BY-SA Wikipedia's _Dark Fibre_ article starts: > Dark fibre originally referred to the potential network capacity of telecommunication infrastructure. Because the marginal cost of installing additional fibre optic cables is very low once a trench has been dug or conduit laid, a great excess of fibre was installed in the US during the telecom boom of the late 1990s and early 2000s. This excess capacity was later referred to as _dark fibre_ following the dot-com crash of the early 2000s that briefly reduced demand for high-speed data transmission. > > These unused fibre optic cables later created a new market for unique private services that could not be accommodated on _lit_ fibre cables (i.e., cables used in traditional long-distance communication). Many are analogizing the current AI bubble to the dot-com era, pointing out that although the dark fiber eventually became very valuable infrastructure, the companies that invested in laying it suffered. Wikipedia notes that the buildout: > was based on the assumption that telecoms traffic, particularly data traffic, would continue to grow exponentially for the foreseeable future. The advent of wavelength-division multiplexing reduced the demand for fibre by increasing the capacity of a single fibre by a factor of as much as 100. > > According to Gerry Butters, the former head of Lucent Technologies's Optical Networking Group at Bell Labs, the amount of data that could be carried by an optical fibre was doubling every nine months at the time. This progress in the ability to carry data over fibre reduced the need for more fibres. As a result, the wholesale price for data communications collapsed and a number of these companies filed for bankruptcy protection. Global Crossing and Worldcom are two high-profile examples in the United States. The analogy being suggested is that the AI data centers will eventually be valuable infrastructure even if delays in construction and lack of real demand mean that the companies building them will suffer. Below the fold I investigate this analogy. ### Flawed Analogy There are some significant problems with the analogy between dark fiber and AI data centers: * **Depreciation** : Decades later the fiber in the ground was still fully functional. The capacity could be sold for very little additional investment. Estimates are that about 40% of the cost of an AI data center is the physical infrastructure (buildings, power connections, cooling, etc.) which might still be useful a decade later. But 60% of the cost is the (mostly Nvidia) racks full of state-of-the-art chips. --- Source Companies typically depreciate their racks linearly over 5 or 6 years. But, as I wrote in _Mind The GAAP Again_ and its predecessors, this is unrealistic. Because: * There is intense price competition in AI. * Power is a major cost of both inference and training. Power effectively sets the price floor for inference. * Each technology generation improves power efficiency by a significant factor. * Thus the profit from running a rack doesn't decay linearly, but _exponentially_. * Thus racks more than a couple of generations old are uneconomic. * Nvidia has announced that they plan to move from a two-year product cadence to a one-year product cadence. * **Overproduction** : Wikipedia correctly notes what drove the massive overproduction of dark fiber: > Because the marginal cost of installing additional fibre optic cables is very low once a trench has been dug or conduit laid, a great excess of fibre was installed Building data centers does not have the same low marginal cost. While it is true that there are economies of scale in construction driving up the size of AI data centers, these are both much smaller than for laying fiber and apply only to the smaller part of the overall cost. * **Carrying Costs** : The fiber in the ground required very little maintenance. The physical infrastructure of unused AI data centers could survive until eventual re-use only with significant maintenance costs. * **Technology evolution** : Developments in optical technology increased the capacity of the unused fiber with no additional investment. The evolution of AI racks has meant that data centers built a few years ago cannot host current racks, and that the design of data centers for Nvidia's future racks is a research problem. Dark fiber thus had two important attributes that AI data centers lack; the surplus initial capacity was both long-lived and cheap. ### Construction Delays Building and activating an AI data center is a much bigger, more expensive and long drawn-out task than digging a trench and laying a cable in it. This problem grabbed the headlines when, as Sridhar Natarajan _et al_ reported, _Oracle Cites ‘Force Majeure’ to Shield Itself on Controversial Data Center_. Almost two years into the project: > the campus designed to handle 2.45 gigawatts — enough electricity to power roughly 1.8 million homes at any given moment — has hit serious setbacks including the denial of a permit key to its plans for energy resources. It’s becoming a symbol of the growing backlash against the broader AI data center boom and a political flashpoint ahead of the US midterm elections that threatens to turn races into referendums over the build-out. The amount of "construction in progress" for the hyperscales, representing data centers they are struggling to bring on-line, is enormous. Ed Zitron writes: > Considering Oracle’s CIP number from its latest quarterly earnings was at $48.5 billion and Google’s Q2 2026 “assets not yet in service” were at an astonishing $122.8 billion, up from $108.5 billion in Q1 2026 and $78.5 billion at the end of 2025, it’s reasonable to believe that Microsoft has at _least_ $50 billion of construction in progress. I also think it’s fair to assume that Amazon has, since the beginning of 2026, added at least $25 billion to CIP, though we’ll find out at the end of the year. Zitron quotes a Frebruary 2026 estimate from Sightline Climate: > We’re tracking 190GW across 777 large data centers and AI factories (>50MW) announced since 2024. At least 16GW of capacity is slated to come online in 2026 across roughly 140 projects. Yet only about 5GW is currently under construction. Around 11GW remains in the announced stage with no visible construction progress, despite typical build timelines of 12–18 months. Anyone who has built themselves a house will understand that construction takes longer than it takes. ### Overproduction Of course, only 40-50% of this "construction in progress" is actual construction, the rest is the racks. There are two ways to estimate what proportion of the racks Nvidia has shipped are actually powered on in a data center as opposed to sitting in a warehouse waiting for the construction to stop being "in progress". Ed Zitron bases his estimate on the financial picture. He adds up the "construction in progress" and assumes 50% is the racks: > if we assume the number is roughly $374 billion, plus (at minimum) $50 billion from Microsoft, plus another (at minimum) $20 billion from Amazon, that puts us around $444 billion, with Google’s share — $120.8 billion — being 60% GPUs and related hardware, for a total of $72.48 billion, putting us at ... **an estimated $234 billion in GPUs and TPUs sitting in warehouses**. He goes on to compare this $234B number with the value of the racks sold since the start of 2023, which he estimates at $561.5B. Clearly, the systems that shipped early in this time-span are likely to have been powered up, so he estimates that around 50% of recent shipments are idle. He looks in detail at Microsoft's financials and and estimates: > Nadella mentioned in November 2025 that he had “...a bunch of chips sitting in inventory that [he couldn’t plug in],” but didn’t make any mention of how many there were. > > In other words, Microsoft is warehousing anywhere from $50 billion to $100 billion in GPUs, and has barely gotten $50 billion worth installed in the last four years. > > If Microsoft is struggling, everybody’s struggling, and we may have a very inconvenient truth: that NVIDIA has potentially sold hundreds of billions of GPUs years in advance. --- Source The other way to estimate this proportion is to compare the power demand of the racks that have been shipped to the data centers that are supposed to house them. In _OK, so where are all these data centres?_, Bryce Elder wrote: > A theme we’ve touched on a few times is the mismatch between consensus forecasts for chip sales and US data centre completions. > > Morgan Stanley measured the gap earlier this week by estimating the shortfall in available power, concluding that more than half of the GPU servers sold between 2026 and 2028 might not have anywhere to be plugged in. New research from Jefferies analysts reaches a similar conclusion using a very top-down method: space. > > Tracking US data centre construction sites by satellite imagery shows between 16 and 18 gigawatts of gross capacity that can be energised this year, the broker says, citing SynMax Intelligence. (Gross capacity means the site’s all-in power requirement, not just the draw for IT equipment.) > ... > In the longer term, power availability is still the bottleneck — along with labour. And transformers. And cooling equipment. And backup generation. As Jefferies says: “The gap between planned capacity and physical execution remains the central issue.” Thus there is an emerging consensus that something like a quarter of the AI investment boom is going into rapidly depreciating equipment quite unlike the dark fiber. ### Demand Overestimation The frontier labs and the hyperscalers claim that there is overwhelming demand for AI compute, which justifies the planned AI data center buildout. But the frontier labs are private and don't publish audited numbers to back up their claims. The hyperscalers are public but their accounts don't include explicit numbers for their AI compute. Nvidia is public and its audited accounts reveal the number of AI systems it shipped each quarter. So the easy way to estimate the demand for AI compute is to base it on Nvidia's shipments. There are three problems with such estimates. Assume this estimate is D and the real demand from end-users is D': * As we have seen, it appears that about half of Nvidia's shipments go to a warehouse not a data center. Thus D' = D/2. * Ed Zitron estimates that 80% of D comes from OpnAI and Anthropic. So D/10 comes from other sources, which we will generously assume is all end-user demand. * In _Thoughts on The Curve and the Future of AI_ Thomas Wright reported an estimate: > that the labs spend 58% of their compute on R & D and 32% on servicing customers. Thus the labs end-user demand is D*0.8*0.32, or about D/4. Adding these, we have D' = D*0.35. The real end-user demand is likely only around 1/3 of the estimates. --- Source If there was overwhelming demand from customers, one would expect that the vendors would have pricing power. But in _What’s really going on with AI token price deflation?_, Bryce Elder points out that they don't: > The data [Jay Goldberg] collects shows a similar pattern to the Silicon Data index, with token prices plunging for frontier LLMs from $50 per million tokens in late 2023 to about $6 now. More interestingly, he finds the median token price has held fairly steady at just below $1 per million since mid-2024 as the LLM marketplace became more competitive. A floor price of about $0.11 (basically just the cost of electricity) has barely budged. @arakharazian tweets data from Ramp:: > AI Spend FALLS in the latest Ramp AI Index. > > Price cuts at the frontier, in addition to cheaper and more efficient models at standard and lite levels, are pushing down the cost of using AI. > Open source models remain <5% of business spend. This decline in spend is driven almost exclusively by competition between OpenAI + Anthropic The Ramp data does show increased token volume, but flat to decreasing spending. The increased colume is likely due to successive models burning more tokens per query. ### Market Reaction We now have some evidence showing how the big banks rate GPUs as collateral for loans, i.e. how useful they are likely to be down the road. On 5th October Paula Seligson and Gowri Gurumurthy reported that _JPMorgan Dangles 11% Yield on Volta’s $5 Billion AI Loan Sale_: > JPMorgan Chase & Co. is pitching a yield of about 11% on a $5 billion leveraged-loan sale on behalf of Volta Infrastructure Holdings Ltd., one of the highest borrowing costs seen in the market for risky debt that’s become popular for financing the AI boom. > ... > A $3.7 billion chip loan will be used to purchase about 36,000 graphics processing units, or GPUs, made by Nvidia Corp., according to the people. A $1.3 billion loan will cash collateralize a letter of credit for a data center lease, meaning the money will be held in an account and used to make lease payments to Bitdeer to use the data center, the people said. 11% is a pretty high interest rate, indicating a signinificant risk of default. A week later Claire Ruckin reported that _JPMorgan, Goldman Curb Exposure on $5 Billion Volta AI Loan_: > JPMorgan Chase & Co. and Goldman Sachs Group Inc. have taken a rare move to limit their exposure on a $5 billion loan sale for AI startup Volta Infrastructure Holdings Ltd. as investors demand higher yields for risky debt tied to the artificial intelligence boom. > > The two banks are leading the loan offering for Volta, a new artificial intelligence cloud company. The banks have underwritten a $1.3 billion term loan for Volta, while a $3.7 billion chip loan is not underwritten by the banks — a move to protect themselves from potential risks, according to people familiar with the deal. In other words, these banks are happy to lend at 11% against cash collateral, but not at 11% against GPU collateral. The loan is said to be oversubscribed, but the part with GPU collateral is for the private credit suckers. --- Source 11% may not be that high after all. On 14th October Rachel Graf and Katherine Schwartz reported that _CoreWeave’s Bonds Turn Distressed, Drawing ‘Yikes’ From Musk_: > The AI cloud-computing provider’s unsecured debt due in 2032 traded below 80 cents on the dollar on Wednesday, according to Trace pricing data. That’s widely considered the threshold for when a borrower is financially strained. > > At that price, the bonds yield more than 15% — a figure noted by Palihapitiya that led Musk to respond “yikes” on his social media platform. > > Shares of the company, which rents out access to leading AI chips, fell as much as 17% on Wednesday. Even though its bonds are trading at distressed levels, CoreWeave’s stock is up more than 60% since its initial public offering in March 2025 and its market value is more than $36.5 billion. Ruckin noted that: > CoreWeave’s credit-default swaps are back at a record high, and at current levels are pricing in a more than 50% chance of default within the next five years. CoreWeave is the original "neocloud". As I understand it, its assets against its debts are (a) a set of commitments from companies like Microsoft and Oracle to pay for future access to compute, and (b) a set of data centers full of GPUs. The market is betting that these assets won't be "money good" in the near future. ### Coda: A Sun Microsystems Story Nvidia is just the most successful of the vast number of companies spawned by Sun Microsystems. In the run-up of the dot-com bubble Sun's Starfire systems powered the Web the way Nvidia's GPUs power AI today. But this market dominance was a double-edged sword. Once the dot-com bubble burst, the bankrupt Web companies flooded the market with barely-used Starfire systems. So not merely did much of the customer base vanish, but the remaining customers bought from the second-hand market at huge discounts. Demand for new systems collapsed, and Sun never really recovered. That's not the only reason Sun died. Scott McNealy admitted in a fascinating podcast that during the boom he lost control of Sun's spending. It is hard to maintain discipline when you are being flooded with cash. Once the bubble bursts, Nvidia will face a similar problem. First, their customers will stop ordering new racks, because: * Companies like CoreWeave that exist to get debt off the AI companies' balance sheets will be bankrupt because their customers can't afford their commitments. * The assets of these bankrupt companies will be sold off at a loss, flooding the market with barely-used data centers and stopping construction of new ones. * It has proven harder than expected to build data centers quickly because of public opposition, lack of skilled tradespeople, difficulties in securing power and so on. Thus it is likely that there will be warehouses full of Nvidia racks that were waiting for a data center to be built when the bubble burst. These unused racks will also be sold off, crashing the price of the barely-used ones further. Second, in some ways the problem will be worse for Nvidia than Sun. Nvidia will have invested heavily in developing and securing wafer slots for their next-generation GPUs. Although these will be faster and more power-efficient than those in the written-down data centers, they won't be able to compete on price-performance. The pipeline between committing to a new design and market entry is now much longer than it was in the '90s. Nvidia will have relatively more capital tied up in the product pipeline than Sun did.
012 2
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 16/10/2026
@richardelwes You are again the cause of merriment, celebration, and excitement!
000 0
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 15/10/2026
@freedosproject Possibly you've always known about this? FYI: The Costa GUI Costa is a small and lightweight application which runs on top of MS-DOS or compatible operating systems. It replaces the DOS-prompt with a clean, user-friendly interface - a so-called GUI (Graphical User Interface) […]
mathstodon.xyz
Original post on mathstodon.xyz
002 2
Reposted by DougMerritt (log😅 = 💧log😄)
Tom Lyon ✅ @aka-pugs.mastodon.social.ap.brid.gy · 14/10/2026
Arrived just in time for Ada Lovelace day! buddybindery.com/products/ada-lovel…
103 3
Reposted by DougMerritt (log😅 = 💧log😄)
Tom Lyon ✅ @aka-pugs.mastodon.social.ap.brid.gy · 12/10/2026
OTD 2011, we lost Dennis Ritchie. R.I.P.
134 4
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 11/10/2026
@smashedratonpress FYI
mathstodon.xyz
000 0
Reposted by DougMerritt (log😅 = 💧log😄)
Glyph @glyph.im · 10/10/2026
this is the perfect metaphor to understand the distinction between AI doomer concerns versus AI skeptic concerns
furry.engineer
0067 67
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 10/10/2026
@freedosproject FYI (Kiesel: JavaScript engine written in Zig; multi-platform.) > ...Other notable mentions: the long-anticipated DOS port finally became reality thanks to dos.zig being revived linus.dev/posts/kiesel-devlog-15
mastodon.social
011 1
Reposted by DougMerritt (log😅 = 💧log😄)
theHigherGeometer @highergeometer.mathstodon.xyz.ap.brid.gy · 10/10/2026
"A senior colleague of mine found one of his favourite problems among those solved and attempted to read the accompanying paper. He told me it was so unintelligible that, had he received it as an editor at a mathematics journal, “it would have gone straight into the bin”. —Melissa Lee, Monash […]
mathstodon.xyz
Original post on mathstodon.xyz
3644 44
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 10/10/2026
The authors were interviewed on BBC news just now (Sat Oct 10 9:45 am PDT). Very reasonably, they emphasized that no one knows whether LLMs actually experience things or not, just that they have these interesting indicators from within their workings.
000 0
Reposted by DougMerritt (log😅 = 💧log😄)
RanaldClouston @ranaldclouston.fediscience.org.ap.brid.gy · 10/10/2026
#GardnerDozois must be the most reliable name in short sci fi; for more than three decades straight he read every professional publication in the field and published 600 pages of his favourites. His 2011 collection is not the best I've read - it even has one […] [Original post on fediscience.org]
The Year's Best Science Fiction: Twenty-Ninth Annual Collection, edited by Gardner Dozois. Also released as The Mammoth Book of Best New SF 25.
012 2
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 10/10/2026
A rather different kind of UI: The Lightbulb Computer: a device that combines a projector with computer vision, in the shape of a large lightbulb lightbulbcomputer.com Or video presentation: www.youtube.com/watch?v=0R-9qkjPEqg
lightbulbcomputer.com
The Lightbulb Computer — Reimagining Spatial & Ambient Computing with Projectors
A new direction for computing: projecting information into the real world to augment it, with a device that combines a projector and computer vision in the shape of a large lightbulb.
000 0
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 10/10/2026
"Programs must be written for people to read, and only incidentally for machines to execute." Harold Abelson, Structure and Interpretation of Computer Programs, 1984
001 1
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 10/10/2026
"We are not trying to meet some abstract production quota of definitions, theorems and proofs. The measure of our success is whether what we do enables *people* to understand and think more clearly and effectively about mathematics." -- William Thurston, "On proof and progress in mathematics" […]
mathstodon.xyz
Original post on mathstodon.xyz
000 0
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 09/10/2026
“Robot” Is A Social Construct: Why Your Dishwasher Is Not A Robot robotgirlgang.com/2026/10/08/robot-…
robotgirlgang.com
"Robot" Is A Social Construct: Why Your Dishwasher Is Not A Robot - Robot Girl Gang
The most effective way to nerd snipe a roboticist is to present them with a controversial definition of a "robot"
101 1
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 09/10/2026
@ed1conf Still required course material!
100 1
Reposted by DougMerritt (log😅 = 💧log😄)
Chris Purcell @ccppurcell.mathstodon.xyz.ap.brid.gy · 07/10/2026
When I'm thinking about AI in mathematics I end up thinking about the moon landings. It's not a perfect analogy. But there are some parallels. We tend to look back at them as a somewhat collective achievement of humanity; we're right to, I think. But the concentration of wealth in one place due […]
mathstodon.xyz
Original post on mathstodon.xyz
105 5
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 09/10/2026
The attention to detail in this stop-motion no-AI animation is remarkable; beautifully done. "Mrs. Apple's recipe — Strawberry cake"
mastodon.social
100 1
Reposted by DougMerritt (log😅 = 💧log😄)
Jan Schaumann @jschauma.mstdn.social.ap.brid.gy · 08/10/2026
In 1981, Ned Block described a branch predicting algorithm to determine "sensible strings" for a dialog beyond Eliza. "Could the issue of whether a machine in fact thinks or is intelligent depend on how gullible human interrogators tend to be? [...] I conclude that the capacity to emit sensible […]
mstdn.social
Original post on mstdn.social
002 2
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 08/10/2026
LLMs do not *experience* anything, no matter what one believes about their abilities. So I find the following research alarming (in how it may influence people inadvisedly), which implicitly assumes that LLMs *can* experience (pain, if nothing else) without even explicitly raising the question […]
mathstodon.xyz
Original post on mathstodon.xyz
000 0
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 08/10/2026
> More generally, this work shows how to add full-fledged union types to functional languages of the ML family that usually rely on the Hindley-Milner type system
mendeddrum.org
000 0
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 08/10/2026
@smashedratonpress Nostalgia: The Commodore 64 Keyboard Font, For Everyone hackaday.com/2026/10/07/the-commodo…
hackaday.com
The Commodore 64 Keyboard Font, For Everyone
There are some classic fonts which appeared in one place and became almost iconic, yet never made it into the digital age. The font on the Commodore 64 keyboard for …read more
000 0
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 07/10/2026
@skewray Hey, Carnival of Maths referenced your work, huzzah! P.S. I myself prefer the term "Sketchy Proof Sketchy" for added symmetry, but each to their own.
mathstodon.xyz
000 0
Reposted by DougMerritt (log😅 = 💧log😄)
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
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 06/10/2026
@regehr FYI, or perhaps more likely, someone you know? Looks cool. > Bidirectional Type Slicing > Development tools report what type an expression has, but not why it has that type. This paper develops a theory of type slicing: a programmer selects a term, queries any part of its type […]
mathstodon.xyz
Original post on mathstodon.xyz
000 0
Reposted by DougMerritt (log😅 = 💧log😄)
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
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 06/10/2026
@aartaka FYI
ieji.de
000 0
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 03/10/2026
RE: mendeddrum.org/@fanf/11737820852034… @aartaka FYI > Writing the Cyclone Scheme Compiler > Revised for 2017 > by Justin Ethier > This write-up provides a high level background on the various components of Cyclone and how they were written […]
mathstodon.xyz
Original post on mathstodon.xyz
000 0
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 02/10/2026
RE: fosstodon.org/@homeassistant/117372… > post by finity > I think it’s funny that the new acronym for Home Assistant Link is going to be HAL. All we have to wait for now is version 9000 and admit that the sci-fi prediction might come true. The AI robot overlord won’t be […]
mathstodon.xyz
Original post on mathstodon.xyz
000 0
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 02/10/2026
RE: discuss.systems/@irene/117372390446… > Arrakis: TheOperatingSystemistheControlPlane > Abstract > Recent device hardware trends enable a new approach to the design of network server operating systems. In a traditional operating system, the kernel mediates access to device […]
mathstodon.xyz
Original post on mathstodon.xyz
000 0
Reposted by DougMerritt (log😅 = 💧log😄)
🇺🇦 haxadecimal 🚫👑 @brouhaha.mastodon.social.ap.brid.gy · 02/10/2026
A sepulchral voice reverberating through the cave, says, "Cave closing soon. All adventurers exit immediately through main office."
101 1
Reposted by DougMerritt (log😅 = 💧log😄)
theHigherGeometer @highergeometer.mathstodon.xyz.ap.brid.gy · 02/10/2026
Subtoot: I wouldn't mind if an AI company did do what some suggest and dumped all the data on the solved problems, as long as they did it with some amount of humility: no person inside OpenAI could form any sort of expert opinion on the Navier–Stokes work, and then (I believe) tried to […]
mathstodon.xyz
Original post on mathstodon.xyz
012 2
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 02/10/2026
Another Look at Provable Security We wish to emphasize that we are not opposed to proofs in cryptography. Mathematical proofs have their place. What we are opposed to is the misleading hype that often accompanies them. We believe that designers of protocols would be on more solid ground if they […]
mathstodon.xyz
Original post on mathstodon.xyz
000 0
Reposted by DougMerritt (log😅 = 💧log😄)
Matt Blaze @mattblaze.federate.social.ap.brid.gy · 27/09/2026
A subset (I want to believe a small minority) of people in the current AI industry seem to be part of some kind of wacky AI death cult, driven by a bizarre belief in a mission to create uncontrollable agents of a technological apocalypse. And then there are the rest of us, who retain the […]
federate.social
Original post on federate.social
4211 11
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 27/09/2026
@screwlisp Gopher browser on a DIY ESP32 microcontroller PDA hackaday.com/2026/09/26/cheap-yello…
hackaday.com
Cheap Yellow Display Dreams of PDA
Everybody loves the Cheap Yellow Display (CYD) ESP32 dev boards, so why not treat yours to a little PDA? That’s right: turn it into a Portable Digital Assistant and relive …read more
000 0
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 25/09/2026
> Your FPGA design can now take advantage of the VHDL components developed at CERN > colibri: CERN VHDL Common Library released for Everyone to Use > 18 September 2026 > CERN Open Hardware Licence – Weakly Reciprocal 2.0. > […]
mathstodon.xyz
Original post on mathstodon.xyz
011 1
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 22/09/2026
What Sun got wrong Sep 20, 2026 bcantrill.dtrace.org/2026/09/20/wha…
bcantrill.dtrace.org
What Sun Got Wrong
Comments
000 0
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 20/09/2026
Generalizing Catalan paths by allowing horizontal steps, Motzkin numbers satisfy the linear recurrence $(n+2)M_n = (2n+1)M_{n-1} + 3(n-1)M_{n-2}$, allowing fast sequential calculation up to $N$.
000 0
Reposted by DougMerritt (log😅 = 💧log😄)
robinhouston @robinhouston.mathstodon.xyz.ap.brid.gy · 19/09/2026
A nice essay from Grant Sanderson @grant, part of the ongoing series of guest posts on @tao's blog: terrytao.wordpress.com/2026/09/18/i…
terrytao.wordpress.com
If math is more than proof, we need to better celebrate the rest of it
[This is a guest post by Grant Sanderson. This blog post was initially written in a different file format and converted using AI. — T.] A sentiment echoing throughout the mathematics community right now is that solving problems and generating proofs have always served as proxies for the true goal of mathematicians, which is to […]
022 2
Reposted by DougMerritt (log😅 = 💧log😄)
oschene @oschene.mastodon.social.ap.brid.gy · 19/09/2026
It was not growing up with the Mercator projection, as such, but growing up playing the manifestly zero-sum board game, Risk, that gave him the exaggerated notion of Greenland's strategic importance. Note that it borders three other nations. You may think […] [Original post on mastodon.social]
The game-board from the Parker Brothers game, Risk (circa 1960).
032 3
Reposted by DougMerritt (log😅 = 💧log😄)
Jan Schaumann @jschauma.mstdn.social.ap.brid.gy · 19/09/2026
"How To Write With An LLM" sockpuppet.org/blog/2026/09/17/how-… A problem I see is that of course this way of writing is still work and takes time, care, and attention -- exactly what most people using an LLM here are seeking to avoid. Those who _do_ put in this […]
mstdn.social
Original post on mstdn.social
101 1
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 19/09/2026
> AI Is an Elite Crime Spree > > Documents show a Microsoft exec called AI the "largest theft of labor in human history.” New AI regulations are besides the point, the problem is we don’t apply existing laws to the powerful. www.thebignewsletter.com/p/ai-is-an…
000 0
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 19/09/2026
RE: mstdn.ca/@teledyn/117298464827631468 > ...an analysis found that 93% of ChatGPT-generated medical references were fabricated or inaccurate (1). However, we argue that AI presents a more insidious risk for science than hallucinations—namely, AI-generated content that *resembles* the […]
mathstodon.xyz
Original post on mathstodon.xyz
000 0
Reposted by DougMerritt (log😅 = 💧log😄)
Ray Lee @4raylee.mathstodon.xyz.ap.brid.gy · 18/09/2026
I wonder if I could teach the git source control tool to physicists by telling them (a bit tongue in cheek) that it's a discrete symplectic manifold: where an element called "a commit" caries both the entire state of the system at that point, as well as the evolution between it and the previous […]
mathstodon.xyz
Original post on mathstodon.xyz
102 2
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 18/09/2026
RE: ieji.de/@vnikolov/117293039439013487 I've always loved that humor. I know @ed1conf has seen it a million times but I'm linking them to this full original copy anyway: From: patl@athena.mit.edu (Patrick J. LoPresti) Subject: The True Path (long) Date: 11 Jul 91 03:17:31 GMT Path […]
mathstodon.xyz
Original post on mathstodon.xyz
100 1