POPL 2018 Tutorial (Computational Type Theory)

Related Stories

A Whirlwind Tutorial on Creating Really Teensy ELF Executables for Linux

Programming as Theory Building

theory building without a mentor

Tuple type hints?

Type safe row sql

Build Systems à la Carte (2018) [pdf]

In defence of swap: common misconceptions (2018)

Importing purely for a type hint?

AI winter is well on its way (2018)

Series of posts on HTTP status codes (2018)

How to do type erasure in Zig?

Xenharmlib: A music theory library that supports non-western harmonic systems

Method call resolution in Rust for type parameters

Hilbert's sixth problem: derivation of fluid equations via Boltzmann's theory

LLMs show cultural theory was right about the death of the author

CPU stuck at 0.80Ghz, Fixed by removing keyboard screw (2018)

New quantum paradox clarifies where our views of reality go wrong (2018)

Universal Type Lens extension for vscode (open source, free and etc)

I built a minimal, type-safe dependency injection container for Python

UIs Are Not Pure Functions of the Model - React.js and Cocoa Side by Side (2018)

Release of small_type_id: crate with 32 bit const TypeIds for user types

Scientists have found a previously unknown type of cell in Burmese pythons that allows them to digest bones completely

Readable programming tutorials

Processed meat can cause health issues, even in tiny amounts. Eating just one hot dog a day increased type 2 diabetes risk by 11%

Graphite (now a top-100 Rust project) turns Rust into a functional, visual scripting language for graphics operations — REQUESTING HELP to implement compiler bidirectional type inference

The largest review of ‘gold standard’ antidepressant withdrawal studies to date has identified the type and incidence of symptoms experienced by people discontinuing antidepressants, finding that most people do not experience severe withdrawal

I wrote tutorials on interfacing RabbitMQ with Rust using amqprs library.

Are there any python tutorials that get to the point and aren’t stupidly simple?

Any fun python projects you guys would like to suggest instead of watching tutorials?

Ebitengine tutorials