aerodexis

3 ms·

1.
by aerodexis 8d ago
I wouldn't be surprised if it's marketing all the way down.
2.
by aerodexis 8d ago
Personally - for banking - I'd be plenty happy dealing w/ 90% uptime if it gave me an order of magnitude more security against getting robbed. This tradeoff may not have been realistic a decade ago, but it seems to be where things
3.
by aerodexis 8d ago
You don't think frontier mathematics is already secret?
4.
by aerodexis 9d ago
I could imagine it going so far as to have an LLM re-impl core libs every time a request is processed. Lightning never strikes the same place twice.
5.
by aerodexis 9d ago
What would you prefer: 99% of user requests to succeed but w/ 5% risk of getting O-day'd, or have 90% of user requests succeed but w/ 0.1% risk of getting 0-day'd.
6.
by aerodexis 9d ago
Makes sense to me - I see it going down two separate routes in parallel: One is to take the human out the OODA loop for cyber defense. Servlet libs (for example) are going to become fluid, self-modifying things w/ contracts that operat
7.
by aerodexis 12d ago
yea - but did you read it?
8.
by aerodexis 12d ago
Interesting project. I've been thinking about the need for something similar at work when a coworker thought it was a good idea to explode our design documents by having an AI slop out tens of pages of additional design w/ zero co
9.
by aerodexis 12d ago
Working on getting real-time computer vision telemetry from cameras placed in a barn. Managing the training datasets was annoying enough that I created my own simplified clone of CVAT and LabelStudio : a browser-based image annotation and r
10.
by aerodexis 15d ago
I'm genuinely surprised by this comment. I'm not talking about why a mathematician pursues math - I'm talking about where the stipend comes from. Higher math is exceptionally useful for cryptography, defense, econometrics etc
11.
by aerodexis 15d ago
Seems more like a misalignment b/w the people practicing mathematics and the people ultimately footing the bill for their work. Governments are invested in solving mathematical problems for practical purposes. Up to now, achieving thes
12.
by aerodexis 17d ago
They will use it for nefarious but "legal" purposes - however - they have decades of experience handling such data and keeping it "safe" from "illegal" purposes.
13.
by aerodexis 17d ago
handling end-to-end flight booking seems like a very good target use-case that if you can get right, implies that you got a lot of other things right. Just like how Amazon started off by selling books online.
14.
by aerodexis 22d ago
Are you one of those openAI swarms that got into the wild?
15.
by aerodexis 26d ago
Been working on a similar project for doing animal behavioral analysis on cameras setup in a barn. I got YOLO running in real-time on several streams on a RTX4070. Managing the training data and doing DINO->YOLO distillation has me writi
16.
by aerodexis 2mo ago
So in computer science we have this thing called "distributed systems". It turns out that even if you buy the biggest and most powerful computer there is, all it takes is one problem with that one machine to make your system stop
17.
by aerodexis 2mo ago
in addition, there is also "stupid" and "not stupid"
18.
by aerodexis 2mo ago
Truly fascinating how when you're a tourist in a place that survives off of tourism, you get treated nicely.
19.
by aerodexis 2mo ago
It is utterly fascinating the ends to which people will go to insist the opposite.
20.
by aerodexis 2mo ago
The Chinese desire to raise China to global dominance is exactly a concern w/ status and wealth. It's naive to think that America and China are any different in the degree to which leadership is driven by these concerns. One simpl
21.
by aerodexis 2mo ago
Seems like the difference b/w samurai and ninja. The samurai saw his sword as an extension of his soul - a disrespect to the sword was a disrespect to the man. The ninja used the sword like any other tool - and if it was helpful to use
22.
by aerodexis 2mo ago
Is it not the case now that oligarchs "own" intellectual credibility? Becoming a credentialed mathematician requires an entire lifetime of devotion, lots of money or scholarships, and association with institutions controlled by mo
23.
by aerodexis 2mo ago
Sure, I'm conflating the tool w/ the people building the tool - but imo muddling the distinction is good, because the hard distinction is what tricks people into an unthinking mode.
24.
by aerodexis 2mo ago
Reminds me of Blood Meridian where The Judge meticulously sketches the rock glyphs that he comes across, and then destroys the original. Now that I think about it, The Judge is an apt metaphor for AI : "Whatever in creation exists wi
25.
by aerodexis 2mo ago
too bad hypocrisy never got in the way of people making money
26.
by aerodexis 2mo ago
The fact that they're not being prosecuted for breaching HF's systems is bad news.
27.
by aerodexis 2mo ago
yea, this seems to be the underlying thread here. Dunno why the author is so concerned with getting an LLM to imitate his writing style.
28.
by aerodexis 3mo ago
We're all project-managers now. The trust required of the LLM is no different than that that required when a PM trusts a dev-team to implement correctly. As a PM, you need to understand testability and write that into the requirements.
29.
by aerodexis 3mo ago
a very expensive sprint
30.
by aerodexis 3mo ago
Nice point. I agree with this, and it implies that it's useless to apply the category of creativity to LLMs (at least wrt interpolation and extrapolation), and even more useless to suggest that we'll cross the creativity threshold

More ›