Tomas Petricek's blog articles
0
comment
comment
on 2/8/2019 3:22 AM
When I joined the School of Computing at the University of
Kent, I was asked what subjects I wanted to teach. One of the topics
I chose was Software Engineering. I spent quite a lot of time reading about the history of
software engineering when working on my paper on programming
errors and I go to a fair number of professional
programming conferences, so I thought I can come up
with a good way of teaching it! Yet, I was not quite sure how to go about it or even what
software engineering actually means.
In [...]
0
comment
comment
on 11/12/2018 4:58 AM
I've been teaching F# for over seven years now, both in the public F# FastTrack course that we run
at SkillsMatter in London and in various custom trainings for private companies. Every time I teach
the F# FastTrack course, I modify the material in one way or another. I wrote about some of this
interesting history last year in an fsharpWorks article. The course now has a stable half-day
introduction to the language and a stable focus on the ideas behind functional-first programming,
but there are always ne[...]
0
comment
comment
on 10/8/2018 4:22 AM
In May, I joined the School of Computing at the University of
Kent as a Lecturer (equivalent of Assistant Professor in some other countries).
When applying for the job, I spent a lot of time thinking about how to best explain the kind of
research that I would like to do. This blog post is a brief summary of my ideas. I'm interested
in way too many things, including philosophy and design and
data journalism, but this post will be mainly about
programming language research. After all, I'm a member of the Pro[...]
0
comment
comment
on 5/22/2018 2:27 AM
Unless you are a sci-fi author or some secret government agency, the question whether aliens
would understand lambda calculus is probably not your main practical concern. However, the question
is intriguing because it nicely vividly formulates a fundamental question about our formal mathematical
knowledge. Are mathematical theories and results about them invented, i.e. constructed by
humans, or discovered, i.e. are they eternal truths that exist regardless of whether there are
humans to know them?
The que[...]
0
comment
comment
on 9/12/2017 9:42 AM
The word "design" is often used when talking about programming languages. In fact, it even made
it into the name of one of the most prestigious academic programming conferences, Programming
Language Design and Implementation (PLDI). Yet, it is
almost impossible to come across a paper about programming languages that uses design methods to
study its subject. We intuitively feel that "design" is an important aspect of programming
languages, but we never found a way to talk about it and instead treat pro[...]
Latest blog articles by tomas.petricek (see all)
- The Gamma: Simple code behind interactive articles
- The Gamma: Simple code behind interactive articles
- Creating web sites with Suave: How to contribute to F# Snippets
- Creating web sites with Suave: How to contribute to F# Snippets
- In the age of the web: Typed functional-first programming revisited
- In the age of the web: Typed functional-first programming revisited
Blog article tags
- f# × 1760
- f# weekly × 447
- news:f# weekly × 435
- programming × 348
- c# × 306
- websharper × 305
- .net × 213
- functional × 131
- javascript × 127
- uncategorized × 127
- aws × 124
- clojure × 114
- serverless × 102
- me × 100
- fsharp × 95
- lambda × 81
- f# 3.0 × 73
- web × 70
- fsharp programming × 67
- mono × 60
- sockets × 55
- asynchronous × 51
- performance × 51
- complexity × 48
- cloudsharper × 47
- pipeline × 46
- machine learning × 45
- pipelets × 45
- saea × 45
- distributed systems × 44
- flack × 43
- frack × 43
- typescript × 43
- haskell × 41
- asp.net core × 38
- type providers × 38
- silverlight × 34
- xamarin × 34
- f# user groups × 33
- http × 33
- games × 32
- general × 31
- scala × 31
- software engineering × 30
- weekly × 29
- weekly update × 29
- azure × 27
- erlang × 26
- node.js × 26
- angular × 25
- functional programming × 25
- thoughts × 24
- html5 × 23
- nuget × 23
- tools × 23
- wpf × 23
- cuda × 22
- diverses × 22
- evil code × 22
- fake × 22
- here be monsters × 22
- async × 21
- iwi × 21
- software × 21
- api gateway × 20
- coldfusion × 20
- engineering × 20
- ios × 20
- noda time × 20
- visual studio × 20
- csharp × 19
- elm × 19
- math coding × 19
- oldstuff × 19
- android × 18
- aspect oriented programming × 18
- coffeescript × 18
- math × 18
- project templates × 18
- adventofcode × 17
- architecture × 17
- asp.net × 17
- dotnet × 17
- dynamodb × 17
- exercises in prog style × 17
- general software development × 17
- linux × 17
- elixir × 16
- monodevelop × 16
- project euler × 16
- python × 16
- .net core × 15
- angularjs × 15
- f# type providers × 15
- learning f# × 15
- project euler solutions × 15
- rest × 15
- sourcelink × 15
- algorithms × 14
- announcement × 14
- bolero × 14
- fsharpx × 14
- postsharp × 14
- takeaways × 14
- appsync × 13
- f# weekly news × 13
- neo4j × 13
- ui.next × 13
- web api × 13
- xamarin.forms × 13
- akka × 12
- allgemein × 12
- asp.net mvc 4 × 12
- asp.net web api × 12
- cloudwatch × 12
- computer vision × 12
- f# 4.0 × 12
- fsadvent × 12
- powershell × 12
- reactive × 12
- simplespeedtester × 12
- twitter × 12
- visual f# tools × 12
- xamarin.android × 12
- async workflows × 11
- bootstrap × 11
- diagnostics × 11
- f# meetups × 11
- fw1 × 11
- git × 11
- java × 11
- pointofview × 11
- spa × 11
- sql × 11
- stack overflow × 11
- ubuntu × 11
- basic × 10
- dart × 10
- domain specific language × 10
- domain specific languages × 10
- f# in finance × 10
- f# jobs × 10
- fake - f# make × 10
- ikvm.net × 10
- kinesis × 10
- nosql × 10
- raytracing × 10
- testing × 10
- webassembly × 10
- agile platform × 9
- bioinformatics × 9
- build × 9
- conference × 9
- design × 9
- fun coding × 9
- jquery × 9
- linq × 9
- monads × 9
- monogame × 9
- monte carlo simulation × 9
- msbuild × 9
- navision × 9
- nginx × 9
- nvidia × 9
- ocaml × 9
- open source × 9
- option pricing × 9
- presentation × 9
- quantitative modeling × 9
- rx × 9
- security × 9
- ui × 9
- web-development × 9
- 未分類 × 9
- actors × 8
- agents × 8
- alea.cuda × 8
- c# 5 × 8
- docker × 8
- dynamodb.sql × 8
- events × 8
- f# 3.1 × 8
- fsi × 8
- github × 8
- howto × 8
- informatik × 8
- management × 8
- mongodb × 8
- monotouch × 8
- news × 8
- record linkage × 8
- software development × 8
- step functions × 8
- tips and tricks × 8
- visual studio 2015 × 8
- cloud × 7
- conference papers × 7
- craftconf × 7
- d3 × 7
- data science × 7
- design patterns × 7
- dynamics nav 2009 × 7
- f# finance × 7
- f# progamming × 7
- f# programming × 7
- https × 7
- installation × 7
- microservices × 7
- microsoft orleans × 7
- open engineering × 7
- primeng × 7
- r × 7
- scalability × 7
- servicestack × 7
- spartakiade × 7
- spritekit × 7
- ssl × 7
- technology × 7
- tips × 7
- try websharper × 7
- types × 7
- wacky ideas × 7
- wcf × 7
- .net standard × 6
- appveyor × 6
- asp.net mvc × 6
- aws lambda × 6
- bdd × 6
- books × 6
- cloudformation × 6
- conferences × 6
- css.js × 6
- data visualization × 6
- deedle × 6
- deep learning × 6
- dynamics nav 2013 × 6
- eduasync × 6
- emacs × 6
- enhancement × 6
- fable × 6
- go × 6
- graphs × 6
- identityserver4 × 6
- l-system × 6
- matlab × 6
- mobile × 6
- nlp × 6
- oauth × 6
- optimization × 6
- owin × 6
- paket × 6
- puzzle × 6
- react × 6
- rust × 6
- speaking engagements × 6
- stanford nlp × 6
- try f# × 6
- visual studio 2013 × 6
- workshop × 6
- xaml × 6
- year in review × 6
- .net community × 5
- .net framework × 5
- apl × 5
- automation × 5
- backbone × 5
- benchmarking × 5
- blogging × 5
- book × 5
- c++ × 5
- cfobjective × 5
- ci × 5
- codeplex × 5
- concurrency × 5
- d3js × 5
- database × 5
- development × 5
- dsl × 5
- excel × 5
- expectthat × 5
- f# education × 5
- f# math × 5
- f# meetup × 5
- f# talks × 5
- f-sharp make × 5
- fold × 5
- freebase sample × 5
- functional-programming × 5
- funscript × 5
- ghost × 5
- gpu × 5
- html × 5
- knockout × 5
- lua × 5
- math.net × 5
- ml × 5
- nancy × 5
- odata × 5
- patterns × 5
- prime × 5
- release × 5
- sharepoint × 5
- sharepoint 2010 × 5
- skillsmatter × 5
- sns × 5
- software craftsmanship × 5
- svm × 5
- tfs × 5
- tpl × 5
- ts2fable × 5
- typeprovider × 5
- user groups × 5
- v-drums × 5
- visualization × 5
- windows azure × 5
- xamarin studio × 5
- activex × 4
- agile × 4
- akka.net × 4
- algo × 4
- asp.net mvc 3 × 4
- aspnet core × 4
- authentication × 4
- blazor × 4
- brian mcnamara × 4
- ci/cd × 4
- clr × 4
- compilers × 4
- computation expressions × 4
- css3 × 4
- cufp × 4
- currying × 4
- distributed system × 4
- emerging languages camp × 4
- entity resolution × 4
- extensions × 4
- f# books × 4
- f# community × 4
- f# events × 4
- f# information rich programming × 4
- f# open source × 4
- f# tutorials × 4
- fpish × 4
- freebase × 4
- fsunit × 4
- gc × 4
- gitlab × 4
- google × 4
- gpgpu × 4
- higher order functions × 4
- iis × 4
- infotech × 4
- interactivebrokers × 4
- jobs × 4
- jquery mobile × 4
- lambdacalculus × 4
- memory fragmentation × 4
- metaprogramming × 4
- microsoft dynamics crm × 4
- microsoft dynamics nav × 4
- microsoft research × 4
- misc × 4
- mocha × 4
- monad × 4
- mono.net × 4
- mstest × 4
- mvc × 4
- nathan marz × 4
- opencv × 4
- parsing × 4
- partial application × 4
- primefaces × 4
- random number generation × 4
- real-world serverless × 4
- recursion × 4
- rustlang × 4
- s3 × 4
- semagle × 4
- single page application × 4
- sqs × 4
- stack × 4
- stream_ext × 4
- tdd × 4
- templates × 4
- templating × 4
- threading × 4
- topologies × 4
- topology × 4
- vault × 4
- vector × 4
- veranstaltungen × 4
- versioning × 4
- video × 4
- visual studio express × 4
- windows phone 7 × 4
- 6 × 3
- ajax × 3
- alea.cubase × 3
- amplify × 3
- api × 3
- applicative × 3
- asp.net mvc 5 × 3
- aws cloudwatch × 3
- barra lures × 3
- barramundi lures × 3
- bert × 3
- best barramundi lures × 3
- book review × 3
- book reviews × 3
- c# 6 × 3
- c# 8 × 3
- c# generics × 3
- c-sharp × 3
- cd × 3
- chaos engineering × 3
- chocolatey × 3
- cloud computing × 3
- cloud numerics × 3
- cloud programming × 3
- cod lures × 3
- cod lures australia × 3
- coldbox × 3
- community × 3
- compiler × 3
- computer science × 3
- coq × 3
- coursera × 3
- cpp × 3
- css × 3
- ddfp × 3
- deployment × 3
- developer open space × 3
- devspace × 3
- digimixer × 3
- digital logic × 3
- discriminated union × 3
- dotnet core × 3
- durandal × 3
- dynamic × 3
- electronics × 3
- emgucv × 3
- enterprise search × 3
- entity framework × 3
- entity framework core × 3
- error × 3
- eventsourcing × 3
- f# interactive × 3
- f# numerics × 3
- f# on android × 3
- f# samples × 3
- f# statistics × 3
- f# training × 3
- fast × 3
- fetch × 3
- filbert × 3
- fog × 3
- frontend × 3
- fscl × 3
- fun × 3
- gamecraft × 3
- general principles × 3
- gimp × 3
- gitlab pipeline × 3
- google cloud × 3
- graphql × 3
- groovy × 3
- homomorphic encryption × 3
- identity × 3
- idris × 3
- ikvm × 3
- inference × 3
- information rich programming × 3
- information-rich programming × 3
- ironpython × 3
- jquery ui × 3
- json × 3
- kestrel × 3
- led lures × 3
- led lures australia × 3
- list × 3
- logging × 3
- mac × 3
- mathematics × 3
- matlab type provider × 3
- murray cod lures × 3
- mvp × 3
- natural language processing × 3
- nhibernate × 3
- notes × 3
- nunit × 3
- object detection × 3
- openid connect × 3
- overflow × 3
- parallel × 3
- pavlov × 3
- pipelines × 3
- post × 3
- postgresql × 3
- powerpack × 3
- proxy × 3
- quantlib × 3
- qunit × 3
- r type provider × 3
- rant × 3
- raspberry pi × 3
- razor × 3
- recursive × 3
- review × 3
- roslyn × 3
- ruby × 3
- sass × 3
- scss × 3
- seekwell × 3
- serilog × 3
- serilog sink × 3
- small things that could help × 3
- social network analysis × 3
- softwaredevelopment × 3
- sql server × 3
- sqlite × 3
- squirrels × 3
- storm × 3
- swagger × 3
- systemd × 3
- tensorflow × 3
- tick data × 3
- tpl dataflow × 3
- tutorials × 3
- unit testing × 3
- visual studio 2012 × 3
- vs2012 × 3
- vscode × 3
- vso × 3
- webgl × 3
- webserver × 3
- websharper.ui.next × 3
- winrt × 3
- xna × 3
- xrm × 3
- .net generics × 2
- 2013 × 2
- Windows Phone × 2
- abstraction × 2
- academic papers × 2
- accumulator × 2
- algorithm × 2
- angular cli × 2
- animation × 2
- anti-patterns × 2
- applicative functors × 2
- appsync masterclass × 2
- asp.net core identity × 2
- aspnetcore × 2
- auto layout × 2
- await × 2
- b2b × 2
- backbone.js × 2
- bay area × 2
- big data × 2
- brief tip × 2
- bugs × 2
- c# 7 × 2
- c# history × 2
- canopy × 2
- card game × 2
- chakracore × 2
- cloudfront × 2
- codemash × 2
- compilation × 2
- computation expression × 2
- computervision × 2
- configurations × 2
- connect4 × 2
- continuations × 2
- couchdb × 2
- cross-platform × 2
- cudalab × 2
- cyclic suborders × 2
- data hiding × 2
- dataflow × 2
- ddd × 2
- debugging × 2
- dependency × 2
- dog food conference × 2
- dojo × 2
- dpt-s1 × 2
- dynamic programming × 2
- dynamics-nav × 2
- editing × 2
- editors × 2
- engagements × 2
- enterpriseportal × 2
- enum × 2
- expert f# 3.0 × 2
- f# advent × 2
- f# case studies × 2
- f# charting × 2
- f# cloud × 2
- f# deep dives × 2
- f# gpgpu × 2
- f# open engineering group × 2
- f# powerpack × 2
- f# presentation × 2
- f# software foundation × 2
- f# team × 2
- f# tools × 2
- finance × 2
- financial engineering × 2
- fluent nhibernate × 2
- fp × 2
- fractureio × 2
- froto × 2
- frp × 2
- fsharp.data.sqlclient × 2
- fsharp.markdown.pdf × 2
- futures × 2
- gale-shapely × 2
- game × 2
- game programming × 2
- golang × 2
- google knowledge graph × 2
- hacks × 2
- hadoop × 2
- hashicorp × 2
- hoogle × 2
- httpclient × 2
- ide × 2
- il × 2
- interactive google × 2
- item templates × 2
- jenkins × 2
- job × 2
- justbecause × 2
- jwt × 2
- kaggle × 2
- kata × 2
- kung fu × 2
- lambda jam × 2
- lambda jam 2014 × 2
- leaks × 2
- learning × 2
- lenses × 2
- lincoln atkinson × 2
- linear algebra × 2
- link × 2
- logs × 2
- m-brace × 2
- mathematica × 2
- maven × 2
- melpa × 2
- memory profiling × 2
- microsoft × 2
- mitmproxy × 2
- monoids × 2
- monthly roundup × 2
- msr cambridge × 2
- msr internships × 2
- myo × 2
- naturalspec × 2
- ndcoslo2014 × 2
- new york × 2
- noda × 2
- nodejs × 2
- nulls × 2
- numerics × 2
- o3d × 2
- object-oriented programming × 2
- orm × 2
- oss × 2
- other × 2
- parallel algorithm × 2
- parallelism × 2
- paris × 2
- pdb × 2
- permutations × 2
- persistent data structures × 2
- personal × 2
- photography × 2
- platform × 2
- pluralsight × 2
- popl × 2
- portable.licensing × 2
- probability × 2
- product × 2
- programming languages × 2
- programming tales × 2
- projects × 2
- puzzles × 2
- qconlondon2015 × 2
- random numbers × 2
- raspberrypi × 2
- reactive dom × 2
- reflection × 2
- regular expressions × 2
- requirejs × 2
- research jobs × 2
- riak × 2
- roguelike × 2
- routing × 2
- rprovider × 2
- rxjs × 2
- safe banking systems × 2
- sbt × 2
- scripting × 2
- scrum × 2
- seattle × 2
- secrets × 2
- semantic versioning × 2
- sencha touch × 2
- sentry × 2
- sidewaffle × 2
- signalr × 2
- simpleworkflow.extensions × 2
- sitelets × 2
- soa × 2
- social gaming × 2
- softwareconfiguration × 2
- solid × 2
- sony digital paper × 2
- sotr × 2
- source control × 2
- speaking × 2
- spim × 2
- sqlclr × 2
- sqlprovider × 2
- ssh × 2
- stagexl × 2
- statfactory × 2
- statistics × 2
- status × 2
- strong naming × 2
- suave × 2
- swashbuckle × 2
- tail-recursive × 2
- talks × 2
- tech × 2
- time × 2
- tla+ × 2
- tomas petricek × 2
- tutorial × 2
- type classes × 2
- typeproviders × 2
- types for the win × 2
- unity × 2
- vagrant × 2
- validation × 2
- vb × 2
- version × 2
- visual studio 11 beta × 2
- visual studio 11 developer preview × 2
- visualstudio × 2
- vs2011 × 2
- warp × 2
- web development × 2
- web programming × 2
- webapi × 2
- websharper.ui × 2
- websharper.warp × 2
- website × 2
- websockets × 2
- windows 8 × 2
- windows server × 2
- windows service × 2
- wmi × 2
- wordpress × 2
- world bank × 2
- worldsingles × 2
- wp7 × 2
- x-ray × 2
- xamarin.ios × 2
- xenomorph timescape × 2
- xml × 2
- z3 × 2
- #fsharp × 1
- #thesimpsons × 1
- .net 4 × 1
- .net 4.5 × 1
- .net history × 1
- 1.0-m1 × 1
- 127.0.0.1 × 1
- 2012 × 1
- 502 × 1
- 64-bit × 1
- 68000 × 1
- a5s × 1
- a7 × 1
- accelerator api × 1
- accelerometer × 1
- accumulate × 1
- acme × 1
- active patterns × 1
- actor model × 1
- ado.net × 1
- advice × 1
- affectiva × 1
- agda × 1
- aggregate × 1
- ai × 1
- akka 1.0 × 1
- akkling × 1
- alm × 1
- alt.net × 1
- amazonwebservices × 1
- aml × 1
- analysis patterns × 1
- andreas rumpf × 1
- angular 2 × 1
- angular router × 1
- angular.js × 1
- announce × 1
- anti-money laundering × 1
- apache × 1
- api design × 1
- apiary × 1
- apicontroller × 1
- apistack.net × 1
- appharbor × 1
- apple ii × 1
- application lifecycle management × 1
- architect × 1
- array × 1
- artifactory × 1
- artifical intelligence × 1
- asmjs × 1
- asp.net web api 2 × 1
- aspnet core 2.1 × 1
- asserts × 1
- ast × 1
- astronomy × 1
- atlassian × 1
- atom × 1
- augmented reality × 1
- authorization × 1
- automated verification × 1
- awesome × 1
- axiomatic language × 1
- azure data market × 1
- azure notebook × 1
- babel × 1
- bad data × 1
- bar chart × 1
- barb × 1
- bash × 1
- basic authentication × 1
- basics × 1
- baskee × 1
- batch × 1
- bayesian inference × 1
- become × 1
- beeraider × 1
- beginner × 1
- bell labs × 1
- binary tree × 1
- bind × 1
- bing × 1
- bing maps × 1
- bio × 1
- bitbucket × 1
- bitlore × 1
- blackduck × 1
- blog × 1
- blog administration × 1
- bluemountain × 1
- bluemountain capital × 1
- branching × 1
- bridging the gap × 1
- browser hosted programming × 1
- bubble chart × 1
- bug × 1
- build 2011 × 1
- build 2014 × 1
- build error × 1
- builds × 1
- buildstuff × 1
- bumblebee × 1
- bundling × 1
- business × 1
- business connectivity services × 1
- business data model × 1
- business registration × 1
- business rules × 1
- byron cook × 1
- c# async × 1
- c# code drops × 1
- c#. asp.net core × 1
- cabal × 1
- cache × 1
- campfire mono × 1
- campfiredev × 1
- cape town × 1
- career × 1
- cascalog × 1
- catapult systems × 1
- category theory × 1
- cdk × 1
- certbot × 1
- cfinnc × 1
- cfmljure × 1
- channel 9 × 1
- checkmarx × 1
- chocolateynuget × 1
- class × 1
- classes × 1
- clayton bauman × 1
- cli × 1
- clipboard × 1
- clj-time × 1
- clojurebridge × 1
- clojurescript × 1
- cloud ai × 1
- cloud gcp f# jupyter × 1
- clouddevelop 2014 × 1
- clouddevelop 2015 × 1
- cml × 1
- code × 1
- code reviews × 1
- codec × 1
- codemotion × 1
- codestock × 1
- coding dojo × 1
- cognito × 1
- coin-change × 1
- colab jupyter × 1
- coldspring × 1
- collabnet × 1
- collective intelligence × 1
- columbus × 1
- combinators × 1
- commercial × 1
- comming next × 1
- community hero × 1
- company registration × 1
- component × 1
- composability × 1
- compose × 1
- composition × 1
- computation expresion × 1
- comutation expression × 1
- congomongo × 1
- const_get × 1
- contextify × 1
- continuous integration × 1
- contracts × 1
- contracts.coffee × 1
- cordova × 1
- coreclr × 1
- corporate × 1
- cors × 1
- courses × 1
- cqrs × 1
- crdt × 1
- create-react-app × 1
- credentials × 1
- cross origin resource sharing × 1
- crosswords × 1
- crowd sourcing × 1
- csv × 1
- cvs × 1
- cyclic data × 1
- d × 1
- d3 extension × 1
- dafny × 1
- daimio × 1
- daira hopwood × 1
- damerau-levenshtein distance × 1
- dan gregoire × 1
- dan mohl × 1
- dann toliver × 1
- dao × 1
- dapper × 1
- dashboard × 1
- data access × 1
- data frame × 1
- data mining × 1
- datastructures × 1
- dcfsharp × 1
- debug × 1
- deep reinforcement learning × 1
- deeplearning × 1
- default × 1
- delivery × 1
- delos × 1
- demoscene × 1
- dependencies × 1
- dependent types × 1
- design principles × 1
- deterministic × 1
- dev camp × 1
- devlink × 1
- devops × 1
- dhtmlx × 1
- di1 × 1
- dining philosophers × 1
- discounted payoff × 1
- dispatcher × 1
- disqus × 1
- div × 1
- diversity × 1
- dlq × 1
- dna sequencing × 1
- docker-compose × 1
- dojos × 1
- dol × 1
- dom × 1
- domain name × 1
- donna malayeri × 1
- dot-product × 1
- drive × 1
- driver × 1
- dropbox × 1
- due dilligence × 1
- dynamic object creation × 1
- dynamics nav 2009 r2 × 1
- dynamics nav 2013 r2 × 1
- easynetq × 1
- edge × 1
- edge-fs × 1
- edit distance × 1
- editor × 1
- edsl × 1
- elmlang × 1
- emotion detection × 1
- employment × 1
- emulators × 1
- encapsulation × 1
- encryption × 1
- enterprise × 1
- enterprise portals × 1
- enterprise services × 1
- es5 × 1
- es6 × 1
- estellaconsultancy.com × 1
- euelerian path × 1
- euroclojure × 1
- eventbridge × 1
- evilcode × 1
- exhaustive × 1
- explorative × 1
- expression-oriented × 1
- expressions × 1
- ext js × 1
- extension methods × 1
- extjs × 1
- f# .net × 1
- f# c# powershell .net × 1
- f# agents × 1
- f# android × 1
- f# applications × 1
- f# async × 1
- f# cross platform × 1
- f# debugging × 1
- f# design patterns × 1
- f# express × 1
- f# for games × 1
- f# forums × 1
- f# foundation × 1
- f# games × 1
- f# github × 1
- f# hpc × 1
- f# language specification × 1
- f# londoners × 1
- f# machine learning × 1
- f# meeups × 1
- f# new york × 1
- f# on ios × 1
- f# performance × 1
- f# publications × 1
- f# research × 1
- f# scientific computing × 1
- f# seattle × 1
- f# server-side programming × 1
- f# startups × 1
- f# survival guide × 1
- f# templates × 1
- f# units of measure × 1
- f# user feedback × 1
- f# visualization × 1
- f# workshops × 1
- f#; combinatorics × 1
- f#weekly × 1
- f-sharp programming × 1
- f4sp × 1
- facebook × 1
- fcell × 1
- fcore × 1
- fcs × 1
- featured × 1
- ffmpeg × 1
- file × 1
- firefox × 1
- first class functions × 1
- fisheye × 1
- fisheye distortion × 1
- fix × 1
- flatpak × 1
- float × 1
- flyway × 1
- fogjs × 1
- foldr × 1
- footloose × 1
- formlets × 1
- forms × 1
- fp101x × 1
- fpdays × 1
- fractals × 1
- france × 1
- frank × 1
- free × 1
- free f# tools × 1
- freebsd × 1
- front-end × 1
- fscheck × 1
- fsf × 1
- fshake × 1
- fsharp.charting × 1
- fsharp.compiler.services × 1
- fsharp.data × 1
- fsharpbinding × 1
- fsharpchart × 1
- fsharptest × 1
- fsintegrator × 1
- fslexyacc × 1
- fsxaml × 1
- functional data structures × 1
- functional-first × 1
- functional.net × 1
- functions × 1
- functor × 1
- functors × 1
- fundamentals × 1
- future × 1
- gamification × 1
- gcallowverylargeobjects × 1
- gcloud × 1
- geb × 1
- generative art × 1
- generic × 1
- generics × 1
- gershwin × 1
- gibbs sampling × 1
- gist × 1
- gitversion × 1
- give me a break from f# × 1
- glpk × 1
- google container engine × 1
- google play store × 1
- googleplus × 1
- gosper's hack × 1
- gosper's hack × 1
- gpu computing × 1
- gradle × 1
- grails × 1
- graphviz × 1
- grapviz × 1
- group × 1
- groups × 1
- growth × 1
- gtk × 1
- gtx × 1
- gulp × 1
- h2 × 1
- hashset × 1
- hbase × 1
- healthcheck × 1
- hell × 1
- hiding × 1
- hierholzer × 1
- high performance × 1
- hololens × 1
- holotoolkit × 1
- hopac × 1
- hotswap × 1
- htpasswd × 1
- http2 × 1
- humor × 1
- husserl × 1
- hyperv × 1
- icfp programming competition × 1
- identification scheme × 1
- ie8 × 1
- ieee computer society × 1
- iis express × 1
- ikvm type provider × 1
- ilmerge × 1
- image processing × 1
- imageprocessing × 1
- immutable × 1
- immutable data structures × 1
- immutibility × 1
- incanter × 1
- industry × 1
- infer.net × 1
- infoq × 1
- information quality × 1
- infosec × 1
- infrastructure × 1
- inject × 1
- input × 1
- intel mkl × 1
- io × 1
- ioc × 1
- ioptron × 1
- iosl android × 1
- ip access control × 1
- ipad × 1
- iphone × 1
- ipython × 1
- iteratee × 1
- jack crenshaw × 1
- jack fox × 1
- jack hu × 1
- jack pappas × 1
- jar × 1
- jaro × 1
- jaro-winkler × 1
- jasmine × 1
- jdbc × 1
- jenkins pipeline × 1
- jni × 1
- joel grus × 1
- john liao × 1
- joinads × 1
- jointjs × 1
- joyofcoding × 1
- jquery plugin × 1
- jquery templates × 1
- jsdom × 1
- jsonp × 1
- jvm × 1
- keyboard × 1
- keys × 1
- kids × 1
- kinect × 1
- knockoutjs × 1
- kubernetes × 1
- kudu × 1
- lambda calulus × 1
- layout × 1
- lazy × 1
- lazync × 1
- ldncljdojo × 1
- leader × 1
- leadership × 1
- leaflet × 1
- learn f# × 1
- leiningen × 1
- let's encrypt × 1
- letsencrypt × 1
- levenshtein distance × 1
- lexing × 1
- libman × 1
- library × 1
- license × 1
- life × 1
- lift × 1
- likeaboss × 1
- limin fu × 1
- linear programming × 1
- linkedin × 1
- lisp × 1
- listen × 1
- listener × 1
- livedata × 1
- lively kernel × 1
- livescript × 1
- load testing × 1
- loadtest × 1
- localhost × 1
- logic × 1
- london × 1
- looping × 1
- los angeles × 1
- lp × 1
- lpb × 1
- machine × 1
- macro × 1
- macros × 1
- mail × 1
- mailboxprocessor × 1
- many core × 1
- map × 1
- map reduce × 1
- mapreduce × 1
- maps × 1
- math.net numerics × 1
- mathematik × 1
- mathias brandewinder × 1
- mathjax × 1
- maybe × 1
- mbrace × 1
- mbunit × 1
- mcpom × 1
- meetup × 1
- memory leak × 1
- message passing × 1
- meta blog × 1
- metro × 1
- microsoft community nights × 1
- microsoft mvp × 1
- middleware × 1
- migration × 1
- minicsvtypeprovider × 1
- minification × 1
- minio × 1
- ml.net × 1
- mlocjs × 1
- mobile programming × 1
- mobx × 1
- mod_mono × 1
- modeling × 1
- module × 1
- moduleconfiguration × 1
- modulus × 1
- monaco × 1
- monitor × 1
- monitorama × 1
- monitoring × 1
- monospace 2011 × 1
- monte carlo × 1
- moocs × 1
- mount × 1
- msbuild 15.0 × 1
- msdn magazine × 1
- msr × 1
- muli core × 1
- multithreading × 1
- music × 1
- mutability × 1
- mvu × 1
- mvvm × 1
- my software × 1
- naming things × 1
- nancyfx × 1
- nav × 1
- navbar × 1
- ndclondon2016 × 1
- ndepend × 1
- neat × 1
- netcore × 1
- network × 1
- network analysis × 1
- neural networks × 1
- ng × 1
- ngrx × 1
- ngrx effects × 1
- ngrx store × 1
- nicta × 1
- nimrod × 1
- ninja × 1
- node × 1
- noether × 1
- non-maximum suppression × 1
- note × 1
- notebooks × 1
- notebooks ai × 1
- notebooks dotnet × 1
- notebooks fsharp × 1
- notebooks jupyter × 1
- npm × 1
- npm-check-updates × 1
- nuclio × 1
- null × 1
- nullreferenceexception × 1
- number theory × 1
- numl × 1
- nyc × 1
- o'reilly × 1
- oauth 2.0 × 1
- objc × 1
- object × 1
- object relational mapper × 1
- object-oriented × 1
- octahedron × 1
- octave × 1
- octopress × 1
- oliver sturm × 1
- oncomplete × 1
- opencl × 1
- opennlp × 1
- openspace × 1
- openssl × 1
- openstreetmap × 1
- openxml × 1
- opinion × 1
- option × 1
- organization × 1
- organization culture × 1
- orgmode × 1
- orleans × 1
- osx × 1
- outlining × 1
- overtone × 1
- owasp × 1
- package.json × 1
- packaging × 1
- pacman × 1
- parallax scrolling × 1
- parallels × 1
- pascals-triangle × 1
- paste × 1
- patents × 1
- pattern matching × 1
- payoff functions × 1
- persistent × 1
- pgmclass × 1
- pgp × 1
- phenomenology × 1
- phonegap × 1
- piglets × 1
- pipe operator × 1
- pit × 1
- pizzas × 1
- placeholder × 1
- planet finding × 1
- platonic × 1
- play × 1
- plinq × 1
- plt × 1
- poco × 1
- podcasts × 1
- pointfree × 1
- polly × 1
- polyglot × 1
- polynomials × 1
- pom × 1
- portland × 1
- postgres × 1
- poststart × 1
- pretty-printing × 1
- primer × 1
- primes × 1
- private company registration × 1
- probabilistic graphical models × 1
- process × 1
- product type × 1
- production × 1
- productivity × 1
- professional f# 2.0 × 1
- profiling × 1
- progfsharp × 1
- program transformation × 1
- progress bar × 1
- project management × 1
- projectmanagement × 1
- promise × 1
- protein folding × 1
- protobuf × 1
- proxy_pass × 1
- psw × 1
- public key × 1
- publish × 1
- q.js × 1
- qcon × 1
- qcon nyc × 1
- qcon nyc 2013 × 1
- quake × 1
- query expressions × 1
- quotations × 1
- quote × 1
- rabbitmq × 1
- racket × 1
- raid × 1
- raid5 × 1
- railo × 1
- rails × 1
- randomartsbot × 1
- rappid × 1
- rds × 1
- reacr-native × 1
- react-native × 1
- reactive forms × 1
- reactive programming × 1
- reactive-programming × 1
- reading × 1
- rebar × 1
- recommendations × 1
- record type × 1
- recruiting × 1
- redmond × 1
- refractor × 1
- regextypeprovider × 1
- remoting × 1
- repl × 1
- replacing × 1
- reproduciblebuilds × 1
- resource owner password × 1
- resources × 1
- restricted edit distance × 1
- restsharp × 1
- reviewer × 1
- rich hickey × 1
- rosalind × 1
- rotations × 1
- route53 × 1
- ryan riley × 1
- sam × 1
- samples × 1
- san francisco × 1
- scalaz × 1
- scheme × 1
- scikit × 1
- scikit-learn × 1
- scriptcs × 1
- sdk project × 1
- sdlc × 1
- search × 1
- secure × 1
- self signed certificate × 1
- self-improvement × 1
- self-organizing maps × 1
- sementic versioning × 1
- semver × 1
- sencha architect × 1
- serialization × 1
- serilog enricher × 1
- serverless cloudfront × 1
- shadow × 1
- sharepoint 2013 × 1
- shell × 1
- shellscripting × 1
- signature × 1
- silicon valley × 1
- simple.web × 1
- single-page applications × 1
- slides × 1
- sml × 1
- snap × 1
- snippet × 1
- snippets × 1
- soc2 × 1
- social × 1
- software process × 1
- sorryaboutthe49ers × 1
- sortable × 1
- sorting × 1
- specification × 1
- spring.net × 1
- spruce media × 1
- spyder × 1
- sql korma × 1
- sql labs × 1
- sql server express × 1
- sql server express 2008 × 1
- sqlcommand × 1
- sse4 × 1
- stanford parser × 1
- startup registration × 1
- state × 1
- static analysis × 1
- steve jobs × 1
- store × 1
- stored procedures × 1
- strange loop × 1
- subdivision × 1
- sublimetext × 1
- subversion × 1
- supervision × 1
- svn × 1
- swf × 1
- swig × 1
- system.identitymodel × 1
- system.transactions × 1
- systemadmin × 1
- systems biology × 1
- tail recursion × 1
- takahash × 1
- talburt × 1
- tasks × 1
- tdf × 1
- team × 1
- teams × 1
- tech writers × 1
- technologyconferences × 1
- telescope × 1
- televue × 1
- tensorrt × 1
- termination proofs × 1
- terminator × 1
- terraform × 1
- test driven design × 1
- test implants × 1
- tftw × 1
- theorem provers × 1
- theorems i love × 1
- thought × 1
- threadbaseddispatcher × 1
- tidepowerd × 1
- til × 1
- timesheet × 1
- timestream × 1
- titan × 1
- token alignment × 1
- toolongtotweet × 1
- touchdevelop × 1
- toys × 1
- training × 1
- transaction management × 1
- tree × 1
- triplet × 1
- trueskill × 1
- try f# 3.0 × 1
- tryfsharp × 1
- tsunami × 1
- turnpike × 1
- type provider × 1
- type safety × 1
- typescirpt × 1
- uil × 1
- umbraco × 1
- unhandled × 1
- unit test × 1
- unittest × 1
- update × 1
- upstream response time × 1
- user × 1
- ux × 1
- vdom × 1
- vegeta × 1
- veracode × 1
- video editing × 1
- virtual dom × 1
- virtual reality × 1
- visual f# × 1
- visual f# templates × 1
- visual f#团队很高兴地宣布中国的csdn博客正式成立 × 1
- visual studio 11 × 1
- visual studio 2017 × 1
- vnc × 1
- voldemort × 1
- volometrix × 1
- volta × 1
- vs11 beta × 1
- vs2008 × 1
- vs2010 template × 1
- vsix × 1
- vstemplate × 1
- vulnerabilities × 1
- waf × 1
- walter wilson × 1
- washington dc × 1
- wasm × 1
- waterfall × 1
- web essentials × 1
- web server × 1
- web services × 1
- web worker × 1
- webpack × 1
- websharper mobile × 1
- websharper.data × 1
- websharper.forms × 1
- websocket × 1
- websocketd × 1
- windows 10 × 1
- winjs × 1
- winrm × 1
- work × 1
- workflows × 1
- writing × 1
- ws × 1
- wsdl × 1
- wsl × 1
- wss × 1
- x509 × 1
- xaml; resources × 1
- xenomporph × 1
- xpra × 1
- xsp × 1
- xunit × 1
- xunit.net × 1
- yaml × 1
- yourkit × 1
- yves rocher × 1
- zach bray × 1
- zeromq × 1
- zombie.js × 1
- zurich × 1
Copyright (c) 2011-2012 IntelliFactory. All rights reserved. Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us | Terms of Use | Privacy Policy | Cookie Policy |
Built with WebSharper |