nhaliday + cool   149

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 
august 2019 by nhaliday
Frama-C
Frama-C is organized with a plug-in architecture (comparable to that of the Gimp or Eclipse). A common kernel centralizes information and conducts the analysis. Plug-ins interact with each other through interfaces defined by the kernel. This makes for robustness in the development of Frama-C while allowing a wide functionality spectrum.

...

Three heavyweight plug-ins that are used by the other plug-ins:

- Eva (Evolved Value analysis)
This plug-in computes variation domains for variables. It is quite automatic, although the user may guide the analysis in places. It handles a wide spectrum of C constructs. This plug-in uses abstract interpretation techniques.
- Jessie and Wp, two deductive verification plug-ins
These plug-ins are based on weakest precondition computation techniques. They allow to prove that C functions satisfy their specification as expressed in ACSL. These proofs are modular: the specifications of the called functions are used to establish the proof without looking at their code.

For browsing unfamiliar code:
- Impact analysis
This plug-in highlights the locations in the source code that are impacted by a modification.
- Scope & Data-flow browsing
This plug-in allows the user to navigate the dataflow of the program, from definition to use or from use to definition.
- Variable occurrence browsing
Also provided as a simple example for new plug-in development, this plug-in allows the user to reach the statements where a given variable is used.
- Metrics calculation
This plug-in allows the user to compute various metrics from the source code.

For code transformation:
- Semantic constant folding
This plug-in makes use of the results of the evolved value analysis plug-in to replace, in the source code, the constant expressions by their values. Because it relies on EVA, it is able to do more of these simplifications than a syntactic analysis would.
- Slicing
This plug-in slices the code according to a user-provided criterion: it creates a copy of the program, but keeps only those parts which are necessary with respect to the given criterion.
- Spare code: remove "spare code", code that does not contribute to the final results of the program.
- E-ACSL: translate annotations into C code for runtime assertion checking.
For verifying functional specifications:

- Aoraï: verify specifications expressed as LTL (Linear Temporal Logic) formulas
Other functionalities documented together with the EVA plug-in can be considered as verifying low-level functional specifications (inputs, outputs, dependencies,…)
For test-case generation:

- PathCrawler automatically finds test-case inputs to ensure coverage of a C function. It can be used for structural unit testing, as a complement to static analysis or to study the feasible execution paths of the function.
For concurrent programs:

- Mthread
This plug-in automatically analyzes concurrent C programs, using the EVA plug-in, taking into account all possible thread interactions. At the end of its execution, the concurrent behavior of each thread is over-approximated, resulting in precise information about shared variables, which mutex protects a part of the code, etc.
Front-end for other languages

- Frama-Clang
This plug-in provides a C++ front-end to Frama-C, based on the clang compiler. It transforms C++ code into a Frama-C AST, which can then be analyzed by the plug-ins above. Note however that it is very experimental and only supports a subset of C++11
tools  devtools  formal-methods  programming  software  c(pp)  systems  memory-management  ocaml-sml  debugging  checking  rigor  oss  code-dive  graphs  state  metrics  llvm  gallic  cool  worrydream  impact  flux-stasis  correctness  computer-memory  structure  static-dynamic 
may 2019 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: http://marginalrevolution.com/marginalrevolution/2017/03/philosophy-humor-bleg.html

Inside Jokes: https://mitpress.mit.edu/books/inside-jokes
humor as reward for discovering inconsistency in inferential chain

https://twitter.com/search?q=comedy%20OR%20humor%20OR%20humour%20from%3Asarahdoingthing&src=typd
https://twitter.com/sarahdoingthing/status/500000435529195520

https://twitter.com/sarahdoingthing/status/568346955811663872
https://twitter.com/sarahdoingthing/status/600792582453465088
https://twitter.com/sarahdoingthing/status/603215362033778688
https://twitter.com/sarahdoingthing/status/605051508472713216
https://twitter.com/sarahdoingthing/status/606197597699604481
https://twitter.com/sarahdoingthing/status/753514548787683328

https://en.wikipedia.org/wiki/Humour
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.

...

China
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
Antinomia Imediata – experiments in a reaction from the left
https://antinomiaimediata.wordpress.com/lrx/
So, what is the Left Reaction? First of all, it’s reaction: opposition to the modern rationalist establishment, the Cathedral. It opposes the universalist Jacobin program of global government, favoring a fractured geopolitics organized through long-evolved complex systems. It’s profoundly anti-socialist and anti-communist, favoring market economy and individualism. It abhors tribalism and seeks a realistic plan for dismantling it (primarily informed by HBD and HBE). It looks at modernity as a degenerative ratchet, whose only way out is intensification (hence clinging to crypto-marxist market-driven acceleration).

How come can any of this still be in the *Left*? It defends equality of power, i.e. freedom. This radical understanding of liberty is deeply rooted in leftist tradition and has been consistently abhored by the Right. LRx is not democrat, is not socialist, is not progressist and is not even liberal (in its current, American use). But it defends equality of power. It’s utopia is individual sovereignty. It’s method is paleo-agorism. The anti-hierarchy of hunter-gatherer nomads is its understanding of the only realistic objective of equality.

...

In more cosmic terms, it seeks only to fulfill the Revolution’s side in the left-right intelligence pump: mutation or creation of paths. Proudhon’s antinomy is essentially about this: the collective force of the socius, evinced in moral standards and social organization vs the creative force of the individuals, that constantly revolutionize and disrupt the social body. The interplay of these forces create reality (it’s a metaphysics indeed): the Absolute (socius) builds so that the (individualistic) Revolution can destroy so that the Absolute may adapt, and then repeat. The good old formula of ‘solve et coagula’.

Ultimately, if the Neoreaction promises eternal hell, the LRx sneers “but Satan is with us”.

https://antinomiaimediata.wordpress.com/2016/12/16/a-statement-of-principles/
Liberty is to be understood as the ability and right of all sentient beings to dispose of their persons and the fruits of their labor, and nothing else, as they see fit. This stems from their self-awareness and their ability to control and choose the content of their actions.

...

Equality is to be understood as the state of no imbalance of power, that is, of no subjection to another sentient being. This stems from their universal ability for empathy, and from their equal ability for reason.

...

It is important to notice that, contrary to usual statements of these two principles, my standpoint is that Liberty and Equality here are not merely compatible, meaning they could coexist in some possible universe, but rather they are two sides of the same coin, complementary and interdependent. There can be NO Liberty where there is no Equality, for the imbalance of power, the state of subjection, will render sentient beings unable to dispose of their persons and the fruits of their labor[1], and it will limit their ability to choose over their rightful jurisdiction. Likewise, there can be NO Equality without Liberty, for restraining sentient beings’ ability to choose and dispose of their persons and fruits of labor will render some more powerful than the rest, and establish a state of subjection.

https://antinomiaimediata.wordpress.com/2017/04/18/flatness/
equality is the founding principle (and ultimately indistinguishable from) freedom. of course, it’s only in one specific sense of “equality” that this sentence is true.

to try and eliminate the bullshit, let’s turn to networks again:

any nodes’ degrees of freedom is the number of nodes they are connected to in a network. freedom is maximum when the network is symmetrically connected, i. e., when all nodes are connected to each other and thus there is no topographical hierarchy (middlemen) – in other words, flatness.

in this understanding, the maximization of freedom is the maximization of entropy production, that is, of intelligence. As Land puts it:

https://antinomiaimediata.wordpress.com/category/philosophy/mutualism/
gnon  blog  stream  politics  polisci  ideology  philosophy  land  accelerationism  left-wing  right-wing  paradox  egalitarianism-hierarchy  civil-liberty  power  hmm  revolution  analytical-holistic  mutation  selection  individualism-collectivism  tribalism  us-them  modernity  multi  tradeoffs  network-structure  complex-systems  cybernetics  randy-ayndy  insight  contrarianism  metameta  metabuch  characterization  cooperate-defect  n-factor  altruism  list  coordination  graphs  visual-understanding  cartoons  intelligence  entropy-like  thermo  information-theory  order-disorder  decentralized  distribution  degrees-of-freedom  analogy  graph-theory  extrema  evolution  interdisciplinary  bio  differential  geometry  anglosphere  optimate  nascent-state  deep-materialism  new-religion  cool  mystic  the-classics  self-interest  interests  reason  volo-avolo  flux-stasis  invariance  government  markets  paying-rent  cost-benefit  peace-violence  frontier  exit-voice  nl-and-so-can-you  war  track-record  usa  history  mostly-modern  world-war  military  justice  protestant-cathol 
march 2018 by nhaliday
Indiana Jones, Economist?! - Marginal REVOLUTION
In a stunningly original paper Gojko Barjamovic, Thomas Chaney, Kerem A. Coşar, and Ali Hortaçsu use the gravity model of trade to infer the location of lost cities from Bronze age Assyria! The simplest gravity model makes predictions about trade flows based on the sizes of cities and the distances between them. More complicated models add costs based on geographic barriers. The authors have data from ancient texts on trade flows between all the cities, they know the locations of some of the cities, and they know the geography of the region. Using this data they can invert the gravity model and, triangulating from the known cities, find the lost cities that would best “fit” the model. In other words, by assuming the model is true the authors can predict where the lost cities should be located. To test the idea the authors pretend that some known cities are lost and amazingly the model is able to accurately rediscover those cities.
econotariat  marginal-rev  commentary  study  summary  economics  broad-econ  cliometrics  interdisciplinary  letters  history  antiquity  MENA  urban  geography  models  prediction  archaeology  trade  trivia  cocktail  links  cool  tricks  urban-rural  inference  traces 
november 2017 by nhaliday
The weirdest people in the world?
Abstract: Behavioral scientists routinely publish broad claims about human psychology and behavior in the world’s top journals based on samples drawn entirely from Western, Educated, Industrialized, Rich, and Democratic (WEIRD) societies. Researchers – often implicitly – assume that either there is little variation across human populations, or that these “standard subjects” are as representative of the species as any other population. Are these assumptions justified? Here, our review of the comparative database from across the behavioral sciences suggests both that there is substantial variability in experimental results across populations and that WEIRD subjects are particularly unusual compared with the rest of the species – frequent outliers. The domains reviewed include visual perception, fairness, cooperation, spatial reasoning, categorization and inferential induction, moral reasoning, reasoning styles, self-concepts and related motivations, and the heritability of IQ. The findings suggest that members of WEIRD societies, including young children, are among the least representative populations one could find for generalizing about humans. Many of these findings involve domains that are associated with fundamental aspects of psychology, motivation, and behavior – hence, there are no obvious a priori grounds for claiming that a particular behavioral phenomenon is universal based on sampling from a single subpopulation. Overall, these empirical patterns suggests that we need to be less cavalier in addressing questions of human nature on the basis of data drawn from this particularly thin, and rather unusual, slice of humanity. We close by proposing ways to structurally re-organize the behavioral sciences to best tackle these challenges.
pdf  study  microfoundations  anthropology  cultural-dynamics  sociology  psychology  social-psych  cog-psych  iq  biodet  behavioral-gen  variance-components  psychometrics  psych-architecture  visuo  spatial  morality  individualism-collectivism  n-factor  justice  egalitarianism-hierarchy  cooperate-defect  outliers  homo-hetero  evopsych  generalization  henrich  europe  the-great-west-whale  occident  organizing  🌞  universalism-particularism  applicability-prereqs  hari-seldon  extrema  comparison  GT-101  ecology  EGT  reinforcement  anglo  language  gavisti  heavy-industry  marginal  absolute-relative  reason  stylized-facts  nature  systematic-ad-hoc  analytical-holistic  science  modernity  behavioral-econ  s:*  illusion  cool  hmm  coordination  self-interest  social-norms  population  density  humanity  sapiens  farmers-and-foragers  free-riding  anglosphere  cost-benefit  china  asia  sinosphere  MENA  world  developing-world  neurons  theory-of-mind  network-structure  nordic  orient  signum  biases  usa  optimism  hypocrisy  humility  within-without  volo-avolo  domes 
november 2017 by nhaliday
One-for-One Rule - Canada.ca
How does it change current practices?
Businesses told the Red Tape Reduction Commission that the burden of existing regulation has been growing unchecked.

The One-for-One Rule requires regulatory changes that increase administrative burden costs to be offset with equal reductions in administrative burden. In addition, ministers are required to remove at least one regulation when they introduce a new one that imposes administrative burden costs on business.

Guidelines and tools are available to help departments and agencies implement these new requirements.
org:gov  org:anglo  canada  anglo  institutions  alt-inst  law  government  marginal  cool  regulation  axioms 
june 2017 by nhaliday
The story of modern human origins just got more complicated
https://www.gnxp.com/WordPress/2017/06/06/a-reticulation-pulse-expansion-of-modern-human-genetic-variation/
https://www.gnxp.com/WordPress/2017/06/11/the-search-for-eden-opens-up-new-vistas/
https://www.gnxp.com/WordPress/2017/08/26/northeast-africa/

https://www.gnxp.com/WordPress/2018/01/25/out-of-africa-to-out-of-eden-well-perhaps-not-yet/
https://www.gnxp.com/WordPress/2018/01/28/none-dare-call-it-multiregionalism/

The slow death of Out of Africa: http://dienekes.blogspot.com/2018/04/the-slow-death-of-out-of-africa.html
The significance of the discovery of modern humans in Arabia >85kya is that it provides a second spot (other than Israel) were modern humans existed outside Africa long before the alleged 60kya blitz out of the continent. We now have modern humans outside Africa in roughly two locations (Israel and Arabia), and three time slices (~175-85kya) in Misliya, Shkul/Qafzeh, and Al Wusta-1. It is no longer tenable to claim that these modern humans "died out" to make way for the alleged 60kya OoA event.
org:med  west-hunter  scitariat  commentary  study  summary  sapiens  roots  africa  world  europe  asia  pop-structure  archaics  gene-flow  diversity  genetics  history  antiquity  migration  big-picture  explanation  pop-diff  homo-hetero  intricacy  cool  s:*  multi  gnxp  archaeology  anthropology  MENA  aDNA  eden  israel  chart 
june 2017 by nhaliday
Why The Best Supreme Court Predictor In The World Is Some Random Guy In Queens | FiveThirtyEight
https://fantasyscotus.lexpredict.com/

Jacob Berlove, 30, of Queens, is the best human Supreme Court predictor in the world. Actually, forget the qualifier. He’s the best Supreme Court predictor in the world. He won FantasySCOTUS three years running. He correctly predicts cases more than 80 percent of the time. He plays under the name “Melech” — “king” in Hebrew.

Berlove has no formal legal training. Nor does he use statistical analyses to aid his predictions. He got interested in the Supreme Court in elementary school, reading his local paper, the Cincinnati Enquirer. In high school, he stumbled upon a constitutional law textbook.

“I read through huge chunks of it and I had a great time,” he told me. “I learned a lot over that weekend.”

Berlove has a prodigious memory for justices’ past decisions and opinions, and relies heavily on their colloquies in oral arguments. When we spoke, he had strong feelings about certain justices’ oratorical styles and how they affected his predictions.

Some justices are easy to predict. “I really appreciate Justice Scalia’s candor,” he said. “In oral arguments, 90 percent of the time he makes it very clear what he is thinking.”

Some are not. “To some extent, Justice Thomas might be the hardest, because he never speaks in oral arguments, ever.”1 That fact is mitigated, though, by Thomas’s rather predictable ideology. Justices Kennedy and Breyer can be tricky, too. Kennedy doesn’t tip his hand too much in oral arguments. And Breyer, Berlove says, plays coy.

“He expresses this deep-seated, what I would argue is a phony humility at oral arguments. ‘No, I really don’t know. This is a difficult question. I have to think about it. It’s very close.’ And then all of sudden he writes the opinion and he makes it seem like it was never a question in the first place. I find that to be very annoying.”

I told Ruger about Berlove. He said it made a certain amount of sense that the best Supreme Court predictor in the world should be some random guy in Queens.

“It’s possible that too much thinking or knowledge about the law could hurt you. If you make your career writing law review articles, like we do, you come up with your own normative baggage and your own preconceptions,” Ruger said. “We can’t be as dispassionate as this guy.”
news  org:data  prediction-markets  meta:prediction  institutions  law  government  trivia  cool  info-foraging  alt-inst  info-dynamics  stories  tools  multi  tetlock  paying-rent  realness  🎩  axioms 
april 2017 by nhaliday
Vavilovian mimicry - Wikipedia
Rye started out as a weed
https://westhunt.wordpress.com/2014/07/23/secondary-crops/
It seems to me that there may be some social parallels: bandits turning into governments, alchemists into chemists, Galenic doctors into almost-scientific medicine.
cocktail  trivia  bio  agriculture  evolution  unintended-consequences  selection  wiki  reference  cool  multi  west-hunter  scitariat  ideas  leviathan  broad-econ  north-weingast-like  medicine  meta:medicine  domestication  interests  feudal  roots 
april 2017 by nhaliday
Human adaptation to arsenic in Andean populations of the Atacama Desert - Apata - 2017 - American Journal of Physical Anthropology - Wiley Online Library
The higher frequency of protective variants in both northern Chilean populations indicates a long exposure to naturally arsenic-contaminated water sources. Our data suggest that a high arsenic metabolization capacity has been selected as an adaptive mechanism in these populations in order to survive in an arsenic-laden environment.
study  sapiens  evolution  recent-selection  h2o  safety  cool  🌞  embodied  fluid 
february 2017 by nhaliday
Orthogonal — Greg Egan
In Yalda’s universe, light has no universal speed and its creation generates energy.

On Yalda’s world, plants make food by emitting their own light into the dark night sky.
greg-egan  fiction  gedanken  physics  electromag  differential  geometry  thermo  space  cool  curiosity  reading  exposition  init  stat-mech  waves  relativity  positivity  unit  wild-ideas  speed  gravity  big-picture  🔬  xenobio  ideas  scifi-fantasy  signum 
february 2017 by nhaliday
Irrational decision-making in an amoeboid organism: transitivity and context-dependent preferences. - PubMed - NCBI
Most models of animal foraging and consumer choice assume that individuals make choices based on the absolute value of items and are therefore 'economically rational'. However, frequent violations of rationality by animals, including humans, suggest that animals use comparative valuation rules. Are comparative valuation strategies a consequence of the way brains process information, or are they an intrinsic feature of biological decision-making? Here, we examine the principles of rationality in an organism with radically different information-processing mechanisms: the brainless, unicellular, slime mould Physarum polycephalum. We offered P. polycephalum amoebas a choice between food options that varied in food quality and light exposure (P. polycephalum is photophobic). The use of an absolute valuation rule will lead to two properties: transitivity and independence of irrelevant alternatives (IIA). Transitivity is satisfied if preferences have a consistent, linear ordering, while IIA states that a decision maker's preference for an item should not change if the choice set is expanded. A violation of either of these principles suggests the use of comparative rather than absolute valuation rules. Physarum polycephalum satisfied transitivity by having linear preference rankings. However, P. polycephalum's preference for a focal alternative increased when a third, inferior quality option was added to the choice set, thus violating IIA and suggesting the use of a comparative valuation process. The discovery of comparative valuation rules in a unicellular organism suggests that comparative valuation rules are ubiquitous, if not universal, among biological decision makers.
study  bio  economics  interdisciplinary  rationality  biases  eden  cool  lol  decision-making  values  orders  deep-materialism 
february 2017 by nhaliday
soft question - Thinking and Explaining - MathOverflow
- good question from Bill Thurston
- great answers by Terry Tao, fedja, Minhyong Kim, gowers, etc.

Terry Tao:
- symmetry as blurring/vibrating/wobbling, scale invariance
- anthropomorphization, adversarial perspective for estimates/inequalities/quantifiers, spending/economy

fedja walks through his though-process from another answer

Minhyong Kim: anthropology of mathematical philosophizing

Per Vognsen: normality as isotropy
comment: conjugate subgroup gHg^-1 ~ "H but somewhere else in G"

gowers: hidden things in basic mathematics/arithmetic
comment by Ryan Budney: x sin(x) via x -> (x, sin(x)), (x, y) -> xy
I kinda get what he's talking about but needed to use Mathematica to get the initial visualization down.
To remind myself later:
- xy can be easily visualized by juxtaposing the two parabolae x^2 and -x^2 diagonally
- x sin(x) can be visualized along that surface by moving your finger along the line (x, 0) but adding some oscillations in y direction according to sin(x)
q-n-a  soft-question  big-list  intuition  communication  teaching  math  thinking  writing  thurston  lens  overflow  synthesis  hi-order-bits  👳  insight  meta:math  clarity  nibble  giants  cartoons  gowers  mathtariat  better-explained  stories  the-trenches  problem-solving  homogeneity  symmetry  fedja  examples  philosophy  big-picture  vague  isotropy  reflection  spatial  ground-up  visual-understanding  polynomials  dimensionality  math.GR  worrydream  scholar  🎓  neurons  metabuch  yoga  retrofit  mental-math  metameta  wisdom  wordlessness  oscillation  operational  adversarial  quantifiers-sums  exposition  explanation  tricki  concrete  s:***  manifolds  invariance  dynamical  info-dynamics  cool  direction  elegance  heavyweights  analysis  guessing  grokkability-clarity  technical-writing 
january 2017 by nhaliday
Dgsh – Directed graph shell | Hacker News
I've worked with and looked at a lot of data processing helpers. Tools, that try to help you build data pipelines, for the sake of performance, reproducibility or simply code uniformity.
What I found so far: Most tools, that invent a new language or try to cram complex processes into lesser suited syntactical environments are not loved too much.

...

I'll give dgsh a try. The tool reuse approach and the UNIX spirit seems nice. But my initial impression of the "C code metrics" example from the site is mixed: It reminds me of awk, about which one of the authors said, that it's a beautiful language, but if your programs getting longer than hundred lines, you might want to switch to something else.

Two libraries which have a great grip at the plumbing aspect of data processing systems are airflow and luigi. They are python libraries and with it you have a concise syntax and basically all python libraries plus non-python tools with a command line interface at you fingertips.

I am curious, what kind of process orchestration tools people use and can recommend?

--

Exactly our experience too, from complex machine learning workflows in various aspects of drug discovery.
We basically did not really find any of the popular DSL-based bioinformatics pipeline tools (snakemake, bpipe etc) to fit the bill. Nextflow came close, but in fact allows quite some custom code too.

What worked for us was to use Spotify's Luigi, which is a python library rather than DSL.

The only thing was that we had to develop a flow-based inspired API on top of Luigi's more functional programming based one, in order to make defining dependencies fluent and easy enough to specify for our complex workflows.

Our flow-based inspired Luigi API (SciLuigi) for complex workflows, is available at:

https://github.com/pharmbio/sciluigi

--

We have measured many of the examples against the use of temporary files and the web report one against (single-threaded) implementations in Perl and Java. In almost all cases dgsh takes less wall clock time, but often consumes more CPU resources.
commentary  project  programming  terminal  worrydream  pls  plt  unix  hn  graphs  tools  devtools  let-me-see  composition-decomposition  yak-shaving  workflow  exocortex  hmm  cool  software  desktop  sci-comp  stock-flow  performance  comparison  links  libraries  python 
january 2017 by nhaliday
SSC Journal Club: Expert Prediction Of Experiments | Slate Star Codex
- simple behavioral economics experiment (predicting which incentive would work best for MTurk)
- experts did better, but w/ caveats
1. prestige didn't matter, PhD students did just as well as full professors
2. field didn't matter (w/i a group of related fields)
3. advantage only present by one measure (absolute error rather than relative)
4. advantage was small
5. averaging got rid of it (wisdom of crowds)
6. doing well w/ a little empirical data for related problem predicted doing well on general problem. so expertise doesn't seem to be important as opposed just being good at forecasting?
yvain  ssc  study  summary  economics  behavioral-econ  tetlock  social-science  ratty  rationality  cool  hmm  insight  🤖  meta:prediction  biases  bounded-cognition  incentives  ensembles  realness  info-dynamics  microfoundations  psychology  social-psych  expert-experience 
november 2016 by nhaliday
Infinite Boston
Boston locations features in Infinite Jest
literature  usa  urban  cool  northeast  spoiler  urban-rural 
september 2016 by nhaliday
« earlier      
per page:    204080120160

bundles : emojigood-vibesnovelty

related tags

aaronson  absolute-relative  academia  accelerationism  accretion  accuracy  acm  acmtariat  aDNA  advanced  adversarial  africa  age-generation  aggregator  agriculture  ai  ai-control  algorithmic-econ  algorithms  alien-character  allodium  alt-inst  altruism  AMT  analogy  analysis  analytical-holistic  anglo  anglosphere  announcement  anthropology  antiquity  api  apollonian-dionysian  app  applicability-prereqs  applications  arbitrage  archaeology  archaics  architecture  arms  art  article  asia  atmosphere  atoms  audio  authoritarianism  axioms  backup  baez  bandits  bangbang  barons  bayesian  beauty  behavioral-econ  behavioral-gen  ben-recht  benevolence  better-explained  betting  biases  big-list  big-peeps  big-picture  bio  biodet  biohacking  biophysical-econ  biotech  bitcoin  blockchain  blog  books  boolean-analysis  bots  bounded-cognition  brain-scan  britain  broad-econ  business  business-models  c(pp)  c:*  c:***  calculation  canada  capital  capitalism  carcinisation  cartoons  chan  characterization  chart  checking  chemistry  china  civic  civil-liberty  civilization  clarity  class  clever-rats  climate-change  cliometrics  cocktail  code-dive  coding-theory  cog-psych  cohesion  cold-war  comedy  comics  commentary  communication  communism  community  comparison  compilers  complex-systems  complexity  composition-decomposition  computation  computer-memory  computer-vision  concept  conceptual-vocab  concrete  confucian  constraint-satisfaction  consulting-freelance  consumerism  contest  contradiction  contrarianism  cool  cooperate-defect  coordination  correctness  cost-benefit  counter-revolution  cracker-econ  creative  crime  criminal-justice  CRISPR  critique  crypto  crypto-anarchy  cryptocurrency  cs  cultural-dynamics  culture  curiosity  cybernetics  cycles  cynicism-idealism  d3  data  data-science  database  dataviz  death  debugging  decentralized  decision-making  decision-theory  deep-learning  deep-materialism  deepgoog  degrees-of-freedom  dennett  density  design  desktop  detail-architecture  developing-world  devtools  diet  differential  dignity  dimensionality  direction  dirty-hands  discrete  discussion  distribution  diversity  diy  documentary  domestication  draft  dropbox  duality  duty  dynamic  dynamical  dysgenics  early-modern  earth  eastern-europe  ecology  economics  econotariat  ed-yong  eden  EEA  efficiency  egalitarianism-hierarchy  EGT  elections  electromag  elegance  embedded  embeddings  embodied  emergent  emotion  encyclopedic  energy-resources  ensembles  entrepreneurialism  entropy-like  environment  envy  epistemic  essay  estimate  ethical-algorithms  ethics  europe  evan-miller  evidence-based  evolution  evopsych  examples  exit-voice  exocortex  experiment  expert  expert-experience  explanans  explanation  explore-exploit  exposition  externalities  extrema  facebook  fall-2016  faq  farmers-and-foragers  features  fedja  fermi  feudal  fiction  film  finance  fintech  fluid  flux-stasis  food  form-design  formal-methods  formal-values  forum  fourier  frameworks  free-riding  freelance  frequency  frisson  frontier  functional  futurism  gallic  games  gavisti  gedanken  gender  gender-diff  gene-drift  gene-flow  generalization  genetic-load  genetics  genomics  geoengineering  geography  geometry  giants  gif  gig-econ  github  glitch  gnon  gnxp  good-evil  google  government  gowers  grad-school  gradient-descent  graph-theory  graphs  gravity  greg-egan  grokkability-clarity  ground-up  growth-econ  GT-101  guessing  guide  h2o  hacker  haidt  hardware  hari-seldon  hci  health  heavy-industry  heavyweights  henrich  heterodox  hi-order-bits  hierarchy  history  hmm  hn  homepage  homo-hetero  homogeneity  horror  housing  howto  hsu  humanity  humility  hypocrisy  ideas  ideology  idk  IEEE  illusion  impact  impetus  impro  incentives  individualism-collectivism  inequality  inference  info-dynamics  info-foraging  infographic  information-theory  infrastructure  init  insight  instinct  institutions  integral  integrity  intel  intelligence  interdisciplinary  interests  interface  interface-compatibility  internet  interview  interview-prep  intricacy  intuition  invariance  ios  iq  is-ought  isotropy  israel  iterative-methods  janus  japan  javascript  jazz  jobs  journos-pundits  judaism  justice  land  language  law  learning-theory  lecture-notes  lectures  left-wing  len:long  len:short  lens  lesswrong  let-me-see  letters  levers  leviathan  libraries  lifehack  linear-programming  liner-notes  linguistics  links  list  literature  live-coding  lived-experience  llvm  local-global  logic  lol  long-short-run  longform  lower-bounds  machine-learning  macro  magnitude  maker  managerial-state  manifolds  map-territory  maps  marginal  marginal-rev  markets  math  math.CA  math.DS  math.GR  math.MG  math.NT  mathtariat  measure  mechanics  media  medicine  medieval  mediterranean  memes(ew)  memory-management  MENA  mental-math  meta:math  meta:medicine  meta:prediction  meta:science  metabuch  metal-to-virtual  metameta  methodology  metrics  michael-jordan  micro  microbiz  microfoundations  micropayments  migration  military  minimum-viable  miri-cfar  mobile  model-class  model-organism  models  modernity  money  money-for-time  monte-carlo  morality  mostly-modern  move-fast-(and-break-things)  multi  music  music-theory  mutation  mystic  myth  n-factor  nascent-state  nature  network-structure  neuro  neuro-nitgrit  neurons  new-religion  news  nibble  nietzschean  nihil  nitty-gritty  nl-and-so-can-you  nlp  nordic  north-weingast-like  northeast  notation  notetaking  novelty  nuclear  numerics  obama  objective-measure  objektbuch  observer-report  ocaml-sml  occam  occident  oceans  ocr  off-convex  oly  online-learning  open-problems  openai  operational  optimate  optimism  optimization  order-disorder  orders  org:anglo  org:biz  org:bleg  org:com  org:data  org:econlib  org:edu  org:gov  org:junk  org:lite  org:mag  org:mat  org:med  org:nat  org:rec  org:sci  organization  organizing  orient  orourke  os  oscillation  oss  osx  outliers  overflow  oxbridge  p:null  p:someday  papers  parable  paradox  parallax  parasites-microbiome  parsimony  paste  paying-rent  pdf  peace-violence  people  percolation  performance  personality  pessimism  phalanges  phase-transition  philosophy  photography  phys-energy  physics  pic  play  plots  pls  plt  policy  polis  polisci  politics  poll  polynomials  pop-diff  pop-structure  popsci  population  population-genetics  portfolio  positivity  postrat  power  ppl  pragmatic  pre-2013  prediction  prediction-markets  prepping  preprint  priors-posteriors  privacy  probability  problem-solving  productivity  prof  profile  programming  project  properties  proposal  protestant-catholic  psych-architecture  psychiatry  psycho-atoms  psychology  psychometrics  puzzles  python  q-n-a  qra  quantifiers-sums  questions  quixotic  quiz  quotes  rand-approx  random-networks  randy-ayndy  rationality  ratty  reading  realness  reason  rec-math  recent-selection  recruiting  reddit  redistribution  reduction  reference  reflection  regulation  reinforcement  relativity  religion  replication  repo  research  research-program  responsibility  retrofit  revolution  rhetoric  rhythm  right-wing  rigor  risk  robust  rock  roots  rounding  russia  s:*  s:**  s:***  saas  safety  sampling  sanctity-degradation  sapiens  scale  scholar  schools  sci-comp  science  science-anxiety  scifi-fantasy  scitariat  SDP  search  security  selection  self-interest  selfish-gene  series  sex  sexuality  short-circuit  SIGGRAPH  signaling  signum  simler  simplification-normalization  simulation  sinosphere  skunkworks  sky  slides  slippery-slope  social  social-capital  social-choice  social-norms  social-psych  social-science  sociality  society  sociology  soft-question  software  space  spatial  speculation  speed  spock  spoiler  sports  spotify  ssc  stackex  startups  stat-mech  state  state-of-art  statesmen  static-dynamic  stats  stereotypes  stock-flow  stories  stream  street-fighting  structure  study  stylized-facts  subculture  subjective-objective  summary  survey  survival  sv  symmetry  syntax  synthesis  system-design  systematic-ad-hoc  systems  talks  tcs  tcstariat  teaching  tech  tech-infrastructure  technical-writing  technocracy  technology  techtariat  telos-atelos  temperance  terminal  tetlock  the-basilisk  the-bones  the-classics  the-great-west-whale  the-self  the-trenches  the-west  the-world-is-just-atoms  theory-of-mind  theos  thermo  things  thinking  threat-modeling  thurston  tidbits  time  time-preference  time-series  time-use  tools  toys  traces  track-record  trade  tradeoffs  tribalism  tricki  tricks  trivia  trust  tumblr  turing  tutorial  tutoring  twitter  types  UGC  ui  uncertainty  unintended-consequences  uniqueness  unit  universalism-particularism  unix  urban  urban-rural  us-them  usa  utopia-dystopia  ux  vague  values  variance-components  vgr  video  visual-understanding  visualization  visuo  volo-avolo  vulgar  war  washington  waves  wealth  web  webapp  weird  west-hunter  whole-partial-many  wiki  wild-ideas  wire-guided  wisdom  within-without  woah  wonkish  wordlessness  workflow  working-stiff  world  world-war  wormholes  worrydream  writing  wtf  x-sports  xenobio  yak-shaving  yc  yoga  yvain  🌞  🎓  🎩  🐝  👳  👽  🔬  🖥  🤖  🦀 

Copy this bookmark:



description:


tags: