Adrien Corenflos

1.5K posts

Adrien Corenflos

Adrien Corenflos

@AdrienCorenflos

Technically, I compute integrals for a living.

Katılım Haziran 2020
484 Takip Edilen482 Takipçiler
Adrien Corenflos retweetledi
Sam Duffield
Sam Duffield@Sam_Duffield·
posteriors 𝞡 published at ICLR! I’ll be in Singapore next week, let’s chat all things scalable Bayesian learning! 🇸🇬👋
English
4
10
47
5.2K
Mathieu
Mathieu@miniapeur·
I realised yesterday that I had never derived the characteristic function of a univariate Gaussian distribution.. (1/5)
Mathieu tweet media
English
20
49
688
53.8K
Adrien Corenflos
Adrien Corenflos@AdrienCorenflos·
@MaxAifer @thomasahle I have a trivial solution when the lambdas are between 0 and 1. All gradients preserve PSD, so just look at it at 0 and then integrate along a path that stays in [0,1]
Adrien Corenflos tweet media
English
1
0
2
144
Adrien Corenflos
Adrien Corenflos@AdrienCorenflos·
@marikgoldstein Buying a macbook to SSH is like driving a Ferrari to the supermarket. You'll get there fast but won't be able to load anything in the boot.
English
0
0
1
63
Mark Goldstein
Mark Goldstein@marikgoldstein·
mostly ssh'ing + youtube with only occasional local python when there's no internet
English
1
0
0
284
Mark Goldstein
Mark Goldstein@marikgoldstein·
macbook or other laptop recommendations for a coding laptop? mixed use office-cafe-home-travel machine, so not too heavy but ideally not-the-smallest screen for when there's no external monitor is m3 vs m4 pro vs m4 max important in practice? for what specifically? thanks!
English
6
0
3
1.1K
Adrien Corenflos
Adrien Corenflos@AdrienCorenflos·
@OnlineMCSeminar Can you guys put a reminder on your google calendar? I have subscribed to it but I keep on missing the seminar because it doesn't remind me to join.
English
2
0
2
226
Monte Carlo Seminar
Monte Carlo Seminar@OnlineMCSeminar·
🎉We’re back!🎉Join us next Tuesday, January 7th, for our first talk in 2025 by Yuansi Chen from ETH Zurich on "Regularized Dikin Walks for Sampling Truncated Logconcave Measures, Mixed Isoperimetry and Beyond Worst-Case Analysis." See you there!
English
1
0
20
4.5K
Adrien Corenflos
Adrien Corenflos@AdrienCorenflos·
@SustainableTall This is sooooo slow! A commensurate train journey is Lille-Marseilles in France: 1000km too, takes 4h40 and it does two more stops.
English
0
0
0
39
Philip Oldfield
Philip Oldfield@SustainableTall·
It’s over 1,000km from Berlin to Paris There’s now a direct daytime train between them, that takes 8 hours and costs just €59. Leave at 10am, arrive 6pm. And… it’s just 1% the carbon emissions of the equivalent flight euronews.com/travel/2024/12…
English
672
1.9K
12.8K
800.7K
TeeVeeTee
TeeVeeTee@TeeVeeTee1776·
@dieworkwear That… is butt ugly. What a thing to frame. Sign something better like the Ace of Hearts or something … Gumby? 🤦‍♀️
English
2
0
0
881
sobo
sobo@mr_poivron·
@Colm12Colm @littmath Automated verification of proof is not hard though, we know how to do that already (without any AI involved) (note : I absolutely do not believe that AIs will have the ability to demonstrate theorem to the level of a mathematician anytime soon/late)
English
2
0
2
90
Almost Sure
Almost Sure@Almost_Sure·
@AdrienCorenflos Yes! It is the maximum minus the minimum of a Brownian bridge, the same as the max of a Brownian excursion, which is also a Bessel Bridge. Image from my blog
Almost Sure tweet media
English
1
0
1
71
Almost Sure
Almost Sure@Almost_Sure·
a little test... My profile banner image contains a (partially obscured) formula. I'm wondering if anyone besides myself actually knows what it is?
Almost Sure tweet media
English
5
0
10
2.1K
Cameron
Cameron@cameron_pfiffer·
What's your go-to seed? Mine's 42, which I believe is a very common seed.
English
24
0
39
3K
Adrien Corenflos
Adrien Corenflos@AdrienCorenflos·
@davidbessis This is unironically one of the best presentations of the integral I've ever seen. Go through several plausible definitions and see where some of them break.
English
0
0
2
75
David Bessis
David Bessis@davidbessis·
Back when the BBC was based... Lebesgue integration on live TV 😱! Link right below ⤵️
David Bessis tweet media
English
11
63
834
40.6K
Adrien Corenflos
Adrien Corenflos@AdrienCorenflos·
@roydanroy The price point is a bit stiff for a kid's present, but this is a fantastic piece of tech: euroshop.boox.com/products/palma… it does have internet though, but the B&W screen + the low refresh rate would discourage streaming and such in favour of more "text" format.
English
0
0
0
66
Dan Roy
Dan Roy@roydanroy·
Can anyone recommend a "MP3 player" for kids? Feel free to ignore the "for kids" part and think instead think "music focused", "no internet", ideally bluetooth.
English
7
0
7
3.9K

Keşfet

@ArnaudDoucet1 @canaesseth @sp_monte_carlo @EliSennesh @octonion @miniapeur @MaxAifer @thomasahle