paper   60053

« earlier    

Some thoughts on security after ten years of qmail 1.0 | the morning paper
That was written by Daniel Bernstein, over ten years ago. And it rings just as true today as it did on the day he wrote it — especially with Meltdown and Spectre hanging over us. Among his many accomplishments, Daniel Bernstein is the author of qmail.
security  paper 
3 hours ago by nicolashery
Sci-Hub: removing barriers in the way of science
The first pirate website in the world to open mass and public access to tens of millions research papers
paper  searching 
6 hours ago by guilleten
Papier Machine
"Papier Machine, the first booklet of interactive electronic paper toys."
toys  classideas  paper  books  interactive  electronics 
16 hours ago by robertogreco
Mohawk Paper
NY Based Paper Manufacturer. Dread recommends over Frech
paper  frenchpaper 
yesterday by SteveLambert
Papier Machine Vol.0
Gorgeously designed interactive electronic paper toy by Papier Machine - Kickstarter via thisiscolossal and my friend Thor
kickstarter  design  book  paper  toy  inspiration 
yesterday by glass
Modular implicits
Leo White, Frédéric Bour, Jeremy Yallop

“We present modular implicits, an extension to the OCaml language for ad-hoc polymorphism inspired by Scala implicits and modular type classes. Modular implicits are based on type-directed implicit module parameters, and elaborate straightforwardly into OCaml’s first-class functors. Basing the design on OCaml’s modules leads to a system that naturally supports many features from other languages with systematic ad-hoc overloading, including inheritance, instance constraints, constructor classes and associated types.”

Mentioned in the Reason/BuckleScript FAQ:

“Can I have a function to print arbitrary data structures?

If you're compiling to JavaScript through BuckleScript, you can use the JS console.log through Js.log. If you're compiling to native, you'll need something like ppx_show. A future OCaml feature (called modular implicit) will solve this directly in the language.”

/from http://www.lpw25.net/papers.html via https://reasonml.github.io/docs/en/faq.html#can-i-have-a-function-to-print-arbitrary-data-structures
paper  PLT  OCaml  polymorphism  module  type-systems  type-inference 
yesterday by elliottcable
Modular implicits (Extended abstract)
Leo White, Frédéric Bour

“We propose a system for ad-hoc polymorphism in OCaml based on using modules as type-directed implicit parameters.”

Full paper was mentioned in the Reason/BuckleScript FAQ:

“Can I have a function to print arbitrary data structures?

If you're compiling to JavaScript through BuckleScript, you can use the JS console.log through Js.log. If you're compiling to native, you'll need something like ppx_show. A future OCaml feature (called modular implicit) will solve this directly in the language.”

/from http://www.lpw25.net/papers.html via https://reasonml.github.io/docs/en/faq.html#can-i-have-a-function-to-print-arbitrary-data-structures
paper  PLT  OCaml  polymorphism  module  type-systems  type-inference 
yesterday by elliottcable

« earlier    

related tags

2009  400  address  advertising  agenda  ai  aircraft  algebraic  algorithms  align  alignment  america  anxiety  arithmetic  art  artsy  arxiv  attack  authentication  barcelona  batman  bioinformatics  bitcoin  blackandwhite  blockchain  blog  book  books  brush  bugs  bundling  business  c_expo  calendar  card  cardboard  cards  cg  charcoal  church  class  classideas  cloth  cognitive  collage  color  communication  compilation  compilers  computer-science  computer  computergraphics  computers  computerscience  computervision  consensus  cool  cpu  crypto  cryptocurrency  cv  datatypes  db  deep-learning  deeplearning  dependent  design  distributed-algorithms  draw  drawimg  drawing  drop  e-mail  eakte  economics  edge  electronics  epigram  ethereum  etiquetas  evolution  facilitation  family  finance  flight  form  formal-methods  forth  fourth  frenchpaper  funny  games  gan  generative  generator  geo/jp  german  ghibli  github  gouache  graph  gtd  hack  handmade  handyman  harddrives  hearing  history  home  housing  image  independent  information  inspiration  instaart  instagram  interactive  interface  investing  investment  japan  javascript  journal  js  kernel  kickstarter  kid  kids  kindle  labels  language  lawyer  learning  line  linux  machine-learning  machine  machinelearning  machinetranslation  mainstream  management  manufacturing  marketing  math  matlab  mechanical  meltdown  merchant  michel  mindfulness  mit  ml  model  module  modules  mohawk  money  monte-carlo-simulation  nlp  notebook  notebooks  notes  ocaml  ocr  offline  oil  oilstick  opensource  organization  organizing  paint  painting  papel  paperless  papers  pdf  pen  pencil  pens  pinboard  planner  plants  plt  poet  poetry  politics  polymorphism  portrait  post-it  prints  probabilistic  probability  productivity  programming-language  programming  psychology  pubmed  racism  read2of  readycut  red  reference  reinforcementlearning  research  rhodia  rimbaud  rosin  scanning  science  search  searching  security  seminal  shop  shopping  spectre  stationery  statistical-physics  statistics  stories  stripes  stroke  study  subtyping  supplies  technology  testing  textiles  theory  thesis  timer  tip  tone  tooling  toy  toys  training  tria  tweetit  type-inference  type-systems  types  usability  usb  valuation  vendor  vintage  vision  visual.design  wallet  watercolor  word2vec  wordembedding  wow  writing 

Copy this bookmark:



description:


tags: