mrakgr/The-Spiral-Language
View on GitHub ↗ ★ 947 Python
Functional language with intensional polymorphism and first-class staging.
19 mentions on Hacker News by 12 people: 4 stories, 15 comments · first 2018-07-12 · latest 2023-01-14
20082026
-
As a programmer with no ML/GPU experience, this reminds me of the Spiral language: https://github.com/mrakgr/The-Spiral-Language I wonder if Nx will succeed due being "just" a library for a popular language (Elixir) instead of being a…
comment by fouric · 2021-02-17 · in Nx: Multi-dimensional tensors Elixir lib with multi-staged compilation (CPU/GPU) -
…languages like Rust. As a bonus, the commit messages contain a whole journal worth of notes. [0]: https://github.com/mrakgr/The-Spiral-Language
comment by Kinrany · 2020-08-07 · in What Is the Minimal Set of Optimizations Needed for Zero-Cost Abstraction? -
…approach is to write notes in Git commit messages. The author of the Spiral language does it: https://github.com/mrakgr/The-Spiral-Language/commits/master
comment by Kinrany · 2020-05-14 · in The Interruptible Programmer (2010) -
…which allows arbitrary staging, sort of an extension of Zig/Terra as mentioned in the blog post. https://github.com/mrakgr/The-Spiral-Language
comment by posnet · 2019-07-21 · in Models of Generics and Metaprogramming: Go, Rust, Swift, D and More -
…As well as that esolang that appeared a few months ago on the front page. https://github.com/mrakgr/The-Spiral-Language
comment by posnet · 2019-02-19 · in Deep learning may need a new programming language -
…interesting language in the same vein is Spiral, with "first-class staging" for machine learning: https://github.com/mrakgr/The-Spiral-Language You can also do a lot of this with constexpr / templates in C++, although the syntax is…
comment by chubot · 2019-01-27 · in Outperforming everything with anything: Python? Sure, why not? -
There’s actually another category: type reification WITH type erasure! https://github.com/mrakgr/The-Spiral-Language/blob/master/re... (search for default_of) Well, kinda cheating since the language’s about inlining these away. But…
comment by chenglou · 2018-12-05 · in Type erasure and reification -
…be a stand in for compiler optimizations. For safety and speed, the type system should be there. https://github.com/mrakgr/The-Spiral-Language/blob/0741959ac... Here is how the example you've shown could be done in Spiral. Maybe I should…
comment by abstractcontrol · 2018-07-19 · in The Spiral Language -
…when I am done with all the neural network work that I am doing currently which might take a while. https://github.com/mrakgr/The-Spiral-Language/blob/7ecd30bdf... You can see how it is implement here for the forward and backward parts.…
comment by abstractcontrol · 2018-07-18 · in The Spiral Language -
…at this thread are curious how GPU programming without macros looks like then take a peek at this: https://github.com/mrakgr/The-Spiral-Language/blob/3a94ca644... Comparing Spiral and Julia code that has been linked so far, I feel that no…
comment by abstractcontrol · 2018-07-17 · in The Spiral Language -
That link doesn’t work on mobile since the readme is abbreviated. Here’s a working one: https://github.com/mrakgr/The-Spiral-Language/blob/master/re...
comment by pimlottc · 2018-07-13 · in The Spiral Language -
I think the real meat, is here: https://github.com/mrakgr/The-Spiral-Language#5-tensors-and-...
comment by ConcernedCoder · 2018-07-13 · in The Spiral Language -
https://github.com/mrakgr/The-Spiral-Language/commit/1dee010... That one is really in the "mad scientist" mindset. I love it, I wish him and this project good luck.
comment by s3m4j · 2018-07-13 · in The Spiral Language -
https://github.com/mrakgr/The-Spiral-Language/commit/d75e304...
comment by jpwagner · 2018-07-13 · in The Spiral Language -
https://github.com/mrakgr/The-Spiral-Language/commit/51fe8b7...
comment by jpwagner · 2018-07-13 · in The Spiral Language