#proglang — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #proglang, aggregated by home.social.
-
I've added some light "automated proving" capbilities to my geometric predicate generator.
(Context is still high performance mesh booleans, but this is applicable to so much more geometric computation)
With enough symbolic perturbation I was able to prove that the perturbed query point cannot lie on the plane.
This is not done via proof search but via rewriting / optimization.
Basically, "prove <expr>" is definitely true if we can simply "<expr>" to "true".
-
Currently on a side quest to dig deeper into error handling in parsers. Any parser whose diagnostic messages impress you especially (and why)?
-
Question for #PL folks:
Is there any usable work taking the typed assembly languages work and layering it on top of #LLVM ? Been quite a while since I read that work, but from what I remember, TAL two had the intersection / union types you'd need for SSA form.
Reason: I will (eventually) need a low-overhead, direct-to-native, and safe way to distribute executable code in a distributed system.
-
How would you do this? Using the Guppy programming language you can write programs with arbitrary control flow, function calls, classical logic and data types, dynamically allocated quantum and classical data, etc etc.
Since quantum computer time is very expensive, we also have a strong type (linear) system to catch many common errors at compile time.
It's open source. There is also a simulator called Selene you can use to run it. Check it out.