Code Dependent

Code-Dependent: Living in the Shadow of AI eBooks & eLearning

Posted by First1 at June 18, 2024

Shortlisted for the Women's Prize for Non-Fiction

Details

Code Dependent: Living in the Shadow of AI eBooks & eLearning

Posted by Free butterfly at Dec. 7, 2024

Details

Code Dependent: Living in the Shadow of AI (International Edition) eBooks & eLearning

Posted by Free butterfly at July 2, 2024

Details

Code Dependent: Living in the Shadow of AI eBooks & eLearning

Posted by First1 at March 21, 2024

LONGLISTED FOR THE WOMEN'S PRIZE FOR NON-FICTION 2024

Details

Code Dependent: Living in the Shadow of AI [Audiobook] Audiobooks

Posted by joygourda at March 21, 2024

Details

How To Create A Website Without Code - (Canva + Elementor) eBooks & eLearning

Posted by lucky_aut at Sept. 13, 2023

How To Create A Website Without Code - (Canva + Elementor)
Published 9/2023
Duration: 10h 33m | .MP4 1280x720, 30 fps(r) | AAC, 44100 Hz, 2ch | 5.96 GB
Genre: eLearning | Language: English

Learn to make awesome one page websites for your business or clients using Canva & Elementor (Both using Free Accounts)

Details

Data Analysis With Chatgpt'S Code Interpreter eBooks & eLearning

Posted by ELK1nG at July 12, 2023

Data Analysis With Chatgpt'S Code Interpreter
Published 7/2023
MP4 | Video: h264, 1280x720 | Audio: AAC, 44.1 KHz
Language: English | Size: 852.33 MB | Duration: 2h 13m

Now, Everyone Can Analyze Data | No Coding Or Excel Required

Details

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types eBooks & eLearning

Posted by Free butterfly at July 29, 2023

Details

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press) eBooks & eLearning

Posted by lengen at Feb. 17, 2017

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press) by Adam Chlipala
English | Dec. 6, 2013 | ISBN: 0262026651 | 369 Pages | PDF | 4 MB

The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, emphasizing techniques that will help users to build, understand, and maintain large Coq developments and minimize the cost of code change over time.

Details

Introduction to Dependent Types with Idris Encoding Program Proofs in Types eBooks & eLearning

Posted by GFX_MAN at March 17, 2023

Introduction to Dependent Types with Idris Encoding Program Proofs in Types
English | 2023 | ISBN: 9781484292594 | 128 pages | PDF | 2.12 MB

Dependent types are a concept that allows developers to write proof-carrying code. Idris is a programming language that supports dependent types. This book will teach you the mathematical foundations of Idris as well as how to use it to write software and mathematically prove properties.

Details