"Neural Programmer" doing #machine-learning of programs with #neural-networks. Part of the “Google Brain” project.
about the #social-justice campaigns against #free-speech in the name of racism and sexism, at New Haven, Yale, and Wesleyan.
with the “coelux” sunlight simulant we can build “earthscrapers” rather than skyscrapers. No word on how the collimation and cooling work. The light is from LEDs. US$60k a pop. #hardware #architecture
Heh, #Iran is backing off on “Death to America”; Khamenei says it’s meant metaphorically.
#pdf #paper on #constraint reasoning with #interval-arithmetic by Eero Hyvonen. I think this is from about 1989 or 1990, since 1989 is the latest date of any citation. I think it does mention the approach of recursively subdividing intervals to progressively approach a solution, although I can’t quite understand the notation, and it mentions how it helps with cyclic constraint nets like x+t=y; y+t=z; x=1; z>11.
86-page survey #paper #pdf by Jaffar and Maher of #constraint logic programming from 1994. Backwards. Rina Dechter also has a 2001 (or 2003?) overview book that is 503 pages.
a #pdf #survey #paper on #constraint propagation from 2006 by Christian Bessiere. Only 63 pages, but restricted only to finite domains!
“Police civil asset forfeitures exceed all burglaries in 2014”, in the US, I suppose. This might mean that most #crime in the US is committed by the #police. #politics
livecoding graphics in #K with oK, the new interpreter written in JS.
an 8-page 2011 #pdf #paper by Pedamallu, Kumar, Csendes, and Posfai on continuous #constraint satisfaction by tree search by interval subdivision, aka interval partitioning (to which they give the deeply unfortunate acronym “IP”), compared with three other interval methods. Doesn’t mention Hyvonen. Recursively partitions hyperdimensional boxes along many dimensions at once, creating 2ⁿ new boxes, and uses “new dynamic stage-wise tree search" #algorithms which I don’t understand to figure out which box to partition next. Applications given to #kinematics, on which it unfortunately wastes a precious page and a half; their last stage is to pass off the feasible boxes found to a Feasible Sequential Quadratic Programming algorithm for I guess optimization or something?
Oh holy shit a van Emden #paper (in #pdf) on #constraint satisfaction using #interval-arithmetic! #AWESOME! 12 pp, 2010.
the #ebook of the differential equations textbook that Freeman Dyson taught himself from over Christmas break, 14 hours a day. #math
#datasheet #pdf for #eink #hardware used in some common ebook readers that costs US$14 on aliexpress, the ED060SC4.
