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
eigent-ai/eigent
Eigent: The Open Source Cowork Desktop - Local and Free Alternative to Claude Cowork and Codex
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.
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.
Satisfiability Modulo Theories: A Beginner’s Tutorial — Satisfiability Modulo Theories: A Beginner's Tutorial documentation
Great minds have long dreamed of creating machines that can function as general-purpose problem solvers. Satisfiability modulo theories (SMT) has emerged as one pragmatic realization of this dream, providing significant expressive power and automation. This tutorial is a beginner’s guide to SMT. It includes an overview of SMT and its formal foundations, a catalog of the main theories used in SMT solvers, and illustrations of how to obtain models and proofs. Throughout the tutorial, examples and exercises are provided as hands-on activities for the reader. They can be run using either Python or the SMT-LIB language, using either the cvc5 or the z3 SMT solver.
gpt-oss:120b
OpenAI’s open-weight models designed for powerful reasoning, agentic tasks, and versatile developer use cases.
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.comI open-sourced the Pi setup that I use for my day-to-day coding, honestly nothing is better than the extensibility of pi github.com/JoviDeCroock/pi-setup
GitHub - JoviDeCroock/pi-setup
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
