programmer, mathematician, ultra runner wannabe, chess player.
Joined August 2008
- Tweets 2,193
- Following 1,676
- Followers 394
- Likes 2,987
61 Photos and videos
Hey I build a thing for chess players!
The site will analyze your games and generate custom puzzles from your blunders and missed opportunities. Check it out!
tacticforge.fun/
#chess #puzzles
1
2
184
Suave v3.4.0 shipped with complete HTTP/2 support.
suave.io/docs/http2.html
1
9
450
ad3mar retweeted
Like @davidbessis and others, I think that Hinton is wrong. To explain why, let me tell you a brief story.
About a decade ago, in 2017, I developed an automated theorem-proving framework that was ultimately integrated into Mathematica (see: youtube.com/watch?v=mMaid2jY…) (1/15)
Geoffrey Hinton says mathematics is a closed system, so AIs can play it like a game.
They can pose problems to themselves, test proofs, and learn from what works, without relying on human examples.
“I think AI will get much better at mathematics than people, maybe in the next 10 years or so.”
128
490
2,808
848,311
ad3mar retweeted
4 Sep 2024
Here's a proof that Tolkien's Middle-Earth is not flat
39
488
3,440
325,854
ad3mar retweeted
4 Aug 2024
17
51
527
27,760
ad3mar retweeted
10 Jan 2024
The culmination of many years of work & research across various personal projects, the first release of RVBBIT (just call it 'rabbit'), my multi-faceted "data board" ("dashes" are so over) & flow tool - is coming in March.
(sound on, and stay to the end!)
12
20
146
14,406
ad3mar retweeted
7 Dec 2023
normalize code that looks like it's part of a vast orbital megastructure
25
296
4,485
200,650
ad3mar retweeted
23 Oct 2023
Mathematicians are coming under pressure to "decolonise mathematics". But what could this even mean?
In our new paper, posted today on the maths Arxiv, we review the literature on decolonising mathematics to find out. 🧵
arxiv.org/abs/2310.13594
53
155
635
198,078
ad3mar retweeted
24 Feb 2023
It’s hilarious that after 70 years of ingenious people programming computers to do thousands of valuable tasks millions of times faster, more reliably & accurately than humans, the ability to write bad poetry and inaccurately summarise text is trumpeted as the dawn of a new era.
25
68
522
66,324
ad3mar retweeted
12 Jan 2023
Async programming is so cool. With just a few minutes of work you can have a program that hangs forever and is impossible to debug
84
804
9,028
567,667
ad3mar retweeted
12 Sep 2022
jsoncrack - Seamlessly visualize your #JSON data instantly into graphs; paste, import or fetch! bit.ly/3BsrsiP
ALT Screenshot showing a graph of json data.
18
356
1,828
ad3mar retweeted
3 Jan 2022
This video is NOT:
- A life form
- A particle simulation
- An agent-based model
- A physics engine
It's a 'Selective' Multiple Neighborhood #CellularAutomata (#MNCA) pattern, run on a RX 6800XT GPU in #VulkanAutomata.
A bit different to Conway's #GameOfLife, huh? 😁
27
416
2,380
ad3mar retweeted
5 Dec 2021
NEWS 🚨: Mysterious cube-shaped anomaly discovered on the moon's far side by Chinese rover
The rover will spend the next 2-3 months verifying it
2,999
6,631
45,640
ad3mar retweeted
14 Oct 2021
The best football players have great awareness of their surroundings, even before receiving the ball. I started studying SCANNING in 1997. Since then, we have filmed & analyzed more than 250 professional players and 200 elite youth players. What have we learned? Thread 1/15.
352
4,323
22,977
ad3mar retweeted
28 Sep 2021
Plotly.NET now has full chart coverage merged, which means we are soon ready for release! Interested in what was done in the last year, and what to expect from the 2.0 release? Take a look at my post here: community.plotly.com/t/psa-p…
#fsharp #dotnet #dataviz
2
18
40
TRUST NO ONE: THE HUNT FOR THE CRYPTO KING
Follow a group of investors turned sleuths as they try to unlock the suspicious death of cryptocurrency multimillionaire Gerry Cotten and the missing $250 million they believe he stole from them. Premieres in 2022
39
177
1,147
ad3mar retweeted
8 Sep 2021
A physicist has had it with her academic philosopher husband, and everything about her post is amazing.
404
1,764
12,535