Tomas Petricek's blog articles
0
comment
comment
on 10/6/2020 5:43 PM
In most discussions about how to make programming better, someone eventually says
something along the lines of "we'll just have to wait until deep learning solves
the problem!" I think this is a naively optimistic idea,
but it raises one interesting question: In what sense are programs created using deep
learning a different kind of programs than those written by hand?
This question recently arose in discussions that we have been having as part of the
PROGRAMme project, which explores historical and
phi[...]
0
comment
comment
on 7/16/2020 2:20 PM
For a long time, I've been thinking about how to design a data visualization library that would
make it easier to compose charts from simple components. On the one hand, there are charting libraries
like Google Charts, which offer a long list of pre-defined
charts. On the other hand, there are libraries like D3.js, which let you
construct any data visualization, but in a very low-level way. There is also Vega,
based the idea of grammar of graphics, which is somewhere in between, but requires you to
specify[...]
0
comment
comment
on 4/21/2020 6:42 AM
Most real-world programming languages are too complex to be studied using formal methods.
For this reason, academics often work with simple theoretical languages instead. The λ-calculus
is a simple formal language that is often used for talking about functional languages, the π-calculus
is a model of concurrent programming and there is an entire book, A Theory of Objects
modelling various object-oriented systems.
Animation from Financial Times article "Why the world's recycling system stopped working".
Tho[...]
0
comment
comment
on 4/7/2020 3:13 PM
Despite having the term science in its name, it is not always clear what kind of
discipline computer science actually is. Research on programming is sometimes like
science, sometimes like mathematics, sometimes like engineering, sometimes like design
and sometimes like art. It also has a long tradition of importing ideas from a wide range
of other disciplines.
In this article, I will look at ideas from architecture and urban planning. Architecture
has already been an inspiration for design patterns, althou[...]
0
comment
comment
on 12/2/2019 8:48 AM
The number of Google search results for the phrase
"choosing the first programming language"
at the time of writing is 15,800. This illustrates just how debated the issue of choosing the first
programming language is. In this blog post, I will not actually try to answer the question posed
in the title of the post. I will not discuss what language we should teach as the first one.
Instead, I will look at a more interesting question.
I will investigate the arguments that are used in favour of or against part[...]
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 |