blog.keithkim.com
Archive for January 2015
http://blog.keithkim.com/2015_01_01_archive.html
Archive for January 2015. Kibana, ElasticSearch, logstash issue. S logs and time-stamped data visualization tool. For development environment, I have installed XAMPP. On Win7. I tried Kibana 3.1.2 uner XAMPP's Apache, but somehow it didn't work - just a blank page. I switched to Kibana 4 beta 3 (standalone). Environment: Win7 64bit, Java 1.8.0 25-b18 64bit, ElasticSearch 1.4.2, Kibana 4 beta 3, logstash 1.4.2. After some googling, found this:. Check your nodes, http:/ localhost:9200/ nodes. And Kibana ca...
blackflash.nordic-dev.de
Blackflash :: Blackflash
http://blackflash.nordic-dev.de/kontakt
Sunday, 02 May 2010, 06:02 von Blackflash. Should web developers say no to cookie-based authentication? Was sind bei der Authentifizierung die Alternativen zu Cookies und sollte man diese den Cookies vorziehen? Zwar sollte diese Frage jeder für sich selbst beantworten, aber ich finde, dass dieser Artikel einige Denkanstöße gibt. A Partial Orderin[.]. Thursday, 01 April 2010, 09:07 von Blackflash. Evolving Faster Haskell Programs (now with LLVM! Don Stewart zeigt, wie er es geschafft hat. Mithilfe vom Cur...
makechronicles.com
First steps with Haskell – The word counter | THE MAKE CHRONICLES
http://www.makechronicles.com/2012/11/11/first-steps-with-haskell-the-word-counter
The MAKING of stuff, some Arduino projects and lots of general fun with code and components. First steps with Haskell – The word counter. First steps with Haskell – The word counter. I’m hoping others might find the resulting code helpful or interesting. For an overview of Haskell have a look at Wikipedia. If you are trying Haskell for the first time you might want to spend a few minutes with this interactive tutorial. The Code – Stage 1: Word count. Let’s be nice and talk to the human:. Let’s read...
makechronicles.com
Programming | THE MAKE CHRONICLES
http://www.makechronicles.com/category/programming
The MAKING of stuff, some Arduino projects and lots of general fun with code and components. First Steps with Free Pascal – The currency converter. I was lately blessed with an array of coursework assignments for a module called “Paradigms of Programming”. The language I picked to get into imperative programming was Pascal and I had a few fun weekend with it programming a currency converter. I’m hoping others might find the resulting code helpful or interesting. The Code – Stage 1: Source Currency. To re...
gelisam.blogspot.com
Bloggy Badger: September 2014
http://gelisam.blogspot.com/2014_09_01_archive.html
Code and ideas in computer science. And maybe a short story or two. Saturday, September 06, 2014. Prisms lead to typeclasses for subtractive types. In my last post, I identified some issues with subtractive types. Namely that math identities such as ∀ a. a -a = 0. Once they are translated into Haskell, would not be valid for all. More precisely, the existence of a function of type. CancelSub : forall a. (a : : Negative a) - Zero. I concluded by blaming the unconstrained. C a = (a : : Negative a) - Void.
makechronicles.com
PeterHaban | THE MAKE CHRONICLES
http://www.makechronicles.com/author/PeterHaban
The MAKING of stuff, some Arduino projects and lots of general fun with code and components. CeBIT 2013 – Trends and Impressions. For those unaware of the event, CeBIT is held annually on the Hanover fairground. For an idea of scale, the exhibition area roughly covers 450.000m2 and the five day event attracted over 300.000 visitors this year. For those of you who know the IP EXPO in London, imagine 15 halls like it and multiply the visitor numbers by ten. This year was particularly interesting given the ...
gelisam.blogspot.com
Bloggy Badger: October 2014
http://gelisam.blogspot.com/2014_10_01_archive.html
Code and ideas in computer science. And maybe a short story or two. Tuesday, October 28, 2014. Understanding "Strongly-typed Bound", part 1. First, giving credits where credit is due. The Bound library. Is written by Edward Kmett, and so is the strongly-typed variant. I want to explore in this series. I learned about the strongly-typed version via a comment by geezusfreeek. In response to a question by skp. Please let me know what you think of this new format. Tuesday, October 28, 2014.
blackflash.nordic-dev.de
Blackflash :: Blackflash
http://blackflash.nordic-dev.de/informatik
Sunday, 02 May 2010, 06:02 von Blackflash. Should web developers say no to cookie-based authentication? Was sind bei der Authentifizierung die Alternativen zu Cookies und sollte man diese den Cookies vorziehen? Zwar sollte diese Frage jeder für sich selbst beantworten, aber ich finde, dass dieser Artikel einige Denkanstöße gibt. A Partial Orderin[.]. Thursday, 01 April 2010, 09:07 von Blackflash. Evolving Faster Haskell Programs (now with LLVM! Don Stewart zeigt, wie er es geschafft hat. Mithilfe vom Cur...
gelisam.blogspot.com
Bloggy Badger: Understanding "Strongly-typed Bound", part 1
http://gelisam.blogspot.com/2014/10/understanding-strongly-typed-bound-part.html
Code and ideas in computer science. And maybe a short story or two. Tuesday, October 28, 2014. Understanding "Strongly-typed Bound", part 1. First, giving credits where credit is due. The Bound library. Is written by Edward Kmett, and so is the strongly-typed variant. I want to explore in this series. I learned about the strongly-typed version via a comment by geezusfreeek. In response to a question by skp. Please let me know what you think of this new format. Tuesday, October 28, 2014.
SOCIAL ENGAGEMENT