Hacker News
- Reasoning About Program Behavior Algebraically [pdf] http://dev.stephendiehl.com/types_behavior.pdf 12 comments
- Eff – A language for programming with algebraic effects and handlers http://www.eff-lang.org/ 5 comments
- Koka: A fast functional programming language with algebraic effects https://koka-lang.github.io/koka/doc/book.html 2 comments
Lobsters
- Programming with Algebra https://developer.atlassian.com/blog/2016/03/programming-with-algebra/ 3 comments programming
- Programming with Algebra https://developer.atlassian.com/blog/2016/03/programming-with-algebra/ 7 comments programming
- Algebraic and Analytic Programming https://lukepalmer.wordpress.com/2014/03/04/algebraic-and-analytic-programming/ 5 comments programming
- Algebra of Programming: Chapter 1 section 5 http://nickelcode.com/2009/09/26/algebra-of-programming-chapter-1-sections-5/ 7 comments haskell
- Algebra of Programming: Chapter 1 http://nickelcode.com/2009/09/12/algebra-of-programming-chapter-1/ 3 comments haskell
- Algebraic Structures: Things I wish someone had explained about functional programming https://jrsinclair.com/articles/2019/algebraic-structures-what-i-wish-someone-had-explained-about-functional-programming/ 9 comments typescript
- Algebraic Structures: Things I wish someone had explained about functional programming https://jrsinclair.com/articles/2019/algebraic-structures-what-i-wish-someone-had-explained-about-functional-programming/ 5 comments coding
- Algebraic Structures: Things I wish someone had explained about functional programming https://jrsinclair.com/articles/2019/algebraic-structures-what-i-wish-someone-had-explained-about-functional-programming/ 11 comments javascript
- A Short Skinny on Relations towards the Algebra of Programming - Hey There Buddo! http://www.philipzucker.com/a-short-skinny-on-relations-towards-the-algebra-of-programming/?preview=true 8 comments haskell
- Generic programming a la Alexander Stepanov and the STL: More Abstracted Algebra in Rust http://maniagnosis.crsr.net/2015/07/more-abstracted-algebra-in-rust.html 5 comments rust
- Using f-algebras to produce a statically typed functional programming language http://burz.github.io/2014/06/15/feval.html 19 comments haskell
- Algebraic Data Types: Things I wish someone had explained about functional programming https://jrsinclair.com/articles/2019/algebraic-data-types-what-i-wish-someone-had-explained-about-functional-programming/ 3 comments programming
- Algebraic Data Types: Things I wish someone explained on functional programming https://jrsinclair.com/articles/2019/algebraic-data-types-what-i-wish-someone-had-explained-about-functional-programming/ 11 comments programming
- is it possible to learn Linear Algebra through programming? https://www.reddit.com/r/learnprogramming/comments/aft1pn/is_it_possible_to_learn_linear_algebra_through/ 9 comments learnprogramming
- [PDF] Stephen Diehl - Reasoning about Program Behavior Algebraically http://dev.stephendiehl.com/types_behavior.pdf 7 comments programming
- Can programming be liberated from von Neumann Style? A Functional Style and its Algebra of Programs http://www.stanford.edu/class/cs242/readings/backus.pdf?r=3 5 comments programming
- Hoare: A Theory of Programming: Denotational, Algebraic and Operational Semantics http://research.microsoft.com/apps/pubs/default.aspx?id=68627 3 comments programming
- Common matrix algebra operations using Recursion and Functional Programming https://pritesh-shrivastava.github.io/blog/2020/12/24/matrix_algebra_recursion 9 comments lisp
- Bootstrap: teaching programming and algebra to middle-schoolers using Scheme http://www.bootstrapworld.org/ 18 comments programming
- Deep algebra for deep beats: The beautiful sounds of musical programming https://arstechnica.com/gaming/2020/09/turning-code-into-music-anagrams-open-source-marxism-and-vr-raves/ 4 comments programming
- Deep algebra for deep beats: The beautiful sounds of musical programming https://arstechnica.com/gaming/2020/09/turning-code-into-music-anagrams-open-source-marxism-and-vr-raves/ 5 comments technology
- If there was ONE skill that you would like/need to know about Linear Algebra for Game Programming, what would it be and Why? http://learntocreategames.com/solve_you_linear_algebra_headaches_with_unity/ 35 comments gamedev
- London Clojurians talk: Programming with Linear Algebra: Hello World (by Dragan Djuric) https://www.youtube.com/watch?v=3k7o7tfufRU 0 comments clojure
- An intuition for reflection: "I am speaking of the principle from the algebra of programming that is called reflection ... It is a property relating eliminations and constructions of datatypes." https://queuea9.wordpress.com/2020/04/01/an-intuition-for-reflection/ 3 comments haskell
- A list of 30+ free textbooks from calculus, linear algebra to discrete math, proof, combinatorics and programming https://danaernst.com/resources/free-and-open-source-textbooks/ 25 comments compsci
- Wanting to program an n-dimensional physics engine, stuck at grassman algebras https://www.reddit.com/r/math/comments/7ah63k/wanting_to_program_an_ndimensional_physics_engine/ 4 comments math
- TIL about Geogebra. An immensely useful interactive graphics and algebra program. (I use it for my college proofs class!) http://www.geogebra.org/cms/ 17 comments math
- Does anybody know about a free math program that can do this? Really awesome way to make algebra easy http://www.nucalc.com/examples/exampledrag.html 36 comments linux
- Hi everyone, I've just published an article about Functional Programming in C# through Algebra, Numbers, Euclidean Plane and Fractals. https://www.codeproject.com/Articles/5370282/Functional-Programming-in-Csharp-2 4 comments csharp
- New AI Solves, Grades & Generates University-Level Mathematics Problems(Calculus, Differential Equations, Linear Algebra, and More) by Program Synthesis https://medium.com/syncedreview/a-neural-network-solves-grades-generates-university-level-mathematics-problems-by-program-5e0c92b2cef5 11 comments futurology
- A collection of tutorials for C linear algebra API, including C-FORTRAN mixed programing, BLAS, CBLAS, LAPACK, LAPACKE ... and installation guides https://github.com/foadsf/cmathtuts/tree/dev 7 comments compsci
- Nemo: a computer algebra package for the Julia programming language. The Benchmarks page show it's often an order of magnitude (or more) faster than Sage and Magma. http://nemocas.org/ 11 comments math
- "Thank you to the Haskell community for encouraging programmers to explore the relationship between algebra and programming." -- My accepted paper at the International Conference of Machine Learning (ICML13) http://jmlr.org/proceedings/papers/v28/izbicki13.pdf 3 comments haskell
Lambda the Ultimate
- Notes on "Algebra of Programming" http://www.cs.tcd.ie/publications/tech-reports/reports.99/TCD-CS-1999-74.pdf 0 comments functional
- Algebra of Logic Programming http://users.comlab.ox.ac.uk/silvija.seres/Papers/iclp99.ps.gz 2 comments Logic/Declerative
- Programming with Algebraic Effects and Handlers http://math.andrej.com/2012/03/08/programming-with-algebraic-effects-and-handlers/ 18 comments Effects , Functional
- Feature-Oriented Programming with Object Algebras http://www.cs.utexas.edu/~wcook/Drafts/2012/FOPwOA.pdf 0 comments Implementation , OOP