Gordenius Tardus

1.4K posts

Gordenius Tardus banner
Gordenius Tardus

Gordenius Tardus

@nftooor

For relaxing times, make it Suntory time. Core @Dumpster_DAO // Everything I post is FA. Blame me for all your losses. Gains are your own merit.

Katılım Şubat 2022
635 Takip Edilen338 Takipçiler
Gordenius Tardus retweetledi
HyperLend
HyperLend@hyperlendx·
ZXX
81
80
719
154.1K
Gordenius Tardus retweetledi
Leeham
Leeham@Liam06972452·
Another Erdős Problem solved by GPT-5.2 Myself and @AcerFur gave GPT-5.2 our #728 proof to modify for the very similar problem #729. After some iterations between 5.2 Thinking, 5.2 Pro and @HarmonicMath 's Aristotle, we have a correct Lean proof. Literature review is ongoing.
Acer@AcerFur

As a bonus, Erdős problem #729 has also been fully autonomously resolved by GPT-5.2 Pro with Aristotle. Note that literature review is still ongoing.

English
13
48
502
141.5K
Gordenius Tardus
Gordenius Tardus@nftooor·
Also crazy to see such raises to advance theoretical mathematical research which was unheard of until recent. Congrats @vladtenev Pure maths as a domain has been stagnated for the past decades imo, this might change things a bit x.com/HarmonicMath/s…
Harmonic@HarmonicMath

We’re excited to announce our $120M Series C as we accelerate the development and commercialization of Mathematical Superintelligence. We’re grateful to our investors, including @ribbitcapital and @EmCollective, for their continued partnership.

English
0
0
0
197
Gordenius Tardus
Gordenius Tardus@nftooor·
Things are set in motion in the formal verification/theorem proving area, pretty neat to see Terry Tao and Co. in live action in the Erdos Trenches using novel tools, won't be too far out till the majority is solved ig erdosproblems.com/forum/ Are you vibe proving anon
Gordenius Tardus tweet media
English
1
0
2
283
Gordenius Tardus retweetledi
bheau
bheau@bh359·
Starting a new article series, "Open Source Trading" I've always planned to open source trading tools I've built when I "retire" from active trading, but given that I don't plan on retiring soon and the market is pretty quiet, I figured I'd start now: bheau.substack.com/p/open-source-…
bheau tweet media
English
1
11
72
5.9K
Gordenius Tardus
Gordenius Tardus@nftooor·
Trying to imagine the TRUMP PA when he got shot Monday musings
English
0
0
5
492
bheau
bheau@bh359·
Took a risk buying some cheap ($1.3 per point) Hyperliquid points OTC a few months back to add some more exposure in addition to points from trading. Price was appealing, but we were buying "resale" (not buying from original wallets owner - multiple people had seen these private keys) So we wrote a bot to instantly transfer them out - happy to see these coins safely acquired
bheau tweet media
English
16
3
250
54.1K
Mercury
Mercury@TraderMercury·
said it before; I'll say it again: we've experienced a 2yr bullmarket. to say we're just getting started would be disingenuous, and naïve but from an opportunity/reward standpoint, these later innings tend to be the most fruitful so in that regard, we are just getting started.
English
3
13
230
9.2K
Mercury
Mercury@TraderMercury·
you see how quickly your feed became a proponent for the $ETH catch-up trade, and all it took was 5% of outperformance? markets move in swings, and can flip the script in an instant - the emotions on your timeline reflects that. imagine when this really starts to move…
Mercury tweet media
English
11
7
219
16.3K
art
art@art_xbt·
@intuitio_ I think pumpfun team didn’t think their coins would ever reach such valuations and thought the total supply was high enough. Turns out it wasn’t
English
2
0
10
918
Gordenius Tardus retweetledi
Dumpster DAO
Dumpster DAO@Dumpster_DAO·
The SEC has filed a complaint against Cumberland DRW LLC for operating as an unregistered securities dealer h/t @inforacrypto
Dumpster DAO tweet media
English
6
11
56
25.2K
Gordenius Tardus
Gordenius Tardus@nftooor·
The 1st October nuke was unironically the best thing one could wish for a potential Uptober
English
0
0
9
492