A new graphical application that uses the OpenSPH solver, but with a user interface that is more interactive, intuitive, and easy to use. This version is currently in Early Access.
The Interface of Kai Krause's Software @mprove
Matthias Müller-Prove, Innovative Benutzungsschnittstellen, 1998/99, University of Hamburg
We're excited to be partnering with Anthropic and OpenAI to host the world's first hackathon devoted to research-level mathematics. 40 hours and $2M in compute to solve, understand, and present an… | Tony Yue YU | 20 comments
We're excited to be partnering with Anthropic and OpenAI to host the world's first hackathon devoted to research-level mathematics. 40 hours and $2M in compute to solve, understand, and present an open math problem. Applications are live at https://lnkd.in/d79qFQ4s We look forward to seeing you all on October 30 at Caltech! Sathvik Redrouthu Bufan Zhao Andrea Li Caiman Moreno-Earle Avni Garg | 20 comments on LinkedIn
eigent-ai/eigent
Eigent: The Open Source Cowork Desktop - Local and Free Alternative to Claude Cowork and Codex
Welcome to the Tidyverse
Wickham et al., (2019). Welcome to the Tidyverse. Journal of Open Source Software, 4(43), 1686, https://doi.org/10.21105/joss.01686
Denicek: Computational Substrate for Document-Oriented End-User Programming
As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.
Introducing Open Intelligent UI | The Open-Source Alternative to ChatGPT's Intelligent UI
The Innovations of Open Source
Dirk Riehle, Friedrich-Alexander-Universität Erlangen-Nürnberg In IEEE Computer vol. 52, no. 4, pp. 59-63. Open source has given us many innovations. This article provides an overview of the most i…
clingo
Current answer set solvers work on variable-free programs. Hence, a grounder is needed that, given an input program with first-order variables, computes an e...
OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems
Math is hard.
Derek Nee on Twitter / X
introducing the OpenAI Atlas killer. might be the last browser you'll ever need.flowithOS - an operating system we built for agents.it crushed online-mind2web. near-perfect score. beat openai atlas, gemini 2.5 pro cu, everyone.public beta live now. windows, mac, all… pic.twitter.com/XRC1lormzV— Derek Nee (@DerekNee) October 28, 2025
Old and new apps, via modern coding agents
I have been interested in machine-assisted ways to do and teach mathematics from as far back as 1999, when I started coding several applets in Java 1.0, both for my complex analysis and linear alge…
Introduction
The Temper programming language for solving problems once via ubiquitous libraries.
Blacksky's app view source code has been released publicly here.
GitHub - blacksky-algorithms/atproto: Blacksky fork of bluesky-social/atproto with AppView performance optimizations, caching, and community features
github.comLinux Toolbox
A collection of programs for Linux that I’ve found useful/fun or are my favourites!
Install Spider on Linux | Flathub
wimpysworld/sidra
Install Buffer on Linux | Flathub
johnfactotum/runemaster
Install Gear Lever on Linux | Flathub
Install Concessio on Linux | Flathub
