Tiếng Việt
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어

#typesystems kết quả tìm kiếm

burgessdryan's profile picture. Photographer 📸 Engineering leader. Formerly Netflix & Evernote. Host of the @FrontEndHH podcast 🎙
Ryan Burgess
 @burgessdryan
17 thg 8, 2018

Learning from @sugarpirate_ about why #TypeSystems are so helpful and powerful #ReactRally

burgessdryan's tweet image. Learning from @sugarpirate_ about why #TypeSystems are so helpful and powerful #ReactRally
1
4
17
0
0
Prashant_Bhuyan's profile picture. Founder & CEO of Accrete AI
Prashant B. Bhuyan
 @Prashant_Bhuyan
31 thg 5, 2018

Annotators presenting #typeSystems and #subTypes that form #biasFreeGroundTruths and contextual seeds that power learning systems at @AccreteAI in NYC @IBMWatson #KnowledgeStudio #compoundingKnowledge

Prashant_Bhuyan's tweet image. Annotators presenting #typeSystems and #subTypes that form #biasFreeGroundTruths and contextual seeds that power learning systems at @AccreteAI in NYC @IBMWatson #KnowledgeStudio #compoundingKnowledge
Prashant_Bhuyan's tweet image. Annotators presenting #typeSystems and #subTypes that form #biasFreeGroundTruths and contextual seeds that power learning systems at @AccreteAI in NYC @IBMWatson #KnowledgeStudio #compoundingKnowledge
Prashant_Bhuyan's tweet image. Annotators presenting #typeSystems and #subTypes that form #biasFreeGroundTruths and contextual seeds that power learning systems at @AccreteAI in NYC @IBMWatson #KnowledgeStudio #compoundingKnowledge
0
2
7
0
0
overflow_meme's profile picture. Stack Overflow questions + meme generator = @overflow_meme
Meme Overflow
 @overflow_meme
22 thg 7, 2021

How to force a compile error in C++(17) if a function return value isn't checked? Ideally through the type system stackoverflow.com/questions/6846… #typesystems #staticanalysis #cpp

overflow_meme's tweet image. How to force a compile error in C++(17) if a function return value isn't checked? Ideally through the type system stackoverflow.com/questions/6846… #typesystems #staticanalysis #cpp
0
0
0
0
0
skillsmatter's profile picture. The community learning platform where technologists learn better, together.
Skills Matter
 @skillsmatter
28 thg 10, 2021

📢 @vrom911 joins #HaskellX for a deep (but beginner-friendly) dive into #TypeSystems, exploring #Types, #ADTs, #Typeclasses — with lots of examples. Join us for free on 15 November for this talk and 5 more on the basics of #Haskell, #GHC and #FP: bit.ly/3BoaaAi

skillsmatter's tweet image. 📢 @vrom911 joins #HaskellX for a deep (but beginner-friendly) dive into #TypeSystems, exploring #Types, #ADTs, #Typeclasses — with lots of examples. Join us for free on 15 November for this talk and 5 more on the basics of #Haskell, #GHC and #FP: bit.ly/3BoaaAi
0
9
19
2
0
skillsmatter's profile picture. The community learning platform where technologists learn better, together.
Skills Matter
 @skillsmatter
15 thg 11, 2021

On stage now at #Haskell 2021: @vrom911 is taking us on a deep (but beginner-friendly) dive into #TypeSystems as she explains different aspects of #Types, #ADTs, #Typeclasses. (h/t — Very strong meme game in this session)

skillsmatter's tweet image. On stage now at #Haskell 2021: @vrom911 is taking us on a deep (but beginner-friendly) dive into #TypeSystems as she explains different aspects of #Types, #ADTs, #Typeclasses. (h/t — Very strong meme game in this session)
0
2
5
1
0
atal_uk's profile picture. #StructuralWaterproofing Systems at the forefront of technologies. Experts in BS8102, NHBC chapter 5.4 and BRE groundgas digests. Design & supply. #AtalHQ
Atal
 @atal_uk
31 thg 8, 2018

Our team hard at work in the South West area. Premsil GMA used to terminate type A barrier system. #structuralwaterpoofing #contruction #typesystems

atal_uk's tweet image. Our team hard at work in the South West area. Premsil GMA used to terminate type A barrier system. #structuralwaterpoofing #contruction #typesystems
0
1
1
0
0
Skit_ai's profile picture. Pioneer Conversational AI startup transforming collections with omnichannel GenAI-powered assistants. Built by @SkitTech
Skit.ai
 @Skit_ai
17 thg 4, 2020

Friday online training session - Great presentation by @amreshVenugopal In this talk, he covers Type Systems; Click the link: lnkd.in/fddjUNw to know more about this talk and others like it. #training #MachineLearning #typesystems #Presentations

Skit_ai's tweet image. Friday online training session - Great presentation by @amreshVenugopal In this talk, he covers Type Systems; Click the link: lnkd.in/fddjUNw to know more about this talk and others like it. #training #MachineLearning #typesystems #Presentations
1
0
2
0
0
LambdaDays's profile picture. 📅 Save the date for 2026: 11-12.06 Celebrate with us functional languages like #Haskell #Scala #Elm #Elixir #Gleam #Clojure 🦋We're on other platforms too📅
Lambda Days
@LambdaDays
18 thg 11, 2020

Are you interested in #typeSystems, program synthesis or program verification? Check out @polikarn, Assistant Professor of #ComputerScience and Engineering at the @ucsd_cse who joined our 2021 line-up! lambdadays.org/lambdadays2021…

LambdaDays's tweet image. Are you interested in #typeSystems, program synthesis or program verification? Check out @polikarn, Assistant Professor of #ComputerScience and Engineering at the @ucsd_cse who joined our 2021 line-up! lambdadays.org/lambdadays2021…
0
3
8
0
0
fxdpntthm's profile picture. Grad student. PL, types, semantics, logic, SIGPLAN audio-video/virtualization. Also on @fxdpntthm@types.pl
Apoorv
 @fxdpntthm
3 thg 4, 2017

It's high time we need a mooc on #TypeSystems

0
0
0
0
0
StackCSTheory's profile picture. A Q&A site for theoretical computer scientists and researchers in related fields
CSTheory SE
 @StackCSTheory
22 thg 2, 2014

What parts of homotopy type theory are not possible in Agda or Coq? cstheory.stackexchange.com/q/21199?atw=1 #typesystems

0
0
1
0
0
InfoQ's profile picture. Helping dev teams adopt new technologies and practices for 18 years. Written by software engineers. Read by over 1.5 m devs worldwide. https://t.co/l4flQmvaw2
InfoQ
 @InfoQ
14 thg 5, 2022

#Ballerinalang’s flexible #TypeSystems brings the best of statically typed & dynamically typed languages in terms of safety, clarity & speed of development. Read the #InfoQ article by @viebel and gain more insights into Ballerina’s approach to types: bit.ly/39LGWD9

InfoQ's tweet image. #Ballerinalang’s flexible #TypeSystems brings the best of statically typed & dynamically typed languages in terms of safety, clarity & speed of development. Read the #InfoQ article by @viebel and gain more insights into Ballerina’s approach to types: bit.ly/39LGWD9
0
4
10
1
0
skillsmatter's profile picture. The community learning platform where technologists learn better, together.
Skills Matter
 @skillsmatter
14 thg 10, 2020

ICYMI: Next Wednesday at 11:00UTC our virtual #fsharpX 2020 conference kicks off with a keynote by @Neykova looking at #typesystems. Rumyana will be exploring the question of how far (if at all) we should push the boundaries of the #fsharp type system. skillsmatter.com/fsharp

skillsmatter's tweet image. ICYMI: Next Wednesday at 11:00UTC our virtual #fsharpX 2020 conference kicks off with a keynote by @Neykova looking at #typesystems. Rumyana will be exploring the question of how far (if at all) we should push the boundaries of the #fsharp type system. skillsmatter.com/fsharp
0
0
1
0
0
coderdiaz's profile picture. Cooking https://t.co/KSPxVlXRwl in public 👨🏽‍🍳 ✢ 🇲🇽 Building self-serve software products for ambitious people ✢ Available for freelance and collaborations
Javier · coderdiaz.com
@coderdiaz
18 thg 7, 2019

What type-system do you use for type your React code? Share this poll ⭐️ #frontend #react #typesystems #reactjs

3
9
5
0
0
Không có kết quả nào cho "#typesystems"
Prashant_Bhuyan's profile picture. Founder & CEO of Accrete AI
Prashant B. Bhuyan
 @Prashant_Bhuyan
31 thg 5, 2018

Annotators presenting #typeSystems and #subTypes that form #biasFreeGroundTruths and contextual seeds that power learning systems at @AccreteAI in NYC @IBMWatson #KnowledgeStudio #compoundingKnowledge

Prashant_Bhuyan's tweet image. Annotators presenting #typeSystems and #subTypes that form #biasFreeGroundTruths and contextual seeds that power learning systems at @AccreteAI in NYC @IBMWatson #KnowledgeStudio #compoundingKnowledge
Prashant_Bhuyan's tweet image. Annotators presenting #typeSystems and #subTypes that form #biasFreeGroundTruths and contextual seeds that power learning systems at @AccreteAI in NYC @IBMWatson #KnowledgeStudio #compoundingKnowledge
Prashant_Bhuyan's tweet image. Annotators presenting #typeSystems and #subTypes that form #biasFreeGroundTruths and contextual seeds that power learning systems at @AccreteAI in NYC @IBMWatson #KnowledgeStudio #compoundingKnowledge
0
2
7
0
0
burgessdryan's profile picture. Photographer 📸 Engineering leader. Formerly Netflix & Evernote. Host of the @FrontEndHH podcast 🎙
Ryan Burgess
 @burgessdryan
17 thg 8, 2018

Learning from @sugarpirate_ about why #TypeSystems are so helpful and powerful #ReactRally

burgessdryan's tweet image. Learning from @sugarpirate_ about why #TypeSystems are so helpful and powerful #ReactRally
1
4
17
0
0
overflow_meme's profile picture. Stack Overflow questions + meme generator = @overflow_meme
Meme Overflow
 @overflow_meme
22 thg 7, 2021

How to force a compile error in C++(17) if a function return value isn't checked? Ideally through the type system stackoverflow.com/questions/6846… #typesystems #staticanalysis #cpp

overflow_meme's tweet image. How to force a compile error in C++(17) if a function return value isn't checked? Ideally through the type system stackoverflow.com/questions/6846… #typesystems #staticanalysis #cpp
0
0
0
0
0
Meisendoc's profile picture. Student of medicine and computer science; psychiatry, psychology, polyamory, metal, cats, philosophy, logic. Vulcan in mind, klingon by heart.
Meisendoc
 @Meisendoc
13 thg 9, 2022

Does someone know his/her way around #computersecurity, especially around formal #typesystems in language based security? I have serious troubles understanding a lecture slide (attached image). Especially: What the hell is meant by the second statement ("Simple lattice ...")? /1

Meisendoc's tweet image. Does someone know his/her way around #computersecurity, especially around formal #typesystems in language based security? I have serious troubles understanding a lecture slide (attached image). Especially: What the hell is meant by the second statement ("Simple lattice ...")? /1
1
0
0
0
0
Skit_ai's profile picture. Pioneer Conversational AI startup transforming collections with omnichannel GenAI-powered assistants. Built by @SkitTech
Skit.ai
 @Skit_ai
17 thg 4, 2020

Friday online training session - Great presentation by @amreshVenugopal In this talk, he covers Type Systems; Click the link: lnkd.in/fddjUNw to know more about this talk and others like it. #training #MachineLearning #typesystems #Presentations

Skit_ai's tweet image. Friday online training session - Great presentation by @amreshVenugopal In this talk, he covers Type Systems; Click the link: lnkd.in/fddjUNw to know more about this talk and others like it. #training #MachineLearning #typesystems #Presentations
1
0
2
0
0
atal_uk's profile picture. #StructuralWaterproofing Systems at the forefront of technologies. Experts in BS8102, NHBC chapter 5.4 and BRE groundgas digests. Design & supply. #AtalHQ
Atal
 @atal_uk
31 thg 8, 2018

Our team hard at work in the South West area. Premsil GMA used to terminate type A barrier system. #structuralwaterpoofing #contruction #typesystems

atal_uk's tweet image. Our team hard at work in the South West area. Premsil GMA used to terminate type A barrier system. #structuralwaterpoofing #contruction #typesystems
0
1
1
0
0
Luillyfe's profile picture. AI/Cloud Engineer building smart tools | "Life is a Mario Bros game-like, it gets harder every time you level up" | Ex-Streamlit | GCP Architect | GDG Lead 🇨🇴
Luillyfe
@Luillyfe
22 thg 8, 2024

🔍 Structural vs. Nominal Type Systems Structural type systems in opposition 🤔 to nominal-type systems will considered every member of the type when checking for equality. typescriptlang.org/play/?#example… #TypeSystems #Programming #DataScience #Coding

Luillyfe's tweet image. 🔍 Structural vs. Nominal Type Systems Structural type systems in opposition 🤔 to nominal-type systems will considered every member of the type when checking for equality. typescriptlang.org/play/?#example… #TypeSystems #Programming #DataScience #Coding
0
0
0
0
14
MichielDC's profile picture. I tweet about computer science, books, music and personal stuff. Tweets in 🇬🇧🇧🇪 Software Engineer/Team Lead at Infrabel
Michiel De Cuyper
 @MichielDC
27 thg 7, 2017

Thesisbegeleider: "I found this video you should watch" Achja, avondvullend programma dan maar... #thesis #kuleuven #typesystems

MichielDC's tweet image. Thesisbegeleider: "I found this video you should watch" Achja, avondvullend programma dan maar... #thesis #kuleuven #typesystems
1
0
1
0
0
skillsmatter's profile picture. The community learning platform where technologists learn better, together.
Skills Matter
 @skillsmatter
28 thg 10, 2021

📢 @vrom911 joins #HaskellX for a deep (but beginner-friendly) dive into #TypeSystems, exploring #Types, #ADTs, #Typeclasses — with lots of examples. Join us for free on 15 November for this talk and 5 more on the basics of #Haskell, #GHC and #FP: bit.ly/3BoaaAi

skillsmatter's tweet image. 📢 @vrom911 joins #HaskellX for a deep (but beginner-friendly) dive into #TypeSystems, exploring #Types, #ADTs, #Typeclasses — with lots of examples. Join us for free on 15 November for this talk and 5 more on the basics of #Haskell, #GHC and #FP: bit.ly/3BoaaAi
0
9
19
2
0
skillsmatter's profile picture. The community learning platform where technologists learn better, together.
Skills Matter
 @skillsmatter
15 thg 11, 2021

On stage now at #Haskell 2021: @vrom911 is taking us on a deep (but beginner-friendly) dive into #TypeSystems as she explains different aspects of #Types, #ADTs, #Typeclasses. (h/t — Very strong meme game in this session)

skillsmatter's tweet image. On stage now at #Haskell 2021: @vrom911 is taking us on a deep (but beginner-friendly) dive into #TypeSystems as she explains different aspects of #Types, #ADTs, #Typeclasses. (h/t — Very strong meme game in this session)
0
2
5
1
0
LambdaDays's profile picture. 📅 Save the date for 2026: 11-12.06 Celebrate with us functional languages like #Haskell #Scala #Elm #Elixir #Gleam #Clojure 🦋We're on other platforms too📅
Lambda Days
@LambdaDays
18 thg 11, 2020

Are you interested in #typeSystems, program synthesis or program verification? Check out @polikarn, Assistant Professor of #ComputerScience and Engineering at the @ucsd_cse who joined our 2021 line-up! lambdadays.org/lambdadays2021…

LambdaDays's tweet image. Are you interested in #typeSystems, program synthesis or program verification? Check out @polikarn, Assistant Professor of #ComputerScience and Engineering at the @ucsd_cse who joined our 2021 line-up! lambdadays.org/lambdadays2021…
0
3
8
0
0

Something went wrong.


Something went wrong.


United States Trends