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)
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?
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
adin 🇺🇦🌻Nov 22, 2022
David LewisNov 22, 2022

H/T @leslieoo7
Gay people aren't shooting up straight night clubs.

Black people aren't shooting up white grocery stores.

Latinos are not shooting up Walmarts.

Jewish people are not shooting up Christian churches.

The violence is coming from one demographic: Alt-right radicalized men.

adin 🇺🇦🌻Nov 19, 2022
Show thread Stone Nov 19, 2022

@1hauntedgirl i hope this helps those #twitter people to get some info on how to use mastodon .

Put your mastodon information in your twitter bio/location, and that way tools like debirdify will automatically pick it up to make migration much easier.

please boost/retweet or like to get word out to help the lost twitter folk ..

https://www.youtube.com/watch?v=WTP1GK4YOG8

#twittermigrant
#twittermigration
#twitter
#introductions
#twitteroff #riptwitter #FollowFriday

How to use Mastodon.social

Have you heard of the new social network that's trying to fix Twitter's shortcomings? Mastodon.social is a decentralized network with an emphasis on civil di...

YouTube