Tootfinder

With Josh Barro trending, here's my takedown of his views on transit in Dissent ten years ago. https://www.dissentmagazine.org/blog/the-sovereign-consumer-pushed-off-the-train/

The Sovereign Consumer, Pushed Off the Train - Dissent Magazine
Establishment economists insist that they don't second-guess consumer preferences. You are, they say, your own best judge of what's good for you. But not if you like to travel by train.

Do Language Models Mirror Human Confidence? Exploring Psychological Insights to Address Overconfidence in LLMs
Chenjun Xu, Bingbing Wen, Bin Han, Robert Wolfe, Lucy Lu Wang, Bill Howe
https://arxiv.org/abs/2506.00582

Do Language Models Mirror Human Confidence? Exploring Psychological Insights to Address Overconfidence in LLMs
Psychology research has shown that humans are poor at estimating their performance on tasks, tending towards underconfidence on easy tasks and overconfidence on difficult tasks. We examine three LLMs, Llama-3-70B-instruct, Claude-3-Sonnet, and GPT-4o, on a range of QA tasks of varying difficulty, and show that models exhibit subtle differences from human patterns of overconfidence: less sensitive to task difficulty, and when prompted to answer based on different personas -- e.g., expert vs laym…

Veritas: Deterministic Verilog Code Synthesis from LLM-Generated Conjunctive Normal Form
Prithwish Basu Roy, Akashdeep Saha, Manaar Alam, Johann Knechtel, Michail Maniatakos, Ozgur Sinanoglu, Ramesh Karri
https://arxiv.org/abs/2506.00005

Veritas: Deterministic Verilog Code Synthesis from LLM-Generated Conjunctive Normal Form
Automated Verilog code synthesis poses significant challenges and typically demands expert oversight. Traditional high-level synthesis (HLS) methods often fail to scale for real-world designs. While large language models (LLMs) have enhanced scalability, they often introduce syntactical and logical errors requiring extensive post-generation verification. Here, we introduce a novel conjunctive normal form (CNF)-guided synthesis methodology. The idea is to have an LLM generate CNF clauses, a form…

Safety, Relative Tightness and the Probabilistic Frane Rule
Janez Ignacij Jereb, Alex Simpson
https://arxiv.org/abs/2506.01626 https://

Safety, Relative Tightness and the Probabilistic Frane Rule
Probabilistic separation logic offers an approach to reasoning about imperative probabilistic programs in which a separating conjunction is used as a mechanism for expressing independence properties. Crucial to the effectiveness of the formalism is the frame rule, which enables modular reasoning about independent probabilistic state. We explore a semantic formulation of probabilistic separation logic, in which the frame rule has the same simple formulation as in separation logic, without furthe…

"French company offers router capable of redirecting surplus solar to water heating"
#France #SolarPower #Energy #Renewables

French company offers router capable of redirecting surplus solar to water heating
French energy cooperative Solarcoop has launched a solar router that redirects surplus photovoltaic power from self-consumption systems to electric water heaters or other resistive loads, and can also control additional devices such as heat pumps.

Simulating Complex Crossectional and Longitudinal Data using the simDAG R Package
Robin Denz, Nina Timmesfeld
https://arxiv.org/abs/2506.01498 https://

Simulating Complex Crossectional and Longitudinal Data using the simDAG R Package
Generating artificial data is a crucial step when performing Monte-Carlo simulation studies. Depending on the planned study, complex data generation processes (DGP) containing multiple, possibly time-varying, variables with various forms of dependencies and data types may be required. Simulating data from such DGP may therefore become a difficult and time-consuming endeavor. The simDAG R package offers a standardized approach to generate data from simple and complex DGP based on the definition …

Hydrogen-based direct reduction of multicomponent oxides: Insights from powder and pre-sintered precursors toward sustainable alloy design
Shiv Shankar, Barak Ratzker, Yan Ma, Dierk Raabe
https://arxiv.org/abs/2507.01242

Hydrogen-based direct reduction of multicomponent oxides: Insights from powder and pre-sintered precursors toward sustainable alloy design
The co-reduction of metal oxide mixtures using hydrogen as a reductant in conjunction with compaction and sintering of the evolving metallic blends offers a promising alternative toward sustainable alloy production through a single, integrated, and synergistic process. Herein, we provide fundamental insights into hydrogen-based direct reduction (HyDR) of distinct oxide precursors that differ by phase composition and morphology. Specifically, we investigate the co-reduction of multicomponent met…

EEG Foundation Models for BCI Learn Diverse Features of Electrophysiology
Mattson Ogg, Rahul Hingorani, Diego Luna, Griffin W. Milsap, William G. Coon, Clara A. Scholl
https://arxiv.org/abs/2506.01867

EEG Foundation Models for BCI Learn Diverse Features of Electrophysiology
Brain computer interface (BCI) research, as well as increasing portions of the field of neuroscience, have found success deploying large-scale artificial intelligence (AI) pre-training methods in conjunction with vast public repositories of data. This approach of pre-training foundation models using label-free, self-supervised objectives offers the potential to learn robust representations of neurophysiology, potentially addressing longstanding challenges in neural decoding. However, to date, m…

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

Safety, Relative Tightness and the Probabilistic Frane Rule
Probabilistic separation logic offers an approach to reasoning about imperative probabilistic programs in which a separating conjunction is used as a mechanism for expressing independence properties. Crucial to the effectiveness of the formalism is the frame rule, which enables modular reasoning about independent probabilistic state. We explore a semantic formulation of probabilistic separation logic, in which the frame rule has the same simple formulation as in separation logic, without furthe…

Geminet: Learning the Duality-based Iterative Process for Lightweight Traffic Engineering in Changing Topologies
Ximeng Liu, Shizhen Zhao, Xinbing Wang
https://arxiv.org/abs/2506.23640

Geminet: Learning the Duality-based Iterative Process for Lightweight Traffic Engineering in Changing Topologies
Recently, researchers have explored ML-based Traffic Engineering (TE), leveraging neural networks to solve TE problems traditionally addressed by optimization. However, existing ML-based TE schemes remain impractical: they either fail to handle topology changes or suffer from poor scalability due to excessive computational and memory overhead. To overcome these limitations, we propose Geminet, a lightweight and scalable ML-based TE framework that can handle changing topologies. Geminet is built…