nhaliday + homepage   100

CakeML
some interesting job openings in Sydney listed here
programming  pls  plt  functional  ocaml-sml  formal-methods  rigor  compilers  types  numerics  accuracy  estimate  research-program  homepage  anglo  jobs  tech  cool 
4 weeks ago by nhaliday
Burrito: Rethinking the Electronic Lab Notebook
Seems very well-suited for ML experiments (if you can get it to work), also the nilfs aspect is cool and basically implements exactly one of the my project ideas (mini-VCS for competitive programming). Unfortunately gnarly installation instructions specify running it on Linux VM: https://github.com/pgbovine/burrito/blob/master/INSTALL. Linux is hard requirement due to nilfs.
techtariat  project  tools  devtools  linux  programming  yak-shaving  integration-extension  nitty-gritty  workflow  exocortex  scholar  software  python  app  desktop  notetaking  state  machine-learning  data-science  nibble  sci-comp  oly  vcs  multi  repo  paste  homepage  research 
may 2019 by nhaliday
Cilk Hub
looks like this is run by Billy Moses and Leiserson (the L in CLRS)
mit  tools  programming  pls  plt  systems  c(pp)  libraries  compilers  performance  homepage  concurrency 
may 2019 by nhaliday
Darwinian medicine - Randolph Nesse
The Dawn of Darwinian Medicine: https://sci-hub.tw/https://www.jstor.org/stable/2830330
TABLE 1 Examples of the use of the theory of natural selection to predict the existence of phenomena otherwise unsuspected
TABLE 2 A classification of phenomena associated with infectious disease
research-program  homepage  links  list  study  article  bio  medicine  disease  parasites-microbiome  epidemiology  evolution  darwinian  books  west-hunter  scitariat  🌞  red-queen  ideas  deep-materialism  biodet  EGT  heterodox  essay  equilibrium  incentives  survey  track-record  priors-posteriors  data  paying-rent  being-right  immune  multi  pdf  piracy  EEA  lens  nibble  🔬  maxim-gun 
november 2017 by nhaliday
Mental Wilderness | Holden Lee
Holden Lee takes a lot of amazing notes (both live-TeXed and in Workflowy): https://pinboard.in/u:nhaliday/b:ca7feec10ca8

also he wrote that pretty inspirational essay a while back
people  students  princeton  math  tcs  notetaking  homepage  blog  todo  phd  oly  mathtariat  multi 
june 2016 by nhaliday
« earlier      
per page:    204080120160

bundles : academemeta

related tags

abstraction  academia  accretion  accuracy  acm  acmtariat  additive-combo  advanced  ai  algebra  algorithmic-econ  algorithms  alignment  alt-inst  altruism  anglo  anthropology  app  art  article  atoms  auto-learning  automata-languages  automation  average-case  bandits  bayesian  behavioral-econ  being-right  benchmarks  berkeley  betting  bio  biodet  blog  boaz-barak  books  boolean-analysis  borjas  broad-econ  build-packaging  c(pp)  caching  california  caltech  canada  capitalism  CAS  checking  chicago  cmu  cog-psych  columbia  communication-complexity  comparison  compilers  complexity  composition-decomposition  computational-geometry  concept  conceptual-vocab  concurrency  constraint-satisfaction  contest  contrarianism  convexity-curvature  cool  cooperate-defect  cornell  correctness  cost-benefit  cracker-prog  critique  crypto  cryptocurrency  cs  cultural-dynamics  culture  curvature  cynicism-idealism  darwinian  data  data-science  data-structures  dataviz  dbs  debugging  deep-learning  deep-materialism  dennett  descriptive  design  desktop  devops  devtools  differential-privacy  dimensionality  direct-indirect  discovery  discrimination  disease  distributed  distribution  DSL  dumb-ML  economics  econotariat  ecosystem  education  EEA  EGT  empirical  encyclopedic  engineering  epidemiology  equilibrium  ergodic  erik-demaine  error  essay  estimate  ethnocentrism  europe  events  evidence-based  evolution  exocortex  expert-experience  exploratory  fall-2016  flux-stasis  formal-methods  fourier  frontier  functional  game-theory  gaussian-processes  genomics  geometry  germanic  golang  google  government  graph-theory  graphical-models  graphs  grokkability  group-selection  growth-econ  hanson  hari-seldon  harvard  hashing  hci  heavyweights  henrich  heterodox  hidden-motives  high-dimension  higher-ed  hmm  homepage  human-capital  hypocrisy  ideas  ideology  idk  IEEE  immune  incentives  increase-decrease  inference  info-dynamics  info-econ  info-foraging  information-theory  init  insight  institutions  integration-extension  integrity  interdisciplinary  interests  internet  interpretability  intricacy  israel  javascript  jelani-nelson  jobs  jvm  kernels  labor  language  learning  learning-theory  lecture-notes  lectures  len:short  lens  let-me-see  lexical  libraries  liner-notes  links  linux  list  llvm  local-global  lol  luca-trevisan  machine-learning  macro  marginal  markets  math  math.AC  math.AG  math.CA  math.CO  math.FA  math.NT  mathtariat  maxim-gun  measurement  mechanism-design  medicine  meta:science  metabuch  metal-to-virtual  metameta  methodology  metric-space  michael-nielsen  micro  microfoundations  migration  mihai  mit  model-class  msr  multi  network-structure  neuro  neurons  new-religion  nibble  nitty-gritty  nlp  no-go  notation  notetaking  numerics  nyc  ocaml-sml  off-convex  oly  online-learning  oop  open-problems  optimization  org:edu  org:junk  org:mat  organization  organizing  os  osx  oxbridge  p:someday  papers  parasites-microbiome  paste  paul-romer  paying-rent  pdf  people  performance  perturbation  phd  philosophy  physics  piracy  pls  plt  policy  polisci  ppl  pragmatic  prediction-markets  princeton  priors-posteriors  probability  prof  profile  programming  project  proposal  pseudoE  psychology  python  quantum  quantum-info  questions  quixotic  quiz  quora  rand-approx  random  randy-ayndy  rant  ratty  reading  realness  rec-math  red-queen  reduction  reference  reinforcement  repo  research  research-program  review  rhetoric  rigor  rigorous-crypto  robotics  rust  ryan-odonnell  salil-vadhan  sanjeev-arora  sapiens  scaling-tech  scholar  sci-comp  science  scitariat  security  self-interest  seminar  sequential  shalizi  short-circuit  similarity  skunkworks  social-choice  social-norms  software  sparsity  spectral  ssc  stanford  state  state-of-art  static-dynamic  stats  stochastic-processes  stream  students  study  sublinear  submodular  summary  survey  syntax  synthesis  system-design  systems  tcs  tcstariat  teaching  tech  techtariat  telos-atelos  terminal  texas  the-trenches  the-west  thinking  tim-roughgarden  time-series  todo  tools  topics  traces  track-record  tradeoffs  types  unit  unix  unsupervised  ux  values  vcs  video  virtu  visualization  washington  web  west-hunter  wiki  wonkish  workflow  working-stiff  wormholes  worrydream  yak-shaving  yoga  yvain  🌞  🎩  👳  👽  🔬  🖥  🤖 

Copy this bookmark:



description:


tags: