Tootfinder

Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages
Federico Mora, Justin Wong, Haley Lepe, Sahil Bhatia, Karim Elmaaroufi, George Varghese, Joseph E. Gonzalez, Elizabeth Polgreen, Sanjit A. Seshia
https://arxiv.org/abs/2406.03636

Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages
Recent advances in large language models (LLMs) for code applications have demonstrated remarkable zero-shot fluency and instruction following on challenging code related tasks ranging from test case generation to self-repair. Unsurprisingly, however, models struggle to compose syntactically valid programs in programming languages unrepresented in pre-training, referred to as very low-resource Programming Languages (VLPLs). VLPLs appear in crucial settings including domain-specific languages fo…

Comedy Pet Photo Awards
#FunnyPhotos

Comedy Pet Photo Awards winners announced, with image of dog squeezing through cat flap taking out top prize
A cat stuck in a hole, a dog who looks like his owner, and a Tarzan flying cat are among the winners of the 2024 Comedy Pet Photo Awards.  

Larry Allen belongs on All-NFL Hall of Fame team, but who else should make cut? https://www.yardbarker.com/nfl/articles/larry_allen_belongs_on_all_nfl_hall_of_fame_team_but_who_else_should_make_cut/s…

Larry Allen belongs on All-NFL Hall of Fame team, but who else should make cut?
Following Pro Football Hall of Famer Larry Allen's death earlier this week, NFL coaches and ex-teammates weighed in on the greatness of the former Dallas Cowboys guard and tackle. Denver Broncos head coach Sean Payton revealed a humorous anecdote from the 2006 Pro Bowl in Allen's 11th and final appearance at the event, while McCarthy told his team that Allen "epitomized the style of play that defines elite NFL players," per NFL insider Ed Werder. There's little doubt Allen merits inclusion in a…

:kitten: Say hello to the new Kitten web site! 🎉
https://kitten.small-web.org
Like Kitten itself, it’s a baby but will be evolving quickly as they approach API version 1 together.
Enjoy!
💕
PS. Of course it’s written in Kitten itself. It doesn’t do anything fancy but here…

This https://arxiv.org/abs/2402.17001 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Flying-cat parity checks for quantum error correction
Long range, multi-qubit parity checks have applications in both quantum error correction and measurement-based entanglement generation. Such parity checks could be performed using qubit-state-dependent phase shifts on propagating pulses of light described by coherent states $\vertα\rangle$ of the electromagnetic field. We consider "flying-cat" parity checks based on an entangling operation that is quantum non-demolition (QND) for Schrödinger's cat states $\vertα\rangle\pm \vert-α\rangle$. T…

Gaining Cross-Platform Parallelism for HAL's Molecular Dynamics Package using SYCL
Viktor Skoblin, Felix H\"ofling, Steffen Christgau
https://arxiv.org/abs/2406.04210

Gaining Cross-Platform Parallelism for HAL's Molecular Dynamics Package using SYCL
Molecular dynamics simulations are one of the methods in scientific computing that benefit from GPU acceleration. For those devices, SYCL is a promising API for writing portable codes. In this paper, we present the case study of "HAL's MD package" that has been successfully migrated from CUDA to SYCL. We describe the different strategies that we followed in the process of porting the code. Following these strategies, we achieved code portability across major GPU vendors. Depending on the actual…

Using CSST and ejecta-wind interaction in type II-P supernovae to constrain the wind-mass loss of red supergiant stars
Jingxiao Luo, Luc Dessart, Xuefei Chen, Zhengwei Liu
https://arxiv.org/abs/2406.02684

Using CSST and ejecta-wind interaction in type II-P supernovae to constrain the wind-mass loss of red supergiant stars
The properties of H-rich, type II-plateau supernova (SN II-P) progenitors remain uncertain, and this is primarily due to the complexities associated with red supergiant (RSG) wind-mass loss. Recent studies have suggested that the interaction of the ejecta with a standard RSG wind should produce unambiguous signatures in the optical (e.g., a broad, boxy H$α$ profile) and in the UV (especially Ly $α$ and Mg ii $λλ$ 2795, 2802) a few years following the explosion. Such features are expected to…

Time For 9 o'clock #HashTagGames hosted by @…
Seems like the news is reporting famous people getting new felonies everyday. Let's play!
#ComedyTVOrMovieCharacterFelonies

Balancing rationality and social influence: Alpha-rational Nash equilibrium in games with herding
Khushboo Agarwal, Konstantin Avrachenkov, Veeraruna Kavitha, Raghupati Vyas
https://arxiv.org/abs/2406.03928

Balancing rationality and social influence: Alpha-rational Nash equilibrium in games with herding
The classical game theory models rational players and proposes Nash equilibrium (NE) as the solution. However, real-world scenarios rarely feature rational players; instead, players make inconsistent and irrational decisions. Often, irrational players exhibit herding behaviour by simply following the majority. In this paper, we consider the mean-field game with $α$-fraction of rational players and the rest being herding-irrational players. For such a game, we introduce a novel concept of equ…

Prioritized-MVBA: A New Approach to Design an Optimal Asynchronous Byzantine Agreement Protocol
Nasit S Sony, Xianzhong Ding, Mukesh Singhal
https://arxiv.org/abs/2406.03739

Prioritized-MVBA: A New Approach to Design an Optimal Asynchronous Byzantine Agreement Protocol
The multi-valued byzantine agreement protocol (MVBA) in the authenticated setting has been widely used as a core to design atomic broadcast and fault-tolerant state machine replication protocols in asynchronous networks. Originating from the seminal work of Cachin et al. \cite{CACHIN01}, subsequent research endeavors have sought to optimize protocol efficiency in terms of communication complexity. Notable advancements following Cachin's contributions include: i) VABA \cite{BYZ17}, requiring mul…