principia
xlispstat
principia | xlispstat | |
---|---|---|
10 | 2 | |
198 | 16 | |
- | - | |
2.7 | 10.0 | |
10 months ago | over 8 years ago | |
TeX | C | |
GNU General Public License v3.0 only | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
principia
-
Principia Mathematica in modern notation.
You can check it out here: https://www.principiarewrite.com/
-
It took Russell and that other guy 360 pages to prove that 1+1=2. That's how rigorous math is.
It's crazy to think that we didn't really know for sure whether 1+1=2 until ~1910, yet it's true. That's when Bernard Russell (best known for Russell's teapot, exposing a logical fallacy in Christianity) and some other dude actually proved it from axioms. They laid out the foundation of 1+1 in a book called Principia Mathematica. They worked so rigorously that it took them 360 pages to even prove something as basic as 1+1=2 using the axiomatic method. If you want to use a modern tool like Coq to verify 1+1=2, then the best way of doing this is to formalize Principia Mathematica in Coq.
-
Which is the most abstract and bizzare book of mathematics you have ever came across?
There are people trying to make it more readable.
-
Ask HN: Would prog. language look like if that was designed by no-programmer
Principia
A work from the early 20th century, mathematics, logic.
I think some expert called Bertrand Russell's and A.N. Whitehead's "Principia Mathematica" initiative a "bizarre" piece of work, when seen from the perspective of a programming language designer.
I can't make a qualified statement about this, as I am neither a mathematician nor a language designer. And I cannot find the exact quote on the internet, sorry. Just saying.
In code? See for yourself :
https://www.principiarewrite.com/
-
Hacker News top posts: Dec 6, 2021
Whitehead and Russell’s Principia rewritten in Coq\ (44 comments)
- Whitehead and Russell’s Principia rewritten in Coq
- The Principia Rewrite: Whitehead and Russell’s Principia Rewritten in Coq
xlispstat
-
A Quick Introduction to R
On the other hand, if it were lispiness that was the issue, surely xlispstat would be the winner. I love xlispstat. I used it in grad school in the 1990s and even maintain the github repository https://github.com/jhbadger/xlispstat . But the fact is xlispstat never appealed to the general statistical community and R did.
-
Ask HN: Would prog. language look like if that was designed by no-programmer
I was a huge fan of xlispstat in the 1990s (which I've archived on Github at (https://github.com/jhbadger/xlispstat), but the simple fact is that the majority of the statistics community just didn't like Lisp-like languages, and not only xlispstat, but newer projects like Incanter (statistics for Clojure) have pretty much failed as well. R meets its need far better than a Scheme library that nobody would have used. It's yet another example of "worse is better".
What are some alternatives?
Coq-Equations - A function definition package for Coq
tutorial_r_introductio
Transformer-in-Transformer - An Implementation of Transformer in Transformer in TensorFlow for image classification, attention inside local patches
r_notes - Personal collection of R notes
hs-to-coq - Convert Haskell source code to Coq source code.
diptest - :exclamation: This is a read-only mirror of the CRAN R package repository. diptest — Hartigan's Dip Test Statistic for Unimodality - Corrected. Homepage: https://github.com/mmaechler/diptest Report bugs for this package: https://github.com/mmaechler/diptest/issues
inform7-ide - A design system for interactive fiction based on natural language.
cycle-cloud - Repository to allow collaboration between Cycle Labs Cloud community in support of the community.
mathlib - Lean 3's obsolete mathematical components library: please use mathlib4
planckforth - Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.