nhaliday + caltech   47

Delta debugging - Wikipedia
good overview of with examples: https://www.csm.ornl.gov/~sheldon/bucket/Automated-Debugging.pdf

Not as useful for my usecases (mostly contest programming) as QuickCheck. Input is generally pretty structured and I don't have a long history of code in VCS. And when I do have the latter git-bisect is probably enough.

good book tho: http://www.whyprogramsfail.com/toc.php
WHY PROGRAMS FAIL: A Guide to Systematic Debugging\
wiki  reference  programming  systems  debugging  c(pp)  python  tools  devtools  links  hmm  formal-methods  divide-and-conquer  vcs  git  search  yak-shaving  pdf  white-paper  multi  examples  stories  books  unit  caltech  recommendations 
20 days ago by nhaliday
Which one would be easier to terraform: Venus or Mars? - Quora
what Greg Cochran was suggesting:
First, alternatives to terraforming. It would be possible to live on Venus in the high atmosphere, in giant floating cities. Using a standard space-station atmospheric mix at about half an earth atmosphere, a pressurized geodesic sphere would float naturally somewhere above the bulk of the clouds of sulfuric acid. Atmospheric motions would likely lead to some rotation about the polar areas, where inhabitants would experience a near-perpetual sunset. Floating cities could be mechanically rotated to provide a day-night cycle for on-board agriculture. The Venusian atmosphere is rich in carbon, oxygen, sulfur, and has trace quantities of water. These could be mined for building materials, while rarer elements could be mined from the surface with long scoops or imported from other places with space-plane shuttles.
q-n-a  qra  physics  space  geoengineering  caltech  phys-energy  magnitude  fermi  analysis  data  the-world-is-just-atoms  new-religion  technology  comparison  sky  atmosphere  thermo  gravity  electromag  applications  frontier  west-hunter  wild-ideas  🔬  scitariat  definite-planning  ideas  expansionism 
february 2017 by nhaliday
Information Processing: Learn to solve every problem that has been solved
While it may be impossible to achieve Feynman's goal, I'm surprised that more people don't attempt the importance threshold-modified version. Suppose we set the importance bar really, really high: what are the most important results that everyone should try to understand? Here's a very biased partial list: basic physics and mathematics (e.g., to the level of the Feynman Lectures); quantitative theory of genetics and evolution; information, entropy and probability; basic ideas about logic and computation (Godel and Turing?); ... What else? Dynamics of markets? Complex Systems? Psychometrics? Descriptive biology? Organic chemistry?
hsu  scitariat  feynman  giants  stories  aphorism  curiosity  interdisciplinary  frontier  signal-noise  top-n  discussion  caltech  problem-solving  big-picture  vitality  🎓  virtu  big-surf  courage  🔬  allodium  nietzschean  ideas  quixotic  accretion  learning  hi-order-bits 
february 2017 by nhaliday
Caltech CS 101.2
by Andreas Krause so probably some detail on submodular functions
course  caltech  online-learning  reinforcement  machine-learning  submodular  lecture-notes  unit 
june 2016 by nhaliday

bundles : academe

related tags

academia  accretion  acm  acmtariat  africa  algorithmic-econ  algorithms  alien-character  allodium  alt-inst  analysis  aphorism  applications  art  article  asia  atmosphere  atoms  audio  backup  behavioral-econ  better-explained  biases  big-picture  big-surf  bio  biophysical-econ  biotech  books  bret-victor  britain  c(pp)  calculation  california  caltech  chart  climate-change  cocktail  cog-psych  commentary  comparison  computation  contrarianism  convexity-curvature  correlation  courage  course  cracker-econ  creative  crypto  cs  curiosity  curvature  cycles  data  data-science  database  debugging  decision-making  deep-materialism  definite-planning  demographics  devtools  differential  dirty-hands  discussion  distribution  divide-and-conquer  draft  dropbox  earth  economics  econotariat  education  effective-altruism  electromag  elegance  elite  empirical  encyclopedic  energy-resources  engineering  environment  equilibrium  essay  ethics  europe  events  examples  existence  expansionism  explanans  explanation  exposition  fall-2016  fermi  feynman  finance  fluid  formal-methods  frontier  game-theory  gender  geoengineering  geometry  giants  git  gnon  gotchas  graphics  gravity  ground-up  h2o  hanson  hi-order-bits  higher-ed  history  hmm  hn  homepage  howto  hsu  human-bean  ideas  impact  incentives  individualism-collectivism  infrastructure  init  innovation  insight  interdisciplinary  interests  internet  interview  intricacy  invariance  investing  iq  iran  islam  japan  judaism  latin-america  learning  lecture-notes  lectures  left-wing  len:long  lens  lesswrong  let-me-see  levers  links  list  lol  machine-learning  magnitude  management  markets  matching  math  math.CA  math.DS  mechanics  mechanism-design  medicine  MENA  mental-math  metabuch  methodology  micro  ML-MAP-E  moments  multi  n-factor  navigation  networking  new-religion  news  nibble  nietzschean  nihil  nitty-gritty  nostalgia  novelty  occident  oly  online-learning  optimism  optimization  ORFE  org:biz  org:bleg  org:econlib  org:edu  org:fin  org:junk  org:local  org:rec  orient  oscillation  overflow  oxbridge  p:*  p:**  p:***  p:someday  papers  parametric  pdf  people  performance  personality  philosophy  phys-energy  physics  podcast  poll  power-law  pragmatic  prediction  prediction-markets  presentation  pro-rata  probability  problem-solving  prof  profile  programming  proofs  pseudorandomness  psychology  puzzles  python  q-n-a  qra  quantitative-qualitative  quantum  quantum-info  questions  quixotic  race  rand-complexity  random  rationality  ratty  reading  realness  recommendations  reference  reflection  reinforcement  relativity  religion  replication  research  research-program  rhetoric  rhythm  rigorous-crypto  risk  s:*  scale  science  scitariat  SDP  search  seminar  SIGGRAPH  signal-noise  sinosphere  sky  social  social-choice  social-science  space  speculation  speed  spock  spring-2017  ssc  stat-mech  stats  stochastic-processes  stories  strategy  stream  street-fighting  study  subculture  submodular  summer-2016  supply-demand  survey  symmetry  synthesis  systems  tails  tcs  teaching  tech  technology  techtariat  the-great-west-whale  the-west  the-world-is-just-atoms  theos  thermo  tidbits  time  todo  toolkit  tools  top-n  topics  topology  trade  travel  trivia  twitter  unit  urban-rural  usa  vcs  video  virtu  visual-understanding  visualization  vitality  west-hunter  white-paper  wiki  wild-ideas  winter-2015  winter-2016  winter-2017  worrydream  wut  yak-shaving  yoga  🎓  🎩  👳  🔬  🖥 

Copy this bookmark: