Search for "ty5E" returned 708 results

illumos SmartOS, specialized Type 1 Hypervisor
27 min

illumos SmartOS, specialized Type 1 Hypervisor

TypeRoof —Type Tooling Infrastructure
22 min

TypeRoof —Type Tooling Infrastructure

Servant vs. Mu: A Type-Level Battle
33 min

Servant vs. Mu: A Type-Level Battle

Type confusion: discovery, abuse, and protection
56 min

Type confusion: discovery, abuse, and protection

Static type checking with mypy
30 min

Static type checking with mypy

Demystifying the USB Type-C connector
21 min

Demystifying the USB Type-C connector

Type theory and meaning in linguistics
60 min

Type theory and meaning in linguistics

The type C connector and USB 3.1
40 min

The type C connector and USB 3.1

End-to-end Type-Safety with Your Own API Spec DSL
44 min

End-to-end Type-Safety with Your Own API Spec DSL

Diesel
50 min

Diesel

Type Safe SQL

openSUSE Kubic - What is this?
37 min

openSUSE Kubic - What is this?

A new type of Distribution

Keys of Fury
25 min

Keys of Fury

Type In Beyond the Scrolling Horizon

PyPy - the new Python implementation on the block
61 min

PyPy - the new Python implementation on the block

Language/VM R&D, whole program type inference, translation…

Syslog-ng 4
41 min

Syslog-ng 4

where log management is heading

Erlang, OCaml, same thing 🤷
46 min

Erlang, OCaml, same thing 🤷

Abstraction and program design, or the power of parametricity
45 min

Abstraction and program design, or the power of parametricity

Higher-Kinded Data Types by Example
37 min

Higher-Kinded Data Types by Example

Proving Python code correct with Nagini
36 min

Proving Python code correct with Nagini

Python Gradual Typing: The Good, The Bad and the Ugly
35 min

Python Gradual Typing: The Good, The Bad and the Ugly

USB, wie funktioniert das eigentlich? Certified USB4 (Version 2.0)
61 min

USB, wie funktioniert das eigentlich? Certified USB4 (Version 2.0)

Intro to Lean 4: A language at the intersection of programming and mathematics
60 min

Intro to Lean 4: A language at the intersection of programming and mathematics

Software Architecture for a Multiple AVB Listener and Talker Scenario
34 min

Software Architecture for a Multiple AVB Listener and Talker Scenario

Certified programming with dependent types
86 min

Certified programming with dependent types

Because the future of defense is liberal application of math

Governing the data lake
28 min

Governing the data lake

Data governance and security for your precious data.

Going Large: Extended Route Targets or Extended Confusion?
9 min

Going Large: Extended Route Targets or Extended Confusion?