18 results

• 18maths
• 7programming
• 4haskell
• 2advent-of-code
• 1type-systems
• 1python
• 1performance
• 1integer-linear-programming
• 1history

1. A grimoire of functions

   fredrikj.net

   • maths

2. Alchemical Groups: Advent of Code with Free Groups and Group Homomorphisms

   blog.jle.im

   • advent-of-code
   • haskell
   • maths
   • programming

3. Blazing fast Fibonacci numbers using Monoids

   www.haskellforall.com

   • haskell
   • maths
   • performance
   • programming

4. Finding Binary & Decimal Palindromes

   ashdnazg.github.io

   • maths
   • programming

5. From Set Theory to Type Theory

   golem.ph.utexas.edu

   • maths
   • type-systems

6. Funky coordinate systems

   blog.plover.com

   • maths

7. How can basic arithmetic make a self-referential sentence?

   r6.ca

   • maths

8. How to specify an IF-THEN constraint with an Integer Linear Programming (ILP) solver

   www.yzuda.org

   • integer-linear-programming
   • maths

9. Inventing an Operation to Solve x^x = y

   mathforum.org

   • maths

10. My favorite prime number generator

    eli.thegreenplace.net

    • maths
    • programming
    • python

11. Shuffling things up: Applying Group Theory in Advent of Code

    blog.jle.im

    • advent-of-code
    • haskell
    • maths
    • programming

12. Supershapes (Superformula)

    paulbourke.net

    • maths

13. The 8000th Busy Beaver number eludes ZF set theory: new paper by Adam Yedidia and me

    www.scottaaronson.com

    • maths

14. The Logarithm of a Sum

    cdsmithus.medium.com

    • maths

15. The long and complicated history of why there are 360 degrees in a circle.

    www.historytoday.com

    • history
    • maths

16. Think in Math. Write in Code.

    justinmeiners.github.io

    • maths
    • programming

17. United Monoids

    blogs.ncl.ac.uk

    • haskell
    • maths
    • programming

18. Viewing Matrices & Probability as Graphs

    www.math3ma.com

    • maths