adin 🇺🇦🌻

@[email protected]
54 Followers
237 Following
22 Posts
Explorer, Technologist, Ronin, Asgardian, Distributed Sim Standards Systems Engineer, Veteran, & Peer Counselor. Space nut! #Spoonie #PWME ‘03, #CFS #MECFS #Dysautonomia #NEIS #AdAstra #NSS
Research (SISO/UCF)#DistributedSimulations, #TacticalDatalinks (#JTIDs, #MIDS, #Link16 #Link11)
Research/Patient#mecfs #MyalgicEncephalomyelitis #MyalgicE #Dysautonomia #pots
adin 🇺🇦🌻Sep 14, 2024
Show threadTerence TaoSep 13, 2024
As a third experiment, I asked (in https://chatgpt.com/share/bb0b1cfa-63f6-44bb-805e-8c224f8b9205) the new model to begin the task of formalizing a result in #Lean (specifically, to establish one form of the prime number theorem as a consequence of another) by breaking it up into sublemmas which it would formalize the statement of, but not the proof. Here, the results were promising in that the model understood the task well and performed a sensible initial breakdown of the problem, but was inhibited by the lack of up-to-date information on Lean and its math library in its training, with its code containing several mistakes. However, I could imagine a model of this capability that was specifically finetuned on Lean and Mathlib, and integrated into an IDE, being extremely useful in formalization projects. (3/3)
Show threadadin 🇺🇦🌻May 24, 2023
@Sudo_Overflow that’ll be huge for the vision impaired community. ALT tags have been so abused lately
adin 🇺🇦🌻May 24, 2023
cyborgneticzMay 24, 2023
The ban on gender affirming care for minors is DEAD.
Republican chairman voted against it as the deciding vote.
adin 🇺🇦🌻Mar 12, 2023

Brilliant ad by votevets! “Banning” is unrealistic, but maybe commanders can set a policy to not show Fox News on tv’s in official areas!

https://youtu.be/B9xqczlMqSM

VoteVets - Ban Carlson, Ingraham, and Hannity From All Military Facilities

YouTube
adin 🇺🇦🌻Dec 15, 2022
Josh 🐯 HillDec 8, 2022
Attendance in school is mandated by law; as such, lunch should be provided for the kids. Name any other situation where state or federal government compels someone to be present for 4 or more hours and does not provide nourishment, or compensation and time to procure nourishment.
adin 🇺🇦🌻Dec 15, 2022
Julia EvansDec 8, 2022
a debugging manifesto
adin 🇺🇦🌻Nov 30, 2022
Andrew DuckerNov 30, 2022
1 in 4 US hiring managers say they are less likely to move forward with Jewish applicants https://www.resumebuilder.com/1-in-4-hiring-managers-say-they-are-less-likely-to-move-forward-with-jewish-applicants/
1 in 4 hiring managers say they are less likely to move forward with Jewish applicants - ResumeBuilder.com

A ResumeBuilder.com survey found that 1 in 4 hiring managers are less likely to move forward with Jewish applicants.

ResumeBuilder.com
adin 🇺🇦🌻Nov 24, 2022
@Claystorm just saying hi — do we need our own Querque mastodon server?
Show threadadin 🇺🇦🌻Nov 22, 2022
@worr @Foone CPAP machines tattle on you for ‘diagnostic’ purposes—in the US at least. I used to have to take in a memory card every 90 days so that insurance can verify you’re using it. My new CPAP has T-Mobile cell data built it so it can report your usage to the mothership every night. No hackable opportunities at ALL 🙄
adin 🇺🇦🌻Nov 22, 2022
Electronic Frontier FoundationNov 21, 2022
Musk’s reign at Twitter has increased risks to users—especially those in crisis zones around the world who flocked to Twitter for expression during unrest—by unraveling guardrails against misinformation, harassment, and censorship. https://www.eff.org/deeplinks/2022/11/twitters-monetizable-users-not-human-rights-matter-most-under-musks-rein-leaving
Twitter's Monetizable Users, Not Human Rights, Matter Most Under Musk’s Reign, Leaving Behind Vulnerable Communities Who Made Twitter a Critical Platform For Speaking Truth to Power

Billionaire Elon Musk says Twitter can be an “incredibly valuable service to the world,” a global forum where ideas and debates flourish. Yet, much of what he has done since taking over the company suggests that he doesn’t understand how to accomplish this, doesn’t appreciate the impact of his...

Electronic Frontier Foundation