Tootfinder

Seitenhieb auf #Telsa: #Waymo vergrößert Servicegebiet in Austin
https://www.

Call for Papers: 25th Annual Africa Conference at the University of Texas at Austin, April 1st to 5th, 2026 https://networks.h-net.org/group/announcements/20120949/call-papers-25th-annual-africa-conference-university-texas-a…

Austin-based PE firm Haveli Investments agrees to acquire Couchbase, which offers a cloud database for AI applications, for about $1.5B (Akash Sriram/Reuters)
https://www.reuters.com/legal/transactional/hav…

Graph Neural Network Surrogates for Contacting Deformable Bodies with Necessary and Sufficient Contact Detection
Vijay K. Dubey (The University of Texas at Austin), Collin E. Haese (The University of Texas at Austin), Osman G\"ultekin (The University of Texas at Austin), David Dalton (University of Glasgow), Manuel K. Rausch (The University of Texas at Austin), Jan N. Fuhg (The University of Texas at Austin)

Graph Neural Network Surrogates for Contacting Deformable Bodies with Necessary and Sufficient Contact Detection
Surrogate models for the rapid inference of nonlinear boundary value problems in mechanics are helpful in a broad range of engineering applications. However, effective surrogate modeling of applications involving the contact of deformable bodies, especially in the context of varying geometries, is still an open issue. In particular, existing methods are confined to rigid body contact or, at best, contact between rigid and soft objects with well-defined contact planes. Furthermore, they employ c…

56,397 People Now Detained by ICE, Possibly Highest in History (Austin Kocher)
https://austinkocher.substack.com/p/55654-people-now-detained-by-ice
http://www.memeorandum.com/250621/p30#a250621p30

In June 2005, in the RDS Arena, Dublin, WWE held a non-televised Live Event.
One of the matches was John Cena vs Kurt Angle vs JBL in a Triple Threat match with Stone Cold Steve Austin as special guest referee.
#WWE #ProWrestling

🇺🇦 #NowPlaying on KEXP's #Roadhouse
Poison 13:
🎵 One Step Closer
#Poison13
https://sinpunx661.bandcamp.com/track/one-step-closer-poison-13-austin-texas

Interviews with over 70 people detail the 13-year search for Austin Tice, the American journalist who was kidnapped near Damascus in August 2012 (Washington Post)
https://www.washingtonpost.com/national-security/2025/08/13/austin-tice-syria-assad-s…

Inside the 13-year search for Austin Tice, the journalist who disappeared
Austin Tice disappeared in Syria in 2012. To reconstruct the 13-year search for the journalist, The Post spoke with more than 70 people, uncovering new information about his imprisonment and the effort to free him.

Texas enacts legislation, effective September 1, requiring a permit to operate self-driving vehicles, just before Tesla's planned robotaxi trial in Austin (Reuters)
https://www.reuters.com/business/autos-trans…

Being Dead - “Godzilla Rising” (2024)
This whole album is pretty good. Very fun and clever. Of course they're from Austin.
A BC supporter described them as "The Mamas and The Papas meet the Elephant Six Collective" and I think that's a fitting description. Odd time signatures, lots of vocal harmonizing, and jangly pop guitars.
Great opening track here 👇
#music

Stopping Dark Mesons in Their Tracks with Long-Lived Particle and Resonant Signatures
Pouya Asadi, Austin Batz, Elias Bernreuther, Marco Costa, Samuel Homiller, Graham D. Kribs
https://arxiv.org/abs/2507.13430

Stopping Dark Mesons in Their Tracks with Long-Lived Particle and Resonant Signatures
Dark sectors with confining gauge interactions can provide both simple dark matter candidates and striking signals at colliders. We recast Large Hadron Collider searches for two different signatures of dark mesons that arise from a strongly-coupled theory with vector-like dark quarks that are in some non-trivial representation of Standard Model SU(2)$_L$. For any such electroweak representation, there is a 3-plet of dark mesons whose charged components are long-lived, and we reinterpret searche…

No Kings 2.0. July 4, 2025
https://bsky.app/profile/jynxthewondergirl.bsky.social/post/3lrtaa52te22z

Call for Papers: 25th Annual Africa Conference at the University of Texas at Austin, April 1st to 5th, 2026
https://ift.tt/iBNzwTc
Digitisation, Orphan Works & Copyright: New Resource for the GLAM sector CREATe, the RCUK…
via Input 4 RELCFP

Analysis note: measurement of thrust in $e^{ }e^{-}$ collisions at $\sqrt{s}$ = 91 GeV with archived ALEPH data
Anthony Badea, Austin Baty, Hannah Bossi, Yu-Chen Chen, Yi Chen, Jingyu Zhang, Gian Michele Innocenti, Marcello Maggi, Chris McGinn, Michael Peters, Tzu-An Sheng, Vinicius Mikuni, Matthew Avaylon, Patrick Komiske, Eric Metodiev, Jesse Thaler, Benjamin Nachman, Yen-Jie Lee

Analysis note: measurement of thrust in $e^{+}e^{-}$ collisions at $\sqrt{s}$ = 91 GeV with archived ALEPH data
A measurement of the thrust distribution in $e^{+}e^{-}$ collisions at $\sqrt{s} = 91.2$ GeV with archived data from the ALEPH experiment at the Large Electron-Positron Collider is presented. The thrust distribution is reconstructed from charged and neutral particles resulting from hadronic $Z$-boson decays. For the first time with $e^{+}e^{-}$ data, detector effects are corrected using a machine learning based method for unbinned unfolding. The measurement provides new input for resolving curr…

Tesla's robotaxi service will launch in Austin with just ~10 cars that are geofenced to avoid complex intersections and monitored by backup teleoperators (Richard Waters/Financial Times)
https://www.ft.com/content/2ad302c6-febe-448f-9980-17d116d9695a…

Tesla’s robotaxi ambitions face a reality check after launch
Autonomous ride-hailing service to make tentative debut in Austin, Texas, with only about 10 cars

Are you coming to Longhorn PHP in Austin this October?
You should, because I'll be blowing your mind about what PHP properties can do now. It's time to reimagine what PHP can do...
https://longhornphp.com/sessions#a-field-guide-to-phproperties
G…

NFL Projection Model, AFC win totals: Will the Chiefs still reign supreme? https://www.nytimes.com/athletic/6562753/2025/08/20/nfl-projection-model-afc-win-totals-2025/

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Faith Evans:
🎵 Soon as I Get Home
#FaithEvans
https://austinmillz.bandcamp.com/track/faith-evans-soon-as-i-get-home-austin-millz-remix
https://open.spotify.com/track/6SkGfPa77E4giShVbk9N6R

#Tesla will mit Robotaxis beweisen, dass autonomes Fahren ohne Lidar und nur mit Kameras möglich ist. Doch die Zeit drängt: Waymo, VW und Uber sind schon da. Sollte der Start in Austin misslingen, droht Tesla der Verlust seiner Vorreiterrolle – und der Glaube an Musks Vision. Es ist nicht nur ein Test für die Technik, sondern für das ganze Unternehmen. Holger Schmidt -

NFL Projection Model, AFC win totals: Will the Chiefs still reign supreme? https://www.nytimes.com/athletic/6562753/2025/08/20/nfl-projection-model-afc-win-totals-2025/

#NowPlaying this great, bizarre EP that Austin, Texas' MONTAZ put out in 2020, 'Red Butt'. It's like, weird fuzzed out butt rock kinda - reminds me of Sebadoh sometimes maybe? It's rad and I love it when it came out but hadn't revisited it for a while. It's on Bandcamp to buy, too, but no previews there. So here it is on the 'Tube

Hey. (Yes, I'm talking to you.) 😁
I’m rucking 20K next weekend to help feed Austin kids this summer.
$1 per kilometer = $20 = 40 meals. You can help/sponsor/donate here:
https://gym.squatchfitness.com/widget/form/iJyMDikb6YBSqISXro4W
Thanks in…

Thousands gathered in cities and towns across 34 states on Saturday
for a national day of protest against Republican redistricting plans in Texas and elsewhere.
“Fight the Trump Takeover”
was anchored in Austin, Texas,
with other sites spread nationwide.
In Austin alone, more than 5,000 protestors gathered at the city’s capitol in a show of defiance.
Videos and photos on social media showed protestors holding various signs that read:
“Abbott is a vot…

#Tesla vermeldet, dass es in #Austin mit einem #Robotaxi autonom herumfährt.
Die real befahrene Fläche ist der blaue Teil der Karte unten.
So richtig autonom ist es auch nicht. Es sitzt immer eine Kontroll…

Syrian General Questioned in Case of Missing American (New York Times)
https://www.nytimes.com/2025/06/15/us/politics/syria-austin-tice-journalist.html
http://www.memeorandum.com/250615/p40#a250615p40

Free summer music festival announces full lineup with 136 Austin acts #MusicNews

Hot Summer Nights announces full lineup with 136 Austin acts
Hot Summer Nights, Austin's donation-based festival across the Red River Cultural District (RRCD), is nearly here. From July 24-26, more than 140 acts will play at more than 15 venues on Red River Street, the city's hub for local live music. RRCD has just announced its full lineup, with 136 names and a handful more to come.

Austin-based Aalo Atomics, which is building a modular nuclear reactor and data center, set to finish construction in 2026, raised a $100M Series B led by Valor (Julia Hornstein/Business Insider)
https://www.businessinsider.com/aalo-atomi

Aalo Atomics lands $100 million to launch nuclear reactors to power AI
Aalo Atomics raises $100 million to mass-produce nuclear reactors to power data centers amid the growing energy demand from AI.

Multiset Metric Dimension of Binomial Random Graphs
Austin Eide, Pawel Pralat
https://arxiv.org/abs/2507.11686 https://arxiv.org/pdf/…

Multiset Metric Dimension of Binomial Random Graphs
For a graph $G = (V,E)$ and a subset $R \subseteq V$, we say that $R$ is \textit{multiset resolving} for $G$ if for every pair of vertices $v,w$, the \textit{multisets} $\{d(v,r): r \in R\}$ and $\{d(w,r):r \in R\}$ are distinct, where $d(x,y)$ is the graph distance between vertices $x$ and $y$. The \textit{multiset metric dimension} of $G$ is the size of a smallest set $R \subseteq V$ that is multiset resolving (or $\infty$ if no such set exists). This graph parameter was introduced by Simanju…

John Hartford and the Dillards - "Orange Blossom Special" (Austin City Limits, 1978)
#TuneTuesday

Fins' Jackson 'stepped on,' to miss a few weeks https://www.espn.com/nfl/story/_/id/45891127/dolphins-austin-jackson-miss-weeks-lower-leg-injury

Austin-based CertifID, which develops tech to prevent wire fraud in real estate transactions, raised a $47.5M Series C led by Centana Growth Partners (Ryan Lawler/Axios)
https://www.axios.com/pro/fintech-deals/2025/07/15/certifid-47-million-real-estat…

Exclusive: CertifID raises $47.5 million to fight real estate wire fraud
Real estate wire fraud is surging, driven by increasingly sophisticated scams.

🇺🇦 #NowPlaying on #BBC6Music's #NickGrimshaw
Caolšn Austin:
🎵 Joyful, Joyful
#CaolánAustin
https://caolanaustin.bandcamp.com/track/joyful-joyful
https://open.spotify.com/track/2u3ULO4uv9oZcclbhatttX

kind of uncanny to hear a hi-fi recording of the ecstatic #austin #drone-#noise collective water damage & actually be able to pick out (some of) the different musicians, maybe even more beautiful.

Never mind the dummy,
The Robotaxi also failed to stop for the stop sign.
Nice hit and run afterwards, though.
https://bsky.app/profile/carlquintanilla.bsky.social/post/3lridgcwvvc2n

Syrian intelligence files show that missing American journalist Austin Tice was imprisoned by the regime of the now-deposed Syrian President Bashar al-Assad (BBC)
https://www.bbc.com/news/articles/cn84z5e8jjzo

Austin Tice: Secret files show missing US journalist was imprisoned by Syria
The BBC has uncovered top secret files that confirm Austin Tice was imprisoned by Syria's Assad regime.

"demonstrators in New York, Philadelphia, Austin and other cities across the U.S. are also rallying against immigration raids"
L.A. protests live updates: Trump mobilizes marines, 2,000 additional National Guard troops - The Washington Post
https://www.washingtonpost.com/nation/2025/06/09/la-protests-ice-live-updates/

One-third of Sun-like stars are born with misaligned planet-forming disks
Lauren I. Biddle (The University of Texas at Austin), Brendan P. Bowler (University of California Santa Barbara), Marvin Morgan (The University of Texas at Austin, University of California Santa Barbara), Quang H. Tran (Yale University), Ya-Lin Wu (Taiwan Normal University)
https://

One-third of Sun-like stars are born with misaligned planet-forming disks
Exoplanets are organized in a broad array of orbital configurations that reflect their formation along with billions of years of dynamical processing through gravitational interactions. This history is encoded in the angular momentum architecture of planetary systems--the relation between the rotational properties of the central star and the orbital geometry of planets. A primary observable is the alignment (or misalignment) between the rotational axis of the star and the orbital plane of its p…

Elon Musk says Tesla's robotaxi service will "tentatively" begin on June 22 in Austin, with first autonomous deliveries of a car to a customer's home on June 28 (Ari Levy/CNBC)
https://www.cnbc.com/2025/06/10/elon-musk-

Elon Musk says Tesla robotaxi rides in Austin 'tentatively' set to begin June 22
Tesla CEO Elon Musk said in a post on X on Tuesday that the first self-driving Tesla will reach a customer's house on June 28.

Block encoding the 3D heterogeneous Poisson equation with application to fracture flow
Austin Pechan, John Golden, Daniel O'Malley
https://arxiv.org/abs/2508.07125 https://

Block encoding the 3D heterogeneous Poisson equation with application to fracture flow
Quantum linear system (QLS) algorithms offer the potential to solve large-scale linear systems exponentially faster than classical methods. However, applying QLS algorithms to real-world problems remains challenging due to issues such as state preparation, data loading, and efficient information extraction. In this work, we study the feasibility of applying QLS algorithms to solve discretized three-dimensional heterogeneous Poisson equations, with specific examples relating to groundwater flow …

The #GOP scheme: redraw the Texas map mid‑decade to wipe out Democratic districts, esp. ones w/ Black & Latino majorities, & create 5 more GOP‑friendly seats for #Trump.
But #Democrats aren’t …

Fighting Fire With Fire
From Austin to Albany, This Is the Counterpunch We’ve Been Waiting For

EinHops: Einsum Notation for Expressive Homomorphic Operations on RNS-CKKS Tensors
Karthik Garimella, Austin Ebel, Brandon Reagen
https://arxiv.org/abs/2507.07972

EinHops: Einsum Notation for Expressive Homomorphic Operations on RNS-CKKS Tensors
Fully Homomorphic Encryption (FHE) is an encryption scheme that allows for computation to be performed directly on encrypted data, effectively closing the loop on secure and outsourced computing. Data is encrypted not only during rest and transit, but also during processing. However, FHE provides a limited instruction set: SIMD addition, SIMD multiplication, and cyclic rotation of 1-D vectors. This restriction makes performing multi-dimensional tensor operations challenging. Practitioners must …

Monday jam: The San Pedro Allstars | Spoonful | #blues

Spoonful by The San Pedro Allstars, Reed Turchi, Austin White, Marlon Patton & Eric Burns
Listen now on your favorite streaming service. Powered by Songlink/Odesli, an on-demand, customizable smart link service to help you share songs, albums, podcasts and more.

Teslas Robotaxi fährt jetzt – aber nur, wenn die Sonne scheint, der Regen ausbleibt und ein Tesla-Mitarbeiter auf dem Beifahrersitz brav winkt. Autonom? Eher autonom-isch! Der große Sprung nach vorn sieht aus wie ein Beta-Test auf Rädern. Waymo fährt längst, #Tesla feiert noch das Versprechen von 2016. Willkommen in der PR-Zone! (

Tesla Robotaxi Analyse – Der grosse Bluff in Austin
Tesla hat es mal wieder geschafft, die Schlagzeilen zu dominieren. Mit dem offiziellen Start des Robotaxi-Services in Austin, Texas, suggeriert das Unternehmen einen technologischen Quantensprung. Doch was steckt wirklich dahinter? Ein genauer Blick zeigt: Wenig Technologie, viel Inszenierung... und jede Menge alter Versprechen. Wenn ihr MeTacheles direkt unterstuetzen wollt, dann

Months after detaining 47 people accused of being Tren de Aragua in Austin, authorities offer no evidence of gang ties (Alejandro Serrano/The Texas Tribune)
https://www.texastribune.org/2025/06/04/texas-immigration-raid-hays-county-austin-venezuelan-gang/
http://www.memeorandum.com/250604/p116#a250604p116

High-dimensional maximum-entropy phase space tomography
Austin Hoover
https://arxiv.org/abs/2508.11227 https://arxiv.org/pdf/2508.11227

High-dimensional maximum-entropy phase space tomography
Reconstructing 4D or 6D phase space distributions from 1D or 2D measurements is a challenging inverse problem encountered in particle accelerators. Entropy maximization is an established method to incorporate prior information in the reconstruction, but it is typically infeasible in high-dimensional spaces. In this paper, I review two recent approaches to high-dimensional entropy maximization. The first approach utilizes differentiable simulations and a class of generative models known as \text…

A dual AGN at z = 5.4 associated with a Lyman-alpha Nebula in the Center of a Cosmic Filament
Qiong Li, Christopher J. Conselice, Qiao Duan, Duncan Austin, Tom Harvey, Nathan Adams, George Bendo, Lewi Westcott, Vadim Rusakov, Zheng Cai, Yuanhang Ning, Shiwu Zhang
https://arxiv.org/abs/2508.09749

A dual AGN at z = 5.4 associated with a Lyman-alpha Nebula in the Center of a Cosmic Filament
Predictions from current theories and simulations suggest that dual AGN systems are exceedingly rare at high redshifts. The intense radiation and powerful outflows from AGNs regulate star formation, heat the interstellar medium, and drive massive gas outflows that shape the host galaxy and its surroundings. One manifestation of AGN feedback is the creation of extended Ly$α$ nebulae. However, identifying these systems at high-$z$ is challenging. Here, we report a remarkable dual AGN candidate a…

Commanders RB Austin Ekeler: Jayden Daniels 'exceeded expectations' in 2024, but will show 'more growth this year' https://www.nfl.com/news/commanders-rb-austin-ekeler-jayden-daniels-exceeded-expectations-in-2024…

Thousands are expected to gather in cities and towns across 34 states on Saturday
for a national day of protest against Republican redistricting plans in Texas and elsewhere.
“Fight the Trump Takeover” will be anchored in Austin, Texas, with other sites spread nationwide.
“Texas House Democrats are blocking a redistricting vote in the Texas House right now to Stop the Trump Takeover,”
a website for the protests says.
“But Trump has made it clear that he’s not st…

Austin Allen presents Eric Allen for enshrinement | 2025 Hall of Fame https://www.raiders.com/video/eric-allen-enshrinement-2025-hall-of-fame-nfl

🇺🇦 #NowPlaying on #BBC6Music's #NewMusicFix
Caolšn Austin:
🎵 To Watch You Grow (Is a Gift)
#CaolánAustin
#newRelease 🆕 single
https://caolanaustin.bandcamp.com/track/to-watch-you-grow-is-a-gift
https://open.spotify.com/track/00YDvLQi1jYvKAQgkdunmp

Cowboys UDFA could be on former star's trajectory https://insidethestar.com/cowboys-udfa-could-be-on-former-stars-trajectory

Droplet growth, Ostwald's rule, and emergence of order in Fused in Sarcoma
Farkhad Maksudov (Department of Chemistry, The University of Texas at Austin), Mauro L. Mugnai (Institute of Soft Matter Synthesis and Metrology, Georgetown University, Washington), Laura Dominguez (Department of Chemistry, The University of Texas at Austin, Departamento de Fisicoquimica, Facultad de Quimica, Universidad Nacional Autonoma de Mexico, Coyoacan, CDMX, Mexico), Dmitrii Makarov (Department of Che…

Droplet growth, Ostwald's rule, and emergence of order in Fused in Sarcoma
The low complexity domain of Fused in Sarcoma (FUS-LC consisting of 214 residues) undergoes phase separation, resulting in a dense liquid-like phase that forms early and slowly matures to reach ordered gel-like state on long time scales. Upon maturation, core-1, comprising of the 57 residues (39-95) in the N-terminus become structured, resulting in the formation of a non-polymorphic fibril. The truncated FUS-LC-C (residues 110-214) construct forms a fibril in which core-2 (residues 112-150) ado…

Replaced article(s) found for cs.AR. https://arxiv.org/list/cs.AR/new
[1/1]:
- A Runtime-Adaptive Transformer Neural Network Accelerator on FPGAs
Ehsan Kabir, Austin R. J. Downey, Jason D. Bakos, David Andrews, Miaoqing Huang

Sling TV debuts shorter-term packages aimed at sports fans: a day pass for $4.99, a weekend pass for $9.99, and a week pass for $14.99 (Austin Karp/Sports Business Journal)
https://www.sportsbusinessjournal.com/Articles/2025/08/12/s…

Sling TV offering new products ahead of football
Dish-owned Sling TV will begin offering day, weekend and weeklong passes for fans to dip in and potentially dip out of the service. A day pass for Sling TV, which is a first-of-its-kind for a vMVPD, will run fans $4.99 for a 24-hour window. Weekend passes go for $9.99 and weeklong passes for $14.99.

Fiscal Spillovers through Informal Financial Channels
Austin Kennedy
https://arxiv.org/abs/2508.06662 https://arxiv.org/pdf/2508.06662

Fiscal Spillovers through Informal Financial Channels
This paper examines fiscal policy spillovers through informal international financial channels, using the US stimulus checks as a positive, sudden, and direct fiscal shock. I utilize granular, transaction-level cryptocurrency data combined with an algorithm to probabilistically identify cross-border "crypto vehicle" transactions to construct bilateral cryptocurrency flows between countries. Using a difference-in-differences strategy, I compare cryptocurrency outflows between the US and other hi…

Guys I found a large quantity of Delta-9 in Texas who do I call

🇺🇦 #NowPlaying on BBCRadio3's #BBCProms
Duke Ellington, Samara Joy, Samara Joy, Donavan Austin, Andrew Cottee, Samara Joy Octet, BBC Concert Orchestra & Miho Hazama:
🎵 I've Got It Bad, And That Ain't Good
#DukeEllington #SamaraJoy #DonavanAustin #AndrewCottee #MihoHazama

"Musk’s 'ChatGPT moment' may soon be here"
Not that ChatGPT is any sign of success, but this will probably be more like "CrashGPT" and "CollateralGPT". 😟
#Tesla #robotaxi #Musk #technology

UT-GraphCast Hindcast Dataset: A Global AI Forecast Archive from UT Austin for Weather and Climate Applications
Naveen Sudharsan, Manmeet Singh, Harsh Kamath, Hassan Dashtian, Clint Dawson, Zong-Liang Yang, Dev Niyogi
https://arxiv.org/abs/2506.17453

UT-GraphCast Hindcast Dataset: A Global AI Forecast Archive from UT Austin for Weather and Climate Applications
The UT GraphCast Hindcast Dataset from 1979 to 2024 is a comprehensive global weather forecast archive generated using the Google DeepMind GraphCast Operational model. Developed by researchers at The University of Texas at Austin under the WCRP umbrella, this dataset provides daily 15 day deterministic forecasts at 00UTC on an approximately 25 km global grid for a 45 year period. GraphCast is a physics informed graph neural network that was trained on ECMWF ERA5 reanalysis. It predicts more tha…

Gov. Greg Abbott says emails with Elon Musk are too 'intimate and embarrassing' to make public (Lauren McGaughy/KUT Radio, Austin's NPR Station)
https://www.kut.org/politics/2025-07-14/texas-elon-musk-greg-abbott
http://www.memeorandum.com/250714/p103#a250714p103

Predicting Realized Variance Out of Sample: Can Anything Beat The Benchmark?
Austin Pollok
https://arxiv.org/abs/2506.07928 https://a…

Predicting Realized Variance Out of Sample: Can Anything Beat The Benchmark?
The discrepancy between realized volatility and the market's view of volatility has been known to predict individual equity options at the monthly horizon. It is not clear how this predictability depends on a forecast's ability to predict firm-level volatility. We consider this phenomenon at the daily frequency using high-dimensional machine learning models, as well as low-dimensional factor models. We find that marginal improvements to standard forecast error measurements can lead to economica…

RV32I in ACL2
Carl Kwan (The University of Texas at Austin)
https://arxiv.org/abs/2507.19009 https://arxiv.org/pdf/2507.19009

RV32I in ACL2
We present a simple ACL2 simulator for the RISC-V 32-bit base instruction set architecture, written in the operational semantics style. Like many other ISA models, our RISC-V state object is a single-threaded object and we prove read-over-write, write-over-write, writing-the-read, and state well-formedness theorems. Unlike some other models, we separate the instruction decoding functions from their semantic counterparts. Accordingly, we verify encoding / decoding functions for each RV32I instru…

Liberals started leaving a while back, with the governor trying to override/annex the liberal cities, but now it seems the right has had enough as well.
‘Moving to Texas is over’: Podcasters who followed Joe Rogan to Austin rail against state https://www.alternet.org/joe-rogan-trump/

It Is Not Enough for States to Abolish the Death Penalty by Statute or Judicial Decree; They Must Make It Unconstitutional | Austin Sarat | Verdict | Legal Analysis and Commentary from Justia
https://verdict.justia.com/2025/08/06/it-is-not-enough-for-states-to-abolish-the-death-penalty-by-statute-or-judicial-decree-they-must-make-it-unconstitutional

Replaced article(s) found for cs.PF. https://arxiv.org/list/cs.PF/new
[1/1]:
- A Theory of Inference Compute Scaling: Reasoning through Directed Stochastic Skill Search
Austin R. Ellis-Mohr, Anuj K. Nayak, Lav R. Varshney

Austin-based Autonomize AI, which develops AI agents for automating administrative workflows in healthcare and life sciences, raised a $28M Series A (Axios)
https://www.axios.com/pro/health-tech-deals/2025/06/12/autonomize-ai-raise…

Exclusive: Autonomize AI gets $28M for health agents
It's the latest sign of investor appetite for infrastructure-layer AI in health care.

Study shows the use of emojis in text messaging improves perceived responsiveness and thereby enhances closeness and relationship satisfaction https://phys.org/news/2025-07-emoji-impact-relationship-outcomes-reveals.html

Emoji use may impact relationship outcomes, study reveals
The use of emojis in text messaging improves perceived responsiveness and thereby enhances closeness and relationship satisfaction, according to a study published in the open-access journal PLOS One by Eun Huh from the University of Texas at Austin, U.S.

Prospects for PBR detection of KM3-230213A-like events
Angela V. Olinto (for the JEM-EUSO collaboration), Luis A. Anchordoqui (for the JEM-EUSO collaboration), Austin Cummings (for the JEM-EUSO collaboration), Johannes Eser (for the JEM-EUSO collaboration), Diksha Garg (for the JEM-EUSO collaboration), Claire Gu\'epin (for the JEM-EUSO collaboration), Tobias Heibges (for the JEM-EUSO collaboration), John F. Krizmanic (for the JEM-EUSO collaboration), Thomas C. Paul (for the JEM-EUS…

Prospects for PBR detection of KM3-230213A-like events
POEMMA-Balloon with Radio (PBR) is a scaled-down version of the Probe Of Extreme Multi-Messenger Astrophysics (POEMMA) design, optimized to be flown as a payload on one of NASA's sub-orbital super pressure balloons circling the Earth above the southern oceans for a mission duration of more than 20 days. One of the main science objectives of PBR is to follow up astrophysical event alerts in search of neutrinos with very high energy ($10^8 \lesssim E_ν/{\rm GeV} \lesssim 10^{10}$). Of particular…

Your Spending Needs Attention: Modeling Financial Habits with Transformers
D. T. Braithwaite, Misael Cavalcanti, R. Austin McEver, Hiroto Udagawa, Daniel Silva, Rohan Ramanath, Felipe Meneses, Arissa Yoshida, Evan Wingert, Matheus Ramos, Brian Zanfelice, Aman Gupta
https://arxiv.org/abs/2507.23267 …

Your Spending Needs Attention: Modeling Financial Habits with Transformers
Predictive models play a crucial role in the financial industry, enabling risk prediction, fraud detection, and personalized recommendations, where slight changes in core model performance can result in billions of dollars in revenue or losses. While financial institutions have access to enormous amounts of user data (e.g., bank transactions, in-app events, and customer support logs), leveraging this data effectively remains challenging due to its complexity and scale. Thus, in many financial i…

🇺🇦 #NowPlaying on KEXP's #DriveTime
Kamasi Washington feat. Thundercat, Taj Austin & Ras Austin:
🎵 Asha the First
#KamasiWashington #Thundercat #TajAustin #RasAustin
https://kamasiwashington.bandcamp.com/track/asha-the-first
https://open.spotify.com/track/5yRerSW4IIbninr1JDXfvi

Structural Extrapolation in Regression Discontinuity Designs with an Application to School Expenditure Referenda
Austin Feng, Francesco Ruggieri
https://arxiv.org/abs/2508.02658

Structural Extrapolation in Regression Discontinuity Designs with an Application to School Expenditure Referenda
We propose a structural approach to extrapolate average partial effects away from the cutoff in regression discontinuity designs (RDDs). Our focus is on applications that exploit closely contested school district referenda to estimate the effects of changes in education spending on local economic outcomes. We embed these outcomes in a spatial equilibrium model of local jurisdictions in which fiscal policy is determined by majority rule voting. This integration provides a microfoundation for the…

Extending the Affirmative Action Problem: mixing numbers and integrated colorings of graphs
Charles Burnette, Broden Caton, Olivia Coward, Julian Davis, Austin Teter
https://arxiv.org/abs/2506.07192

Extending the Affirmative Action Problem: mixing numbers and integrated colorings of graphs
Consider a graph whose vertices are colored in one of two colors, say black or white. A white vertex is called integrated if it has at least as many black neighbors as white neighbors, and similarly for a black vertex. The coloring as a whole is integrated if every vertex is integrated. A classic exercise in graph theory, known as the Affirmative Action Problem, is to prove that every finite simple graph admits an integrated coloring. The solution can be neatly summarized with the one-liner: "m…

Internal documents show Texas National Guard scrambling to find trained soldiers for protests (Bayliss Wagner/Austin American-Statesman)
https://www.statesman.com/story/news/politics/state/2025/06/13/internal-documents-show-texas-national-guard-scrambling-to-find-trained-soldiers-for-protests/84193242007/
http://www.memeorandum.com/250613/p149#a250613p149

Reionization in Protocluster Environments at $z>7$ with JWST/NIRSpec
Qiong Li, Christopher J. Conselice, Duncan Austin, Tom Harvey, Nathan Adams, Vadim Rusakov, Lewi Westcott
https://arxiv.org/abs/2508.08037

Reionization in Protocluster Environments at $z>7$ with JWST/NIRSpec
Understanding the role of high-redshift protoclusters in cosmic reionization is essential to unveiling the early stages of structure formation. Using deep imaging and spectroscopy from the James Webb Space Telescope (JWST) JADES Deep Survey in GOODS-South, we identify two prominent protoclusters at z>7 and investigate their environmental properties in comparison to field galaxies. Protocluster members exhibit systematically higher ionizing photon production efficiency ($ξ_{\text{ion}}$) and in…

Tesla is set to face a Florida federal jury to defend allegations that Autopilot was at fault in a fatal 2019 crash, as it tests autonomous robotaxis in Austin (Trisha Thadani/Washington Post)
https://www.washingtonpost.com/technology/2025/07/14/tesla-trial-…

As Elon Musk pushes Robotaxis, Tesla faces trial over fatal Autopilot crash
Tesla faces trial in Miami over a fatal 2019 crash involving a distracted driver using its Autopilot technology. A woman died and her boyfriend was gravely injured.

Waymo temporarily limits service in SF, Austin, and Atlanta, and stops service in LA, as US cities prepare for protests against federal immigration policies (Aarian Marshall/Wired)
https://www.wired.com/story/ahead-of-protests-waymo-adjusts…

Ahead of Protests, Waymo Scales Back Robotaxi Service Nationwide
A week after five robot cars were burned in Los Angeles, the Google sister company isn’t taking risks.

Replaced article(s) found for cs.AR. https://arxiv.org/list/cs.AR/new
[1/1]:
- FAMOUS: Flexible Accelerator for the Attention Mechanism of Transformer on UltraScale FPGAs
Ehsan Kabir, Md. Arafat Kabir, Austin R. J. Downey, Jason D. Bakos, David Andrews, Miaoqing Huang

Over the last three years, the head of a small charter school network that serves fewer than 1,000 students has taken home up to $870,000 annually,
a startling amount that appears to be the highest for any public school superintendent in Texas and among the top in the nation.
Valere Public Schools Superintendent Salvador Cavazos’ compensation to run three campuses in Austin, Corpus Christi and Brownsville
exceeds the less than $450,000 that New York City’s chancellor makes …

This charter school superintendent makes $870,000. He leads a district with 1,000 students.
On paper, Salvador Cavazos earns less than $300,000 to run Valere Public Schools, a small Texas charter network. But taxpayers likely aren’t aware that his total pay makes him one of the country’s highest-earning superintendents.

FBI Director Kash Patel ALSO Considering Resigning If Pam Bondi Keeps Her Job, Per Report (Ahmad Austin Jr/Mediaite)
https://www.mediaite.com/politics/just-in-fbi-director-kash-patel-also-considering-resigning-if-pam-bondi-keeps-her-job-per-report/
http://www.memeorandum.com/250711/p101#a250711p101

As the world moves toward digital artificiality, Airbnb's redesign and Apple's Liquid Glass UI bring back skeuomorphism and dimensionality to digital interfaces (Austin Carr/Bloomberg)

Bounded diameter monochromatic component covers
Alexey Pokrovskiy
https://arxiv.org/abs/2507.05842 https://arxiv.org/pdf/2507.05842…

Bounded diameter monochromatic component covers
Ryser conjectured that every $r$-edge-coloured complete graph can be covered by $r-1$ monochromatic trees. Motivated by a question of Austin in analysis, Milićević predicted something stronger -- that every $r$-edge-coloured complete graph can be covered by $r-1$ monochromatic trees \emph{of bounded diameter}. Here we show that the two conjectures are equivalent. As immediate corollaries we obtain new results about Milićević's Conjecture, most notably that it is true for $r=5$. We also obta…

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Missy Elliott:
🎵 Get Ur Freak On (Remix)
#MissyElliott
https://austinmillz.bandcamp.com/track/missy-elliott-get-ur-freak-on-austin-millz-remix
https://open.spotify.com/track/6zsk6uF3MxfIeHPlubKBvR

Call for Papers: 25th Annual Africa Conference at the University of Texas at Austin, April 1st to 5th, 2026
https://ift.tt/4cpkaMJ
Pirino on Suzuki, 'Humanitarian Internationalism Under Empire: The Global Evolution of the Japanese…
via Input 4 RELCFP

HE-LRM: Encrypted Deep Learning Recommendation Models using Fully Homomorphic Encryption
Karthik Garimella, Austin Ebel, Gabrielle De Micheli, Brandon Reagen
https://arxiv.org/abs/2506.18150

HE-LRM: Encrypted Deep Learning Recommendation Models using Fully Homomorphic Encryption
Fully Homomorphic Encryption (FHE) is an encryption scheme that not only encrypts data but also allows for computations to be applied directly on the encrypted data. While computationally expensive, FHE can enable privacy-preserving neural inference in the client-server setting: a client encrypts their input with FHE and sends it to an untrusted server. The server then runs neural inference on the encrypted data and returns the encrypted results. The client decrypts the output locally, keeping …

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Sam Austin:
🎵 pretend friend
#SamAustin
https://open.spotify.com/track/42hPDiwTOSPAPUL51FRNhp

Los Angeles mayor slams "outrageous and un-American" federal immigration enforcement sweep through MacArthur Park (Austin Turner/CBS News)
https://www.cbsnews.com/losangeles/news/federal-immigration-enforcement-officers-sweep-through-macarthur-park-mayor-bass-makes-brief-appearance/
http://www.memeorandum.com/250707/p131#a250707p131

At a CPB meeting, CEO Patricia Harrison said CPB is doing "everything possible" to secure funding for FY26 while also preparing for a possible shutdown (Austin Fuller/Current)
https://current.org/2025/07/cpb-prepares-for-closeout-while-h…

Tesla quietly launches its robotaxi service in Austin, with ~10 vehicles and a human safety driver; Elon Musk says customers will pay "a $4.20 flat fee" (Financial Times)
https://www.ft.com/content/5aefc191-d3de-4e6b-a2eb-08defd0678ee

Tesla launches robotaxi service in Austin
Self-driving technology on which Elon Musk has staked future of his company debuts in Texas

Call for Papers: 25th Annual Africa Conference at the University of Texas at Austin, April 1st to 5th, 2026
https://ift.tt/qYSIXhe
Call for Chapter Submissions: New Perspectives in Africana Studies Call for Chapter…
via Input 4 RELCFP

Waymo launches robotaxis in Atlanta via Uber's app, covering a 65-square-mile area, after launching in Austin on March 4; its vehicles don't drive on highways (Andrew J. Hawkins/The Verge)
https://www.theverge.com/news/691101/waymo-uber-robotaxi-atl…

Waymo’s robotaxis are now available on the Uber app in Atlanta
Atlanta is the second city, after Austin, to host Uber and Waymo’s burgeoning partnership.

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Khruangbin, Leon Bridges & Austin Jenkins:
🎵 Texas Sun
#Khruangbin #LeonBridges #AustinJenkins

Sources: Samsung to produce image sensors for iPhone 18 in Austin, Texas; an expert says Apple picked Samsung as a supplier because Sony doesn't have US plants (Financial Times)
https://www.ft.com/content/aff9b9ce-956d-4716-99da-8fc25f4b878b

Call for Papers: 25th Annual Africa Conference at the University of Texas at Austin, April 1st to 5th, 2026
https://ift.tt/2Wph3Lc
Call for Chapter Submissions: New Perspectives in Africana Studies Call for Chapter…
via Input 4 RELCFP

On graph automorphisms related to Snort
Rylo Ashmore, Beth Ann Austin, Alfie M. Davies, Danny Dyer, William Kellough
https://arxiv.org/abs/2506.20669 https…

On graph automorphisms related to Snort
We study the outcomes of various positions of the game Snort. When played on graphs admitting an automorphism of order two that maps vertices outside of their closed neighbourhoods (called opposable graphs), the second player has a winning strategy. We give a necessary and sufficient condition for a graph to be opposable, and prove that the property of being opposable is preserved by several graph products. We show examples that a graph being second-player win does not imply that the graph is o…

Austin-based Ambiq Micro, which makes ultra-low power chips, files for an IPO and reports an $8.3M net loss on $15.7M in revenue in the three months to March 31 (Anthony Hughes/Bloomberg)
https://www.bloomberg.com/news/articles/20

Labeled Chip-Firing on Directed $k$-ary Trees and Where Chips Land
Ryota Inagaki, Tanya Khovanova, Austin Luo
https://arxiv.org/abs/2506.20656 https://

Labeled Chip-Firing on Directed $k$-ary Trees and Where Chips Land
Chip-firing is a combinatorial game played on a graph, in which chips are placed and dispersed on the vertices until a stable configuration is achieved. We study a chip-firing variant on an infinite, rooted directed $k$-ary tree, where we place $k^n$ chips labeled $1,2,3,\dots, k^n$ on the root for some nonnegative integer $n$. A vertex $v$ can fire if it has at least $k$ chips; when it fires, $k$ chips are selected, and the chip with the $i$th smallest label is sent to the $i$th leftmost child…

Austin-based Ambiq Micro closed up ~61% in its NYSE debut, after raising $96M in an upsized IPO, giving the maker of ultra-low power chips a $680M market value (Anthony Hughes/Bloomberg)
https://www.bloomberg.com/news/articles/20

Waymo plans to launch its robotaxi service in Dallas in 2026 with Avis as the fleet partner, a first after exclusively working with Uber in Austin and Atlanta (Natalie Lung/Bloomberg)
https://www.bloomberg.com/news/articles/2025-07-…

Waymo (GOOGL), Avis Plan Dallas Robotaxi Launch in Multiyear Deal
Alphabet Inc.’s Waymo plans to launch robotaxi service in Dallas next year in partnership with Avis Budget Group Inc., a push by the autonomous car company to diversify beyond its relationship with Uber Technologies Inc. to further expand across the US.