∀x ∈ ℝ, (eˣ)' = eˣ
Earth
Joined January 2022
- Tweets22.2K
- Following3K
- Followers28.2K
- Likes209K
Pinned Tweet
#math problem 23-07-2026
🖥️ The Exit Algorithm:
Given the INPUT (the board) and the RULES, determine whether you:
• Can reach the EXIT.
• Conclude that no valid path to the EXIT exists.
Don't assume the correct path is the obvious one. You may find a solution that seems counterintuitive, as long as it never violates the RULES.
Math901 retweeted
This is interesting
There are many ways to kill performance in a multithreaded program. My favorite one is false sharing, because you can get 10x performance just by moving some bytes around. So let's look into it.
00:00 - When multiple threads is not even faster
04:23 - CPU L1 cache primer
09:40 - Getting ALL the performance
15:35 - Looking at disassembler
20:29 - How to find cache line address
22:38 - false sharing in disassembly
25:00 - closing words
This is interesting
There are many ways to kill performance in a multithreaded program. My favorite one is false sharing, because you can get 10x performance just by moving some bytes around. So let's look into it.
00:00 - When multiple threads is not even faster
04:23 - CPU L1 cache primer
09:40 - Getting ALL the performance
15:35 - Looking at disassembler
20:29 - How to find cache line address
22:38 - false sharing in disassembly
25:00 - closing words
Math901 retweeted
Hilbert swung so much to the other extreme as to not take consistency of the theory of with one constant-symbol 0 and one function-symbol S and only two axioms (S(x)≠0, S(x)=S(y)→x=y) for granted, in partc. rejecting the true-in-the-standard-model-argument!
[Talk at ICM 1904]
Math901 retweeted
Here is one: synthetic methods or exact algebraic results are preferred.
xitter.cf/OnuncuSoru/status/2113…
