Pixelify Your Android Smartphone with This Wallpaper App
Transform your Android smartphone's home screen with battery-friendly live wallpapers.
Slack open sources its internal tool Hakana to help other developers and companies using Hack language.
Slack, the popular team communication and collaboration platform, has recently open-sourced its 'Hakana' type checker, a tool they created for internal use.
This move comes at a time when a good deal of proprietary software is being open-sourced.
Related Read 📖
What is it?: Hakana is a static analysis tool for the Hack programming language that uses Psalm as a base and is written in Rust.
In simpler terms, it is a tool that provides type checking for Hack by running several analytical methods.
Currently, Slack is using it to detect issues in their Hack code; they migrated from PHP to Hack in 2016 citing various inconsistencies with it.
Some of Hakana's abilities include:
Slack mentions more of its use cases as:
We also use Hakana to automate type-aware API migrations (again via plugin hooks) and to delete unused functions in bulk. Thanks to Rust, those whole-codebase migrations are relatively quick.
Furthermore, Hakana investigates how data moves between functions in a codebase and tries to verify whether any attacker-controlled data shows up in places it shouldn't.
It also has a web version that can be accessed via web browsers using WASM, thanks to it being written in Rust.
Slack lists a couple of reasons why they decided to open-source Hakana:
I suggest you go through the announcement blog if you are interested to learn more about the technical bits of Hakana.
Suggested Read 📖
Stay updated with relevant Linux news, discover new open source apps, follow distro releases and read opinions