News: 0001531651

  ARM Give a man a fire and he's warm for a day, but set fire to him and he's warm for the rest of his life (Terry Pratchett, Jingo)

Perforator 0.0.5 Released - Switches To Apache 2.0 License, Drops CLA Requirement

([Free Software] 3 Hours Ago Yandex Perforator)


Open-sourced back in January was the Yandex Perforator as a new software project for [1]uncovering code inefficiencies and potentially "save billions of dollars" in expenses. Perforator has continued evolving since its open-source announcement and out today is Perforator 0.0.5 as the latest milestone.

Perforator employs continuous profiling and eBPF programs to uncover coding inefficiencies while being light enough to run on production servers. Perforator can work across C++, Go, Rust, Java, Python, Node.js, and other programming languages while also making use of Profile Guided Optimizations for tapping greater performance gains.

Perforator 0.0.5 brings a number of fixes as well as profiling enhancements, UI improvements for interacting with the collected data, and more.

Perforator 0.0.5 has also changed the source code license from being under the MIT license to now using the Apache 2.0 license. Additionally, it's no longer necessary to sign a Contributor License Agreement (CLA) for submitting pull requests to this open-source project. Details on the change to dropping the CLA can be found via [2]this commit .

Downloads and more details on the Perforator performance profiling project for those interested via [3]GitHub .



[1] https://www.phoronix.com/news/Yandex-Open-Source-Perforator

[2] https://github.com/yandex/perforator/commit/a99fa8c7f7c6394754d7b60c221d301cde45c257

[3] https://github.com/yandex/perforator/releases/tag/v0.0.5



phoronix

HOW TO PROVE IT, PART 5

proof by accumulated evidence:
Long and diligent search has not revealed a counterexample.

proof by cosmology:
The negation of the proposition is unimaginable or
meaningless. Popular for proofs of the existence of God.

proof by mutual reference:
In reference A, Theorem 5 is said to follow from Theorem 3 in
reference B, which is shown to follow from Corollary 6.2 in
reference C, which is an easy consequence of Theorem 5 in
reference A.

proof by metaproof:
A method is given to construct the desired proof. The
correctness of the method is proved by any of these
techniques.