msr   979

« earlier    

The Future of Mathematics? [video] | Hacker News
https://news.ycombinator.com/item?id=20909404
Kevin Buzzard (the Lean guy)

- general reflection on proof asssistants/theorem provers
- Kevin Hale's formal abstracts project, etc
- thinks of available theorem provers, Lean is "[the only one currently available that may be capable of formalizing all of mathematics eventually]" (goes into more detail right at he end)
hn  commentary  discussion  video  talks  presentation  math  formal-methods  expert-experience  msr  frontier  state-of-art  proofs  rigor  education  higher-ed  optimism  prediction  lens  search  meta:research  speculation  exocortex  skunkworks  automation  research  math.NT  big-surf  software  parsimony  cost-benefit  intricacy  correctness  programming  pls  python  functional  haskell  heavyweights  research-program  review  reflection  multi  pdf  slides  oly  experiment  span-cover  git  vcs  teaching  impetus  academia  composition-decomposition  coupling-cohesion  database  trust  types  plt  lifts-projections  induction  critique  beauty  truth  elegance  aesthetics 
7 days ago by nhaliday
MSR 2017
ave a higher degree of technical rigor than short papers.
msr 
may 2019 by carlosviansi
Adaptive Systems group at microsoft MSR
The Adaptive Systems and Interaction group pursues advances in principles of intelligence and interaction and applications of these advances to enhance computational systems and interfaces. The team includes groups exploring foundations of sensing, learning, and decision making, search and retrieval, and human-computer interaction.
msr  adaptive  programming  probabilistic  interaction 
december 2018 by tswaterman
Twitter
Interested in about Kairos Power’s Molten Salt Reactor technology Yes We need…
MSR  Auspol  from twitter_favs
december 2018 by gourock_swimming
Technology - Kairos Power | The Future of Nuclear Power
Interested in about Kairos Power’s Molten Salt Reactor technology Yes We need…
MSR  Auspol  from twitter_favs
december 2018 by gourock_swimming
Twitter
Molten Salt Reactor Fundamentals Yes We need Reliable and Affordable electrici…
Auspol  MSR  from twitter_favs
november 2018 by gourock_swimming
Untitled (https://www.youtube.com/watch?v=aqPLU8ge-0w)
Molten Salt Reactor Fundamentals … We need Reliable and Affordable electricity from…
MSR  Auspol  from twitter_favs
october 2018 by gourock_swimming
Twitter
Molten Salt Reactor Fundamentals … We need Reliable and Affordable electricity from…
MSR  from twitter_favs
october 2018 by gourock_swimming
Twitter
Terrestrial Energy on track to commercial molten salt reactor competitive against cheap US natural gas prices…
MSR  from twitter_favs
october 2018 by gourock_swimming
TextWorld (Inform 7 & machine learning) | Emily Short's Interactive Storytelling
TextWorld: A Learning Environment for Text-Based Games documents how the researchers from Tilburg University, McGill University, and Microsoft Research built text adventure worlds with Inform 7 as part of an experiment in reinforcement learning.
msr  machinelearning  via:nattorkington  microsoftresearch  textadventures  textworld  reinforcementlearning  videogames  emilyshort  emshort 
september 2018 by danhon
Twitter
China has multi $billion projects developing liquid and solid fuel Molten Salt Reactors
MSR  from twitter_favs
august 2018 by gourock_swimming
Microsoft/dowhy: DoWhy is a Python library that makes it easy to estimate causal effects. DoWhy is based on a unified language for causal inference, combining causal graphical models and potential outcomes frameworks.
As computing systems are more frequently and more actively intervening in societally critical domains such as healthcare, education and governance, it is critical to correctly predict and understand the causal effects of these interventions. Without an A/B test, conventional machine learning methods, built on pattern recognition and correlational analyses, are insufficient for causal reasoning.

Much like machine learning libraries have done for prediction, "DoWhy" is a Python library that aims to spark causal thinking and analysis. DoWhy provides a unified interface for causal inference methods and automatically tests many assumptions, thus making inference accessible to non-experts.
python  libs  causal-inference  msr  via:tmiya 
august 2018 by arsyed
where the text ends we begin
"Mulder, I enjoyed chasing after that truck with you, and we should do it again sometime." Post-ep for 1x17 "E.B.E."
txf  msr 
august 2018 by misandrywitch
Twitter
Copenhagen Atomics - Molten Salt () Loop & Laser Induced Breakdown Spectroscopy - ... Y…
MSR  from twitter_favs
august 2018 by gourock_swimming
Untitled (https://www.youtube.com/watch?v=LaeK9u0pWVA&feature=youtu.be)
Copenhagen Atomics - Molten Salt () Loop & Laser Induced Breakdown Spectroscopy - ... Y…
MSR  from twitter_favs
august 2018 by gourock_swimming
Twitter
MOLTEX Stable SALT Reactor (an ) also requires zero water for cooling Yes We ca…
Auspol  MSR  from twitter_favs
august 2018 by gourock_swimming

« earlier    

related tags

2016-election  academia  accelerator  acm  active-learning  adaptive  adsr  advice  aesthetics  ai  algorithms  alt-inst  anonymity  arrows  arstechnica  article_recommendations  asr  audio  augmentedreality  auspol  automata-languages  automation  autonomous-gliding  backpacking  basic  beauty  bed  big-surf  bots  business  c(pp)  c  camping  cas  causal-inference  checked-c  chloride  cjones-like  climate  cloud  commentary  comparison  composition-decomposition  computational-geometry  convexity-curvature  cooking  cool  coolant  coproduct  correctness  cost-benefit  counter-revolution  coupling-cohesion  course  critique  cryptdb  cs  css  curvature  cybersecurity  data  database  datasets  de-anonymization  deeplearning  delicious  denmark  discussion  dotnet  driven  dsl  dual  duncan  ebook  ecosystem  education  efi  elegance  emilyshort  emshort  encryption  energy  esr  eu  europe  exchanger  exocortex  experiment  expert-experience  fdisk  fiction  fission  fluid  formal-methods  frontier  fuel  functional  fusion  games  generator  germanic  germany  git  gliding  google  gpt  grokkability-clarity  grokkability  haskell  hdd  health  heat  heavyweights  helium  higher-ed  history  hlss  hmsr  hn  hofman  homepage  hybrid  hyperlapse  ideas  impetus  induction  inference  innovation  institutions  interaction  interdisciplinary  intersection-connectedness  intersection  intricacy  iron  jake  language-understanding  language  lanl  learning  lens  lftr  libs  lifts-projections  light  lilicheng  machine-learning  machinelearning  math.co  math.mg  math.nt  math  mathtariat  mbr  measure  meta:research  meta:science  metal  metric-space  metrics  microsoft-research  microsoft  microsoftresearch  mining  molt  molten  mostly-modern  mreit  msftres  multi  nationstar  neural-networks  neutron  newcastle  nibble  nitty-gritty  nlp  nuclear  nukesrsafe  ocaml-sml  ocwen  oly  optimism  organization  overflow  papers  parsimony  partitions  pasteur's  pdf  pebble  people  performance  person  pls  plt  plutonium  pokemongo  policy  positivity  power  prediction  presentation  privacy  probabilistic  process  production  prof  proglang  programming  proofs  proposal  python  q-n-a  quadrant  questions  rant  reactor  recommendations  reduction  reflection  reinforcementlearning  repo  research-program  research  review  rigor  rod  salt  science  scifi  scitariat  search  security  sid  signum  similarity  skunkworks  slides  smc  smr  smr_small_modular_reactor  social-science  sodium  software  source  span-cover  speculation  sql  state-of-art  statistics  steven-drucker  stove  subcritical  sublinear  suri  survey  synfuel  syntax  talks  tangible  tantalum  tcstariat  teaching  technical-writing  technology  tent  textadventures  textworld  the-trenches  the-world-is-just-atoms  thorium  tidbits  timelapse  tools  touring  tradeoffs  travel  trump  trust  truth  turboinductor  twittcyclos  txf  types  uav  uranium  usa  usability  user_studies  ux  vcs  verification  video  videogames  videos  visualization  watts  web-services  webapps  west-hunter  wikipedia  windows  winre  wmf  x-files 

Copy this bookmark:



description:


tags: