David Gleich
@dgleich.bsky.social
Purdue CS. I like matrices, graphs, networks, tensors if they fit, energy efficient stuff, Julia (I’m ex-Matlab), Laura (my wife), data, clean air, 3D printing, vaccines (especially for kids), cooking, hiking, skiing. I’m quiet so I don’t say too much.
my phone is basically: bluesky, fb messenger, podcasts, texts/security, alarms. Gotta get all of these into separate things
a properly aligned ai would never agree to make a pie chart
A question I have … what should papers be? If you have a specific question, where the answer is a theorem/theory, then LLMs are really good at answering it. So why write papers about those answers like we used to do? Maybe, we should focus papers on the questions?
On LLMs in research/theory/math. I feel like the difference between how people value this is simple. If you find the value is in the outcome (the theorem), then LLMs are awesome. if you find the value is in the journey (the way to find the proof), then LLMs ruin it.
Crazy. I ran a cost estimate for a solar and battery system. If you use current low end prices it ties our current kWh price from grid (.18 kWh) assuming replacing batteries every 10 years and panels every 25 over 50 years. But needs 30-40 kw of panels. So not feasible to build.
Me: Ahh! new “almost-linear time matching algorithm” … can we implement it? Codex: No. It just uses a normal algorithm for anything with less than ~10^(30000000000000000000000) vertices. Me: Oh, my graphs aren’t that big.
So, the OpenAI results include: - A proof the unique games conjecture - L = RL - Matrix multiplication in n^(9/4) time - Almost-linear-time exact matching - Integer multiplication faster than n log n - Quasipolynomial algorithms for mean-payoff and parity games Overview: github.com/openai/math/...
math/overview.pdf at main · openai/math
Contribute to openai/math development by creating an account on GitHub.
github.com
I love how a verbed-noun “gate” has now replaced the standard “check” or “test” in technical vernacular. Thanks Anthropic!
In a sane world those would be treated as cyber crimes and the people who are responsible for those agents would be charged.
Modern economic development is about maximizing complexity. To make things more complex, you need abstraction. Abstraction requires organization and communication.
I’m annoyed by all the academics stressing “quality over quantity” as a tonic for the LLM deluge of results / crap. People have been saying this for years. Either setup a compact with some language on putting this in hiring documents/recommendations/etc. or stop saying it.
ChatGPT gave me bad advice on how to fix an overly bitter ipa.it suggested adding salt. I asked about lemon. Did a taste test. Lemon was better. “Super intelligent” but ignorant about human experience.
I always get a lot of grief online when I write that the solution to America's problems cannot be "Democrats win every election forever." That's not democracy. The solution is having at least two parties where the major center-right and center-left parties accept liberal democracy.
I miss ambition in government! Let’s set amazing and maybe even borderline unrealistic goals and see what we can do.
Let's ban gerrymandering.
"Why is There so Little Money in U.S. Politics?"
This makes me hopeful. This number is aspirational but nowhere near out of reach: a working professional could realistically cash out their 401k and buy off a public official. Owning a senator is more attainable for most Americans than home ownership.
Clean air kits are great! Super fun to put together. Not just for school!
You might think it’s *inevitable* that kids will get sick, especially at school. We understand why you think that because it’s the #1 place kids pick up illness. But did you know it’s NOT inevitable? #cleanair #crbox #cleanairkits #healthyschools #diypurifier
Is there some magic I need to understand to get LLMs to help with writing? I find them so terrible at this I feel like I’m wasting time trying to use them.
Nothing like a sternly workshopped and wordsmithed statement to get the point across!
Between the human verification, and the three factor authentication and so forth, I can transfer my life savings to a random bitcoin account easier than I can read a Nature paper my library subscribes to.
Is everyone else getting human verification screens when they just open a normal journal article url? Not downloading the pdf, just clicking to the article from a TOC email say? I feel like this is new this year, and probably reflects what @carlbergstrom.com is talking about here.
True for me too. My university login is more locked down than my banks.
Between the human verification, and the three factor authentication and so forth, I can transfer my life savings to a random bitcoin account easier than I can read a Nature paper my library subscribes to.
Re: Jev. I bet they used the word ‘noul’ so they could track usage of their tool in codebases. docs.typesafe.ai/primitive… I can’t find any actual explanation of this choice. Claude thinks it’s part of ‘Ber-noul-li’ as in a Bernoulli trial. I can’t find an actual explanation anywhere.
Wild – if the data are accurate on the M6 perf. The M6 is as fast as the original M1 ultra in multicore CPU perf.
Why are there so many rumors about llm efforts? These seem super leaky! These fields are not really that big at all.
"The current version of the manuscript is complete mathematically, but it is not in the shape we wished to share in. We have chosen to do so due to rumors that surfaced around Friday, September 11th. We will work on a more complete version of the manuscript in the close future."
I was wondering why they “cannot” do this investigation (initial post) but it turns out they can. Compare web.archive.org/web/20260… to web.archive.org/web/20260…
My sister is big on Instagram. I doubt many people would believe the vile DMs people send her. It’s so important to call this behavior out as @peark.es does. She posts some of them publicly too. Platforms do little to help.
Here's a person that thinks posting the deranged cursing at me in a DM from someone is "leaking" a DM. What kind of moron do you need to be to think spewing hatred at someone in DMs is somehow privileged from public view? Very, very stupid people.
Here's a person that thinks posting the deranged cursing at me in a DM from someone is "leaking" a DM. What kind of moron do you need to be to think spewing hatred at someone in DMs is somehow privileged from public view? Very, very stupid people.