proving the existence of uncomputable functions using diagonalization, see https://t.iss.one/p_file/302 and Cardinality of Sets chapter of Introduction to Mathematical Proofs https://t.iss.one/p_file/305.
Topics: Haskell, Scheme. #programming
https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours
https://upload.wikimedia.org/wikipedia/commons/a/aa/Write_Yourself_a_Scheme_in_48_Hours.pdf
https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours
https://upload.wikimedia.org/wikipedia/commons/a/aa/Write_Yourself_a_Scheme_in_48_Hours.pdf
en.wikibooks.org
Write Yourself a Scheme in 48 Hours
Most Haskell tutorials on the web use a style of teaching akin to language reference manuals. They show you the syntax of the language, a few language constructs, then tell you to create a few simple functions at the interactive prompt. The "hard stuff" of…
SQUIP Exploiting the Scheduler Queue Contention Side Channel.pdf
505.5 KB
SQUIP: Exploiting the Scheduler Queue Contention Side Channel.
Forwarded from Lambda Archive
[Lambda_Archive]-Hardware-Backdoor-List-V1.pdf
29.3 KB
The following document is a list of known hardware backdoors. This is considered a work in progress. This post is version 1 of the document and it will be updated over time to add new entries to the list, to add and improve citations as well as descriptions.
Tags: [ #Intel_ME| #AMD_PSP | #ARM_TrustZone ]
Tags: [ #Intel_ME| #AMD_PSP | #ARM_TrustZone ]
Forwarded from FreeBSD
Media is too big
VIEW IN TELEGRAM
Intro to Hardware Hacking on RPi
Join Tom Jones as he provides an introduction to FreeBSD running on the Raspberry Pi. The one-hour session covers interfacing with hardware like LEDs and switches.
repo: https://github.com/adventureloop/gpiostuff
#freebsdfridays #raspberrypi #guide
Join Tom Jones as he provides an introduction to FreeBSD running on the Raspberry Pi. The one-hour session covers interfacing with hardware like LEDs and switches.
repo: https://github.com/adventureloop/gpiostuff
#freebsdfridays #raspberrypi #guide