6 ms·
I’ve been shocked by how much LLVM leaves on the table while designing Logos language! Some very exciting benchmarks coming soon that we’ve been working on for
by tristenharr 2mo ago
I’ve been shocked by how much LLVM leaves on the table while designing Logos language! Some very exciting benchmarks coming soon that we’ve been working on for over 6 months, but LLVM misses a LOT of potential optimizations when you have a strong type system!
- piinbinary 2mo agoIs there a URL for that language? It is unfortunately a bit un-googleable!
- santaboom 2mo agofound this: https://logicaffeine.com/guide https://logicaffeine.com/guide
- tristenharr 2mo agoYes that's the language, the v0.10.0 benchmarks are coming very soon and with it some major updates. We've added supercompilation and symmetry breaking to the optimizer pipeline. Sneak peeks available on a branch currently named stream1. https://github.com/Brahmastra-Labs/logicaffeine/tree/stream1 https://github.com/Brahmastra-Labs/logicaffeine/tree/stream1