programmer, mathematician, ultra runner wannabe, chess player.

Joined August 2008
61 Photos and videos
Pinned Tweet
3 May 2025
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
ad3mar retweeted
Suave v3.4.0 shipped with complete HTTP/2 support. suave.io/docs/http2.html

1
9
450
ad3mar retweeted
The fastest web server in dotnet land web-frameworks-benchmark.ver… #dotnet #fsharp #csharp

2
6
327
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
9 Dec 2025
Long time overdue; finally a new release of Suave v3.1.0 targeting .NET 9. Internals have been rewritten using .NET Tasks, Memory and Pipelines and many optimizations focusing on reducing memory allocations, improving throughput, and lowering latency. #dotnet #fsharp
3
6
288
ad3mar retweeted
Here's a proof that Tolkien's Middle-Earth is not flat
39
488
3,440
325,854
ad3mar retweeted
17
51
527
27,760
ad3mar retweeted
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
normalize code that looks like it's part of a vast orbital megastructure
7 Dec 2023
Piece of art
25
296
4,485
200,650
ad3mar retweeted
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
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
18
356
1,828
ad3mar retweeted
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
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
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
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
ad3mar retweeted
23 Sep 2021
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
27 Sep 2021
Dune, a shell by the beach github.com/adam-mcdaniel/dun…
ad3mar retweeted
A physicist has had it with her academic philosopher husband, and everything about her post is amazing.
404
1,764
12,535