Every day, dozens of like-minded mathematicians gather on an online forum called Zulip to build what they believe is the future of their field. They’re all devotees of a software program called Lean.

Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with content, and download exclusive resources. Soroosh Khodami discusses why we aren't ready ...

The University of Colorado will shut down its math and physics library this summer to renovate the space as the physics department is dealing with growing pains. The Oliver C. Lester Library — one of ...

The University of Minnesota plans on closing the Vincent Hall math library by the summer of 2025, though the move is not welcomed by everyone. According to an announcement on Jan. 24 addressed to the ...

Orientation trackers can be used for a ton of different applications: tracking mishandled packages, theft notification of valuables, and navigation are just a few examples! A recent blog post from ...

Once again, math does not appear to be the forte of Walnut Creek’s city administrators. Not enough money to continue to operate city libraries for 56 hours instead of the 35 hours funded by the county ...