paper   60553

« earlier    

Compiler Construction: The Art of Niklaus Wirth
Niklaus Wirth is not only a master of language design but also a pioneer of
compiler construction. For four decades he has refined his techniques for
building simple, efficient and reliable compilers. This paper tries to collect
some general principles behind his work. It is not a paper about new
compilation techniques but a reflection about Wirth's way to write compilers.
compilers  paper 
yesterday by nicolashery
A Plea for Lean Software –– Niklaus Wirth
Recommended as one of top two CS papers to read by Joe Armstrong.
Computer-Science  Paper 
2 days ago by tomaskral
Bringing Arbitrary Compute to Authoritative Data - ACM Queue
Mark Cavage and David Pacheco, on the architecture of Joyent's "Manta" general-purpose distributed storage system, supporting arbitrary computation on data at rest.
In particular:
- storage is "object": no partial updates, objects are immutable.
- interface is Unix-like: stdin/stdout + pipes
- "Local" computing: when given a job to run, the job is run on the node that contains the object instead of copying it across the network.
paper  distributed  piperesearch  from:acm  storage 
2 days ago by mechazoidal
There's Just No Getting around It: You're Building a Distributed System - ACM Queue
Mark Cavage, illustrating it with a simple "image resizing" service.
"In reality, building a distributed system requires a methodical approach to requirements along the boundaries of failure domains, latency, throughput, durability, consistency, and desired SLAs for the business application at all aspects of the application."

PR: note that splitting up identity management and caching makes it look like a 9P system: but he counters with noting that filesystems choose the C in CAP, and therefore do not scale past a single node very well.
distributed  from:acm  paper  reference  design  2013 
2 days ago by mechazoidal
Safely Composable Type-Specific Language
We introduce type-specific languages (TSLs): logic associated with a type that
determines how the bodies of generic literals, able to contain arbitrary syntax,
are parsed and elaborated, hygienically.
paper  types  dsl 
2 days ago by nicolashery
Gangolf Ulbricht, The Papermaker
Lovely video of Gangolf Ulbricht, a German papermaker showing his technique.
paper  papermaking  shared 
2 days ago by davidnunez

« earlier    

related tags

#policy  2013  3d  academic  ad-networks  aeolab  ai  algorithm  architecture  army  art  article  assembly  auctions  bags  bateau  bft  bibliography  billverplank  bioinformatics  blockchain-scaling  book  brain  business  businesscards  byzantine  c  cablemanagement  capture  card  cardboard  cards  category-theory  ccrma  cg  client  clustering  code  color  comparing  compiled  compilers  computer-science  computer_science  computergraphics  conspiracy  controller  coolstuff  craft  cryptocurrencies  culture  dasgeileneueinternet  database  databases  davidgauthier  db  deep  design  desk  dessin  development  digital  digitaltwin  disposal  distributed  diy  doc  document  dowry  draw  drawing  dropbox  dsl  ea  ebook  economics  education-startups  electronics  elisp  emacs  evolution  fakenews  faulty  forensics  form  fractals  from:acm  gamedev  gamma  google  grain  graphics  gtd  hacking  haptics  harddisk  hardware  hashing  haskell  hiv  homelab  html  humor  ieee  ink  io  iot  ivr  journalism  jung  kickstart  kraft  latex  learning  leg  letterpress  lexing  lifespan  lightning-network  line  lte  machine-learning  machine  machinelearning  mark  markdown  markup  marriage  media  ml  mobile  mode  money  mooc  mother  motioncontrol  museum  ncpin  nct  node  nosql  notebooks  office  one  online-learning  org  origami  origin  osc  otool  overbearing  paint  painting  paleontology  paperless  papermaking  parsing  pdf  pen  pencil  pens  philoosophy  philosophy  physics  piperesearch  plan  planner  plants  political_science  politics  print  printer  printing  programming  protocol  prototype  prototypes  prototyping  qc  quaternions  racket  rarebooks  readycut  reference  reinforcementlearning  religion  research  resources  review  saif.rayyan  scholar  science  sculptural  security  shared  shlian  shopping  shredding  sketchbook  stationery  statistics  storage  streams  structural  studio  survey  taipei  taiwan  tbt  tech  template  tex  theodicy  theory  time-series  to-read  to:read  todo  tools  toread  trading  types  uk  unix  ux  uxd  video  water  watercolor  wc  wireframe  wirth  work  writing 

Copy this bookmark: