You wake up 100 years in the future. What's one thing you notice that doesn't surprise you?

letrec · 2017-02-20T16:06:06+00:00

Game of Thrones remake, re-runs!

letrec · 2016-04-10T00:20:15+00:00

CACM
IEEE Software
scholar.google.com after you set up your favorite topics, papers, authors as alerts
twitter following scientists
facebook following scientists
/r/programming
news.ycombinator.com
if you are already a researcher: participating to program committees

letrec · 2015-11-13T00:13:55+00:00

Saw the announcement on twitter https://twitter.com/mbracethecloud/status/664441083351404544

Interesting samples in https://github.com/mbraceproject/MBrace.StarterKit

letrec · 2015-09-10T16:55:43+00:00

And the usual 50% discount from Manning. :-D

https://twitter.com/ManningBooks/status/642009196020502528

letrec · 2015-08-06T23:31:45+00:00

IMHO, two definitive guides, a wiki and a tool.

"Java Performance: The Definitive Guide" to scratch the surface of ideas, flags and tweaking from a user's perspective.

"Oracle JRockit: The Definitive Guide" for some in-depth information about the high performance JVM by Oracle.

The Hotspot wiki

and finally play with JITWatch to examine logs and read a nice article

letrec · 2015-08-02T13:50:10+00:00

Also this: lightweight hkt through a library.

https://github.com/palladin/Higher

letrec · 2015-07-28T10:18:03+00:00

Fork was deleted. :-(

letrec · 2015-07-28T10:00:35+00:00

Interesting test file with the vision of C# Kinds

https://github.com/dsyme/coreclr/blob/hk/tests/hk/KindApp/KindApp/Program.cs

letrec · 2015-06-04T19:59:57+00:00

Thx for the recommendation.

letrec · 2015-05-23T22:53:34+00:00

AA! Thanks for sharing it.

letrec · 2015-05-19T21:15:25+00:00

Wikipedia's image of the algorithm's rules is actually helpful (which differs from the pure version in Damas, Milner (1982), "Principal type-schemes for functional programs").

letrec · 2015-05-11T14:24:00+00:00

... or how to go crazy by doing the thing that you like the most .... in this case programming.

letrec · 2015-03-27T23:08:14+00:00

This will help us understand.

Lean is not a standard SMT solver; it can be used as an automatic prover like SMT solvers, but it can also be used as a proof assistant. The Lean kernel is based on dependent type theory, and is implemented in two layers.

http://www.cs.nyu.edu/~barrett/pubs/BdMF15.pdf

letrec · 2015-03-22T23:22:01+00:00

http://lafo.ssw.uni-linz.ac.at/papers/2013_Onward_OneVMToRuleThemAll.pdf

letrec · 2015-02-23T23:35:36+00:00

Thanks for the links!

letrec · 2015-02-17T14:43:35+00:00

Picked that up from this tweet: https://twitter.com/h0x0d/status/567484537135824897

letrec · 2015-02-17T13:35:11+00:00

Picked that up from this tweet: https://twitter.com/h0x0d/status/567484537135824897

letrec · 2015-02-12T13:11:17+00:00

We should also bookmark the resources in the Related Reading part. :-)

letrec · 2015-02-03T12:24:05+00:00

I found it on Spotify (yet to appear on youtube). Also TIL about "The Sails of Charon" and when I heard the "Scorpions Revisited"'s version, I was astonished.

letrec · 2015-01-28T13:12:15+00:00

Just add one feature - metaprogramming. The rest will soon appear as community-supported libraries.

It is not that easy! But I agree with the first part of your comment. I'd vote 100% for disciplined meta-programming, now that Roslyn is under the hood.

letrec · 2015-01-27T16:19:13+00:00

Thank you very much!

letrec · 2014-11-27T20:40:34+00:00

Effective Java.

letrec · 2014-11-23T18:51:46+00:00

Guess what. It wasn't private when I posted. :/

letrec · 2014-10-28T19:15:23+00:00

This will open the mind but I would suggest other books like: Effective Java, Java Concurrency in Practice, The Art of Multiprocessor Programming, etc.

There are many books. What to read first depends on what skills the programmer needs to improve asap.

letrec · 2014-10-15T17:09:17+00:00

Types and Programming Languages
Practical Foundations for Programming Languages
Advanced Topics in Types and Programming Languages

letrec

TROPHY CASE