principia
The Principia Rewrite (by LogicalAtomist)
inform7-ide
A design system for interactive fiction based on natural language. (by ptomato)
Our great sponsors
principia | inform7-ide | |
---|---|---|
10 | 35 | |
198 | 97 | |
- | - | |
2.7 | 7.7 | |
9 months ago | 9 days ago | |
TeX | C | |
GNU General Public License v3.0 only | GNU General Public License v3.0 only |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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
Posts with mentions or reviews of principia.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-07-21.
-
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
inform7-ide
Posts with mentions or reviews of inform7-ide.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-08-23.
-
The Futures of Inform
For those looking for Linux packages instead of compiling themselves, there's a github build project of an earlier version this year https://github.com/ptomato/inform7-ide/actions/runs/19915523...
-
Share a niche programming language you have tinkered with before
Inform 7 is a domain-specific language for creating parser-based works of interactive fiction (i.e. old-school "text adventure games"). It does the heavy lifting of parsing and maintaining the consistency of the world model for the programmer.
-
How does programming language syntax affect screen readers?
Inform 7 takes this to the extreme, allowing code such as "A distance is a kind of value. 5 miles specifies a distance."
- Ask HN: Best language/framework to develop web-based text games today?
-
Does anyone have examples of "dead" game genres?
Pure parser-based games have become niche, but they are still out there and, like others mentioned, have continued to evolve (see Inform 7). You no longer have to "guess the verb".
- What Languages to Learn for Interactive Fiction Right Now?
- Ask HN: How to keep my daughter busy while tickling her curiosity
-
Gaiman: Programming language for text-based games in browser
Neat. Have you ever seen Inform? http://inform7.com/ Might offer some inspiration on future features. It's a pretty cool language that's been around for a long time and has the same use case.
- How is the method for wirting for a text advnture?, i like writting a story and then writting the variables, how can i write whit score in mind?
- Inform 7 v10.1.0 is now open-source
What are some alternatives?
When comparing principia and inform7-ide you can also consider the following projects:
Coq-Equations - A function definition package for Coq
twinejs - Twine, a tool for telling interactive, nonlinear stories