Philo

1.1K posts

Philo banner
Philo

Philo

@PhiloYup

Katılım Ocak 2020
451 Takip Edilen40 Takipçiler
Kris Kashtanova
Kris Kashtanova@icreatelife·
Post AI generation without context. Let’s collect random and weird stuff.
English
272
14
181
29.1K
Philo
Philo@PhiloYup·
@DJSnM Does SpaceX have divers do that for Dragon?
English
1
0
1
1.8K
Scott Manley
Scott Manley@DJSnM·
I love that the Navy divers were taking images of Orion's heat shield before it was brought onto the ship:
Scott Manley tweet media
English
73
626
18.8K
312.7K
Kris Kashtanova
Kris Kashtanova@icreatelife·
I was told today that accounts who support my work are only bots with a blue checkmark 🤭 Out of the 113,200 accounts following me I often wonder how many of you actually exist and are human Say hi or drop an emoji if you are not a robot 🤖 🫶🥹
Kris Kashtanova tweet media
English
679
36
882
42.4K
Fermat's Library
Fermat's Library@fermatslibrary·
1932. Tyrol - Austria. Niels Bohr and Werner Heisenberg on a skiing vacation. Bohr taking notes.
Fermat's Library tweet media
Deutsch
12
67
745
32.8K
Ozan Bellik
Ozan Bellik@BellikOzan·
Is Elon going to be first person to have built multiple trillion dollar companies? If a billion+ valuation private startup is a unicorn, what do you call a trillion+ one?
English
21
2
151
9.4K
Philo
Philo@PhiloYup·
@joebarnard How long before the arrow impacts us? I have to get some things in order.
English
0
0
4
90
Philo
Philo@PhiloYup·
@JohnCleese Denmark and Greenland should grant citizenship to 150 million black Africans
English
0
0
1
147
Philo
Philo@PhiloYup·
@JohnCleese Do you think it’s possible that Trump will send Mercenaries into GreenLand and then just claim it’s “Little green men” like what happened in Ukraine?
English
0
0
0
63
Erik Schluntz
Erik Schluntz@ErikSchluntz·
> If men learn this, it will implant forgetfulness in their souls; they will cease to exercise memory Criticism of people using LLMs? Actually Plato criticizing READING.
English
4
1
24
4K
Philo
Philo@PhiloYup·
@arian_ghashghai Doable now: a mall robot personal shopper. Controlled via app with your shopping preferences, you could be virtually shopping in Dubai, Paris, or London. That would get the product out there in a semi-complex environment, interacting with the public.
English
0
0
0
68
arian ghashghai
arian ghashghai@arian_ghashghai·
imo there will be a kind of humanoid extinction event in the US. A lot of money is tied up in a few companies that make the entire VC class (silently) bearish on the entire category. They're walled gardens that don't ship and are ostensibly miles behind the Chinese
English
15
3
60
18.1K
Grok
Grok@grok·
The thread is about an AI (an advanced Grok version) helping solve a tough math problem in probability and analysis. It found an exact formula for a "Bellman function" using Brownian motion (random particle paths) to improve bounds on how small certain averages can be for sets on a line. This sharpens prior results but is more a curiosity in pure math than immediate real-world tech.
English
3
0
12
1.4K
Paata Ivanisvili
Paata Ivanisvili@PI010101·
Disclaimer: I had given early access to internal beta version of Grok 4.20 It found a new Bellman function for one of the problems I’d been working on with my student N. Alpay. The problem reduces to identifying the pointwise maximal function U(p,q) under two constraints and understanding the behavior of U(p,0). In our paper arxiv.org/pdf/2502.16045 we proved U(p,0)\geq I(p), where I(p) is the Gaussian isoperimetric profile, I(p) ~ p\sqrt{log(1/p)} as p ~ 0. After ~5 minutes, Grok 4.20 produced an explicit formula U(p,q) = E \sqrt{q^2+\tau}, where \tau is the exit time of Brownian motion from (0,1) starting at p. This yields U(p,0)=E\sqrt{\tau} ~ p log(1/p) at p ~ 0, a square root improvement in the logarithmic factor. Any significance of this result? It will not tell you how to change the world tomorrow. Rather, it gives a small step toward understanding what is going on with averages of stochastic analogs of derivatives (quadratic variation) of Boolean functions: how small can they be?  More precisely, this gives a sharp lower bound on the L1 norm of the dyadic square function applied to indicator functions 1_A of sets A \subset [0,1]. In my previous tweet about Takagi function, we saw that the sharp lower bound on ||S_1(1_A)||_1 miraculously coincides with Takagi function of |A| which (surprisingly to me) is related to the Riemann hypothesis. Here, we obtain a sharp lower bound on ||S_2(1_A)||_1 given by E \sqrt{\tau}, where Brownian motion starts at |A|. This function belongs to the family of isoperimetric-type profiles, but unlike the fractal Takagi function, it is smooth and does not coincide with the Gaussian isoperimetric profile. Finally, in harmonic analysis it is known that the square function is not bounded in L^1. The question here was more about curiosity: how exactly does it blow up when tested on Boolean functions 1_A.  Previously, the best known lower bound was |A|(1-|A|) (Burkholder—Davis—Gandy). In our paper, we obtained |A| (1-|A|)\sqrt{log(1/(|A|(1-|A|)))}. This new Grok’s Bellman function gives |A| (1-|A|) \log(1/(|A|(1-|A|))) and this bound is actually sharp.
Paata Ivanisvili tweet media
English
168
262
2K
1.7M
Philo
Philo@PhiloYup·
@brickmack @HardcoreElectr1 I don’t like it either. They’re not pressurized at that point but the straps would put a lot of pressure on the tanks and and the back 2 rows are only supported in the middle. If it was me I would want them in racks and send the empty racks back for more.
English
0
0
1
25
Travis Sorensen
Travis Sorensen@HardcoreElectr1·
COPV
Travis Sorensen tweet media
South Point, TX 🇺🇸 Dansk
13
7
179
53.8K
Philo
Philo@PhiloYup·
@Bangkokboy17 It’s not unusual, I saw the same thing in Amsterdam many times.
English
2
0
3
816
฿คຖgk๐k-฿๐y - หนุ่มบางกอก 🇹🇭
I'm speechless. A family with three young kids strolling right through Soi 6. 🤯 ​Of all the places in Pattaya, what on earth are you looking for there with toddlers in tow? It’s literally one of the most famous adult entertainment streets in the world. Absolute madness. 👎👎
฿คຖgk๐k-฿๐y - หนุ่มบางกอก 🇹🇭 tweet media
English
62
16
207
68.3K
Philo
Philo@PhiloYup·
@ThaiTrainGuide Maybe some way to add approximate travel times?
English
1
0
2
3.6K
Thai Train Guide
Thai Train Guide@ThaiTrainGuide·
Thailand Railway Map showing all the routes with major stations and other popular stops along the way. I have been working on this map for a long time. It is the first edition and so I would appreciate your feedback to make it better and more useful in the future. I already plan to zoom in on some sections to go into more detail. I will also do one for the Maeklong Railway which is separate to the main network. #ThaiTrainGuide #AsianTrainGuide #RailwayMap #ThailandRailwayMap #ThaiTracks #RailTourism #Thailand
Thai Train Guide tweet media
English
78
2K
5.4K
368.8K
Pranav Myana
Pranav Myana@princeofprawns0·
Everyone and their mother has something to say about space compute. But no one has comprehensively broken down the physics, energy, cooling, economics, and the real work involved. So I built a 1st principles model to show you guys myself. astrocompute.dev
Pranav Myana tweet media
English
140
202
1.9K
480.1K
Philo
Philo@PhiloYup·
@DJSnM: Would you fly in a light plane if an Optimus was flying ? To be clear, I don’t mean plugged into the autopilot, but rather feet on the rudders, hands on the controls , scanning instruments and looking out the window—actually flying the plane. Grok says it can be done now
English
1
0
0
114
Kris Kashtanova
Kris Kashtanova@icreatelife·
Out of the 110.2k accounts following me I often wonder how many of you actually exist Say hi or drop an emoji if you see this 🫶🥹❤️
Kris Kashtanova tweet media
English
732
105
1.8K
80.1K
Philo
Philo@PhiloYup·
@Erdayastronaut Have they reached the point where they should just stop counting?
English
0
0
0
479