stuhlmueller
639
RSS
Argumentrix
"a collection of arguments and counter-arguments"
rationality 
february 2012
Bret Victor - Inventing on Principle
Inspirational talk on human-computer interface design.
hci  ui 
february 2012
If correlation doesn’t imply causation, then what does?
Michael Nielsen writes about Pearl's causal calculus.
causality 
january 2012
Zipper in Scheme
scheme  functional-programming 
january 2012
Prior Knowledge, Inc.
"Prior Knowledge answers your company's most pressing questions using advanced probabilistic inference technology."
bayes 
january 2012
Quantified Mind
"DIY Cognitive Performance Tracking"
tracking  mind  yoni 
january 2012
Writing An Hadoop MapReduce Program In Python
hadoop  python  mapreduce 
january 2012
gwern.net
lesswrong 
january 2012
Edge Question 2012
"What is your favorite deep, elegant, or beautiful explanation?"
edge  science 
january 2012
Tricki
"A Wiki-style site [..] intended to develop into a large store of useful mathematical problem-solving technique."
math  science  collab 
december 2011
WFOMC
A system for performing lifted probabilistic inference by first-order knowledge compilation.
probabilistic-programming 
december 2011
International Society for Bayesian Analysis
"founded in 1992 to promote the development and application of Bayesian analysis useful in the solution of theoretical and applied problems in science, industry and government"
bayes 
december 2011
Nonparametric Bayes Course
DP, IBP, etc.
bayes  nonparametrics 
november 2011
sympy
Open source Python library for symbolic mathematics.
python  math  algebra 
october 2011
High Impact Careers
"We’re rethinking which careers help the most people"
philanthropy  career 
october 2011
Geiser
A collection of Emacs major and minor modes for interacting with Scheme interpreters.
emacs  scheme  programming 
october 2011
Deft
Deft is an Emacs mode for quickly brows­ing, fil­ter­ing, and edit­ing di­rec­to­ries of plain text notes, in­spired by No­ta­tional Ve­loc­ity.
emacs  notes 
september 2011
Hyperpolyglot
Side-by-side reference sheets for common programming tasks.
programming  language  reference 
august 2011
Dripread
Upload a book, receive a number of pages daily by email.
reading  books 
july 2011
Matt Might's blog
Articles on functional programming, compilation, continuations, parsing, and on general topics of interest to academics (writing, presentations, grad school).
compsci  functional-programming  academia  blog 
june 2011
Patterns in Functional Programming
A book in process.
compsci  functional-programming  category-theory 
april 2011
Symposium on Heuristics, Probability and Causality
Videos from a workshop in honor of Judea Pearl.
probability  inference  causality  heuristics 
march 2011
Video tutorials for the Coq proof assistant
Demonstrates how to use Coq in Emacs for machine-assisted theorem proving.
coq  math  logic  theorem-proving 
february 2011
DP Zoo Tour
Illustrates the subcomputation tables built by common dynamic programming algorithms.
compsci  dynamic-programming 
february 2011
Pandoc
Pandoc can read markdown and (subsets of) reStructuredText, textile, HTML, and LaTeX, and it can write plain text, markdown, reStructuredText, HTML, LaTeX, MediaWiki markup, Emacs org-mode, etc.
february 2011
Theorem provers - HaskellWiki
Tools for formal reasoning, written in Haskell.
haskell  mathematics  logic 
january 2011
Homotopy Continuation (pdf)
Homotopy continuation is an approach to solving a system of equations by annealing between the solution of a known system and the system of interest.
mathematics  polynomials  algorithms 
january 2011
What should a reasonable person believe about the Singularity?
Michael Nielsen breaks down the basic idea into conditional statements and assigns a probability range to each statement.
singularity  rationality 
january 2011
gollum
A simple wiki system built on top of Git.
wiki  git 
january 2011
Story of Your Life by Ted Chiang
"told by a woman to her daughter, about her life and an alien language that works kinda sideways to time"
story  language  variational-principle  via:mattwebb 
january 2011
2nd International Conference on Algorithmic Decision Theory
"[This conference] will involve researchers from such disparate fields as decision theory, discrete mathematics, theoretical computer science, economics, and artificial intelligence, aiming to improve decision support in the presence of massive data bases, partial and/or uncertain information, and distributed decision makers."
decisiontheory  ai  conference 
december 2010
On opportunity costs
"I think dead children should be used as a unit of currency."
yvain  economics  rationality 
december 2010
How Good an Estimator Are You?
Calibration exercise.
rationality  calibration 
december 2010
Everything Is Nice
Reviews of science fiction stories, with stories rated by quality and hardness.
scifi  reviews 
december 2010
Day Million by Frederik Pohl
A classic short story about a romance in the year 2737.
scifi  story  transhumanism 
december 2010
White Wine In The Sun by Tim Minchin
Vladimir Nesov: "poetically expressing a sane take on the tradition of Christmas, with some Australian specifics"
music  christmas 
december 2010
The Cambist and Lord Iron: A Fairy Tale of Economics
A slightly rationalist short story.
story  rationality  economics 
december 2010
Logic and computation (seminar)
References on the relation between programs, proofs, and (undelimited and delimited) continuations.
compsci  logic  continuations  references 
december 2010
Programs as data (seminar)
References on program generation, partial evaluation, reflection, and other techniques that treat programs as data.
compsci  compilation  references 
december 2010
What's new in purely functional data structures since Okasaki?
New purely functional data structures published since 1998.
compsci  functional-programming 
december 2010
Patients to be frozen into state of suspended animation for surgery
By replacing warm blood with a cold saline solution, patients will be cooled down to 10-15 degrees C. Surgeon about existing techniques that cool down to 20 degrees C: "The body is essentially in real life suspended animation with no pulse, no blood pressure, no electrical waves in the brain. We didn't find any evidence of functional impairment after the surgery."
medicine  cryonics  science 
september 2010
The capacity to be alone
A passage from Grothendieck’s memoir.
math  inspiration 
july 2010
Topology via logic
Self-contained introduction to topology, approaching it as a way to study the logic of finite observations.
topology  math  compsci 
may 2010
Availability bias in judging average quality of life
"There's really not a lot of evidence against the idea that a very large subsection even of first world countries is unbearably miserable."
motivation  life 
may 2010
Harry Potter and the Methods of Rationality
Hilarious.
rationality  fiction  potter 
april 2010
A grand unified theory of AI
Popular account of some of the research in our lab.
ai  cogsci  church 
march 2010
Khan Academy
1000+ videos on YouTube covering everything from basic arithmetic and algebra to differential equations, physics, chemistry, biology and finance.
education  video  lectures 
december 2009
Pi
A pattern-based programming language.
pi  programming  language  patterns 
october 2009
ICFP 2009
Videos from the International Conference on Functional Programming, 2009.
functional  programming  conference  video 
october 2009
A Monte Carlo AIXI Approximation
Describes a scaled down AIXI agent that uses Monte Carlo Tree Search.
aixi  ai  hutter 
september 2009
The Pi Calculus
The π-calculus is to concurrent programs as the λ-calculus is to sequential programs (although the choice of π is not as canonical as that of λ).
compsci  programming  language  theory 
august 2009
All Souls College Philosophy Fellowship Exam (pdf)
If you want to practice reductive explanation and, before that, the dissolving/righting/making precise of questions, the All Souls exam has lots to offer.
philosophy  psychology  questions 
august 2009
Information, Physics and Computation
Draft of an introduction to the research field at the interface between statistical physics, theretical computer science/discrete mathematics, and coding/information theory.
math  physics  information  compsci  book 
july 2009
Metamath
Mathematics developed in complete detail from first principles, with absolute rigor (computer verified proofs).
math  logic 
july 2009
Leonard Susskind - Modern Physics
Video lectures on classical mechanics, special relativity, general relativity, and quantum mechanics.
physics  mechanics  video  lectures 
june 2009
Structure and Interpretation of Classical Mechanics
SICP style book on classical mechanics by Gerry Sussman and Jack Wisdom.
math  physics  programming  mechanics 
june 2009
Harik Shazeer Labs 
Ex-Googlers working on AI via probabilistic programming.
ai  probabilistic-programming 
june 2009
Quantity of experience: brain-duplication and degrees of consciousness (pdf)
"I show that [..] there can be, in a deep and intriguing sense, a fractional (non-integer) number of qualitatively identical phenomenal experiences."
qualia  bostrom 
may 2009
Paul Almond
Articles on ai, anthropics, minds and substrates, planning as modelling, Occam's razor and more.
ai  philosophy  mind  occam 
may 2009
Eric Schwitzgebel
Writes about phenomenal consciousness, belief and introspection.
philosophy  psychology  consciousness  introspection 
may 2009
CocoVivo
A rustic tropical island retreat for location-independent knowledge workers
panama  work  travel 
april 2009
The Tools Artists Use
Blog featuring interviews and articles about artists and their methods and modes of practice.
art  methodology  tools  blog 
april 2009
Picoeconomics
Picoeconomics is a developing framework for the analysis of motivation and motivational conflict.
economics  psychology  motivation  akrasia 
march 2009
An information integration theory of consciousness
"According to the theory, consciousness corresponds to the capacity of a system to integrate information."
consciousness  information  tononi 
march 2009
Giulio Tononi – Consciousness and the Brain
Giulio Tononi on how his theory of consciousness tries to explain the fundamental properties a system must have to be able to generate a conscious experience.
consciousness  information  video 
march 2009
Physics, Topology, Logic and Computation: A Rosetta Stone
A formal sketch of how category theory can serve to clarify the analogies between physics, topology, logic and computation.
physics  topology  logic  computation 
march 2009
Less Wrong
A community blog devoted to refining the art of human rationality.
rationality  yudkowsky  fhi 
february 2009
Bayes < Darwin-Wallace
"Bayes is a very limited special case of the replicator equation"
bayes  evolution  statistics 
february 2009
Edge: The World Question Center 2009
"What game-changing scientific ideas and developments do you expect to live to see?"
science  future  essays 
january 2009
Motion Mountain - The Adventure of Physics
"the story of physics in the way I would have liked to hear it as a student. Simple, vivid, up to date - and stimulating. I wanted to write a text that is never boring, always challenging and surprising."
physics  ebook 
december 2008
Mathematical undecidability and quantum randomness
"We demonstrate that the states of elementary quantum systems are capable of encoding mathematical axioms and show that quantum measurements are capable of revealing whether a given proposition is decidable or not within the axiomatic system."
math  quantum  physics 
december 2008
Life at Low Reynolds Number (pdf)
"the world is crazily different for tiny organisms (or other low-Reynolds number life)"
biology  physics 
november 2008
Why Sets? (pdf)
Sets play a key role in foundations of mathematics and computer science. Why?
math  compsci  settheory 
november 2008
Attention and the subjective expansion of time (pdf)
"During brief, dangerous events, such as car accidents and robberies, many people report that events seem to pass in slow motion, as if time had slowed down. [..] We attribute the subjective expansion of time to the engagement of attention and its influence on the amount of perceptual information processed."
time  perception  attention 
november 2008
Whole Brain Emulation Roadmap (pdf)
"if electrophysiological models are enough, full human brain emulations should be possible before mid‐century. Animal models of simple mammals would be possible one to two decades before this."
brain  emulation  futurism 
october 2008
Measuring the Crowd Within: Probabilistic Representations Within Individuals (pdf)
"Although people assume that their first guess about a matter of fact exhausts the best information available to them, a forced second guess contributes additional information, such that the average of two guesses is better than either guess alone."
probability  psychology  heuristics 
october 2008
Build your own probability monads (pdf)
"We introduce a modular toolkit for constructing probability monads, and show that it can be used for everything from discrete distributions to weighted particle filtering."
probability  theory  haskell 
october 2008
Learn You a Haskell for Great Good!
Convinced me of its greatness with the first sentence I read: "If you're the sort of horrible person who doesn't read introductions to things and you skipped it, [...]"
haskell  programming  tutorial 
october 2008
A Bayesian truth serum for subjective data (pdf)
A scoring method for eliciting truthful subjective data in situations where objective truth is unknowable. The method assigns high scores not to the most common answers but to the answers that are more common than collectively predicted.
bayes  collective  intelligence 
october 2008
The Online Brain
"swimming the shared waves of world consciousness; being a part of, and helping to build, this eternal soul"
scifi  futurism  brain  consciousness 
october 2008
« earlier      
See this user's network
*argh *dubious *informative *insightful *interesting 2005 2006 2020 3d :view academia addiction advice agents agi agiri ai aixi akrasia alex algebra algorithms amazon animation anissimov anthropic anthropology applescript application approximation art artificiallife ashby asimov astrobiology astronomy attention augmentation autocore autoverse barthes bayes berkeley biases bioinformatics biology blog book books boston bostrom brain brooks buddhism business calibration caltech cambridge career category category-theory causality chaitin chalmers change chaos chat chess christmas church cluster cmu code cognition cogpsy cogsci collab collatz collective combinatorics community competition compilation complexity compression compsci computation computing conditioning conference consciousness consumerism contest continuations copsci coq corbin cortex cosmology course creativity criticality criticism cryonics cryptography css culture cybernetics cyc dallemolle data database dawkins death deblanc decisions decisiontheory definition degaris democracy dennett depression design digitaldivide digitalphysics dilemma dirichlet distraction distributed dna documentary dreaming drexler drosophila drugs dynamic-programming ebook ec2 ecology economics economy edge education eeg egan emacs emergence empiricism emulation energy entropy enzymes ericbaum essays ethics eurisko evolution evolutionary existentialrisks expertise explanation extended fabrication fachschaft fairness feedback fermat feynman fhi fiction fodor formalization forum fourier freelancer freeman freewill freitas friendliness fun functional functional-programming functions funding future futurism game game-theory games genetics german germany git globalization goedel goertzel goldhaber google grant graph grid gödel hadoop hanson happiness hardware haskell hci health hegel heise heisenberg heuristics hiesinger history honesty hosting htm hutter hypothesis ibm ideas identity idsia image immortality incompleteness induction inference infinity information innovation inspiration intelligence internet interview intro introduction introspection jandrewrogers japan javascript jaynes journal kandel kelly knowledge kolmogorov konferenz kurzweil lambda-calculus language languages lanier learning lectures leitl lenat lesswrong levin lhc libet life lifeboat limitations linear linguistics links linux lisp literature location logic longevity love lucid mac machine machinelearning machines mahoney mail mainstream map mapreduce markov math mathematics mattweb mattwebb meaning mechanics medicine medina meditation memetics memory meta methodology microsoft mind mindpicnic mit mnt mobile model molecular morality motivation movie movies mri multiverse munich museum music nagel nanotechnology narratives natural network neumann neural-network neuroscience news nickhay nlp nonparametrics norvig notes novamente numenta nytimes occam onintelligence opensource order osnabrück overview oxytocin panama paradox parser past patents patterns paulallen pcp pearl peiwang people perception personality personhood philanthropy philosophy physics pi plan planning poetry politics polynomials population poster potter prediction present privacy prize probabilistic-programming probability probabilitytheory problems processing productivity programming progress prolog proof proposal proving pseudoscience psychology python qualia quantum questions quine quotes randomness ranking rationality reading reasoning recht recursion reductionism refactoring reference references reinforcement relativity religion replicator research review reviews rilke robots rsi russell s3 safety sampling scheme schmidhuber schneier school science scifi search secondlife security self semanticweb sentience sequencing seti settheory shannon signal similarity simulation singinst singularity sl4 sleep social society sociology software solomonoff space stallman starglider startup statistics storage stories storm story strategy studienstiftung studium summer supertechnology swiss syn systems talk technology ted tegmark Telepolis theorem theorem-proving theory thermodynamics thesis thinking thought threads time tipler tononi tools topology tracking trading transhumanism transvision travel tu turing tutorial ui ulam uploading valiant variational-principle vassar vi via:mattwebb video vinge volunteering voss wang war web-services web2.0 webmind wells wifi wiki wikipedia wilson wired wittgenstein wolfram work worm writing writings yoni yudkowsky yvain zendo

Copy this bookmark:



description:


tags: