These are my links for April 21st through April 29th:
- Research papers overview | Mendeley - Mendeley attempting to compete with Google Scholar? The cool thing about Mendeleys catalogue search is that they have people who use their software rating and organising papers. Ratings based on the popularity of the people reading the papers seems like an extremely effective way to recommend papers to people searching for them.
I’ll definitely be using this service to search for papers!
- The Scheme Programming Language, 4th Edition - Well regarded Scheme text by CS professor, and author of Chez Scheme, R. Kent Dybvig. The reviews tell me that this book is very concise and exercise driven, seems like a reasonable way to learn a programming language.
- "VMKit" JVM and .Net runtimes for LLVM - "an implementation of a JVM and CLI virtual machine (.Net is an implementation of the CLI). It translates Java bytecode and MSIL in the LLVM IR and uses the LLVM framework for optimizations and compilation. For garbage collection, it uses MMTk.
Another leg-up for VM researchers. VMKit uses the GC from Jikes, so building on solid foundations!"
- Akihabara - "is a set of libraries, tools and presets to create pixelated indie-style 8/16-bit era games in Javascript that runs in your browser without any Flash plugin, making use of a small small small subset of the HTML5 features, that are actually available on many modern browsers."
I wrote about about why these posts are being generated here: Sharing Links.
These are my links for April 19th through April 20th:
- Panic Blog » Portland Eats - Portland eating recommendations from a local foody
- Maxine VM: A VM in Java | Lambda the Ultimate - Some videos and links for the Maxine VM: “Maxine is a VM designed for and written in the Java(TM) Programming Language with an emphasis on leveraging modular design, and code reuse to achieve flexibility, configurability, and productivity for academic and industrial virtual machine researchers.”
An open source JVM to encourage and enable VM research - I approve of this message! The Maxine Inspector appears to help make VM development more accessible by providing a visual tool for live debugging the VM.
- Patent Absurdity — How software patents broke the system - “Patent Absurdity explores the case of software patents and the history of judicial activism that led to their rise, and the harm being done to software developers and the wider economy. The film is based on a series of interviews conducted during the Supreme Court’s review of in re Bilski — a case that could have profound implications for the patenting of software. The Court’s decision is due soon…”
I wrote about about why these posts are being generated here: Sharing Links.
These are my links for April 13th through April 17th:
I wrote about about why these posts are being generated here: Sharing Links.
As geeks are want to do I oft end up in the pub talking programming, philosophy, etc. In the course of these conversations things are said which people disagree with, that’s just to be expected.
I have a habit of going home following such a discussion and researching the answers to any questions which are still bothering me and then emailing the conversations parties.
This morning it occurred that this information might be remotely interesting to my reader (my future self) so I thought I’d post them here and send the parties a link. Here goes:
While talking Scheme, ML, etc. Neil asked “What is the definition of Functional Programming?”. So I reach for my (largely unread) Hutton book:
“What is functional programming? Opinions differ, and it is difficult to give a precise definition. Generally speaking, however, functional programming can be viewed as a style of programming in which the basic method of computation is the application of functions to arguments. In turn, a functional programming language is one that supports and encourages the functional style.”
A question which was first triggered by my statement “Scheme is a functional programming language”. For which I quote the Scheme language definition (R6RS):
“Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis Steele Jr. and Gerald Jay Sussman. It was designed to have an exceptionally clear and simple semantics and few different ways to form expressions. A wide variety of programming paradigms, including functional, imperative, and message passing styles, find convenient expression in Scheme.”
That settles that, then.
These are my links for March 4th through March 28th:
- Robert Harper’s Home Page - Robert Harper, a well known PL researcher kindly provides (draft) versions of three of his books free for download: Type Systems for Programming Languages, Programming in Standard ML, Practical Foundations for Programming Languages.
I’ve yet to read them but Practical Foundations and Type Systems both come highly recommended in (online) programming circles.
Queued in the virtual book pile!
- graph-theory-algorithms-book - Project Hosting on Google Code - “This is an introductory book on algorithmic graph theory. Theory and algorithms are illustrated using the Sage open source mathematics software.”
- Daring Fireball: This Apple-HTC Patent Thing - Interesting take on the Apple-HTC lawsuit. I particularly like the introduction to software patents, the hows and whys of them in the modern world. Not sure about some of the conclusions with regards to Apple but it’s certainly worth a read.
I wrote about about why these posts are being generated here: Sharing Links.
