Profile

Cover photo
Philip Thrift
Works at Cloudversed Laboratory
Attended Brown University
Lives in Addison, Texas
304,299 views
AboutPostsPhotosVideos+1'sReviews

Stream

Philip Thrift

Shared publicly  - 
 
 
I spoke to Brett Buttliere, of the Knowledge Media Research Center at the University of Tübingen in Germany (and formerly of the Department of Methodology and Statistics, Tilburg University in the Netherlands). He's the author of “Using science and psychology to improve the dissemination and ...
View original post
1
1
AdmiralLadyPaula Rizzuto's profile photoWilliam Rutiser's profile photo
 
Isn't this what dating sites do?
Add a comment...

Philip Thrift

Shared publicly  - 
 
How the governor of Louisiana stays hard.
1
Add a comment...

Philip Thrift

Shared publicly  - 
1
1
William Rutiser's profile photo
Add a comment...

Philip Thrift

Shared publicly  - 
 
Smolin principle of evocation

came into existence at the moment the rules were codified

What's compelling about the principle “came into existence at the moment the rules were codified” [1] is that it applies to both mathematics and universes -- the first by homo sapiens, the second by cosmological natural selection [2].

[1] Smolin on mathematics
- <scientiasalon.wordpress.com/2015/04/21/smolin-on-mathematics>
[2] Lee Smolin: Cosmological Natural Selection
- <youtube.com/watch?v=mbYLTqvo774>
1
2
Hilmar Hoffmann's profile photoWilliam Rutiser's profile photo
Add a comment...

Philip Thrift

Shared publicly  - 
 
 
Early Bird registration ends in less than a month! Discounted rate & you could win a free registration! http://ow.ly/LUFan
View original post
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
Quantum Computing has been a concept since the 1980s that has remained outside the domain of real-world HPC. Through the era of Moore’s Law and exponential progress in feature size, clock rates and resulting performance, the need for alternative paradigms and technologies has attracted little interest. But there has remained a curiosity among a limited community that has driven slow but persistent advances in associated ideas.
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
The Lean Theorem Prover aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs. The goal is to support both mathematical reasoning and reasoning about complex systems, and to verify claims in both domains.
1
2
William Rutiser's profile photoHilmar Hoffmann's profile photo
Add a comment...

Philip Thrift

Shared publicly  - 
 
 
A new way to determine 3-D structures from 2-D images is set to speed up protein structure discovery by a factor of 100,000.
View original post
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
At some point though it seems that  _free_ publications will move to a BitTorrent model.
 
Here at CiteAb we’ve been following the open access movement and changes in open access publishing, so we were excited to see eLife introduce ‘eLife Labs’ earlier this month. eLife Labs aims to make progression in open access publishing evidence-based and crowd-sourced. eLife explained:
View original post
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
When hardware becomes software

"We have years and years to go before anyone anywhere can write up a prototype specification in a hardware description language* ... upload it to some centralized manufacturing mill; and have it etched, printed, assembled, and delivered by the close of the next business day. (Which is pretty much what we all take for granted with software nowadays.) But I can at least envision that happy day, and see that we’re moving towards it, one slow shuffling step at a time."

* e.g., <hackage.haskell.org/package/clash-prelude-0.5/docs/CLaSH-Tutorial.html>
2
2
Hilmar Hoffmann's profile photoWilliam Rutiser's profile photo
Add a comment...
Story
Tagline
the cosmos is made of code
Introduction
Codosopher. Publisher @ cloudversed.com.
Bragging rights
The first code I wrote after graduate school: I wrote the original code (C/UNIX on a PDP-11) for what became NIMH CORTEX (dally.nimh.nih.gov) — a program for "data acquisition and experimental control of neurophysiological experiments" — at Princeton University in 1980.
Education
  • Brown University
    Ph.D. Applied Mathematics (1979), Sc.M. (1976), Sc.B. (1975)
Basic Information
Gender
Male
Work
Employment
  • Cloudversed Laboratory
    Publisher, 2011 - present
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Currently
Addison, Texas
Contact Information
Work
Email
Philip Thrift's +1's are the things they like, agree with, or want to recommend.
Programmaticalism
codosophy.blogspot.com

“What difference does it make if pragmatism is centered on language or experience?" European Journal of Pragmatism and American Philosophy S

Planet PDF - Navigating the Internal Structure of a PDF Document
www.planetpdf.com

Thom Parker. WindJack Solutions founder Thom Parker has been developing solutions for Adobe software since 1997. WindJack Solutions' focus i

Programming Language Theory - Free E-Books
www.e-booksdirectory.com

Programming Language Theory - list of freely downloadable books at E-Books Directory

Flying qubits make for a highly resilient quantum memory
phys.org

(Phys.org) —In a quantum memory, the basic unit of data storage is the qubit. Because a qubit can exist in a superposition state of both '1'

Talking Points Memo
plus.google.com

Breaking news and analysis from the TPM team.

LittleMonsters
littlemonsters.com

Request an invite to be among the first to experience a new community only for Little Monsters. Because you were born this way! Name. Email.

Opus posthumous
books.google.com

books.google.com - When Opus Posthumous first appeared in 1957, it was an appropriate capstone to the career of one of the most important wr

The Google+ Hall of Fame | Google+ Counter | gpc.fm | Lists, Trends &amp...
gpc.fm

Google+ Counter is helping you finding new people, trends and stats on Google+. It also is the home of the Top followed Google+ Ladies and m

functional-javascript
code.google.com

A library for functional programming with JavaScript.

Ten Recent Books of Poetry You Should Read Right Now
www.huffingtonpost.com

The robust state of poetry in America is evidenced by this non-exhaustive, list of superlative books, all of which are must-reads for those

Lady Gaga Makes Ralph Macchio a Trending Topic on Twitter
celebs.gather.com

Lady Gagas MTV VMAs performance made Ralph Macchio a trending topic on Twitter. So how did the actor react to being compared to the biggest

In Memoriam: Malcolm Mills
plus.google.com

Malcolms human destiny has been fufilled and he is...someplace else now.

Poetry: A peek behind the scaffolds
www.oregonlive.com

Writing poetry requires sustaining the history of the art and also refreshing the contemporary idiom within the art -- all at the same time.

 poetical bits: Easter for materialists
poeticalbits.blogspot.com

Materialism is what there is without the holy smoke and mirrors. So what do materialists think about during the long Easter weekend — Maundy

Flying Spaghetti Monster
plus.google.com

I have boiled for your sins. Grab your pirate regalia and follow Me.

 poetical bits: War and peace
poeticalbits.blogspot.com

Materially, the difference between war and peace means the difference between physically killing (and injuring) people and not doing that. T

Animal pictures of the week: 30 March 2012 - Telegraph
www.telegraph.co.uk

All creatures great and small in our ever popular animal gallery.

Great service and rooms!
Public - a year ago
reviewed a year ago
1 review
Map
Map
Map