@James

Announcement post for the override-utils Nix package

Alley Cat MS-DOS game released by IBM in 1984. Download or play Alley Cat online, or choose from more than hundreds of other DOS games. Relive great memories and play in your browser now!

James "Weston" Higginbotham went missing one week ago while on a family vacation in Japan.

⚫ Reconstructed tables ⚫ Census ⚫ Online works ⚫ Computing aids ⚫ Pi ⚫ Sustainable digitization ⚫ Nancy The aim of the LOCOMAT project is to make available a number of interesting and/or important historical tables, and to facilitate the study of the original tables by historians of mathematics. An overview of the motivations of the project appears in Denis Roegel, "The LOCOMAT Project: Recomputing Mathematical and Astronomical Tables", IEEE Annals of the History of Computing, April-June 2012, pages 74-79. Slides of an overview of the project can be found here (in French). This page is located at http://locomat.loria.fr/ GDML (Global Digital Mathematics Library)

Why Engineers Struggle to Decide (And How to Teach Them)

A few months ago I may have accidentally pre-ordered the Accurascale Pacer... I have a history of pre-ordering, then cancelling (as I dislik...

this site is undergoing maintenance due to physical address change

Leaning towards uncanny valley obviously versus trying to make it sound too real but I like getting roasted by a robot. Current progress . Hopefully doesn’t get flagged for having fire in the background or something. Cheers yall! submitted by /u/TheRealFanger [link] [Kommentare]

Large Language Model (LLM) code agents increasingly resolve repository-level issues by iteratively editing code, invoking tools, and validating candidate patches. In these workflows, agents often write tests on the fly, but the value of this behavior remains unclear. For example, GPT-5.2 writes almost no new tests yet achieves performance comparable to top-ranking agents.This raises a central question: do such tests meaningfully improve issue resolution, or do they mainly mimic a familiar software-development practice while consuming interaction budget? To better understand the role of agent-written tests, we analyze trajectories produced by six strong LLMs on SWE-bench Verified. Our results show that test writing is common, but resolved and unresolved tasks within the same model exhibit similar test-writing frequencies. When tests are written, they mainly serve as observational feedback channels, with value-revealing print statements appearing much more often than assertion-based checks. Based on these insights, we perform a prompt-intervention study by revising the prompts used with four models to either increase or reduce test writing. The results suggest that prompt-induced changes in the volume of agent-written tests do not significantly change final outcomes in this setting. Taken together, these results suggest that current agent-written testing practices reshape process and cost more than final task outcomes.