#semiautomatic — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #semiautomatic, aggregated by home.social.
-
Just dropped two new papers into the arxiv:
https://arxiv.org/abs/2607.12461
http://arxiv.org/abs/2607.17421
This caps off an extraordinary arc, the true seed of which was harshly interrupted by Covid, curling over multiple personal life changes, ending during a dawn in the dominance of AI-augmented mathematics.
Aside from the significant progress on one of my personal favourites ---indeed a *classic* Erdos problem--- what might be of wider interest is our use of (semiautomatically generated) Lean to corroborate the fidelity of computationally-aided proof methods (in this case, a nontrivial variant of flag algebras).
Oh, and let me extend my congratulations to all the Eoins.
#eoins #combinatorics #generativeAI #formalization #semiautomatic #lean #covid
-
Just dropped two new papers into the arxiv:
https://arxiv.org/abs/2607.12461
http://arxiv.org/abs/2607.17421
This caps off an extraordinary arc, the true seed of which was harshly interrupted by Covid, curling over multiple personal life changes, ending during a dawn in the dominance of AI-augmented mathematics.
Aside from the significant progress on one of my personal favourites ---indeed a *classic* Erdos problem--- what might be of wider interest is our use of (semiautomatically generated) Lean to corroborate the fidelity of computationally-aided proof methods (in this case, a nontrivial variant of flag algebras).
Oh, and let me extend my congratulations to all the Eoins.
#eoins #combinatorics #generativeAI #formalization #semiautomatic #lean #covid
-
Just dropped two new papers into the arxiv:
https://arxiv.org/abs/2607.12461
http://arxiv.org/abs/2607.17421
This caps off an extraordinary arc, the true seed of which was harshly interrupted by Covid, curling over multiple personal life changes, ending during a dawn in the dominance of AI-augmented mathematics.
Aside from the significant progress on one of my personal favourites ---indeed a *classic* Erdos problem--- what might be of wider interest is our use of (semiautomatically generated) Lean to corroborate the fidelity of computationally-aided proof methods (in this case, a nontrivial variant of flag algebras).
Oh, and let me extend my congratulations to all the Eoins.
#eoins #combinatorics #generativeAI #formalization #semiautomatic #lean #covid
-
Just dropped two new papers into the arxiv:
https://arxiv.org/abs/2607.12461
http://arxiv.org/abs/2607.17421
This caps off an extraordinary arc, the true seed of which was harshly interrupted by Covid, curling over multiple personal life changes, ending during a dawn in the dominance of AI-augmented mathematics.
Aside from the significant progress on one of my personal favourites ---indeed a *classic* Erdos problem--- what might be of wider interest is our use of (semiautomatically generated) Lean to corroborate the fidelity of computationally-aided proof methods (in this case, a nontrivial variant of flag algebras).
Oh, and let me extend my congratulations to all the Eoins.
#eoins #combinatorics #generativeAI #formalization #semiautomatic #lean #covid
-
Just dropped two new papers into the arxiv:
https://arxiv.org/abs/2607.12461
http://arxiv.org/abs/2607.17421
This caps off an extraordinary arc, the true seed of which was harshly interrupted by Covid, curling over multiple personal life changes, ending during a dawn in the dominance of AI-augmented mathematics.
Aside from the significant progress on one of my personal favourites ---indeed a *classic* Erdos problem--- what might be of wider interest is our use of (semiautomatically generated) Lean to corroborate the fidelity of computationally-aided proof methods (in this case, a nontrivial variant of flag algebras).
Oh, and let me extend my congratulations to all the Eoins.
#eoins #combinatorics #generativeAI #formalization #semiautomatic #lean #covid
-
creates semantic nodes and clusters #UNBELIEVABLE #EMF #SONG advanced-search.headlines-world.com/advanced-sea... #SEMIAUTOMATIC #TRANSMISSION www.perplexity.ai/search/new?q... AÉPIOT: INDEPENDENT SEMANTIC WEB 4.0 INFRASTRUCTURE (EST. 2009): aepiot.ro
MultiSearch Tag Explorer -
#ICE boosts weapons spending 700%
A Popular Information investigation reveals tens of millions in new ICE spending on #guns, #ChemicalWeapons, and explosives.
Judd Legum
Oct 20, 2025Excerpt: "U.S. Immigration and Customs Enforcement (ICE) has sharply increased its spending on weapons in 2025, according to an analysis of federal government contracting data by Popular Information. Records from the Federal Procurement Data System reveal that ICE has increased spending on 'small arms, ordnance, and ordnance accessories manufacturing' by 700% compared to 2024 levels.
"New spending in the small arms category from January 20, 2025, the day Trump was inaugurated, through October 18, totaled $71,515,762. Most of the spending was on guns and armor, but there have also been significant purchases of chemical weapons and 'guided missile warheads and explosive components.'
"On September 29, 2025, ICE made a $9,098,590 purchase from #GeisseleAutomatics, which sells #SemiAutomatic and #AutomaticRifles. The total spending by ICE in the small arms category between January 20 and October 18, 2024, was $9,715,843."
https://popular.info/p/ice-boosts-weapons-spending-700
#USPol #ACAB #TrumpIsABully
#SecretPolice #ICESucks #Disappeared
#Orwellian #ThoughtPolice #ICEOfficers #BigGuns #SilencingDissent #CharacteristicsOfFascism #authoritarianism -
#ICE boosts weapons spending 700%
A Popular Information investigation reveals tens of millions in new ICE spending on #guns, #ChemicalWeapons, and explosives.
Judd Legum
Oct 20, 2025Excerpt: "U.S. Immigration and Customs Enforcement (ICE) has sharply increased its spending on weapons in 2025, according to an analysis of federal government contracting data by Popular Information. Records from the Federal Procurement Data System reveal that ICE has increased spending on 'small arms, ordnance, and ordnance accessories manufacturing' by 700% compared to 2024 levels.
"New spending in the small arms category from January 20, 2025, the day Trump was inaugurated, through October 18, totaled $71,515,762. Most of the spending was on guns and armor, but there have also been significant purchases of chemical weapons and 'guided missile warheads and explosive components.'
"On September 29, 2025, ICE made a $9,098,590 purchase from #GeisseleAutomatics, which sells #SemiAutomatic and #AutomaticRifles. The total spending by ICE in the small arms category between January 20 and October 18, 2024, was $9,715,843."
https://popular.info/p/ice-boosts-weapons-spending-700
#USPol #ACAB #TrumpIsABully
#SecretPolice #ICESucks #Disappeared
#Orwellian #ThoughtPolice #ICEOfficers #BigGuns #SilencingDissent #CharacteristicsOfFascism #authoritarianism -
Semi-Automatic Yamaha MT-09 TESTED! | Y-AMT REVIEW
Source: Semi-Automatic Yamaha MT-09 TEST...
#44teeth #44teeth #44teeth.com #automaticgearbox #fagan #mt09 #review #roadtest #semiautomatic #YAMT #YamahaMT09 -
I hadn’t seen this & holy hell is this disturbing.
A coalition of #Republican *lawmakers* want to make the #AR15, a #SemiAutomatic #firearm, #Michigan’s state #rifle, a move that concerned #GunControl advocates.
HB 5792, introduced by Rep Brian #BeGole (R-Antrim Twp), the fmr #sheriff of Shiawassee County, would make the #MilitaryGradeWeapon the state’s ofcl rifle.
#AmericanGunEpidemic #GunFetishism #GunViolence #Republicans #MIpol #USpol #law
https://michiganadvance.com/briefs/gop-legislators-seek-to-make-ar-15-michigans-official-state-rifle/ -
I hadn’t seen this & holy hell is this disturbing.
A coalition of #Republican *lawmakers* want to make the #AR15, a #SemiAutomatic #firearm, #Michigan’s state #rifle, a move that concerned #GunControl advocates.
HB 5792, introduced by Rep Brian #BeGole (R-Antrim Twp), the fmr #sheriff of Shiawassee County, would make the #MilitaryGradeWeapon the state’s ofcl rifle.
#AmericanGunEpidemic #GunFetishism #GunViolence #Republicans #MIpol #USpol #law
https://michiganadvance.com/briefs/gop-legislators-seek-to-make-ar-15-michigans-official-state-rifle/ -
#SupremeCourt #BumpStock Ruling Reflects Its #MAGA Agenda. How else do you explain a decision that says devices that enable #semiautomatic #rifles to be turned into copycat machine guns are okay? https://archive.is/mupGa#selection-1361.0-1369.134 #GOP #courts #bilionaires #gunviolence #legalresearch #publicsafety
-
#SupremeCourt #BumpStock Ruling Reflects Its #MAGA Agenda. How else do you explain a decision that says devices that enable #semiautomatic #rifles to be turned into copycat machine guns are okay? https://archive.is/mupGa#selection-1361.0-1369.134 #GOP #courts #bilionaires #gunviolence #legalresearch #publicsafety
-
This goes WAY beyond "Cynical" to outright cowardice.
After the #VegasShooting in 2018, both #Republicans and #Democrats agreed to Ban #BumpStocks (which effectively turn #semiautomatic long #guns into #automatic #weapons.) And #TheOrangeMenace signed that ban.
But 2018 wasn't a presidential election year. 🤬 #GOPHypocrisy #NRA #GunNuts #GOP #DeathCult
https://www.msnbc.com/alex-wagner-tonight/watch/unconstrained-by-principle-republicans-including-trump-flip-flop-on-bump-stock-ban-213253701945 -
This goes WAY beyond "Cynical" to outright cowardice.
After the #VegasShooting in 2018, both #Republicans and #Democrats agreed to Ban #BumpStocks (which effectively turn #semiautomatic long #guns into #automatic #weapons.) And #TheOrangeMenace signed that ban.
But 2018 wasn't a presidential election year. 🤬 #GOPHypocrisy #NRA #GunNuts #GOP #DeathCult
https://www.msnbc.com/alex-wagner-tonight/watch/unconstrained-by-principle-republicans-including-trump-flip-flop-on-bump-stock-ban-213253701945 -
CW: Nsfw
-
CW: Nsfw
-
…#Trump’s lawyer on Thurs will be Mitchell, who was a #law clerk to Justice #AntoninScalia, the late Supreme Court #conservative. Mitchell will be standing…before …(#SCOTUS) for the 6th time & is scheduled to make his 7th trip later this month for a #SecondAmendment case, challenging a #federal #ban on #BumpStocks (a #semiautomatic #gun stock for rapid ammo reloading — cuz apparently the #FarRight thinks that’s something people need outside of war zones).
-
…#Trump’s lawyer on Thurs will be Mitchell, who was a #law clerk to Justice #AntoninScalia, the late Supreme Court #conservative. Mitchell will be standing…before …(#SCOTUS) for the 6th time & is scheduled to make his 7th trip later this month for a #SecondAmendment case, challenging a #federal #ban on #BumpStocks (a #semiautomatic #gun stock for rapid ammo reloading — cuz apparently the #FarRight thinks that’s something people need outside of war zones).
-
…#Trump’s lawyer on Thurs will be Mitchell, who was a #law clerk to Justice #AntoninScalia, the late Supreme Court #conservative. Mitchell will be standing…before …(#SCOTUS) for the 6th time & is scheduled to make his 7th trip later this month for a #SecondAmendment case, challenging a #federal #ban on #BumpStocks (a #semiautomatic #gun stock for rapid ammo reloading — cuz apparently the #FarRight thinks that’s something people need outside of war zones).
-
…#Trump’s lawyer on Thurs will be Mitchell, who was a #law clerk to Justice #AntoninScalia, the late Supreme Court #conservative. Mitchell will be standing…before …(#SCOTUS) for the 6th time & is scheduled to make his 7th trip later this month for a #SecondAmendment case, challenging a #federal #ban on #BumpStocks (a #semiautomatic #gun stock for rapid ammo reloading — cuz apparently the #FarRight thinks that’s something people need outside of war zones).
-
…#Trump’s lawyer on Thurs will be Mitchell, who was a #law clerk to Justice #AntoninScalia, the late Supreme Court #conservative. Mitchell will be standing…before …(#SCOTUS) for the 6th time & is scheduled to make his 7th trip later this month for a #SecondAmendment case, challenging a #federal #ban on #BumpStocks (a #semiautomatic #gun stock for rapid ammo reloading — cuz apparently the #FarRight thinks that’s something people need outside of war zones).
-
#Army #Ammunition Plant Is Tied to #MassShootings Across the U.S. The site was built for the #military, but #commercial #sales are booming with little #publicaccountability. Rounds have been bought by #murderers, #antigovernment groups and others. https://www.nytimes.com/2023/11/11/us/army-ammunition-factory-shootings.html #GunViolence #murder #shootings #guns #rifles #semiautomatic #crime #ar15 #MassShooting #gangs #DoD #defense #accountability
