Experimental, impressionistic sub-paragraph tumblin' (think obstsalat)
28dec2007
2007 Trends in logo design.
vile-9.6 release, with Unicode and UTF-8 support. Yay.
FunForth (short for Functional Forth) implements some simplified aspects of the Haskell language, in particular, abstract data types and pattern matching.
I ain’t looking for no seven golden cities,
But I know there’s a fortune somewhere to find.
There’s a peace that I hear whisperin’ through the pinyons
And a love that’s taller than the ponderosa pines.
— Rich Mullins, Heaven Is Waiting
Purrr is a Forth dialect for microcontrollers. The main goal of Purrr is to fill the gap between low and high level languages for 8-bit Flash ROM based microcontrollers.
Bush’s Last Day, a countdown.
Challenges for the Future, Benjamin Mann of DARPA has constructed a list of 23 challenges for mathematics over the next century. Still 2 or 3 to go on Hilbert’s list, tho.
All eyes on the city, “Like some rogue branch of the independent film industry, private security firms are now installing what The New York Times calls “one of the most comprehensive high-tech public surveillance systems in the world,” and they’re doing it in China.”
Programming Language Theory Texts Online, nice list.
Fe is a small and easy to use folding editor. Lean and with emacs keybindings, but no undo?
I gotta tell you all about it
I gotta scream and shout it
And I say yeah
— Devo, Uncontrollable Urge
Draco is a semi source based GNU/Linux distribution, using pkgsrc as the default package manager. Draco seperates the base system from the third-party packages. This gives you a simple and clean distribution to use as you see fit. Sounds very interesting, but it’s pretty fresh.
A Wake Up Call for the Logic Programming Community, by Tom Schrijvers. “In the 6 six years that I have been doing research in the Logic Programming community, I have met a lot of nice people and heard about a lot of interesting research ideas. However, the community itself isn’t exactly thriving and LP has a serious PR problem. It’s my fear that if we happily continue along our current path, then there will be little left of LP and its flagship Prolog in a couple of years.” I hope it works.
Absurde Mathematik: Paradoxa wider die mathematische Intuition, guter 24C3-Talk, Paper ist online.
Wrapping up 2007, Matt Webb made a list I should make as well: “I have notes for essays I’ll never write. Here I’ve collected what’s been on my mind the last couple of months.”
Theorem proving support in programming language semantics, “We describe several views of the semantics of a simple programming language as formal documents in the calculus of inductive constructions that can be verified by the Coq proof system. Covered aspects are natural semantics, denotational semantics, axiomatic semantics, and abstract interpretation.” This is becoming more relevant in the future.
Powered by Nukumi2 0.5.