Profile

Cover photo
Philip Thrift
Works at Cloudversed Publishing
Attended Brown University
Lives in Addison, TX
316,787 views
AboutPostsPhotosVideos+1'sReviews

Stream

Philip Thrift

Shared publicly  - 
 
Beautiful images are not always popular ones, which is where the CrowdBeauty algorithm can help, say computer scientists.
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
 
What is Lux?
Lux is a new programming language in the making. It's meant to be a functional, statically-typed Lisp that will run on several platforms, such as the Java Virtual Machine and JavaScript interpreters.
lux - The Lux Programming Language
View original post
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
A deep neural net beats the rap
(Phys.org)—A team of researchers working at Aalto University in Finland has devised an algorithm that mines a database full of rap songs, picks lines from them based on rhyming and produces a new song of its own. The team has written a paper on their project, which they call DeepBeat, and have uploaded ...
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
Web site for COSC 494/594 - Unconventional Computation
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
 
New (epic) blog post on "The Unreasonable Effectiveness of Recurrent Neural Networks" http://karpathy.github.io/2015/05/21/rnn-effectiveness/ was immense fun to write

(sorry to people who are seeing this multiple times)
9 comments on original post
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
And why it sucks to be a beginner today…
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
From a working developer's point of view, here's what Mozilla focused on when creating Rust, and how the company plans to replace Gecko (the existing Firefox engine) with Servo.
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
An algorithm developed by Google is designed to encode thought, which could lead to computers with ‘common sense’ within a decade, says leading AI scientist
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
 
Linking several powerful software techniques makes it possible for a robot to learn tasks rapidly with a relatively little training.
1 comment on original post
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
Math = Programming

One group of researchers, ... referred to as the HoTT community (for homotopy type theory), set off to explore the possibilities for new discoveries within the framework they’d developed. Another group, which identifies as UniMath ..., began rewriting mathematics in the language of univalent foundations. Their goal is to create a library of basic mathematical elements — lemmas, proofs, propositions — that mathematicians can use to formalize their own work in univalent foundations.
 
"When a legendary mathematician found a mistake in his own work, he embarked on a computer-aided quest to eliminate human error. To succeed, he has to rewrite the century-old rules underlying all of mathematics."
View original post
1
Philip Thrift's profile photo
 
Another way (vs. UniMath and HoTT) is to start directly by just defining the programming language(s) and machine(s).

For example: U-Machines
(which defines a model of computing over continuous fields)
<web.eecs.utk.edu/~mclennan/papers/U-Machine.pdf>
by Bruce MacLennan - <web.eecs.utk.edu/~mclennan>

(This would be a reversal of the HoTT approach where the programming is subordinated. One would define HoTT topics  in terms of a U-Machine language, for example.)
Add a comment...
Story
Tagline
The cosmos is made of code.
Introduction
Codosopher. Founder of Codicalism. 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 Publishing
    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, TX
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