Profile

Cover photo
Philip Thrift
Works at Cloudversed Publg
Attended Brown University
Lives in Addison, Texas
325,086 views
AboutPostsPhotosVideos+1'sReviews

Stream

Philip Thrift

Shared publicly  - 
 
 
The Founder of Sci-Hub is revealed.
In a lawsuit filed by Elsevier, one of the largest academic publishers, Sci-Hub.org is facing millions of dollars in damages. However, the site has no intentions of backing down and will continue its fight to keep access to scientific knowledge free and open. "I think Elsevier's business model is itself illegal," Sci-Hub founder Alexandra Elbakyan says.
1 comment on original post
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
the brain is a biological computer

a machine for processing information*

The sooner we can figure out what kind of computer the brain is, the better.

* but see “Information” is insufficient:
<codicalist.wordpress.com/2015/06/23/information-is-insufficient>

- pt
For most neuroscientists, this is just a bad metaphor. But it’s still the most useful analogy that we have.
1
1
William Rutiser's profile photo
Add a comment...

Philip Thrift

Shared publicly  - 
 
 
This week we’re recognizing computer scientist and engineer Alan Turing. Born 103 years ago this week, he is best known for the Turing Test, which developed a standard for a machine to be considered “intelligent.” 
5 comments on original post
1
1
Romansh yadav's profile photo
Add a comment...

Philip Thrift

Shared publicly  - 
 
Check out the "Linguistic Equivalent"s. :)

see also <www.cs.virginia.edu/~evans/cs655/readings/ewd498.html>
NEW YORK, June 24 — Programming languages definitely go out of style, but they rarely die. They can linger long past their heyday, because like a train conductor's ticket punch, they fill a niche better than any higher-tech replacement could. For
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
 
System fixes bugs by importing functionality from other programs—without access to source code http://ow.ly/30Hari
At the Association for Computing Machinery's Programming Language Design and Implementation conference this month, MIT researchers presented a new system that repairs dangerous software bugs by automatically importing functionality from other, more secure applications.
1 comment on original post
1
2
Hilmar Hoffmann's profile photoWilliam Rutiser's profile photo
Add a comment...

Philip Thrift

Shared publicly  - 
 
 
Some pointers about text encoding. Worse a read if you don't understand how the data are represented.
View original post
1
1
Alexander Shorin's profile photo
Add a comment...

Philip Thrift

Shared publicly  - 
 
 
Why consolidation in the chip industry matters to you, according to Alex Lidow. "In the past 20 months, there have been at least 10 significant mergers and acquisitions, including big name brands such as Avago's acquisition of Broadcom, Intel's purchase of Altera, and Infineon's acquisition of International Rectifier. Further, since the year 2000, the semiconductor industry as a whole has grown at a mere 5% annually, as compared with 22% in the 1980s."

"In addition, the original wellspring of innovation, the venture-funded startup in the chip space, has all but disappeared, as there is little venture money available given the poor cost-to-risk ratio for new product development and the less vibrant growth prospects."
7 comments on original post
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
 
Running Lisp in Production

Contrary to popular opinion, Lisp is an incredibly practical language for building production systems. There are, in fact, many Lisp systems out there: when you search for an airline ticket on Hipmunk or take a London tube train, Lisp programs are being called.

Our Lisp services are conceptually a classical AI application that operates on huge piles of knowledge created by linguists and researchers. It's mostly a CPU-bound program, and is one of the biggest consumers of computing resources in our network.
At Grammarly, the foundation of our business, our core grammar engine, is written in Common Lisp. It currently processes more than a thousand sentences per second, is horizontally scalable, and has reliably served in production for almost 3 years. We noticed that there are very few, if any, ...
View original post
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
 
In the course of learning programming I've crashed many programs, but this is so far the funniest. Russel's paradox in Isabelle crashed the whole laptop! (http://isabelle.in.tum.de/)! I thought something weird would happen, but I didn't expect that. :)

If you have Isabelle, does the following code crash yours as well?

theory ...
imports "~~/src/ZF/ZF"
begin
lemma "∃ x . x ∈ x"
by auto
end

with the cursor after the "by auto"...
View original post
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
John Nash was a True Visionary, who realized that using computers offers "another route to knowledge, rather than mere ideas''.
Opinion 144: "Dear Sirs: Nash is a mathematical genius": True, But even more Importantly, John Nash was a True Visionary, who realized that using computers offers "another route to knowledge, rather than mere ideas''. By Doron Zeilberger. Written: May 25, 2015. I just read the New York Times, ...
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
Emoji are everywhere. Now someone from 4Chan wants to turn them into a programming language. It's not the first attempt – there's an emoticon-based language called, well, Emoticon ...
1
Add a comment...
Story
Tagline
The cosmos is made of code.
Introduction
Coder. Philosopher. 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 Publg
    Publisher, Writer, 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