Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Brad Heintz

@bradheintz@mathstodon.xyz
mastodon 4.7.2
  • Open on mathstodon.xyz

Masters student in Mathematics at Indiana State University. In my 50s. 30 years of experience as a software engineer. My mathematical interests are primarily in number theory and its modern subfields, but my tastes are broadening the more I learn.

BLM. Trans rights are human rights. Vaccines work. None of these things are controversial among decent people.

49 Followers
58 Following
16 Posts
Joined June 06, 2024
Pronouns:
he/him
Open post
Brad Heintz @bradheintz@mathstodon.xyz
· 6mo ago

I just read that Meta has an internal leaderboard for LLM token usage, and I really can't imagine a less thoughtful, less useful status metric. Even assuming that the tokens are being used productively and efficiently (which they are most certainly not since the introduction of the leaderboard)... Do race drivers celebrate using the most fuel, for its own sake? Or might we rightly regard someone who did that as being focused on the wrong things, and maybe also kind of a dumbass? #AI #GenAI #LLMs #SoftwareEngineering

mathstodon.xyz

Mathstodon

21
2
12
0
Open post
Brad Heintz @bradheintz@mathstodon.xyz
· 4mo ago

Studying p-adic numbers with Phineus tonight.

#CatsOfMastodon #Math

mathstodon.xyz
10
0
1
0
Open post
Brad Heintz @bradheintz@mathstodon.xyz
· 5mo ago
Replying to
@julesh I dislike the term because it suggests derangement or an unexpected behavior, when non-factual output is not just expected, but provably unavoidable with current architectures. The word implies that a state of correctness is normal, when it is merely statistically more common than "hallucination”.
3
0
0
0
Open post
Brad Heintz @bradheintz@mathstodon.xyz
· 3mo ago
Replying to
@mrdk@mathstodon.xyz @passenger@kolektiva.social @inthehands@hachyderm.io Limericks should mutate. 👍🏻
1
0
0
0
Open post
Brad Heintz @bradheintz@mathstodon.xyz
· 6mo ago
Replying to
@baldur I keep seeing the "moving fast" excuse for the trash code, as if working with code in that state could possibly be faster than working with a rational architecture populated by small, composable functions, written by humans with at least four tenths of a clue.
2
0
1
0
Open post
Brad Heintz @bradheintz@mathstodon.xyz
· 4mo ago

At the intersection of SEO and disinfo in 2026: @albertcardona@mathstodon.xyz

mathstodon.xyz
1
0
1
0
Open post
Brad Heintz @bradheintz@mathstodon.xyz
· 4mo ago

The “AI layoff" mask continues to slip. From the linked article, speaking of a survey of executives of companies with >US$1B revenue:

"While 80% of those surveyed who have piloted an AI or autonomous technology have reported workforce reductions, the businesses cut jobs due to automation regardless of whether the technology was actually generating returns.”

The point was never to generate returns.

C-suite talking points about AI, productivity, and the motivation behind layoffs were always a bullshit rationalization. The point was always to juice the stock price by selling a story of magical AI productivity gains (with no factual support) to gullible investors.

AI was just this boom-bust cycle's excuse for treating workers as disposable.

https://fortune.com/2026/05/11/ai-automation-layoffs-gartner-study-roi/

AI isn't paying off in the way companies think. Layoffs driven by automation are failing to generate returns, study finds | Fortune
Fortune

AI isn't paying off in the way companies think. Layoffs driven by automation are failing to generate returns, study finds | Fortune

A Gartner study found that while 80% of companies surveyed reported workforce reductions, there was no correlation to higher ROI.

1
0
0
0
Open post
Brad Heintz @bradheintz@mathstodon.xyz
· 4mo ago

My semi-rational loathing of JavaScript, TypeScript, and npm is paying dividends today.

https://www.stepsecurity.io/blog/mini-shai-hulud-is-back-a-self-spreading-supply-chain-attack-hits-the-npm-ecosystem

stepsecurity.io
1
0
0
0
Open post
Brad Heintz @bradheintz@mathstodon.xyz
· 5mo ago
Replying to
@andrejbauer@mathstodon.xyz A virtual machine sharing a folder with the host is a cheap lockdown solution.
1
0
0
0
Open post
Brad Heintz @bradheintz@mathstodon.xyz
· 5mo ago
Replying to
@julesh That's close to the mix that led me into the neighborhood ¯\_(ツ)_/¯
1
0
0
0
Open post
Brad Heintz @bradheintz@mathstodon.xyz
· 5mo ago
Replying to
@christianp The "keep me signed in" checkbox is like the "close door" button on most elevators - connected to nothing, and probably intended that way.
1
0
0
0
Open post
Brad Heintz @bradheintz@mathstodon.xyz
· 4mo ago

Republicans are making all of their own most outlandish claims about government agency incompetence come true.

@briankrebs@infosec.exchange

infosec.exchange
0
0
0
0
Open post
Brad Heintz @bradheintz@mathstodon.xyz
· 4mo ago

This is very much worth watching.

(And yeah, the clickbait-y teaser frame is kind of a pill. Even so.)

https://www.youtube.com/watch?v=kEsPFitSfaA

0
0
0
0
Open post
Brad Heintz @bradheintz@mathstodon.xyz
· 4mo ago

How fair/unfair is it to take GitHub uptime as a proxy measurement for the asymptotic utility of LLMs?

Source: https://mrshu.github.io/github-statuses/

#AI #LLM #VibeCoding

mrshu.github.io

The Missing GitHub Status Page

Historical GitHub uptime reconstructed from archived status data.

0
0
1
0
Open post
Brad Heintz @bradheintz@mathstodon.xyz
· 4mo ago

Uh... This seems bad.

https://www.politico.eu/article/russia-parliament-passes-bill-allowing-vladimir-putin-invade-foreign-countries/

politico.eu
0
0
1
0
Open post
Brad Heintz @bradheintz@mathstodon.xyz
· 7mo ago
Replying to
@ludicity@mastodon.sprawl.club Is there any chance this was generated by an LLM? That sounds like exactly the sort of result they commonly give: Code that builds and runs and may even pass tests but follows no rational or consistent architecture. What you describe is par for course with those tools if they aren't kept on a short leash.
0
2
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 02:55:09 UTC