{{ title }}
{{ subtitle }}
{{ body }}Questions or comments? Send an email to ~icyphox/x@lists.sr.ht—my public inbox.
Turing Complete Type Systems
Rust’s type system is Turing complete: FizzBuzz with Rust Traits A Forth implementation with Rust Traits It is impossible to determine if a program written in a generally Turing complete system will ever stop. That is, it is impossible to write a program…
via nerdypepper's μblog on Jun 18, 2020
Status update, July 2020
Hello again! Another month of FOSS development behind us, and we’re back again to share the results. I took a week off at the end of June, so my progress this month is somewhat less than usual. Regardless, I have some updates for you, mainly in the domain …
via Drew DeVault's Blog on Jul 15, 2020
World’s Most Wanted Man Jan Marsalek Located in Belarus; Data Points to Russian Intel Links
It can safely be assumed that Jan Marsalek is currently one of the most hunted-for persons on earth. The company he oversaw operationally, Germany’s Wirecard, collapsed overnight last month after auditors brought attention to a nearly 2 billion Euro gaping…
via bellingcat on Jul 18, 2020