7101
showing only twitter_favs [see all]
Untitled (http://sigpl.or.kr/school/2005w/slides/2_17_1.pdf)
An Axiomatic Basis for Computer Programming - C. A. R. Hoare (1969) - PDF Slides -
from twitter_favs
july 2013
Jean Gallier's Home Page for logic book
The page in my previous tweet also has a "Other Logic Papers of Interest" section:
from twitter_favs
july 2013
Parleys.com
Listen to how to not "make `git bisect` cry":
from twitter_favs
july 2013
Twitter / jamie_allen: The cover for my "Effective ...
The cover for my "Effective " book. Pretty happy with the animal, a Black Grouse, gave me
from twitter_favs
july 2013
OCamlPro :: Blog :: News from May and June
inlining, multicore, package manager, editor support & community is working hard to improve !
from twitter_favs
july 2013
High Performance Browser Networking
published new draft of "browser transports" chapter.. now with 100% more WebSocket coverage: - please leave feedback!
networking  performance  browser  from twitter_favs
july 2013
Twitter / SciencePorn: An incredible moment of a fierce ...
An incredible moment of a fierce lightning bolt crashed against the Grand Canyon illuminating the steep canyon walls!
from twitter_favs
july 2013
integer - Why is an int in OCaml only 31 bits? - Stack Overflow
Understanding "tagged pointer representation" was one of the big "ha ha!" moments for me and this explains it nicely:
from twitter_favs
july 2013
17 Equations That Changed The World - Business Insider
Listing and brief description of the equations in Ian Stewart's 17 Equations That Changed the World:
from twitter_favs
july 2013
David Deutsch on Vimeo
David Deutsch on the science of philosophy
from twitter_favs
june 2013
.NET Parallel Programming - Site Home - MSDN Blogs
If you want all the gory details . or read , posts. Or use resharper.
from twitter_favs
june 2013
Untitled (http://www.cfh.ufsc.br/~dkrause/pg/books/Potter2004.pdf)
Set Theory and Its Philosophy: A Critical Introduction, by Michael Potter. Oxford. PDF.
from twitter_favs
june 2013
Bits of Brilliance: Session Five | projectMONA
Papers and essays that every programmer should be aware of
from twitter_favs
june 2013
Parleys.com
You should watch Jan's () talk 'Akka in Heterogenous Environments'. Impressive live coding.
from twitter_favs
june 2013
Google Groups
Spores have just become so much more lightweight!
from twitter_favs
june 2013
eligosource/eventsourced · GitHub
All journals now support snapshotting and running on 2.2 (RC) Thanks and
from twitter_favs
june 2013
The Presets - Ghosts (Hermitude Remix) / TNGHT - Higher Ground - YouTube
Is "Trap" what the kids these days are calling "Instrumental Hip Hop"? Whatever it is, it's great. good work music
from twitter_favs
june 2013
BBC's The Romantics: The Birth of the Individual in Modern Society | Brain Pickings
For Rousseau's birthday, a fantastic BBC documentary on how he shaped the modern ideal of the individual
from twitter_favs
june 2013
lua.vm.js
lua.vm.js: Lua VM in JavaScript (via Emscripten) - - fun stuff.
from twitter_favs
june 2013
A Pickup Artist's Guide to Seducing a Sandwich - Mallory Ortberg - The Atlantic
: A Pickup Artist's Guide to Seducing a Sandwich - Mallory Ortberg - The Atlantic ” the comments are gold.
from twitter_favs
june 2013
Practical guide to StatsD/Graphite monitoring - Matt Aimonetti
Practical Guide to StatsD/Graphite (performance) Monitoring: - awesome Graphite tips by .
from twitter_favs
june 2013
Untitled (http://0b4af6cdc2f0c5998459-c0245c5c937c5dedcca3f1764ecc9b2f.r43.cf2.rackcdn.com/11730-atc13-bronson.pdf)
“The system provides access to petabytes of data…TAO can process a billion reads and millions of writes each second.”
from twitter_favs
june 2013
Development Blog: More love for play framework - newrelic support and plugin deployment
More on play framework - a plugin for deployment and, finally, newrelic works with play:
from twitter_favs
june 2013
CiteSeerX — Functional Pearls: A Poor Man's Concurrency Monad
[ ] "Functional Pearls: A Poor Man's Concurrency Monad" by Koen Claessen (1999)
from twitter_favs
june 2013
Untitled (http://www.cis.upenn.edu/~stevez/papers/LZ06b.pdf)
[ ] "A Language-based Approach to Unifying Events and Threads" Peng Li and S.Zdancewic
from twitter_favs
june 2013
Twitter / puffnfresh: I think @springrod is right, ...
I think is right, Scala community has too many purists and zealots. Here's an example:
from twitter_favs
june 2013
DIY Ornaments - YouTube
Excellent video procedure on making the basic 6 strut tensegrity! For those who don't know ( )
from twitter_favs
june 2013
QUIC FAQ for Geeks - Google Drive
Google QUIC: a TCP replacement, layered over UDP, that supports stream multiplexing and aims for low latency
from twitter_favs
june 2013
The Presenter Manifesto : 8 Distinctions of a World Class Presenter...
lots of great tips! The Presenter Manifesto 8 Distinctions of a World Class Presenter (via )
from twitter_favs
june 2013
Synchronize ClassLoaderCache and the Scala provider cache. · 5dc671c · sbt/sbt · GitHub
sbt 0.12.4 released: of special note: classloader bugfix reduces memory usage, details
from twitter_favs
june 2013
Google Groups
sbt 0.12.4 released: of special note: classloader bugfix reduces memory usage, details
from twitter_favs
june 2013
sbt-revolver 0.7.0 - implicit.ly
sbt-revolver 0.7.0 - This release adds multi-module support and taps into the rainbow. all tasks work...
from twitter_favs
june 2013
(500) http://t.co/EXbqdxu6wT
"Trash Your Servers and Burn Your Code: Immutable Infrastructure and Disposable Components" - saved via
from twitter_favs
june 2013
Twitter / rbxbx: First night with the MPC, so ...
First night with the MPC, so of course I'm sampling old soul records.
from twitter_favs
june 2013
Untitled (http://theunderstatement.com/post/53867665082/pandora-pays-far-more-than-16-dollars)
Ignore the numbers; think about how it's nearly impossible for a working musician to comprehend their legal rights:
from twitter_favs
june 2013
Log In - The New York Times
“an unruly mob using Occupy Wall Street tactics”
from twitter_favs
june 2013
Scala Days 2013 - Android Apps on Google Play
The Scala Days Parleys Android app is now available on the Google store @ Expect iPad client end of July
from twitter_favs
june 2013
Texas Senate Livestream 83(1) - YouTube
You really should watch what's going on in the texas senate if you aren't already
from twitter_favs
june 2013
CVPR 2013 Webpage
This seems to be it:
How come we never heard about this? Don't these people know about calagator?
from twitter_favs
june 2013
java - Unsure if I understand TransactionAwarePersistenceManagerFactoryProxy - Stack Overflow
All that damn FP talk of Monads and Functors makes code impossible to understand. Let's stick to Java:
from twitter_favs
june 2013
The 83(1) Legislative Special Session Live | The Texas Tribune
You can watch the heroic Texas Senator Wendy Davis complete her history making filibuster of at Texas Tribune:
from twitter_favs
june 2013
Explore – The Atlas of True Names by cartographers Stephan...
Love this! The Atlas of True Names maps the United States replacing place names with their literal meanings
from twitter_favs
june 2013
Workshops
RT : Have an 8-12 year old interested in game development? teaches kids to build games —
from twitter_favs
june 2013
Coursera.org
During summer holidays I'll follow a "Mathematical Philosophy" course at Can't wait ;o)
from twitter_favs
june 2013
Paco Nathan - O'Reilly Media
Just got a shiny new profile updated the previous one was from 2004.. time flies!
from twitter_favs
june 2013
sbt/sbt-remote-control · GitHub
code used by Activator to remote-control sbt processes; currently pretty ugly, we'll be making it sane in this repo
from twitter_favs
june 2013
Brendan's blog » Manta: Unix Meets Map Reduce
Super cool stuff from : . You will *love* it when your fingers speak Unix (mine still do, yes ma'am).
from twitter_favs
june 2013
« earlier      
#akka #scala actors agile ajax akka algorithms amazon analytics android ant api appengine apple architecture arduino arm art assembly asterisk atmel audio automation avr aws backup bash bdd books business c c++ cassandra categorytheory chef cli clojure cloud cloudcomputing cluster clustering coffeescript collaboration compiler complexity concurrency configuration cs css data database datastructures dataviz debian debugging deployment design development devops distributed distributedsystems diy docker dorkbotpdx dsl ec2 eclipse education electronics emacs email embedded erlang filesystem firefox forth fp fpga framework functional git github gmail gnome golang google graph graphics guitar hacking hadoop hardware haskell health http ipython irc java javascript jekyll jruby js json jvm kernel keyboard kvm learning lecture lifehacks lift linguistics linux lisp logging logic lua mac machinelearning mapreduce math memory mercurial messaging metrics microcontroller midi mit ml mobile monads mongodb monitoring music mysql nagios network networking nginx node.js nosql ocaml ocw opensource org-mode osgi osx performance philosophy physics playframework portland processing productivity programming puppet puredata python r rails raspberry-pi reading redis rest riak ruby s3 sbt scala scalability scalaz scaling scheme science scifi scm security shell sound space ssh startup statistics storage subversion svn synth sysadmin tdd technology testing tmux toread travel tutorial twitter types ubuntu ui unix unread usb vagrant video vim virtualbox virtualization visualization vm vmware voip webdesign webservices windows wireless xen xmonad zookeeper

Copy this bookmark:



description:


tags: