alcinnz
alcinnz boosted

List of #Supercompilation Resources and Papers:

https://github.com/etiams/supercompilation-resources

"Supercompilation is a principiled program transformation technique that symbolically evaluates a given input program into its more efficient version, eliminating as much of computational overhead as possible[...]."

#Compiler#PLT#FunctionalProgramming#Performance

We seem to have entered the #era of #celebrity #marriage as #performance #art.

I think it started with Jon Richardson though I may have missed earlier iterations.

For a while we've had an assortment of farming couples including Jeremy Clarkson.

Now they're graduating to using marriage to revive moribund careers such as the case with Noel Edmonds.

It's no wonder #genz has a jaundiced outlook. It didn't happen in a vacuum.

#society #roles

The performance argument for native templating is weak - we're talking 2% gains, max. But remove the JS bridge for WASM? That's where real performance wins live. Fix the actual bottleneck. Every DOM call through JS is overhead we don't need. Direct access would unlock true native speeds for web UIs. Imagine game engines manipulating DOM at 60fps without JS overhead. #compsci#webdev #performance #wasm

I wanted to move my services from a costly and power hungry VPS to a Raspberry Pi in my living room.

But when moving the first 2.8 GB there... the Raspberry Pi announced a migration time in hundreds of days!

Follow me as I investigate why my Raspberry Pi is too slow as a server, and if there's anything I can do about it.

https://ergaster.org/posts/2025/06/24-why-restore-raspi-slow/

#raspberrypi #sysadmin #performance

TPDE Compiler Back-End Framework

https://arxiv.org/abs/2505.22610

"TPDE-LLVM: a standalone back-end for LLVM-IR, which compiles 10--20x faster than LLVM -O0 with similar code quality, usable as library (e.g., for JIT), as tool (tpde-llc), and integrated in Clang/Flang (with a patch)."

Holy cow! 🤯

Open Source on GitHub:
https://github.com/tpde2/tpde

#Performance#Compiler#LLVM