Profile

Cover photo
Philip Thrift
Works at Cloudversed Research
Attended Brown University
Lives in Addison, Texas
334,588 views
AboutPostsCollectionsPhotosVideos+1'sReviews

Stream

Philip Thrift

Shared publicly  - 
 
It's type theory all the way up and all the way down.
1
1
Philip Thrift's profile photoUrs Schreiber's profile photoRuss Abbott's profile photoThad Meyer's profile photo
8 comments
 
+Urs Schreiber  Thanks. I'm a fan of -- but not an expert in -- functional programming. (Trying to find something that will go down smoothly, I've taught our FP class in Haskel and Scala. This year I'm going to try Dr. Rocket.)  I downloaded the HOTT book when I came out, but I haven't had the patience to read it. I'd love an intuitive explanation of what it's all about and why it's important.  But the why it's important should be at a more concrete level than that it provides a new foundation for mathematics. 
Add a comment...

Philip Thrift

Shared publicly  - 
 
 
This page is full of great javascript demoscene submissions.
1 comment on original post
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
President Obama announced an ambitious goal of creating an ultrafast machine that could enable breakthroughs in fields like medicine and astronomy.
1
2
Hilmar Hoffmann's profile photoWilliam Rutiser's profile photo
Add a comment...

Philip Thrift

Shared publicly  - 
 
"Access web services from spreadsheets."
Step 1. Run a block with =BLOCKSPRING(). Copy and paste the following into cell A1: =BLOCKSPRING("read-pdf-from-url", "url", "http://www.americanrhetoric.com/speeches/PDFFiles/FDR%20Pearl%20Harbor.pdf"). This block reads the content of a PDF given a URL. Notice the structure of the function.
2
Add a comment...

Philip Thrift

Shared publicly  - 
 
Back in January, Google changed its Translate app in significant and powerful ways, offering written translations across 90 languages, as well as active conversation interpreting for ...
2
Add a comment...

Philip Thrift

Shared publicly  - 
 
Emotions like fear and anger, my lab has found, are constructed by multipurpose brain networks that work together.

Instead of asking where emotions are or what bodily patterns define them, we would do better to abandon such essentialism and ask the more revealing question, “How does the brain construct these incredible experiences?”
Most people believe that emotions are distinct, locatable entities inside us — but they’re not. No brain region is dedicated to any single emotion.
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
Buzz: A Programming Language For Robot Swarms

related: <technologyreview.com/view/539761/a-programming-language-for-robot-swarms>
Abstract: We present Buzz, a novel programming language for heterogeneous robot swarms. Buzz advocates a compositional approach, offering primitives to define swarm behaviors both from the perspective of the single robot and of the overall swarm. Single-robot primitives include robot-specific ...
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
"To achieve real-time [performance], we also heavily optimized and hand-tuned the math operations. That meant using the mobile processor’s SIMD instructions and tuning things like matrix multiplies to fit processing into all levels of cache memory."
<googleresearch.blogspot.com/2015/07/how-google-translate-squeezes-deep.html>
Google’s new translation app puts simulated neurons on your phone—a technique that could make future gadgets much smarter.
1
1
AdmiralLadyPaula Rizzuto's profile photo
Add a comment...

Philip Thrift

Shared publicly  - 
 
 
Note: This is the final part of a detailed three-part series on machine translation with neural networks by Kyunghyun Cho. You may enjoy part 1 and part 2. In the previous post in this series, I in...
View original post
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
 
The power of Neural Networks, on your phone

Today we announced that the Google Translate app now does real-time visual translation of 20 more languages. So the next time you're translating a foreign menu or sign in Prague with the latest version of Google's Translate app, you're now using a deep neural net. Learn how it works, all on your phone and without an Internet connection, on the Google Research blog, linked below.
5 comments on original post
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
Schools that offer accelerated training in digital skills are drawing more and more “career changers,” and graduates can make six-figure base salaries.
1
Add a comment...
Philip's Collections
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
Occupation
Codosopher
Employment
  • Cloudversed Research
    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