recentpopularlog in

nhaliday : properties   53

What does it mean when a CSS rule is grayed out in Chrome's element inspector? - Stack Overflow
It seems that a strike-through indicates that a rule was overridden, but what does it mean when a style is grayed out?


Greyed/dimmed out text, can mean either

1. it's a default rule/property the browser applies, which includes defaulted short-hand properties.
2. It involves inheritance which is a bit more complicated.


In the case where a rule is applied to the currently selected element due to inheritance (i.e. the rule was applied to an ancestor, and the selected element inherited it), chrome will again display the entire ruleset.

The rules which are applied to the currently selected element appear in normal text.

If a rule exists in that set but is not applied because it's a non-inheritable property (e.g. background color), it will appear as greyed/dimmed text.
Please note, not the Styles panel (I know what greyed-out means in that context—not applied), but the next panel over, the Computed properties panel.
The gray calculated properties are neither default, nor inherited. This only occurs on properties that were not defined for the element, but _calculated_ from either its children or parent _based on runtime layout rendering_.

Take this simple page as an example, display is default and font-size is inherited:
q-n-a  stackex  programming  frontend  web  DSL  form-design  devtools  explanation  trivia  tip-of-tongue  direct-indirect  trees  spreading  multi  nitty-gritty  static-dynamic  constraint-satisfaction  ui  browser  properties 
october 2019 by nhaliday
Ask HN: Favorite note-taking software? | Hacker News
Ask HN: What is your ideal note-taking software and/or hardware?:

my wishlist as of 2019:
- web + desktop macOS + mobile iOS (at least viewing on the last but ideally also editing)
- sync across all those
- open-source data format that's easy to manipulate for scripting purposes
- flexible organization: mostly tree hierarchical (subsuming linear/unorganized) but with the option for directed (acyclic) graph (possibly a second layer of structure/linking)
- can store plain text, LaTeX, diagrams, sketches, and raster/vector images (video prob not necessary except as links to elsewhere)
- full-text search
- somehow digest/import data from Pinboard, Workflowy, Papers 3/Bookends, Skim, and iBooks/e-readers (esp. Kobo), ideally absorbing most of their functionality
- so, eg, track notes/annotations side-by-side w/ original PDF/DjVu/ePub documents (to replace Papers3/Bookends/Skim), and maybe web pages too (to replace Pinboard)
- OCR of handwritten notes (how to handle equations/diagrams?)
- various forms of NLP analysis of everything (topic models, clustering, etc)
- maybe version control (less important than export)

- Evernote prob ruled out do to heavy use of proprietary data formats (unless I can find some way to export with tolerably clean output)
- Workflowy/Dynalist are good but only cover a subset of functionality I want
- org-mode doesn't interact w/ mobile well (and I haven't evaluated it in detail otherwise)
- TiddlyWiki/Zim are in the running, but not sure about mobile
- idk about vimwiki but I'm not that wedded to vim and it seems less widely used than org-mode/TiddlyWiki/Zim so prob pass on that
- Quiver/Joplin/Inkdrop look similar and cover a lot of bases, TODO: evaluate more
- Trilium looks especially promising, tho read-only mobile and for macOS desktop look at this:
- RocketBook is interesting scanning/OCR solution but prob not sufficient due to proprietary data format
- TODO: many more candidates, eg, TreeSheets, Gingko, OneNote (macOS?...), Notion (proprietary data format...), Zotero, Nodebook (, Polar (, Roam (looks very promising)

Ask HN: What do you use for you personal note taking activity?:

Ask HN: What are your note-taking techniques?:

Ask HN: How do you take notes (useful note-taking strategies)?:

Ask HN: How to get better at taking notes?:

Ask HN: How do you keep your notes organized?:

Ask HN: How did you build up your personal knowledge base?:
nice comment from math guy on structure and difference between math and CS:
useful comment collating related discussions:
Designing a Personal Knowledge base:
Ask HN: How to organize personal knowledge?:
Do you use a personal 'knowledge base'?:
Ask HN: How do you share/organize knowledge at work and life?:
Managing my personal knowledge base:
The sad state of personal data and infrastructure:
Building personal search infrastructure for your knowledge and code:

How to annotate literally everything:
Ask HN: How do you organize document digests / personal knowledge?:
Ask HN: Good solution for storing notes/excerpts from books?:
Ask HN: What's your cross-platform pdf / ePub reading workflow?:
some related stuff in the reddit links at the bottom of this pin
How to capture information from your browser and stay sane

Ask HN: Best solutions for keeping a personal log?:

other stuff:
plain text:
Tiago Forte:

hn search:

Slant comparison commentary:

good comparison of options here in comments here (and Trilium itself looks good):

stuff from Andy Matuschak and Michael Nielsen on general note-taking:
Software interfaces undervalue peripheral vision! (a thread)
This morning I implemented PageRank to sort backlinks in my prototype note system. Mixed results!
One way to dream up post-book media to make reading more effective and meaningful is to systematize "expert" practices (e.g. How to Read a Book), so more people can do them, more reliably and more cheaply. But… the most erudite people I know don't actually do those things!

the memex essay and comments from various people including Andy on it:

some more stuff specific to Roam below, and cf "Why books don't work":


Knowledge systems which display contextual backlinks to a node open up an interesting new behavior. You can bootstrap a new node extensionally (rather than intensionally) by simply linking to it from many other nodes—even before it has any content.
Curious: what are the most striking public @RoamResearch pages that you know? I'd like to see examples of people using it for interesting purposes, or in interesting ways.
If I weren't doing my own research on questions in knowledge systems (which necessitates tinkering with my own), and if I weren't allergic to doing serious work in webapps, I'd likely use Roam instead!
interesting app:

intriguing but probably not appropriate for my needs:



one comment links to this, mostly on Notion:

Leo Editor (combines tree outlining w/ literate programming/scripting, I think?):


Coda mentioned

maybe not the best source for a review/advice

interesting comment(s) about tree outliners and spreadsheets:

hn  discussion  recommendations  software  tools  desktop  app  notetaking  exocortex  wkfly  wiki  productivity  multi  comparison  crosstab  properties  applicability-prereqs  nlp  info-foraging  chart  webapp  reference  q-n-a  retention  workflow  reddit  social  ratty  ssc  learning  studying  commentary  structure  thinking  network-structure  things  collaboration  ocr  trees  graphs  LaTeX  search  todo  project  money-for-time  synchrony  pinboard  state  duplication  worrydream  simplification-normalization  links  minimalism  design  neurons  ai-control  openai  miri-cfar  parsimony  intricacy  meta:reading  examples  prepping  new-religion  deep-materialism  techtariat  review  critique  mobile  integration-extension  interface-compatibility  api  twitter  backup  vgr  postrat  personal-finance  pragmatic  stay-organized  project-management  news  org:mag  epistemic  steel-man  explore-exploit  correlation  cost-benefit  convexity-curvature  michael-nielsen  hci  ux  oly  skunkworks  europe  germanic 
october 2019 by nhaliday
Regex cheatsheet
Many programs use regular expression to find & replace text. However, they tend to come with their own different flavor.

You can probably expect most modern software and programming languages to be using some variation of the Perl flavor, "PCRE"; however command-line tools (grep, less, ...) will often use the POSIX flavor (sometimes with an extended variant, e.g. egrep or sed -r). ViM also comes with its own syntax (a superset of what Vi accepts).

This cheatsheet lists the respective syntax of each flavor, and the software that uses it.

accidental complexity galore
techtariat  reference  cheatsheet  documentation  howto  yak-shaving  editors  strings  syntax  examples  crosstab  objektbuch  python  comparison  gotchas  tip-of-tongue  automata-languages  pls  trivia  properties  libraries  nitty-gritty  intricacy  degrees-of-freedom  DSL  programming 
june 2019 by nhaliday
What's the expected level of paper for top conferences in Computer Science - Academia Stack Exchange
Top. The top level.

My experience on program committees for STOC, FOCS, ITCS, SODA, SOCG, etc., is that there are FAR more submissions of publishable quality than can be accepted into the conference. By "publishable quality" I mean a well-written presentation of a novel, interesting, and non-trivial result within the scope of the conference.


There are several questions that come up over and over in the FOCS/STOC review cycle:

- How surprising / novel / elegant / interesting is the result?
- How surprising / novel / elegant / interesting / general are the techniques?
- How technically difficult is the result? Ironically, FOCS and STOC committees have a reputation for ignoring the distinction between trivial (easy to derive from scratch) and nondeterministically trivial (easy to understand after the fact).
- What is the expected impact of this result? Is this paper going to change the way people do theoretical computer science over the next five years?
- Is the result of general interest to the theoretical computer science community? Or is it only of interest to a narrow subcommunity? In particular, if the topic is outside the STOC/FOCS mainstream—say, for example, computational topology—does the paper do a good job of explaining and motivating the results to a typical STOC/FOCS audience?
nibble  q-n-a  overflow  academia  tcs  cs  meta:research  publishing  scholar  lens  properties  cost-benefit  analysis  impetus  increase-decrease  soft-question  motivation  proofs  search  complexity  analogy  problem-solving  elegance  synthesis  hi-order-bits  novelty  discovery 
june 2019 by nhaliday
Becoming a Man - Quillette
written by William Buckner

“In the puberty rites, the novices are made aware of the sacred value of food and assume the adult condition; that is, they no longer depend on their mothers and on the labor of others for nourishment. Initiation, then, is equivalent to a revelation of the sacred, of death, sexuality, and the struggle for food. Only after having acquired these dimensions of human existence does one become truly a man.” – Mircea Eliade, Rites and Symbols of Initiation: The Mysteries of Birth and Rebirth, 1958

“To be a man in most of the societies we have looked at, one must impregnate women, protect dependents from danger, and provision kith and kin.” – David D. Gilmore, Manhood in the Making, 1990

“Keep your head clear and know how to suffer like a man.” – Ernest Hemingway, The Old Man and the Sea, 1952

There are commonalities of human behavior that extend beyond any geographic or cultural boundary. Every known society has a sexual division of labor – many facets of which are ubiquitous the world over. Some activities are universally considered to be primarily, or exclusively, the responsibility of men, such as hunting large mammals, metalworking, and warfare. Other activities, such as caregiving, cooking, and preparing vegetable foods, are nearly always considered primarily the responsibility of women.


Across vastly different societies, with very dissimilar political systems, it is often similar sets of skills that are considered desirable for their (predominately male) leaders. A man can gain status through displays of key talents; through his ability to persuade; by developing and maintaining important social relationships; and by solving difficult problems. In his classic paper on the political systems of ‘egalitarian’ small-scale societies, anthropologist Christopher Boehm writes, “a good leader seems to be generous, brave in combat, wise in making subsistence or military decisions, apt at resolving intragroup conflicts, a good speaker, fair, impartial, tactful, reliable, and morally upright.” In his study on the Mardu hunter-gatherers of Australia, anthropologist Robert Tonkinson wrote that the highest status was given to the “cooks,” which is the title given to “the older men who prepare the many different ceremonial feasts, act as advisors and directors of most rituals (and perform the most important “big” dances), and are guardians of the caches of sacred objects.”

Anthropologist Paul Roscoe writes that some of the important skills of ‘Big Men’ in New Guinea horticulturist societies are, “courage and proficiency in war or hunting; talented oratory; ability in mediation and organization; a gift for singing, dancing, wood carving, and/or graphic artistry; the ability to transact pigs and wealth; ritual expertise; and so on.” In the volume Cooperation and Collective Action (2012), Roscoe notes further that the traits that distinguish a ‘Big Man’ are “his skills in…conflict resolution; his charisma, diplomacy, ability to plan, industriousness, and intelligence” and “his abilities in political manipulation.” In their paper on ‘The Big Man Mechanism,’ anthropologist Joseph Henrich and his colleagues describe the common pathways to status found across cultures, noting that, “In small-scale societies, the domains associated with prestige include hunting, oratory, shamanic knowledge and combat.”


In his book How Can I Get Through To You? (2002), author Terrence Real describes visiting a remote village of Maasai pastoralists in Tanzania. Real asked the village elders (all male) what makes a good warrior and a good man. After a vibrant discussion, one of the oldest males stood up and told Real;

I refuse to tell you what makes a good morani [warrior]. But I will tell you what makes a great morani. When the moment calls for fierceness a good morani is very ferocious. And when the moment calls for kindness, a good morani is utterly tender. Now, what makes a great morani is knowing which moment is which! (Real, 64)

This quote is also favorably cited by feminist author bell hooks in her book The Will to Change (2004). While hooks and Real offer perspectives quite different from my approach here, the words of the Massai elder illustrate an ideal conception of masculinity that may appeal to many people of diverse ideologies and cultural backgrounds. A great warrior, a great man, is discerning – not needlessly hostile nor chronically deferential, he instead recognizes the responsibilities of both defending, and caring for, his friends and family.


As anthropologist David G. Gilmore notes in Manhood in the Making, exhortations such as “be a man” are common across societies throughout the world. Such remarks represent the recognition that being a man came with a set of duties and responsibilities. If men failed to stay cool under pressure in the midst of hunting or warfare, and thus failed to provide for, or protect, their families and allies, this would have been devastating to their societies.

Throughout our evolutionary history, the cultures that had a sexual division of labor, and socialized males to help provide for and protect the group, would have had a better chance at survival, and would have outcompeted those societies that failed to instill such values.

Some would argue, quite reasonably, that in contemporary, industrialized, democratic societies, values associated with hunting and warfare are outmoded. Gilmore writes that, “So long as there are battles to be fought, wars to be won, heights to be scaled, hard work to be done, some of us will have to “act like men.”” Yet the challenges of modern societies for most people are often very different from those that occurred throughout much of our history.

Still, some common components of the traditional, idealized masculine identity I describe here may continue to be useful in the modern era, such as providing essential resources for the next generation of children, solving social conflicts, cultivating useful, practical skills, and obtaining socially valuable knowledge. Obviously, these traits are not, and need not be, restricted to men. But when it comes to teaching the next generation of young males what socially responsible masculinity looks like, it might be worth keeping these historical contributions in mind. Not as a standard that one should necessarily feel unduly pressured by, but as a set of productive goals and aspirations that can aid in personal development and social enrichment.

The Behavioral Ecology of Male Violence:

“Aggressive competition for access to mates is much
more beneficial for human males than for females…”
~Georgiev et al. 1


To understand why this pattern is so consistent across a wide variety of culturally and geographically diverse societies, we need to start by looking at sex differences in reproductive biology.

Biologically, individuals that produce small, relatively mobile gametes (sex cells), such as sperm or pollen, are defined as male, while individuals that produce larger, less mobile gametes, such as eggs or ovules, are defined as female. Consequently, males tend to have more variance in reproductive success than females, and a greater potential reproductive output. Emperor of Morocco, Moulay Ismael the Bloodthirsty (1672–1727) was estimated to have fathered 1171 children from 500 women over the course of 32 years,6 while the maximum recorded number of offspring for a woman is 69, attributed to an unnamed 18th century Russian woman married to a man named Feodor Vassilyev.


Across a wide variety of taxa, the sex that produces smaller, mobile gametes tends to invest less in parental care than the sex that produces larger, less mobile gametes. For over 90 percent of mammalian species, male investment in their offspring ends at conception, and they provide no parental care thereafter.7 A male mammal can often increase his reproductive success by seeking to maximize mating opportunities with females, and engaging in violent competition with rival males to do so. From a fitness perspective, it may be wasteful for a male to provide parental care, as it limits his reproductive output by reducing the time and energy he spends competing for mates.
news  org:mag  org:popup  letters  scitariat  gender  gender-diff  fashun  status  peace-violence  war  alien-character  social-structure  anthropology  sapiens  meaningness  planning  long-term  parenting  big-peeps  old-anglo  quotes  stereotypes  labor  farmers-and-foragers  properties  food  ritual  s-factor  courage  martial  vitality  virtu  aristos  uncertainty  outcome-risk  conquest-empire  leadership  impro  iq  machiavelli  dark-arts  henrich  religion  theos  europe  gallic  statesmen  politics  government  law  honor  civil-liberty  sociality  temperance  patience  responsibility  reputation  britain  optimate  checklists  advice  stylized-facts  prudence  EEA  evopsych  management  track-record  competition  coalitions  personality  links  multi  nature  model-organism  sex  deep-materialism  eden  moments  male-variability  fertility  developmental  investing  ecology  EGT  humanity  energy-resources  cooperate-defect  flexibility 
april 2018 by nhaliday
Theories of humor - Wikipedia
There are many theories of humor which attempt to explain what humor is, what social functions it serves, and what would be considered humorous. Among the prevailing types of theories that attempt to account for the existence of humor, there are psychological theories, the vast majority of which consider humor to be very healthy behavior; there are spiritual theories, which consider humor to be an inexplicable mystery, very much like a mystical experience.[1] Although various classical theories of humor and laughter may be found, in contemporary academic literature, three theories of humor appear repeatedly: relief theory, superiority theory, and incongruity theory.[2] Among current humor researchers, there is no consensus about which of these three theories of humor is most viable.[2] Proponents of each one originally claimed their theory to be capable of explaining all cases of humor.[2][3] However, they now acknowledge that although each theory generally covers its own area of focus, many instances of humor can be explained by more than one theory.[2][3][4][5] Incongruity and superiority theories, for instance, seem to describe complementary mechanisms which together create humor.[6]


Relief theory
Relief theory maintains that laughter is a homeostatic mechanism by which psychological tension is reduced.[2][3][7] Humor may thus for example serve to facilitate relief of the tension caused by one's fears.[8] Laughter and mirth, according to relief theory, result from this release of nervous energy.[2] Humor, according to relief theory, is used mainly to overcome sociocultural inhibitions and reveal suppressed desires. It is believed that this is the reason we laugh whilst being tickled, due to a buildup of tension as the tickler "strikes".[2][9] According to Herbert Spencer, laughter is an "economical phenomenon" whose function is to release "psychic energy" that had been wrongly mobilized by incorrect or false expectations. The latter point of view was supported also by Sigmund Freud.

Superiority theory
The superiority theory of humor traces back to Plato and Aristotle, and Thomas Hobbes' Leviathan. The general idea is that a person laughs about misfortunes of others (so called schadenfreude), because these misfortunes assert the person's superiority on the background of shortcomings of others.[10] Socrates was reported by Plato as saying that the ridiculous was characterized by a display of self-ignorance.[11] For Aristotle, we laugh at inferior or ugly individuals, because we feel a joy at feeling superior to them.[12]

Incongruous juxtaposition theory
The incongruity theory states that humor is perceived at the moment of realization of incongruity between a concept involved in a certain situation and the real objects thought to be in some relation to the concept.[10]

Since the main point of the theory is not the incongruity per se, but its realization and resolution (i.e., putting the objects in question into the real relation), it is often called the incongruity-resolution theory.[10]


Detection of mistaken reasoning
In 2011, three researchers, Hurley, Dennett and Adams, published a book that reviews previous theories of humor and many specific jokes. They propose the theory that humor evolved because it strengthens the ability of the brain to find mistakes in active belief structures, that is, to detect mistaken reasoning.[46] This is somewhat consistent with the sexual selection theory, because, as stated above, humor would be a reliable indicator of an important survival trait: the ability to detect mistaken reasoning. However, the three researchers argue that humor is fundamentally important because it is the very mechanism that allows the human brain to excel at practical problem solving. Thus, according to them, humor did have survival value even for early humans, because it enhanced the neural circuitry needed to survive.

Misattribution theory
Misattribution is one theory of humor that describes an audience's inability to identify exactly why they find a joke to be funny. The formal theory is attributed to Zillmann & Bryant (1980) in their article, "Misattribution Theory of Tendentious Humor", published in Journal of Experimental Social Psychology. They derived the critical concepts of the theory from Sigmund Freud's Wit and Its Relation to the Unconscious (note: from a Freudian perspective, wit is separate from humor), originally published in 1905.

Benign violation theory
The benign violation theory (BVT) is developed by researchers A. Peter McGraw and Caleb Warren.[47] The BVT integrates seemingly disparate theories of humor to predict that humor occurs when three conditions are satisfied: 1) something threatens one's sense of how the world "ought to be", 2) the threatening situation seems benign, and 3) a person sees both interpretations at the same time.

From an evolutionary perspective, humorous violations likely originated as apparent physical threats, like those present in play fighting and tickling. As humans evolved, the situations that elicit humor likely expanded from physical threats to other violations, including violations of personal dignity (e.g., slapstick, teasing), linguistic norms (e.g., puns, malapropisms), social norms (e.g., strange behaviors, risqué jokes), and even moral norms (e.g., disrespectful behaviors). The BVT suggests that anything that threatens one's sense of how the world "ought to be" will be humorous, so long as the threatening situation also seems benign.


Sense of humor, sense of seriousness
One must have a sense of humor and a sense of seriousness to distinguish what is supposed to be taken literally or not. An even more keen sense is needed when humor is used to make a serious point.[48][49] Psychologists have studied how humor is intended to be taken as having seriousness, as when court jesters used humor to convey serious information. Conversely, when humor is not intended to be taken seriously, bad taste in humor may cross a line after which it is taken seriously, though not intended.[50]

Philosophy of humor bleg:

Inside Jokes:
humor as reward for discovering inconsistency in inferential chain
People of all ages and cultures respond to humour. Most people are able to experience humour—be amused, smile or laugh at something funny—and thus are considered to have a sense of humour. The hypothetical person lacking a sense of humour would likely find the behaviour inducing it to be inexplicable, strange, or even irrational.


Ancient Greece
Western humour theory begins with Plato, who attributed to Socrates (as a semi-historical dialogue character) in the Philebus (p. 49b) the view that the essence of the ridiculous is an ignorance in the weak, who are thus unable to retaliate when ridiculed. Later, in Greek philosophy, Aristotle, in the Poetics (1449a, pp. 34–35), suggested that an ugliness that does not disgust is fundamental to humour.


Confucianist Neo-Confucian orthodoxy, with its emphasis on ritual and propriety, has traditionally looked down upon humour as subversive or unseemly. The Confucian "Analects" itself, however, depicts the Master as fond of humorous self-deprecation, once comparing his wanderings to the existence of a homeless dog.[10] Early Daoist philosophical texts such as "Zhuangzi" pointedly make fun of Confucian seriousness and make Confucius himself a slow-witted figure of fun.[11] Joke books containing a mix of wordplay, puns, situational humor, and play with taboo subjects like sex and scatology, remained popular over the centuries. Local performing arts, storytelling, vernacular fiction, and poetry offer a wide variety of humorous styles and sensibilities.


Physical attractiveness
90% of men and 81% of women, all college students, report having a sense of humour is a crucial characteristic looked for in a romantic partner.[21] Humour and honesty were ranked as the two most important attributes in a significant other.[22] It has since been recorded that humour becomes more evident and significantly more important as the level of commitment in a romantic relationship increases.[23] Recent research suggests expressions of humour in relation to physical attractiveness are two major factors in the desire for future interaction.[19] Women regard physical attractiveness less highly compared to men when it came to dating, a serious relationship, and sexual intercourse.[19] However, women rate humorous men more desirable than nonhumorous individuals for a serious relationship or marriage, but only when these men were physically attractive.[19]

Furthermore, humorous people are perceived by others to be more cheerful but less intellectual than nonhumorous people. Self-deprecating humour has been found to increase the desirability of physically attractive others for committed relationships.[19] The results of a study conducted by McMaster University suggest humour can positively affect one’s desirability for a specific relationship partner, but this effect is only most likely to occur when men use humour and are evaluated by women.[24] No evidence was found to suggest men prefer women with a sense of humour as partners, nor women preferring other women with a sense of humour as potential partners.[24] When women were given the forced-choice design in the study, they chose funny men as potential … [more]
article  list  wiki  reference  psychology  cog-psych  social-psych  emotion  things  phalanges  concept  neurons  instinct  👽  comedy  models  theory-of-mind  explanans  roots  evopsych  signaling  humanity  logic  sex  sexuality  cost-benefit  iq  intelligence  contradiction  homo-hetero  egalitarianism-hierarchy  humility  reinforcement  EEA  eden  play  telos-atelos  impetus  theos  mystic  philosophy  big-peeps  the-classics  literature  inequality  illusion  within-without  dennett  dignity  social-norms  paradox  parallax  analytical-holistic  multi  econotariat  marginal-rev  discussion  speculation  books  impro  carcinisation  postrat  cool  twitter  social  quotes  commentary  search  farmers-and-foragers  🦀  evolution  sapiens  metameta  insight  novelty  wire-guided  realness  chart  beauty  nietzschean  class  pop-diff  culture  alien-character  confucian  order-disorder  sociality  🐝  integrity  properties  gender  gender-diff  china  asia  sinosphere  long-short-run  trust  religion  ideology  elegance  psycho-atoms 
april 2018 by nhaliday
AI-complete - Wikipedia
In the field of artificial intelligence, the most difficult problems are informally known as AI-complete or AI-hard, implying that the difficulty of these computational problems is equivalent to that of solving the central artificial intelligence problem—making computers as intelligent as people, or strong AI.[1] To call a problem AI-complete reflects an attitude that it would not be solved by a simple specific algorithm.

AI-complete problems are hypothesised to include computer vision, natural language understanding, and dealing with unexpected circumstances while solving any real world problem.[2]

Currently, AI-complete problems cannot be solved with modern computer technology alone, but would also require human computation. This property can be useful, for instance to test for the presence of humans as with CAPTCHAs, and for computer security to circumvent brute-force attacks.[3][4]


AI-complete problems are hypothesised to include:

Bongard problems
Computer vision (and subproblems such as object recognition)
Natural language understanding (and subproblems such as text mining, machine translation, and word sense disambiguation[8])
Dealing with unexpected circumstances while solving any real world problem, whether it's navigation or planning or even the kind of reasoning done by expert systems.


Current AI systems can solve very simple and/or restricted versions of AI-complete problems, but never in their full generality. When AI researchers attempt to "scale up" their systems to handle more complicated, real world situations, the programs tend to become excessively brittle without commonsense knowledge or a rudimentary understanding of the situation: they fail as unexpected circumstances outside of its original problem context begin to appear. When human beings are dealing with new situations in the world, they are helped immensely by the fact that they know what to expect: they know what all things around them are, why they are there, what they are likely to do and so on. They can recognize unusual situations and adjust accordingly. A machine without strong AI has no other skills to fall back on.[9]
concept  reduction  cs  computation  complexity  wiki  reference  properties  computer-vision  ai  risk  ai-control  machine-learning  deep-learning  language  nlp  order-disorder  tactics  strategy  intelligence  humanity  speculation  crux 
march 2018 by nhaliday
Overcoming Bias : Why Ethnicity, Class, & Ideology? 
Individual humans can be described via many individual features that are useful in predicting what they do. Such features include gender, age, personality, intelligence, ethnicity, income, education, profession, height, geographic location, and so on. Different features are more useful for predicting different kinds of behavior.

One kind of human behavior is coalition politics; we join together into coalitions within political and other larger institutions. People in the same coalition tend to have features in common, though which exact features varies by time and place. But while in principle the features that describe coalitions could vary arbitrarily by time and place, we in actual fact see more consistent patterns.


You might be right about small scale coalitions, such as cliques, gangs, and clubs. And you might even be right about larger scale political coalitions in the ancient world. But you’d be wrong about our larger scale political coalitions today. While there are often weak correlations with such features, larger scale political coalitions are not mainly based on the main individual features of gender, age, etc. Instead, they are more often based on ethnicity, class, and “political ideology” preferences. While ideology is famously difficult to characterize, and it does vary by time and place, it is also somewhat consistent across time and space.
ratty  hanson  speculation  ideas  questions  hmm  idk  politics  polisci  ideology  coalitions  anthropology  sociology  coordination  tribalism  properties  things  phalanges  roots  demographics  race  class  curiosity  stylized-facts  impetus  organizing  interests  hari-seldon  sociality  cybernetics 
august 2017 by nhaliday
Harmonic mean - Wikipedia
The harmonic mean is a Schur-concave function, and dominated by the minimum of its arguments, in the sense that for any positive set of arguments, {\displaystyle \min(x_{1}\ldots x_{n})\leq H(x_{1}\ldots x_{n})\leq n\min(x_{1}\ldots x_{n})} . Thus, the harmonic mean cannot be made arbitrarily large by changing some values to bigger ones (while having at least one value unchanged).

more generally, for the weighted mean w/ Pr(x_i)=t_i, H(x1,...,xn) <= x_i/t_i
nibble  math  properties  estimate  concept  definition  wiki  reference  extrema  magnitude  expectancy  metrics  ground-up 
july 2017 by nhaliday
FROM OBEDIENCE TO AUTONOMY CHANGES IN TRAITS DESIRED IN CHILDREN, 1924–1978 | Public Opinion Quarterly | Oxford Academic
Mothers want extraversion over conscientiousness or intelligence for their children:

What Should Children Learn? Americans’ Changing Socialization Values, 1986–2018:
Preferences for hard work increased steadily whereas preferences for autonomy, the top-ranked quality throughout the period, declined. There was some indication of enduring self-expression values, as support for compassion increased and its relative importance to hard work stayed stable. Decomposition analyses show valuing hard work would have been even greater without demographic changes like an increase in college graduates. Aligning with earlier research, valuing obedience in children continued to decline.
study  sociology  psychology  social-psych  parenting  trends  zeitgeist  rot  the-bones  phalanges  values  legacy  personality  piracy  history  mostly-modern  usa  demographics  temperance  duty  westminster  religion  class  nationalism-globalism  pdf  modernity  multi  twitter  social  commentary  gnon  unaffiliated  right-wing  properties  ranking  individualism-collectivism  expression-survival  farmers-and-foragers  open-closed  extra-introversion  iq  discipline  flux-stasis 
june 2017 by nhaliday
More on Multivariate Gaussians
Fact #1: mean and covariance uniquely determine distribution
Fact #3: closure under sum, marginalizing, and conditioning
covariance of conditional distribution is given by a Schur complement (independent of x_B. is that obvious?)
pdf  exposition  lecture-notes  stanford  nibble  distribution  acm  machine-learning  probability  levers  calculation  ground-up  characterization  rigidity  closure  nitty-gritty  linear-algebra  properties 
february 2017 by nhaliday
Relationships among probability distributions - Wikipedia
- One distribution is a special case of another with a broader parameter space
- Transforms (function of a random variable);
- Combinations (function of several variables);
- Approximation (limit) relationships;
- Compound relationships (useful for Bayesian inference);
- Duality;
- Conjugate priors.
stats  probability  characterization  list  levers  wiki  reference  objektbuch  calculation  distribution  nibble  cheatsheet  closure  composition-decomposition  properties 
february 2017 by nhaliday
The Predictive Validity of Ideal Partner Preferences: A Review and Meta-Analysis
[A] new meta-analysis spanning the attraction and relationships literatures (k=97) revealed that physical attractiveness predicted romantic evaluations with a moderate-to-strong effect size (r = ~.40) for both sexes, and earning prospects predicted romantic evaluations with a small effect size (r = ~.10) for both sexes. Sex differences in the correlations were small (r_difference = .03) and uniformly nonsignificant.

Mating markets and bargaining hands: Mate preferences for attractiveness and resources in two national U.S. studies:

Assessing Female Mate Preferences: Answers to Ten Common Criticisms of Evolutionary Psychology:

How Important is Physical Attractiveness in the Marriage Market:
For men, the results show that being unattractive decreases the likelihood of finding a partner, of finding a partner with a university degree, and of finding a partner with a higher educational level. For women, physical attractiveness does not affect the likelihood of any of those events occurring. The study has also found out that physical attractiveness has more of an influence on people with a working class background to find a partner with higher educational attainment. These results are unexpected and pose a challenge to the theory of erotic capital.
pdf  study  meta-analysis  psychology  social-psych  evopsych  gender  values  sex  🐝  compensation  science-anxiety  gender-diff  chart  solid-study  multi  piracy  twitter  social  commentary  gnon  🐸  embodied  money  status  null-result  data  poll  properties  survey  summary  scitariat  expert  org:mag  news  sociology  anthropology  class  human-capital  :/  attaq  stylized-facts  hmm  expert-experience  theory-of-mind  get-fit 
january 2017 by nhaliday
Shtetl-Optimized » Blog Archive » Why I Am Not An Integrated Information Theorist (or, The Unconscious Expander)
In my opinion, how to construct a theory that tells us which physical systems are conscious and which aren’t—giving answers that agree with “common sense” whenever the latter renders a verdict—is one of the deepest, most fascinating problems in all of science. Since I don’t know a standard name for the problem, I hereby call it the Pretty-Hard Problem of Consciousness. Unlike with the Hard Hard Problem, I don’t know of any philosophical reason why the Pretty-Hard Problem should be inherently unsolvable; but on the other hand, humans seem nowhere close to solving it (if we had solved it, then we could reduce the abortion, animal rights, and strong AI debates to “gentlemen, let us calculate!”).

Now, I regard IIT as a serious, honorable attempt to grapple with the Pretty-Hard Problem of Consciousness: something concrete enough to move the discussion forward. But I also regard IIT as a failed attempt on the problem. And I wish people would recognize its failure, learn from it, and move on.

In my view, IIT fails to solve the Pretty-Hard Problem because it unavoidably predicts vast amounts of consciousness in physical systems that no sane person would regard as particularly “conscious” at all: indeed, systems that do nothing but apply a low-density parity-check code, or other simple transformations of their input data. Moreover, IIT predicts not merely that these systems are “slightly” conscious (which would be fine), but that they can be unboundedly more conscious than humans are.

To justify that claim, I first need to define Φ. Strikingly, despite the large literature about Φ, I had a hard time finding a clear mathematical definition of it—one that not only listed formulas but fully defined the structures that the formulas were talking about. Complicating matters further, there are several competing definitions of Φ in the literature, including ΦDM (discrete memoryless), ΦE (empirical), and ΦAR (autoregressive), which apply in different contexts (e.g., some take time evolution into account and others don’t). Nevertheless, I think I can define Φ in a way that will make sense to theoretical computer scientists. And crucially, the broad point I want to make about Φ won’t depend much on the details of its formalization anyway.

We consider a discrete system in a state x=(x1,…,xn)∈Sn, where S is a finite alphabet (the simplest case is S={0,1}). We imagine that the system evolves via an “updating function” f:Sn→Sn. Then the question that interests us is whether the xi‘s can be partitioned into two sets A and B, of roughly comparable size, such that the updates to the variables in A don’t depend very much on the variables in B and vice versa. If such a partition exists, then we say that the computation of f does not involve “global integration of information,” which on Tononi’s theory is a defining aspect of consciousness.
aaronson  tcstariat  philosophy  dennett  interdisciplinary  critique  nibble  org:bleg  within-without  the-self  neuro  psychology  cog-psych  metrics  nitty-gritty  composition-decomposition  complex-systems  cybernetics  bits  information-theory  entropy-like  forms-instances  empirical  walls  arrows  math.DS  structure  causation  quantitative-qualitative  number  extrema  optimization  abstraction  explanation  summary  degrees-of-freedom  whole-partial-many  network-structure  systematic-ad-hoc  tcs  complexity  hardness  no-go  computation  measurement  intricacy  examples  counterexample  coding-theory  linear-algebra  fields  graphs  graph-theory  expanders  math  math.CO  properties  local-global  intuition  error  definition  coupling-cohesion 
january 2017 by nhaliday
Kullback–Leibler divergence - Wikipedia, the free encyclopedia
see especially
Kullback-Leibler divergence has an enormous number of interpretations and uses: psychological, epistemic, thermodynamic, statistical, computational, geometrical... I am pretty sure I could teach an entire graduate seminar on it.
information-theory  math  wiki  probability  concept  reference  acm  hmm  atoms  operational  characterization  metrics  bits  entropy-like  nibble  properties  multi  twitter  social  discussion  backup 
may 2016 by nhaliday

Copy this bookmark:

to read