
2025-06-15 20:00:02
... one of the main causes of the fall of the Roman Empire was that,
lacking zero, they had no way to indicate successful termination of
their C programs.
-- Robert Firth
... one of the main causes of the fall of the Roman Empire was that,
lacking zero, they had no way to indicate successful termination of
their C programs.
-- Robert Firth
In light of the political killings in Minnesota, remember what Trump did, #minnesota
My largest remaining NSF grant, which was awarded by a competitive process on the recommendation of national experts, was terminated yesterday. The money would have paid for PhD students to invent better AI systems for everyday people who need programs written for them but can't or won't write them themselves. I'm sad that the rate of progress we make will slow down significantly, because all our progress is made public for everyone to benefit from. That's what
Whow, that hits our vulnerability management hard:
#ITSecurity
Linear programs help to find optimal solutions based on a set of constrains. I used {ompr} before, but the new package {tidyLP} looks promising and integrates with the tidyverse. #rstats #linearprograms #optimization
Relaxations of KKT Conditions do not Strengthen Finite RLT and SDP-RLT Bounds for Nonconvex Quadratic Programs
E. Alper Yildirim
https://arxiv.org/abs/2506.09892
This https://arxiv.org/abs/2503.02768 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csPL_…
President Trump signs an EO scrapping or revising several Biden- and Obama-era cybersecurity programs, including for AI security and post-quantum cryptography (Eric Geller/Cybersecurity Dive)
https://www.cybersecuritydive.com/news/tru
Properties of UTxO Ledgers and Programs Implemented on Them
Polina Vinogradova (Input Output Global), Alexey Sorokin (Input Output Global)
https://arxiv.org/abs/2506.05832
They blame immigrants so you won't blame billionaires.
They are enriching themselves by stealing $TRILLIONS in federal programs that help average citizens through the "One Big Bill"...
...then blaming immigrants for 'a lack of funding for Americans'.
#trump #billionaires
Nexstar has deleted references to DEI and data on its workforce composition from its site; it is interested in acquisitions that are subject to FCC approval (Matthew Keys/The Desk)
https://thedesk.net/2025/05/nexstar-ends-dei-programs-policies/
Trump White House puts preschool funding first on its list of "woke programs" to be eliminated.
https://www.whitehouse.gov/wp-content/uploads/2025/05/Cuts-to-Woke-Programs-Fact-Sheet.pdf
The Effects of GitHub Copilot on Computing Students' Programming Effectiveness, Efficiency, and Processes in Brownfield Programming Tasks
Md Istiak Hossain Shihab, Christopher Hundhausen, Ahsun Tariq, Summit Haque, Yunhan Qiao, Brian Mulanda
https://arxiv.org/abs/2506.10051
Inference on the value of linear programs
Leonard Goff, Eric Mbakop
https://arxiv.org/abs/2506.06776 https://arxiv.org/pdf/2506.06776…
New Limits on Distributed Quantum Advantage: Dequantizing Linear Programs
Alkida Balliu, Corinna Coupette, Antonio Cruciani, Francesco d'Amore, Massimo Equi, Henrik Lievonen, Augusto Modanese, Dennis Olivetti, Jukka Suomela
https://arxiv.org/abs/2506.07574
Defense Secretary Pete Hegseth was quickly met with sharp questions and criticism Tuesday
by lawmakers who pressed him about his early moves to deploy troops to Los Angeles,
fire key military leaders
and purge diversity programs.
They expressed bipartisan frustration that Congress has not yet gotten a full defense budget from the Trump administration.
“Your tenure as secretary has been marked by endless chaos,”
Rep. Rosa DeLauro, D-Conn., told Hegseth.
A look at Amsterdam's failed experiment to create a fair welfare AI system that would evaluate every welfare applicant in the city for potential fraud (MIT Technology Review)
https://www.technologyreview.com/2025/06/1
AstroQ: Automated Scheduling of Cadenced Astronomical Observations
Jack Lubin, Erik A. Petigura, Velibor V. Mi\v{s}i\'c, Judah Van Zandt, Luke B. Handley
https://arxiv.org/abs/2506.08195
Russel Vought meets my definition of pure evil, through and through.
"Russell Vought, Director of the Office of Management and Budget, told appropriators last week that the administration is seeking to take “an analytical look” at Aids prevention and instead prioritize funding for “life-saving treatment” for sufferers as part of its scaling back of PEPFAR."
White House says it will spare some Aids programs that were on the chopping block | The Independent
https://www.independent.co.uk/news/world/americas/us-politics/white-house-aids-prevention-funding-b2767327.html
Forward and Backward Simulations for Partially Observable Probability
Chris Chen, Annabelle McIver, Carroll Morgan
https://arxiv.org/abs/2506.08437 https:/…
Choreographic Quick Changes: First-Class Location (Set) Polymorphism
Ashley Samuelson, Andrew K. Hirsch, Ethan Cecchetti
https://arxiv.org/abs/2506.10913 h…
Reward Models Enable Scalable Code Verification by Trading Accuracy for Throughput
Gabriel Orlanski, Nicholas Roberts, Aws Albarghouthi, Frederic Sala
https://arxiv.org/abs/2506.10056
This https://arxiv.org/abs/2501.05616 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…
Pseudorandom bits for non-commutative programs
Chin Ho Lee, Emanuele Viola
https://arxiv.org/abs/2506.01832 https://arxiv.org/pdf/250…
This https://arxiv.org/abs/2504.13398 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…
This https://arxiv.org/abs/2505.20896 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLG_…
Tell Alpert Medical School of Brown University to End Animal Use #AnimalRights
This https://arxiv.org/abs/2410.00117 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
Notes on applicative matching logic
Laurentiu Leustean
https://arxiv.org/abs/2506.10088 https://arxiv.org/pdf/2506.10088
Exploring metrics for analyzing dynamic behavior in MPI programs via a coupled-oscillator model
Ayesha Afzal, Georg Hager, Gerhard Wellen
https://arxiv.org/abs/2506.02792
Prompt Variability Effects On LLM Code Generation
Andrei Paleyes, Radzim Sendyka, Diana Robinson, Christian Cabrera, Neil D. Lawrence
https://arxiv.org/abs/2506.10204
Ciekawostka: #Windows 95 (a w niektórych przypadkach i nowsze wersje) miały niezbyt optymalną obsługę stanu bezczynności — wpadały w pętlę nieprzerwanego sprawdzania, czy mają coś do zrobienia ("busy loop"), niepotrzebnie grzejąc procesor. Oczywiście, można było to obejść, instalując program, którego jedynym zadaniem było wykrywanie tego stanu i przejmowanie obsługi bezczynności przy wykorz…
This https://arxiv.org/abs/2504.07732 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csPL_…
Comprehensive Radio Monitoring of the Black Hole X-ray Binary Swift J1727.8$-$1613 during its 2023$-$2024 Outburst
Andrew K. Hughes, Francesco Carotenuto, Thomas D. Russell, Alexandra J. Tetarenko, James C. A. Miller-Jones, Arash Bahramian, Joe S. Bright, Fraser J. Cowie, Rob Fender, Mark A. Gurwell, Jasvinderjit K. Khaulsay, Anastasia Kirby, Serena Jones, Elodie Lescure, Michael McCollough, Richard M. Plotkin, Ramprasad Rao, Saeqa D. Vrtilek, David R. A. Williams-Baldwin, Callan M. Wo…
Non-Euclidean dual gradient ascent for entropically regularized linear and semidefinite programming
Yuhang Cai, Michael Lindsey
https://arxiv.org/abs/2506.09711
Replaced article(s) found for cs.LO. https://arxiv.org/list/cs.LO/new/
[1/1]:
AProVE: Modular Termination Analysis of Memory-Manipulating C Programs
The updated budget reiterated Trump’s pursuit of deep reductions for nearly every major federal agency,
reserving its steepest cuts for foreign aid,
medical research,
tax enforcement
and a slew of anti-poverty programs, including rental assistance.
The White House restated its plan to seek a $33 billion cut at the Department of Housing and Urban Development, for example,
and another $33 billion reduction at the Department of Health and Human Services.
CSS Minecraft
There is NO JavaScript on this page. All the logic is made 100% with pure HTML & CSS. For the best performance, please close other tabs and running programs.
😲 https://benjaminaster.com/css-minecraft/
If you need any more proof that they are about the elimination of any alternative lifestyles—here you go. This is absolutely disgusting behaviour by the administration.
https://www.nytimes.com/2025/05/30/health/trump-hiv-cuts.html
Execution-Aware Program Reduction for WebAssembly via Record and Replay
Doehyun Baek, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, Michael Pradel
https://arxiv.org/abs/2506.07834 …
RFK Jr.’s chronic disease agency would eliminate or reduce funding for some prevention programs | STAT
https://www.statnews.com/2025/06/07/rfk-jr-administration-for-healthy-america-chronic-disease-budget-documents/?utm_campaign=rss
TTrace: Lightweight Error Checking and Diagnosis for Distributed Training
Haitian Jiang, Shaowei Zhu, Zhen Zhang, Zhenyu Song, Xinwei Fu, Zhen Jia, Yida Wang, Jinyang Li
https://arxiv.org/abs/2506.09280
This https://arxiv.org/abs/2501.14380 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…
Trump's budget eliminating funding for #IMLS --and so many other critical federal programs-- means we can't wait for court cases to proceed, but need to keep the pressure on our elected officials to stop this budgetary assault on our country. I just called my representative and senators and hope that you all will as well.
Refinements on higher order Weil-Oesterl\'e bounds via a Serre type argument
Emmanuel Hallouin, Philippe Moustrou, Marc Perret
https://arxiv.org/abs/2506.05212
Design of a visual environment for programming by direct data manipulation
Michel Adam (UBS, IRISA), Patrice Frison (UBS, IRISA), Moncef Daoud (UBS), Sabine Letellier Zarshenas (UBS)
https://arxiv.org/abs/2506.03720
Table-r1: Self-supervised and Reinforcement Learning for Program-based Table Reasoning in Small Language Models
Rihui Jin, Zheyu Xin, Xing Xie, Zuoyi Li, Guilin Qi, Yongrui Chen, Xinbang Dai, Tongtong Wu, Gholamreza Haffari
https://arxiv.org/abs/2506.06137
This https://arxiv.org/abs/2506.01832 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCC_…
1/ I like to think that I’m progressive and open minded but programs like #openhouse on #channel4 make me feel antiquated and inadequate. For the uninitiated, the programme helps couples who are interested in opening up their relationship, find other people to have
CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
Neeva Oza, Ishaan Govil, Parul Gupta, Dinesh Khandelwal, Dinesh Garg, Parag Singla
https://arxiv.org/abs/2506.04019
SDP bounds on the stability number via ADMM and intermediate levels of the Lasserre hierarchy
Lennart Sinjorgo, Renata Sotirov, Juan C. Vera
https://arxiv.org/abs/2506.08648
Brilliant! Save $150 billion at a cost of $135 billion…not counting legal costs, and real damage to lives and programs.
Elon Musk and DOGE’s Savings May Be Erased by New Costs
The Office of Civil Rights in the Department of Health and Human Services (HHS/OCR) used to do a fairly good job of protecting patient's sensitive information. They did this by enforcing the HIPAA security rules and penalties for non-compliance included fines, mandatory compliance programs, and CEO liability.
No longer.
HHS/OCR has now been weaponized to enforce anti-DEI initiatives of the current administration. Here is the recent headline from HHS/OCR:
"OCR Inve…
Automated Synthesis of Formally Verified Multi-Abstraction Function Summaries
Fanpeng Yang, Xu Ma, Shuling Wang, Xiong Xu, Qinxiang Cao, Naijun Zhan, Xiaofeng Li, Bin Gu
https://arxiv.org/abs/2506.09550
Relative to any non-arithmetic set
Matthew Harrison-Trainor
https://arxiv.org/abs/2505.23613 https://arxiv.org/pdf/2505.23613
Deepening divisions are threatening the fate of the sprawling bill,
which includes large tax cuts;
reductions to Medicaid, food assistance and clean energy programs;
and additional money for border security and the military.
They erupted online on Tuesday after Trump lashed out at an outspoken Republican opponent of the legislation
-- and as Elon Musk, the tech billionaire who recently left his governmental role leading the Department of Government Efficiency, …
This https://arxiv.org/abs/2409.08704 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
3D Holographic Flow Cytometry Measurements of Microalgae: Strategies for Angle Recovery in Complex Rotation Patterns
Francesca Borrelli, Giusy Giugliano, Emilie Houliez, Jaromir Behal, Daniele Pirone, Leonilde Roselli, Angela Sardo, Valerio Zupo, Maria Costantini, Lisa Miccio, Pasquale Memmolo, Vittorio Bianco, Pietro Ferraro
https://
Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline
Lifan Hu
https://arxiv.org/abs/2506.08396 https://
Statisticians Training STEM Educators in Statistics Methods and Pedagogy: A Case Study of Instructor Training in Bayesian Methods
Mine Dogucu, Jingchen Hu, Amy H Herring
https://arxiv.org/abs/2505.02298
Software Portability for Computer Algebra
Arthur C. Norman, Stephen M. Watt
https://arxiv.org/abs/2506.01864 https://arxiv.org/pdf/25…
Disentangling Barriers to Welfare Program Participation with Semiparametric and Mixed Effect Approaches
Lei Bill Wang, Sooa Ahn
https://arxiv.org/abs/2506.03457
This https://arxiv.org/abs/2408.02211 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csGR_…
Convergent transcriptomic and neuroimaging signature of Autism Spectrum Disorder
Elisa Ferrari (Scuola Normale Superiore), Alessandra Retico (INFN), Alessandro Cellerino (Scuola Normale Superiore), Davide Bacciu (University of Pisa)
https://arxiv.org/abs/2505.23776
Spirit of the West, "Darkhouse", *1988*:
> We're watching the right hand
> Not watching the left hand
> Soon we'll be watching the world turn
> With no hands at all
> We're really amazing
> This trail we are blazing
> Burning the bridge between our rise and fall....
> We used to dig! lift! heave!
> Now "we" has turned to "it"
> Programs! computes!
> But hardly u…
This https://arxiv.org/abs/2505.15053 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…
"We think of generating source code from a prompt as an AI-powered feature of modern IDEs, but the general problem has a rich history in research efforts and domain-specific programming systems." Join William Benton at this year's Berlin Buzzwords to hear him talk about the history of program synthesis, its relationship to the history of AI, and the lessons we can learn from it today.
Learn more:
Human Attention During Localization of Memory Bugs in C Programs
Emory Smith, Robert Wallace, Matthew Robison, Yu Huang, Collin McMillan
https://arxiv.org/abs/2506.00693
The C.B.O. estimate is all but certain to inflame debate within the G.O.P. about the spending bill.
The nonpartisan Congressional Budget Office said Wednesday that the broad Republican bill to cut taxes and slash some federal programs
👉would add $2.4 trillion to the already soaring national debt over the next decade,
in an analysis that was all but certain to inflame concerns that President Trump’s domestic agenda would lead to excessive government borrowing.
The C.B.O…
This https://arxiv.org/abs/2404.10304 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…
Pearl: Automatic Code Optimization Using Deep Reinforcement Learning
Djamel Rassem Lamouri, Iheb Nassim Aouadj, Smail Kourta, Riyadh Baghdadi
https://arxiv.org/abs/2506.01880
This https://arxiv.org/abs/2505.17371 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLG_…
Paraconsistent Relations as a Variant of Kleene Algebras
Juliana Cunha, Alexandre Madeira, Lu\'is S. Barbosa
https://arxiv.org/abs/2506.05840 https://
This https://arxiv.org/abs/2405.17492 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…
This https://arxiv.org/abs/2505.23328 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_…
Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models
Daniel Koh, Yannic Noller, Corina S. Pasareanu, Adrians Skapars, Youcheng Sun
https://arxiv.org/abs/2506.08171
The Trump administration has dealt a sharp blow to work on H.I.V. vaccines, terminating a $258 million program whose work was instrumental to the search for a vaccine.
Officials from the H.I.V. division of the National Institutes of Health delivered the news on Friday to the program’s two leaders, at Duke University and the Scripps Research Institute.
Both teams were collaborating with numerous other research partners.
The work was broadly applicable to a wide range of treatm…
This https://arxiv.org/abs/2208.11392 has been replaced.
link: https://scholar.google.com/scholar?q=a
This https://arxiv.org/abs/2502.13033 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…
This https://arxiv.org/abs/2504.08118 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_…
This https://arxiv.org/abs/2311.15919 has been replaced.
link: https://scholar.google.com/scholar?q=a
This https://arxiv.org/abs/2410.18042 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csPL_…
This https://arxiv.org/abs/2506.01626 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…
Tech-ASan: Two-stage check for Address Sanitizer
Yixuan Cao, Yuhong Feng, Huafeng Li, Chongyi Huang, Fangcao Jian, Haoran Li, Xu Wang
https://arxiv.org/abs/2506.05022
This https://arxiv.org/abs/2502.03956 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…
PyTICS: An Iterative Method for Photometric Lightcurve Intercalibration using Comparison Stars
Roberta Vieliute, Juan V. Hern\'andez Santisteban, Keith Horne
https://arxiv.org/abs/2505.23328
Solsmith: Solidity Random Program Generator for Compiler Testing
Lantian Li, Zhihao Liu, Zhongxing Yu
https://arxiv.org/abs/2506.03909 https://
Safety, Relative Tightness and the Probabilistic Frane Rule
Janez Ignacij Jereb, Alex Simpson
https://arxiv.org/abs/2506.01626 https://
This https://arxiv.org/abs/2504.05424 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…
Thread and Memory-Safe Programming with CLASS
Lu\'is Caires (Instituto Superior T\'ecnico)
https://arxiv.org/abs/2505.20848 https://
Beyond C/C : Probabilistic and LLM Methods for Next-Generation Software Reverse Engineering
Zhuo Zhuo, Xiangyu Zhang
https://arxiv.org/abs/2506.03504 http…
LEGO-Compiler: Enhancing Neural Compilation Through Translation Composability
Shuoming Zhang, Jiacheng Zhao, Chunwei Xia, Zheng Wang, Yunji Chen, Xiaobing Feng, Huimin Cui
https://arxiv.org/abs/2505.20356
This https://arxiv.org/abs/2405.04860 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…
This https://arxiv.org/abs/2301.06136 has been replaced.
link: https://scholar.google.com/scholar?q=a
An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language
Shucai Yao (Huawai Technologies Canada), Emil Sekerinski (McMaster University)
https://arxiv.org/abs/2505.20850
Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis
Jaemin Hong, Sukyoung Ryu
https://arxiv.org/abs/2506.01427 https:/…
This https://arxiv.org/abs/2503.02817 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…