tojans.me

Tom's ramblings // Tom's ramblings

Building your own product. How to explain dependent typing. Take an average programmer - let’s call him Joe D. - and have him talk to a fictitious academic called Alan T.: What doesn’t work Alan: Hi, Joe, what’s up? What can I help you with? Joe: Hi Alan. I heard about this thing called Idris and you are the expert; what is Idris exactly? A: It’s a dependently typed language, why are you asking? J: Well, I heard you can improve your code with it, but I haven’t got a clue how it works. During the DDDQ lea...

http://www.tojans.me/

OVERVIEW OF tojans.me

TRAFFIC RANK

>1,000,000

REVIEWS

0

PAGES IN THIS WEBSITE

15

LINKS TO THIS WEBSITE

CONTACTS

ADDRESSES

SOCIAL LINKS

ONLINE SINCE

WEBSITE DETAILS

SEO

PAGES

SIMILAR SITES

TRAFFIC RANK FOR TOJANS.ME

TODAY'S RATING

>1,000,000

TRAFFIC RANK - AVERAGE PER MONTH

BEST MONTH

October

AVERAGE PER DAY Of THE WEEK

HIGHEST TRAFFIC ON

Friday

TRAFFIC BY CITY

Sign up

CUSTOMER REVIEWS

Average Rating: 4.1 out of 5 with 9 reviews

5 star

6

4 star

0

3 star

2

2 star

0

1 star

1

Hey there! Start your review of tojans.me

AVERAGE USER RATING

Write a Review

WEBSITE PREVIEW

LOAD TIME

0.5 seconds

FAVICON PREVIEW

16x16

CONTACTS AT TOJANS.ME

ADD CONTACT

Login

TO VIEW CONTACTS

Remove Contacts

FOR PRIVACY ISSUES

CONTENT

PAGES IN
THIS WEBSITE

15

SSL

EXTERNAL LINKS

38

SITE IP

23.235.39.133

LOAD TIME

0.463 sec

SCORE

6.2

PAGE TITLE

Tom's ramblings // Tom's ramblings | tojans.me Reviews

<META> DESCRIPTION

Building your own product. How to explain dependent typing. Take an average programmer - let’s call him Joe D. - and have him talk to a fictitious academic called Alan T.: What doesn’t work Alan: Hi, Joe, what’s up? What can I help you with? Joe: Hi Alan. I heard about this thing called Idris and you are the expert; what is Idris exactly? A: It’s a dependently typed language, why are you asking? J: Well, I heard you can improve your code with it, but I haven’t got a clue how it works. During the DDDQ lea...

<META> KEYWORDS

1 toms ramblings

2 random opinionated blurbs

3 hire me

4 services

5 insanity and start ups

6 5 min read

7 6 min read

8 2 min read

9 3 min read

10 7 min read

CONTENT

Page content here

KEYWORDS ON PAGE

toms ramblings,random opinionated blurbs,hire me,services,insanity and start ups,5 min read,6 min read,2 min read,3 min read,7 min read,whyyyyy,1 min read,oo vs fp,4 min read,selling ddd,soa eda,why new things,recruiter due diligence,introduction,monads

SERVER

GitHub.com

CONTENT-TYPE

utf-8

GOOGLE PREVIEW

Tom's ramblings // Tom's ramblings | tojans.me Reviews

https://tojans.me

Building your own product. How to explain dependent typing. Take an average programmer - let’s call him Joe D. - and have him talk to a fictitious academic called Alan T.: What doesn’t work Alan: Hi, Joe, what’s up? What can I help you with? Joe: Hi Alan. I heard about this thing called Idris and you are the expert; what is Idris exactly? A: It’s a dependently typed language, why are you asking? J: Well, I heard you can improve your code with it, but I haven’t got a clue how it works. During the DDDQ lea...

INTERNAL PAGES

tojans.me

1

The essence of microservices // Tom's ramblings

http://tojans.me/blog/2014/08/28/the-essence-of-microservices

The essence of microservices. During the DDDQ lean coffee last weekend the question on microservices. Popped up once again. This is not my first post about this subject. But apparently people wanted to know more. From my understanding * you should only use microservices when you want to run small controlled business experiments* . That is in fact the key takeaway for me: if you write software for an agile business. You might want to try something new everyday, for example:. Engage new customers in a poll.

2

My favorite Ziobrando quotes // Tom's ramblings

http://tojans.me/blog/2015/02/03/My-favorite-Ziobrando-quotes

4 Darth Vader doesn’t apologise in public. 3 Technical debt is not like debt with the bank. It’s debt with the mob. 2 Software is a learning process, working code is a side-effect. 1 The B.A.P./Bullshit Assymetry Principle. My favorite Ziobrando quotes. Every once in a while Alberto Brandolini - also known as “ Ziobrando. Rdquo; - generates brilliant quotes. These are some of my personal favorites:. 4 Darth Vader doesn’t apologise in public. 2 Software is a learning process, working code is a side-effect.

3

Confessions of a start-up consultant // Tom's ramblings

http://tojans.me/blog/2015/01/08/Confessions-of-a-start-up-consultant

About a year ago. Ldquo;Being a fraud”. Confessions of a start-up consultant. About a year ago. I was talking to one of my business mentors; he asked:. Ldquo;How do I get on the first page of Google search? Ldquo;Do SEO”. Ldquo;How do you do SEO? Ldquo;Write relevant content, be active on social media, optimize your webpages, join referral - and link building programmes, do email marketing, …”. Ldquo;I don’t have the time or energy for this. What kind of content? Maybe I know someone…”. It was only after.

4

Continuous thinking: The future of software // Tom's ramblings

http://tojans.me/blog/2010/12/15/continuous-thinking-the-future-of-software

Continuous thinking: The future of software. I think the next big thing leveraging software and it’s development will be HTML5. The basic architecture would be like this:. The client will be a task-based GUI running on the HTML5 platform; HTML5 will be supported on most peripherals. The GUI will be able to generate explicit commands (poco class instances) and query view data L/WS* (=local and/or from one or more webservices). These commands will be handled L/WS. These events will be processed L/WS. It co...

5

about dependent typing, Idris and the road to Valhalla // Tom's ramblings

http://tojans.me/blog/2014/11/27/about-dependent-typing-idris-and-the-road-to-valhalla

So, what exactly is dependent typing? Statically typed code using TDD. Statically typed code using property-based testing. Statically typed code using code contracts. So, what exactly is dependent typing - again? Ldquo;Only using types” - WHUT? Why isn’t this the utopian model I was trying to achieve? About dependent typing, Idris and the road to Valhalla. Due to my DDD background, I am constantly on a quest for the utopian domain model. Last week during the Build Stuff 2014 conference. Post-compile chec...

UPGRADE TO PREMIUM TO VIEW 10 MORE

TOTAL PAGES IN THIS WEBSITE

15

LINKS TO THIS WEBSITE

rogervdkimmenade.blogspot.com

Integration consultant blog: October 2013

http://rogervdkimmenade.blogspot.com/2013_10_01_archive.html

Blog about the adventures of a consultant within the integration landscape. I connect systems, processes and people. Content on this Blog. The previous two weeks I had two days of training on ArchiMate 2.0. And today I had my exam. I passed and it is a good addition to my knowledge as a Solution Architect. The exam and the notation itself is not very difficult, especially when you already know UML. When you study the materials of BizzDesign, this should be enough. Go using it . Friday, October 04, 2013.

rogervdkimmenade.blogspot.com

Integration consultant blog: September 2014

http://rogervdkimmenade.blogspot.com/2014_09_01_archive.html

Blog about the adventures of a consultant within the integration landscape. I connect systems, processes and people. Content on this Blog. I currently work for a customer that wants to expose its "services" to partners and other external consumers. They do not want to build websites themselves anymore, but instead have the services published and used by partners. So how can this be done? Always curious and looking for good solutions i started to think about this. I saw one of the following options:.

rogervdkimmenade.blogspot.com

Integration consultant blog: August 2013

http://rogervdkimmenade.blogspot.com/2013_08_01_archive.html

Blog about the adventures of a consultant within the integration landscape. I connect systems, processes and people. Content on this Blog. Cordys bought by OpenText. And now? OpenText has bought Cordys. Http:/ www.cordys.com/opentext. Http:/ www.opentext.com/2/global/company/news/press-releases/press-release-details.htm? Http:/ www.cmswire.com/cms/information-management/opentext-buys-cordys-offers-integrated-bpm-information-management-022146.php. From these articles we can conclude for now that:. I start...

rogervdkimmenade.blogspot.com

Integration consultant blog: Mobile is Hot ! But be aware ...

http://rogervdkimmenade.blogspot.com/2014/02/mobile-is-hot.html

Blog about the adventures of a consultant within the integration landscape. I connect systems, processes and people. Content on this Blog. But be aware . I see it in a lot of projects but also I see that it is handled just like testing in the beginning: "oh we estimate some extra days and we also go Mobile! Of course this is not the case, it can be a project on its own. There are a lot of choices to be made, some of them are:. Which mobile platforms do we have to support? Oracle Fusion has extended its F...

rogervdkimmenade.blogspot.com

Integration consultant blog: December 2013

http://rogervdkimmenade.blogspot.com/2013_12_01_archive.html

Blog about the adventures of a consultant within the integration landscape. I connect systems, processes and people. Content on this Blog. Just wanted to say . Tuesday, December 24, 2013. LAC 2013: De Onderscheidende Architect (Dutch). Op 27 en 28 november jongstleden ben ik voor de Computable naar het Landelijk Architectuur Congres 2013 geweest. Hierbij een kort verslag:. Http:/ www.computable.nl/artikel/expertverslag/architectuur/4941306/2204519/lac-2013-de-onderscheidende-architect.html.

rogervdkimmenade.blogspot.com

Integration consultant blog: February 2013

http://rogervdkimmenade.blogspot.com/2013_02_01_archive.html

Blog about the adventures of a consultant within the integration landscape. I connect systems, processes and people. Content on this Blog. Chain integration with Cordys? In several projects I have been using Cordys BOP4 platform. I really like the multi-tenancy possibilities within the project. Also the Provisioning Component of the produkt is highly appreciated and used. However there is one thing that i sometimes run into. In the Cordys project. Thursday, February 21, 2013. Subscribe to: Posts (Atom).

rogervdkimmenade.blogspot.com

Integration consultant blog: OpenText Innovation Days 2014 in Eindhoven

http://rogervdkimmenade.blogspot.com/2014/03/opentext-innovation-days-2014-in.html

Blog about the adventures of a consultant within the integration landscape. I connect systems, processes and people. Content on this Blog. OpenText Innovation Days 2014 in Eindhoven. Yesterday i visited the OpenText Innovation Days in Eindhoven. This event was held in the Evoluon, which in the early days was an exhibition hall for future products. This was the first place where i ever listened to a CD. Nowadays it is a nice conference place. Component suites are accessible through a RESTfull API. This is...

ncrafts.io

NCrafts France - An Alt.Net Conference in Paris

http://ncrafts.io/2014

Back to actual site. The first independent .Net software conference in Paris. 16 May 2014, Paris. A project by ALT.NET France Folks and ArtOfNet. It's not only about .Net. But also about the web. It's not only about technologies. But also about practices. It's not only about software craftsmanship. But also about learning. It's not only about business. But mainly about people. In other words, we love building software with art, passion and technology and share with everyone. Robert Pickering is a fun lov...

rogervdkimmenade.blogspot.com

Integration consultant blog: September 2013

http://rogervdkimmenade.blogspot.com/2013_09_01_archive.html

Blog about the adventures of a consultant within the integration landscape. I connect systems, processes and people. Content on this Blog. Use your common sense. Nowadays there are a lot of standard processes within healthcare, school and IT. That takes away our ability to think for ourselfs. I see that people use the processes as an excuse and do not think for themselves anymore. How can i help my customer for the best, or how can i teach this child for the best. How can i help my customer for the best?

rogervdkimmenade.blogspot.com

Integration consultant blog: February 2014

http://rogervdkimmenade.blogspot.com/2014_02_01_archive.html

Blog about the adventures of a consultant within the integration landscape. I connect systems, processes and people. Content on this Blog. But be aware . I see it in a lot of projects but also I see that it is handled just like testing in the beginning: "oh we estimate some extra days and we also go Mobile! Of course this is not the case, it can be a project on its own. There are a lot of choices to be made, some of them are:. Which mobile platforms do we have to support? Oracle Fusion has extended its F...

UPGRADE TO PREMIUM TO VIEW 28 MORE

TOTAL LINKS TO THIS WEBSITE

38

SOCIAL ENGAGEMENT

VaughnVernon/status/254081465153880064

OTHER SITES

tojang.net

โตจังมาร์เก็ตติ้ง

ค ณสมบ ต ส นค า. การส งซ อส นค า. ป ยอ นทร ย โตจ ง. ร บผล ตส นค า. ย นด ต อนร บท กท าน. ต องการต วแทนจำหน ายประจำจ งหว ด อำเภอ รายได ด ม สว สด การ สนใจต ดต อ 093-2456395 หร อเมล tojang46@hotmail.co.th. บร ษ ท โตจ งมาร เก ตต ง จำก ด ก อต งเม อว นท 21 ส งหาคม 2546 สำน กงานใหญ = 22 หม 2 ตำบลบ านใหม อำเภอบางใหญ จ งหว ดนนทบ ร 11140 โทร. 02-927-8100,02-983-6170 www.tojangg.com.

tojang.org

Tojang KampSportKlubb

tojank.deviantart.com

tojank (Marti) - DeviantArt

Window.devicePixelRatio*screen.width 'x' window.devicePixelRatio*screen.height) :(screen.width 'x' screen.height) " class="mi". Window.devicePixelRatio*screen.width 'x' window.devicePixelRatio*screen.height) :(screen.width 'x' screen.height) ". Join DeviantArt for FREE. Forgot Password or Username? Deviant for 10 Years. This deviant's full pageview. Last Visit: 314 weeks ago. This is the place where you can personalize your profile! By moving, adding and personalizing widgets. Why," you ask? Aug 7, 2006.

tojanme.com

Tojan General Trading & Contracting Co.

Tojan General Trading and Contracting Co. The Web site is under construction! You might contact us on:. We apologize for the inconvenience. بامكانكم التواصل معنا على. Back to main menu.

tojannah.com

THIS DOMAIN FOR SALE IN GODADDY

THIS DOMAIN FOR SALE IN GODADDY AUCTION. AND YOU CAN MAKE OFFER FOR THIS DOMAIN. AND YOU CAN CONTACT US :.

tojans.me

Tom's ramblings // Tom's ramblings

Building your own product. How to explain dependent typing. Take an average programmer - let’s call him Joe D. - and have him talk to a fictitious academic called Alan T.: What doesn’t work Alan: Hi, Joe, what’s up? What can I help you with? Joe: Hi Alan. I heard about this thing called Idris and you are the expert; what is Idris exactly? A: It’s a dependently typed language, why are you asking? J: Well, I heard you can improve your code with it, but I haven’t got a clue how it works. During the DDDQ lea...

tojapak.com

Tojapak Ky Pahvilaatikot ja -pakkauspaperit Suoraan valmistajalta - Tojapak Ky

Soita: 0400 608 047. Käärintäkalvot. Pahvilaatikot ja -pakkauspaperit Suoraan valmistajalta - Tojapak Ky. Olemme suomalainen pakkausalan yritys, joka on toiminut Oulaisissa vuodesta 2001 alkaen. Toimialaamme on aaltopahvituotteiden jalostus ja maahantuonti. Pahvilaatikon tehtävä on myydä, suojata tuotetta, helpottaa kuljetusta! Meiltä löytyy edulliset ja toimivat ratkaisut tuotteillenne, ota yhteyttä! Varastolaatikot täysin lavoin hinnat voimassa 8.1.2015 lähtien. 160*130*150 mm 0,22 lavalla 2000 kpl.

tojapan.co.kr

Welcome to tojapan.co.kr

tojapan.com

WebHost4Life

Powerful Web Hosting and Domain Names for Home and Business. Click here to chat with a live specialist. For 24x7 Support, call 888-306-3780. Award Winning Web Hosting. This site is temporarily unavailable. If you manage this site and have a question about why the site is not available, please contact WebHost4Life directly.

tojapan.nl

Tojapan.nl | Travel to Japan, JR Pass, Plane Tickets, Tours

Travel to Japan, JR Pass, Plane Tickets, Tours. ORDER JR PASS NOW. Japan Hotel & Air Package -Hanavi. Reis naar Yakushima (屋久島). Like us on Facebook! By HIS. Travel Nederland B.V. Tel: 31(0)20 5733 890 Fax: 31(0)20 472 4080 Contact. Emsp; Terms and Conditions. Emsp;Web design: Reply-None.

tojapan.wordpress.com

ToJapan - Un español con destino Japón | Un español con destino Japón

ToJapan – Un español con destino Japón. Un español con destino Japón. Viaje a Japón en 2012. A causa de todo el tema de la radiación en Japón por la catástrofe nuclear, me veo obligado a retrasar el viaje al año que viene. Este año seguramente haga un viaje a Estados Unidos, a Nueva York, así que iré posteando aquí mis experiencias y nuevos vídeos sobre Japón. Sin palabras me he quedado al ver este anuncio en el que se anuncia un flan. Aunque hay que decir que la canción es muy pegadiza! El Maneki Neko (...