Type theory

Type signature

In computer science, a type signature or type annotation defines the inputs and outputs for a function, subroutine or method. A type signature includes the number, types, and order of the arguments contained by a function. A type signature is typically used during overload resolution for choosing the correct definition of a function to be called among many overloaded forms. (Wikipedia).

Video thumbnail

Digital Signatures: Part 1

Fundamental concepts of Digital Signatures are discussed. ElGamal and Schnorr Digital Signature schemes are analyzed. Digital signature standard is presented.

From playlist Network Security

Video thumbnail

Digital Signatures: Part 2

Fundamental concepts of Digital Signatures are discussed. ElGamal and Schnorr Digital Signature schemes are analyzed. Digital signature standard is presented.

From playlist Network Security

Video thumbnail

Schnorr Digital Signature

In this video I briefly go over the advantage to the Schnorr signature, and how to sign and verify.

From playlist Cryptography and Coding Theory

Video thumbnail

Art Quiz #100

Russian Expressionism

From playlist Art Quizzes

Video thumbnail

Art Quiz #5

Art Quiz #5

From playlist Art Quizzes

Video thumbnail

How to make a good E-mail Signature

Do you ever receive an e-mail with a really fancy e-mail signature and thought.. how did you do that? Well this tutorial shows you how to do it with Microsoft Outlook!

From playlist Technology

Video thumbnail

Allan Haley (Director of Words and Letters, Monotype Imaging) interviewed at Web 2.0 Expo SF 2010

The Monotype® foundry, part of Monotype Imaging, is home to the Monotype Library of typefaces. The history surrounding the Monotype foundry dates back to the Lanston Monotype Machine Company, which pioneered mechanical typesetting in the 1880s. From typefaces such as the Times New Roman® f

From playlist Web 2.0 Expo San Francisco 2010

Video thumbnail

Value Your Types!

You’re probably familiar with types in programming languages, such as “integer” or “list of integers.” But what if your type system were powerful enough to express types like “non-negative integer” or “list of strings where each string is at least eight characters long”? Welcome to the wor

From playlist Software Development

Video thumbnail

RubyConf 2019 - A Static Type Analyzer of Untyped Ruby Code for Ruby 3 by Yusuke Endoh

RubyConf 2019 - A Static Type Analyzer of Untyped Ruby Code for Ruby 3 by Yusuke Endoh Ruby 3 is planned to provide a toolchain for static analysis: (1) the standard type signature format for Ruby code, (2) a type analyzer to guess a signature of a non-signatured Ruby code, and (3) a type

From playlist RubyConf 2019

Video thumbnail

RailsConf 2020 CE - Static Type Checking in Rails with Sorbet by Hung Harry Doan

Static Type Checking in Rails with Sorbet by Hung Harry Doan "Sorbet is a powerful static type-checking tool for Ruby. Type checking can catch errors early and improve the developer experience—and with the right tools, it can even be used with dynamic methods in Rails. In this talk, we’l

From playlist RailsConf 2020 CE

Video thumbnail

Syntax and Semantics - Benedikt Ahrens

Benedikt Ahrens Universite Nice Sophia Antipolis; Member, School of Mathematics September 25, 2012 For more videos, visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

Functional Programming in Scala

After 10 years of Object Orientated Java, 2 years of Functional Programming in Scala was enough to convince me that I could never switch back. But why? The answer is simple: Functional Scala lets you think less. It reduces the number of moving parts you need to hold in your head, lets you

From playlist Talks

Video thumbnail

RubyConf 2021 - Enjoy Ruby Programming in IDE and TypeProf by Yusuke Endoh

The rich development experience in integrated development environments (IDEs), including on-the-fly error reporting, refactoring feature, completion, etc., has become increasingly important. To achieve this, many programing languages are incorporating annotations such as type hinting. Howe

From playlist RubyConf 2021

Video thumbnail

Stream Archive: Stripe webhooks (2022-05-10)

I'm experimenting with Yew.rs and building a Brooks Builds website. But before I do I want to experiment a bit with Yew.rs. We get the checkout part to work, next up is creating a webhook that will be called when the charge is successful. Yew Component Library Code: [https://gith

From playlist Yew.rs Playground

Video thumbnail

Privacy and Scale - Everything you need to know about Bitcoin's Taproot (SOB#455)

Privacy & Scale - Everything You Need To Know About Bitcoin’s TaprootText: In this episode of Speaking of Bitcoin (originally recorded in early January, 2021), join Adam B. Levine, Andreas M. Antonopoulos, Stephanie Murphy and Jonathan Mohan as they dig into the much discussed but often po

From playlist Podcast: Speaking of Bitcoin

Video thumbnail

Symmetric Key Cryptography: The Caesar Cipher

This is the first in a series about cryptography; an extremely important aspect of computer science and cyber security. It introduces symmetric key cryptography with a well known substitution cipher, namely the Caesar Cipher. It includes a few examples you can try for yourself using diff

From playlist Cryptography

Video thumbnail

Taproot, Mastering Bitcoin, Coinjoin, & More with Andreas Antonopoulos - November 2021

In this Livestream, Andreas talks about Taproot, Mastering Bitcoin, and Coinjoin. He also talks about Monero, Private Keys, what happens if you lose your mnemonic phrase, and more! Chapters 0:00:00 Start of Stream 0:06:45 Do you think Bitcoin could become the fuel to make the Tor network

From playlist Bitcoin Q&A

Related pages

Higher-order function | Type variable | First-class function | Julia (programming language) | Multiple dispatch | Java virtual machine | Currying | Erlang (programming language)