theory   46402

« earlier    

Why science is NOT 'Just a Theory' - YouTube
Nice explanation of what a scientific theory is. And isn't.
science  theory 
15 hours ago by benwildeboer
YouTube - They Might Be Giants - Science is Real
Off TMBG's recently released "Here Comes Science." Describes science and scientific theories.
science  theory  INQ1-IS 
15 hours ago by benwildeboer
YouTube - Scientific Theories & Laws
Nice description of the difference between a scientific law and a scientific theory. Especially enlightening discussion of why theories /can't/ become laws.
science  law  theory 
15 hours ago by benwildeboer
The key to jobs in the future is not college but compassion | Aeon Essays
Twin argument of 'caring/emotional' work in the future and the fact that never-ending education is not a solution. Example being an overqualified doctor working 80 hours a week, but lacking empathy... when AI can diagnose more effectively where is the new value?

"The US economists W Norton Grubb and Marvin Lazerson call the belief in more schooling as the solution to every labour problem the ‘education gospel’. As Grubb argued in a 2005 talk, having more education tends to help individuals find better work, but that doesn’t make schooling a good overall economic strategy. In fact, he said, 30 to 40 per cent of workers in developed countries already have more education than their jobs demand."
work  Future  employment  society  empathy  ai  example  theory 
23 hours ago by ianjindal
A Promising Semantics for Relaxed-Memory Concurrency
Jeehoon Kang, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis, Derek Dreyer

“Despite many years of research, it has proven very difficult to develop a memory model for concurrent programming languages that adequately balances the conflicting desiderata of programmers, compilers, and hardware. In this paper, we propose the first relaxed memory model that (1) accounts for a broad spectrum of features from the C++11 concurrency model, (2) is implementable, in the sense that it provably validates many standard compiler optimizations and reorderings, as well as standard compilation schemes to x86-TSO and Power, (3) justifies simple invariant-based reasoning, thus demonstrating the absence of bad “out-of-thin-air” behaviors, (4) supports “DRF” guarantees, ensuring that programmers who use sufficient synchronization need not understand the full complexities of relaxed-memory semantics, and (5) defines the semantics of racy programs without relying on undefined behaviors, which is a prerequisite for applicability to type-safe languages like Java.

The key novel idea behind our model is the notion of *promises*: a thread may promise to execute a write in the future, thus enabling other threads to read from that write out of order. Crucially, to prevent out-of-thin-air behaviors, a promise step requires a thread-local certification that it will be possible to execute the promised write even in the absence of the promise. To establish confidence in our model, we have formalized most of our key results in Coq.”

Mentioned in several talks at PLDI'17.

See also:

- http://sf.snu.ac.kr/promise-concurrency/
- http://sf.snu.ac.kr/gil.hur/publications/jeehoon-popl2017.pdf
- https://github.com/snu-sf/promising-coq
PLT  paper  formalization  mathematics  computer-science  concurrency  parallelism  theory  weak-memory-models  operational-semantics  POPL'17 
3 days ago by elliottcable

« earlier