LINQ-raytracer
HVM
| LINQ-raytracer | HVM | |
|---|---|---|
| 4 | 112 | |
| 67 | 10,165 | |
| - | 29.6% | |
| 1.0 | 8.9 | |
| over 1 year ago | 5 days ago | |
| C# | Cuda | |
| MIT License | Apache License 2.0 |
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.
LINQ-raytracer
-
True or false?
Just because you can doesn't mean you should.
-
Are there any overly complicated, hard-to-follow examples for fun?
This is the biggest abuse of C# I know of: https://github.com/lukehoban/LINQ-raytracer/blob/master/LINQRayTracer.cs
-
Variable naming 100
Unless you are doing query you probably shouldn't even do with LINQ, one letter variable is the way to go for this scenario.
-
🤓📗 Is this "clean code"? 🦋
Can't find the original blog post, but here is the code: https://github.com/lukehoban/LINQ-raytracer
HVM
- Bend a Parallel Language
- Bend: A higher order language for the GPU
- Bend: A High-Level GPU Language Powered by HVM2
-
Welcome to the Parallel Future of Computation
Sorry I only just saw this - the URL was changed because you have this in the HTML:
- Bend: A Python-Like Parallel Language for GPUs and Multicore CPUs
-
SaberVM
Reminds me of HVM[0]
[0]https://github.com/HigherOrderCO/HVM
Really interesting to see how new lang concepts and refinements keep popping up this last decade, between Vale, Gleam, Hylo, Austral...
Linear types really opened up lots of ways to improve memory management and compilation improvements.
- GPU Survival Toolkit for the AI age: The bare minimum every developer must know
-
A new F# compiler feature: graph-based type-checking
I have a tangential question that is related to this cool new feature.
Warning: the question I ask comes from a part of my brain that is currently melted due to heavy thinking.
Context: I write a fair amount of Clojure, and in Lisps the code itself is a tree. Just like this F# parallel graph type-checker. In Lisps, one would use Macros to perform compile-time computation to accomplish something like this, I think.
More context: Idris2 allows for first class type-driven development, where the types are passed around and used to formally specify program behavior, even down to the value of a particular definition.
Given that this F# feature enables parallel analysis, wouldn't it make sense to do all of our development in a Lisp-like Trie structure where the types are simply part of the program itself, like in Idris2?
Also related, is this similar to how HVM works with their "Interaction nets"?
https://github.com/HigherOrderCO/HVM
https://www.idris-lang.org/
https://clojure.org/
I'm afraid I don't even understand what the difference between code, data, and types are anymore... it used to make sense, but these new languages have dissolved those boundaries in my mind, and I am not sure how to build it back up again.
-
A History of Functional Hardware
Impressive presentation but I find two things missing in particular:
* GRIN [1] - arguably a breakthrough in FP compilation; there are several implementation based on this
* HVM [2] - parallel optimal reduction. The results are very impressive.
[1] https://link.springer.com/chapter/10.1007/3-540-63237-9_19
[2] https://github.com/HigherOrderCO/HVM
-
Is the abstraction of lazy-functional-purity doomed to leak?
Purity has nothing to do with memoization. Haskell's semantics never "rewrite under a lambda" (unlike, e.g. HVM). Calling (\_ -> e) () twice will (modulo optimizations) always perform the computation in e twice.
What are some alternatives?
Kind - A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2]
rust-gpu - 🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
SICL - A fresh implementation of Common Lisp
Sharp-Bilinear-Shaders - sharp bilinear shaders for RetroPie, Recalbox and Libretro for sharp pixels without pixel wobble and minimal blurring
fslang-suggestions - The place to make suggestions, discuss and vote on F# language and core library features
atom - A DSL for embedded hard realtime applications.
Vale - Compiler for the Vale programming language - http://vale.dev/
jre-missing - Automatically detects and lists episodes of The Joe Rogan Experience podcast that are currently not available on the Spotify platform. Also detects if episodes have been shortened in duration.
frag - Frag is a 3D first person shooting game written in Haskell, by Mun Hon Cheong
Nim - Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
imba - 🐤 The friendly full-stack language
Lua - Lua is a powerful, efficient, lightweight, embeddable scripting language. It supports procedural programming, object-oriented programming, functional programming, data-driven programming, and data description.