Last month, OpenAI announced that its latest version of ChatGPT had solved a major math problem, one that had stumped experts ...

After 80 years of fruitless struggle by human mathematicians, a major geometry conjecture has at last been solved—via a straightforward query to a chatbot. “No previous AI-generated proof has come ...

A software BCD (Binary-Coded Decimal) arithmetic implementation for algorithm prototyping and a golden reference for hardware verification (Verilog + microcode). Tangent (rad) tanRad(R, S0) Unified ...

In my second-grade math classroom, I typically teach measurement and then teach a unit focusing on addition and subtraction on the number line. The goals of the unit include exploring the structure of ...

In late February, a software engineer discovered a backdoor in an open source package that’s heavily used across the Linux ecosystem. This discovery prompted additional scrutiny around the security of ...

Gasm80 is a small assembler for Z80/6502 programs. It was developed to support my new CVBasic compiler for Colecovision, in order to have a complete toolchain that can work in macOS and Linux. It was ...

It would place Golden State 6th graders years behind the rest of the world—and could eventually skew education in the rest of the U.S., too A bumpy road is ahead for California’s proposed new math ...

This blog post is part of a series on physical tools for science with THING Tank project. It follows the author’s participation in the Creative Commons Certificate for Librarians course to learn more ...

Mental arithmetic exhibits various biases. Among those is a tendency to overestimate addition and to underestimate subtraction outcomes. Does such “operational momentum” (OM) also affect ...

In spite of the prevalence of frustration in everyday life, very few neuroimaging studies were focused on this emotional state. In the current study we aimed to examine effects of frustration on brain ...