A look at Axiom, which is building AxiomProver, an "AI mathematician" it claims has solved at least four previously unsolved math problems (Will Knight/Wired)
https://www.wired.com/story/a-new-ai-math-ai-startup-just-cracked-4-previ…
“How may the compulsive programmer be distinguished from a merely dedicated, hard-working professional programmer? First, by the fact that the ordinary professional programmer addresses himself to the problem to be solved, whereas the compulsive programmer sees the problem mainly as an opportunity to interact with the computer. The ordinary computer programmer will usually discuss both his substantive and his technical programming problem with others. He will generally do lengthy preparatory work, such as writing and flow diagramming, before beginning work with the computer itself. His sessions with the computer may be comparatively short. He may even let others do the actual console work. He develops his program slowly and systematically. When something doesn't work, he may spend considerable time away from the computer, framing careful hypotheses to account for the malfunction and designing crucial experiments to test them. Again, he may leave the actual running of the computer to others. He is able, while waiting for results from the computer, to attend to other aspects of his work, such as documenting what he has already done. When he has finally composed the program he set out to produce, he is able to complete a sensible description of it and to turn his attention to other things. The professional regards programming as a means toward an end, not as an end in itself. His satisfaction comes from having solved a substantive problem, not from having bent a computer to his will.”
—Joseph Weizenbaum, Computer Power and Human Reason, 1976
from my link log —
Async Rust in ScyllaDB: performance, pitfalls, profiling.
https://www.scylladb.com/2022/01/12/async-rust-in-practice-performance-pitfalls-profiling/
saved 2022-01-13
A particularly spectacular #JellyfishEffect - #Falcon9 launch from #CapeCanaveral: a realtime video of its formation at https://www.youtube.com/watch?v=9n19M0opzSE, a timelapse at https://www.facebook.com/reel/1687387959309966, a webcast at https://www.youtube.com/watch?v=WU_V0DIkXJw with stills at https://bsky.app/profile/nasaspaceflight.com/post/3mga7rwfzjs2u and more pictures in
https://x.com/SpaceX/status/2029173176123449567
https://www.facebook.com/MattDevittWeather/posts/pfbid032FFwnAhw4QUPDso2uotpMv5xnZYbGoDmZcx7UGzQ82Uin9T8vAnmMsR6NZaxZPYsl
https://www.facebook.com/groups/SpaceLaunchSchedule/posts/1623482615358856/
https://www.facebook.com/LaunchPhoto/posts/pfbid02avAUHt1edWKdPAFASkUGq7HWtyD6L7AxnETXuxxfnUm17WsTnMm4ctoYQFGp2hWNl
https://www.facebook.com/groups/SpaceLaunchSchedule/posts/1623523352021449/
https://www.facebook.com/rkashka/posts/pfbid02XfzeHSxsD84hT8e7dKQ3a2sroV3dgpeefELmCHVBUMMnFzet8YwGAqefFqmRp8dGl
https://www.facebook.com/groups/SpaceLaunchSchedule/posts/1623573082016476/
https://www.facebook.com/permalink.php?story_fbid=pfbid0yJ1yaNYNy92SamPfMnsGmY96F4oYR8zDrzWUf9vR2FPisxhAcZ9tGrbWsJJ9ccCtl&id=100082997509705
https://www.facebook.com/groups/SpaceLaunchSchedule/posts/1623475792026205/
https://www.facebook.com/internationalspacestation83/posts/pfbid0iUCxC19qkZfnSt1VkZoh6agXygZqBS4HAtQ64KDP547WiEM7tB1fELCcXJSVVdbYl
https://www.facebook.com/groups/spacexgroup/posts/10165280564121318/
https://www.facebook.com/permalink.php?story_fbid=pfbid021uiBj7WSK4R7ghscKjV8pKU5dGroAnjthmpvD7d2FXxSUgrNvzLwWFRc2M4cGTUfl&id=61584464880089
https://www.facebook.com/groups/SpaceLaunchSchedule/posts/1623417872031997/
https://www.facebook.com/Launchheaven/posts/pfbid0NrnQHDb6nMT4ELxUeCxMcYyfyUfbraiyvEkcJSkmd5oC9aXbGvncvWiKLfSH4218l
https://www.facebook.com/groups/SpaceLaunchSchedule/posts/1623436118696839/
https://bsky.app/profile/wordsmithfl.bsky.social/post/3mga7d6bczc2b
https://www.facebook.com/groups/SpaceLaunchSchedule/posts/1623436242030160/
https://bsky.app/profile/herrea.bsky.social/post/3mga53echrs2a
https://www.facebook.com/groups/SpaceLaunchSchedule/posts/1623440722029712/
https://x.com/johnkrausphotos/status/2029180436929200188
https://www.facebook.com/groups/SpaceLaunchSchedule/posts/1623402792033505/
https://x.com/nyoomtm/status/2029149765947035696
https://www.facebook.com/groups/SpaceLaunchSchedule/posts/1623442242029560/
https://www.facebook.com/groups/SpaceLaunchSchedule/posts/1623411748699276/
https://www.facebook.com/photo/?fbid=10226811626871617
https://www.facebook.com/photo/?fbid=10164745548921477
https://www.facebook.com/photo/?fbid=10163648738894793
https://www.facebook.com/photo/?fbid=911907484916077
EU proposes 'powerful' 20th Russia sanctions package with full ban on oil maritime services: https://benborges.xyz/2026/02/06/eu-proposes-powerful-th-russia.html
This is an amazing thread, holy shit.
https://bsky.app/profile/eliothiggins.bsky.social/post/3mitbqzpvhk2x
#Seifenreste bis zum letzten Krümel verwenden?
Mit einem #Seifenbeutelchen kein Problem! 🌿🧼 Nanu, was ist das denn? Fragt mal Eure Großeltern. 😉
Die Lösung ist #nachhaltig, ki…
Perplexity signs a multiyear deal with CoreWeave to use dedicated clusters powered by Nvidia Grace Blackwell chips for AI inference; CRWV jumps 5% pre-market (Ina Fried/Axios)
https://www.axios.com/2026/03/04/perplexity-coreweave-data-center-nvidia