rafaeldff + toread   168

STEPS project final report
Alan Kay's STEPS project final report to the NSF, Oct 2012.
paper  pdf  AlanKay  report  STEPS  Viewpoints  VPRI  toread  PL  PLT 
may 2016 by rafaeldff
μKanren: A Minimal Functional Core for Relational Programming
This paper presents μKanren, a minimalist language in the
miniKanren family of relational (logic) programming lan-
guages. Its implementation comprises fewer than 40 lines of
Scheme. We motivate the need for a minimalist miniKanren
language, and iteratively develop a complete search strategy.
Finally, we demonstrate that through sufcient user-level
features one regains much of the expressiveness of other
miniKanren languages. In our opinion its brevity and sim-
ple semantics make μKanren uniquely elegant
toread  paper  ukanren  microkanren  logic  LogicProgramming  JasonHermann  DanielFriedman  DanielPFriedman  pdf  scheme 
august 2015 by rafaeldff
Introduction to Statistical Learning
This book provides an introduction to statistical learning methods. It is aimed for upper level undergraduate students, masters students and Ph.D. students in the non-mathematical sciences. The book also contains a number of R labs with detailed explanations on how to implement the various methods in real life settings, and should be a valuable resource for a practicing data scientist.
book  books  statistics  stat  toread  pdf  online  free  GarethJames  DanielaWitten  TrevorHastie  RobertTibshirani  learming  ML  machinelearning 
october 2014 by rafaeldff
Propositions as Types
"Propositions as Types" by @PhilipWadler is a real gem and its last sentence is just brilliant. Go, read it!
article  paper  PhilipWadler  Wadler  toread  PLT  programming  language  languages  Curry-Howard 
april 2014 by rafaeldff
Great Works in Computer Science
Readings for a course on Great Works in Computer Science, by David Evans of University of Virginia.
toread  list  paper  papers  classic  catalog  ComputerScience  CS  DavidEvans 
january 2014 by rafaeldff
Four Trends Leading to Java Runtime Bloat
"Four Trends Leading to Java Runtime Bloat"
january 2010 by rafaeldff
Teaching Programming Languages in a Post-Linnaean Age
"Abstract: Programming language ``paradigms'' are a moribund and tedious legacy of a bygone age. Modern language designers pay them no respect, so why do our courses slavishly adhere to them? This paper argues that we should abandon this method of teaching languages, offers an alternative, reconciles an important split in programming language education, and describes a textbook that explores these matters."
paper  ShriramKrishnamurthi  programming  language  teaching  PL  paradigm  paradigms  computing  CS  computerscience  education  PLAI  toread 
august 2008 by rafaeldff
IEEE Spectrum: 10 Great Tech Books
Recommendations for books about technology, on the broadest sense of the word, made by Steve Levy for IEEE Spectrum.
article  books  recommendations  list  catalog  StevenLevy  tech  technology  magazine  IEEE  Spectrum  book  reviews  review  lists  toread 
august 2008 by rafaeldff
Don Norman's jnd.org / The Psychology of Waiting Lines
"Waiting is an inescapable part of life, but that doesn’t mean we enjoy it. But if the lines are truly inescapable, what can be done to make them less painful? Although there is a good deal of practical knowledge, usually known within the heads of corporate managers, very little has been published about the topic. [...] In the PDF file, The Psychology of Waiting Lines, I bring the study of waiting lines up to date, following the spirit of Maister’s original publication, but with considerable revision in light of modern findings. I suggest eight design principles, starting with the “emotions dominate” and ending with the principle that “memory of an event is more important than the experience.”"
paper  DonNorman  DonaldNorman  usability  UX  experience  UserExperience  design  psychology  marketing  queues  queue  lines  line  wait  waiting  cognition  toread 
august 2008 by rafaeldff
Subject-oriented programming
OOP isn't adequate when objects are used in multiple applications. Harrison and Ossher propose an alternative programming paradigm to cope with this issue.
paper  OO  SubjectOrientedProgramming  research  programming  paradigm  WilliamHarrison  HaroldOssher  toread 
july 2008 by rafaeldff
method handles in a nutshell : John Rose @ Sun
This note gives the essential outlines of a design for method handles, a way to name and interconnect methods without regard to method type or placement, and with full type safety and native execution speed. We will do this in three and a half swift movem
toread  lang.net  JohnRose  JVM  VM  method  MethodHandle  MethodHandles  blog  post  sun 
april 2008 by rafaeldff
Abelson: LISP: a language for stratified design - Google Scholar
From 1987: "We exhibit programs that illustrate the power of Lisp as a language for expressing the design and organization of computational systems. The examples are chosen to highlight the importance of abstraction in program design and ..."
toread  paper  lisp  DSL  software  architecture  layering  layer  layers  pattern  HaroldAbelson  GeraldJaySussman  GeraldSussman  GoogleScholar 
march 2008 by rafaeldff
Official Google Docs Blog: Stop sharing spreadsheets, start collecting information
"Create a form in a Google Docs spreadsheet and send it out to anyone with an email address. (...) .Responses are automatically added to your spreadsheet."
toread  tocheckout  blog  post  Google  docs  GoogleDocs  spreadsheet  poll  polling  tool  tip  feature  form  collaboration  statistics  survey 
february 2008 by rafaeldff
Ropes: Theory and practice
"A rope data structure represents an immutable sequence of characters, much like a Java String. But ropes' highly efficient mutations make ropes — unlike Strings and () StringBuffer () — ideal for applications that do heavy string manipulation, especi
toread  algorithm  DataStructure  Java  algorithms  DataStructures  String  Rope  tree  performance  ropes  programming  article  tutorial  AminAhmad  developerworks 
february 2008 by rafaeldff
Riding Rails: Rails 2.0: It's done!
"Rails 2.0 is finally finished after about a year in the making. This is a fantastic release that’s absolutely stuffed with great new features, loads of fixes, and an incredible amount of polish. We’ve even taken a fair bit of cruft out to make the wh
toread  rails  2.0  ror  ruby  announcement  features  Rails2.0  blog  post  DHH 
december 2007 by rafaeldff
Farms, Fabrics and Clouds
Presentation about trends in software architecture by HP labs researchers.
toread  presentation  SteveLoughran  JulioGuijarro  grid  cluster  distributed  systems  computing  web  software  architecture  SmartFrog  deployment  megadata  pdf  slides 
december 2007 by rafaeldff
The Patry Copyright Blog: Neil Netanel’s “Why Has Copyright Expanded?”
Google's senior copyright counsel: "how is it that the scope of copyright has become so obviously and seriously in conflict with the public interest, and that the problem is getting worse, not better?"
blog  post  article  copyright  IP  Google  WilliamPatry  law  toread 
december 2007 by rafaeldff
Amazon's Dynamo - All Things Distributed
Amazon has also felt the need to develop a semi-general-purpose highly scalable db system. I wonder if there ever will be demand of this kind of Megadata(tm) systems in the overall market or if they will remain restricted to services giants.
toread  blog  post  paper  WernerVogels  Amazon  system  database  storage  data  distributed  systems  scalability  Megadata  GiuseppeDeCandia  DenizHastorun  MadanJampani  GunavardhanKakulapati  AvinashLakshman  AlexPilchin  SwaminathanSivasubramanian  PeterVosshall  reliability  performance  algorithm  algorithms  architecture  availability  consistency  CAP 
october 2007 by rafaeldff
platform: NetBeans Platform 6.0 Quick Start Tutorial
"This tutorial demonstrates how to build an HTML Editor, without any Java coding whatsoever. At the end of this tutorial, you will have an HTML Editor that looks like this:"
toread  NetBeans  tutorial  module  plugin  development 
august 2007 by rafaeldff
Madsen: Virtual classes: a powerful mechanism in object-oriented programming - Google Scholar
In BETA a class may also have virtual class attributes. This makes it possible to defer part of the specification of a class attribute to a subclass. In this sense virtual classes are analogous to virtual procedures. Virtual classes are mainly interesting
toread  OO  language  construct  Beta  Virtual  VirtualClass  type  typing  system  generic  generics 
august 2007 by rafaeldff
waffle → Why is ZFS Good?
"ZFS is a file system that throws most of the still-there-by-tradition-not-because-we-need-them features of modern file systems completely out the window."
blog  post  article  ZFS  solaris  Sun  OpenSolaris  FS  OS  FileSystem  toread  overview 
june 2007 by rafaeldff
On the Expressive Power of Programming Languages - Felleisen (ResearchIndex)
"we develop a formal notion of expressiveness and investigate its properties. To validate the theory, we analyze some widely held beliefs about the expressive power of several extensions of functional languages."
paper  programming  language  MatthiasFelleisen  expressiveness  measure  metrics  metric  formal  formalism  theory  abstraction  design  toread 
april 2007 by rafaeldff
Church’s Thesis and Functional Programming | Lambda the Ultimate
Intro to programming language theory, including lambda calculus, lazy semantics, type theory and Curry-Howard isomorphism, in only 20 pages.
paper  David  Turner  toread  introduction  programming  language  theory  PL  PLT  LtU  LambdaCalculus  type  system  typing  Curry-Howard  CS 
april 2007 by rafaeldff
Blogging Ottinger (tim) :: Use VIM Like a Pro
"a little article about the proper use of the VIM editor. I tried to mix in some keystroke quick-reference with the philosophy of the tool in a way that might make it a bit more accessible."
toread  unix  tool  editor  VI  VIM  TimOttinger  tutorial  article  ObjectMentor  via:ObjectMentor 
april 2007 by rafaeldff
Let it rip
Blog-post / white-paper on Solaris' Crossbow.
toread  solaris  virtualization  networking  stack  OS  kernel 
february 2007 by rafaeldff
XML.com: Extensibility, XML Vocabularies, and XML Schema
"This article describes techniques to achieve more effective loose coupling between systems by providing a means for backwards- and forwards-compatible changes to occur when systems evolve."
article  xml  schema  xsd  versioning  extension  extensibility  DaveOrchard  DavidOrchard  WebServices  version  toread 
december 2006 by rafaeldff
InfoQ: Casestudy: IP Telephony Integration
"Java and .NET implementation, and then zooming in some interesting technical aspects of their project including phone integration with WebEx/LiveMeeting, integration between Java/.NET interop, HTTP vs. IPC communication between systems installed on the s
toread  casestudy  article  infoq  telephony  telecom  telco  ip-telephony  networking 
december 2006 by rafaeldff
« earlier      
per page:    204080120160

related tags

2.0  abdera  abstraction  academia  academic  acceptance  acm  ACMQueue  AdelbertChang  AdranColyer  AdriaanMoors  agile  AJAX  AlanKay  AlexPilchin  algorithm  algorithms  Ali-RezaAdl-Tabatabai  Amazon  AminAhmad  analysis  announcement  anthonylane  aop  APL  Apocalisp  APP  architecture  article  articles  Artima  aspect  aspectJ  assembly  asynchronicity  asynchronous  atom  AtomPub  AtomServer  authentication  authorization  availability  AvinashLakshman  BarbaraLiskov  basic  bea  behaviour  benchmark  benchmarking  Benjamin  Beta  BillVenners  BinodPG  blocking  blog  book  books  BryonJacob  ButlerLampson  c#  c++  cache  caching  CAP  capabilities  Carlyle  casestudy  catalog  cetis  CfT  CharlesGordon  ChrisBerry  ChristosKozyrakis  cinema  classic  closure  clr  cluster  cms  code  CodeFollowsTypeProgramming  cognition  collaboration  Comet  communication  comparison  compensation  compiler  CompilerCompiler  component  computer  ComputerOrganization  computerscience  computing  concurrency  concurrent  connectivism  consistency  construct  contract  contracts  coordination  copyright  CraigRussell  critic  critique  cs  culture  Curry-Howard  DanielaWitten  DanielFriedman  DanielIngalls  DanielPFriedman  DanIngalls  dapper  data  database  databases  datamiging  DataStructure  DataStructures  DatatypeGenericProgramming  datawharehouse  DaveOrchard  David  DavidEvans  DavidOrchard  db  DenizHastorun  department  deployment  design  desktop  developerworks  development  DGP  DHH  distributed  distributedsystems  docs  document  DonaldNorman  DonNorman  DSL  eclipse  economy  editor  edtech  edu  educase  education  elearnspace  engineering  enterprise  eportfolio  EricSink  essay  etag  etags  evolution  example  exception  experience  expressiveness  extensibility  extension  feature  features  FileSystem  finances  form  formal  formalism  format  framework  free  FS  functional  GarethJames  generator  generic  generics  georgedyson  GeorgeSiemens  GeraldJaySussman  GeraldSussman  GiuseppeDeCandia  godel  google  GoogleDocs  GoogleScholar  GopalanSureshRaj  GregorRoth  grid  GunavardhanKakulapati  GuySteele  Hansen  hardware  HaroldAbelson  HaroldOssher  history  hlists  http  hyperthreading  I/O  IanRobinson  ibm  ieee  II  IME  immutability  impedance  impedancemismatch  indirection  infoq  information  infra  infrastructure  inheritance  Intel  interface  internet  introduction  IONA  IP  ip-telephony  itconversations  Iverson  J  j2ee  JamesGovernor  JasonHermann  java  javascript  javaserverfaces  JavaWorld  JAX-WS  jboss  JeanetteWing  jisc  JohnRose  jsf  JulioGuijarro  JVM  KeithBabo  KenIverson  kernel  keykos  keynote  lab  LambdaCalculus  lang.net  language  languages  larrysanger  law  layer  layering  layers  lean  learming  lecture  library  line  lines  linq  lisp  list  lists  lms  logic  LogicProgramming  login  LtU  Lua  machinelearning  MadanJampani  magazine  management  ManishVerma  map  mapping  market  marketing  MartinFowler  mathematics  MatthiasFelleisen  measure  measurement  megadata  memory  messaging  meta  meta2  metadata  metaII  metaprogramming  method  MethodHandle  MethodHandles  methodology  metric  metrics  microarchitecture  microkanren  microsoft  mismatch  ML  mock  model  modeling  modernism  module  movie  msdn  msn  multicore  multithreading  mvc  NatPryce  NealGafter  NetBeans  network  networking  newbie  next-generation  NIO  non-blocking  nonblocking  NormanWalsh  ObjectMentor  ODF  OLAP  OLTP  online  oo  oopsla  OpenSolaris  OpenXML  ORM  os  oscar  osgi  overview  OXM  packrat  paper  papers  paradigm  paradigms  parallel  parallelism  parser  parsing  PatHelland  pattern  PBHansen  pc  pdf  pedagogy  PEG  PEGs  PerBrinchHansen  performance  PerHansen  PeterVosshall  PhilipWadler  philosophy  physics  pickles  pickling  pipelining  PL  PLAI  platform  PLT  plugin  PM  podcast  poll  polling  PoMoPo  portfolio  post  postmodern  postmodernism  posts  ppt  presentation  problem  process  programming  project  protocol  psychology  query  queue  queues  rails  Rails2.0  RameshNagappan  rdf  recommendations  redmonk  relational  reliability  report  requirements  research  rest  review  reviews  RichardGabriel  RickPalkovic  RobertTibshirani  RonaldAllan  RonaldGageAllan  Rope  ropes  ror  rss  ruby  sca  scala  scalability  scalable  scalaz  schema  scheme  science  scottwilson  se  security  selenium  semanticweb  seminar  serialization  series  server  serverside  service  services  servlet  servlets  session  ShriramKrishnamurthi  shutdown  SIGPLAN  slashdot  slides  smalltalk  SmartFrog  snippet  soa  socialsoftware  sociology  software  softwareengineering  solaris  specification  specifications  specs  Spectrum  spreadsheet  Spring  springframework  stability  stack  standard  standards  Stanford  stat  state  statistics  StephenDownes  STEPS  SteveFreeman  SteveLoughran  StevenLevy  SteveVinoski  storage  String  structure  structured  structures  SubjectOrientedProgramming  subtyping  sun  survey  SwaminathanSivasubramanian  symposium  synchronicity  syndication  system  systems  talk  tapestry  teaching  tech  technology  TedNeward  telco  telecom  telephony  testing  text  theory  thread  TimOttinger  tip  TM  tocheckout  tolisten  tool  toread  tosee  towatch  transaction  transactions  transformation  tree  TrevorHastie  tss  Turner  tutorial  type  types  typing  ukanren  unclebob  unix  unstructured  usability  user  UserExperience  UX  vb  vb.net  version  versioning  VI  via:CliveThompson  via:FabioKon  via:ObjectMentor  video  Viewpoints  VIM  Virtual  VirtualClass  virtualization  vle  VM  vocabulary  vonneuman  VPRI  w3c  Wadler  wait  waiting  web  webdev  webservices  WernerVogels  wharhouse  wicket  wiki  WilliamHarrison  WilliamPatry  workflow  ws  WS-*  WS-C  WS-Coordination  WS-T  WS-Transaction  xml  xpath  xpath2  XRM  xsd  xslt  xslt2  zedshaw  ZFS  _toread 

Copy this bookmark: