Profile

Cover photo
Philip Thrift
Works at Cloudversed Publishing
Attended Brown University
Lives in Addison, Texas
294,931 views
AboutPostsPhotosVideos+1'sReviews

Stream

Philip Thrift

Shared publicly  - 
 
 
There's a little known library called Numeric.Natural. It represents arbitrary Natural Numbers efficiently (it is basically Integer without negatives.) It makes it impossible to have negative numbers. For example, if you did:

fib 0 = 0
fib 1 = 1
fib n = fib (n-1) + fib (n-2)

Normally you would have to check if n is negative at run time, but by restricting the type to fib :: Natural -> Natural, you don't have to worry about it. It is also compatible with most code due to polymorphism (although for lists you will need the generic functions.)
Type representing arbitrary-precision non-negative integers. Operations whose result would be negative throw ( Underflow :: ArithException ) . Since: 4.8.0.0. Instances. Enum Natural Source · Eq Natural Source · Integral Natural Source · Data Natural Source · Num Natural Source ...
2 comments on original post
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
HTML(Math): HTML with (embedded TeX notation) Math

<manual.calibre-ebook.com/typesetting_math.html>

You can write mathematics inline inside a simple HTML file and the calibre viewer will render it into properly typeset mathematics. In the example below, we use TeX notation for mathematics. You will see that you can use normal TeX commands, with the small caveat that ampersands and less than and greater than signs have to be written as &amp; &lt; and &gt; respectively. The first step is to tell calibre that this will contains math. You do this by adding the following snippet of code to the <head> section of the HTML file:

<script type="text/x-mathjax-config"></script>

That’s it, now you can type mathematics just as you would in a .tex file.

Note: Since arXiv allows HTML file submission, one should be able to upload an HTML(Math) file. The downloaded file can be viewed in calibre, or exported as an EPUB file.
1
2
David Roberts's profile photoWilliam Rutiser's profile photoCloudversed Publishing's profile photo
 
You could even write new macros: \lt, \gt, \amp
Add a comment...

Philip Thrift

Shared publicly  - 
 
 
Programming with Refinement Types, an intro to SMT and LiquidHaskell with exercises.
http://ucsd-progsys.github.io/liquidhaskell-tutorial/
http://ucsd-progsys.github.io/liquidhaskell-tutorial/book.pdf
Programming with Refinement Types. An Introduction to LiquidHaskell. Ranjit Jhala, Eric Seidel, Niki Vazou. 1.Introduction · 1.1. Well-Typed Programs Do Go Wrong · 1.2. Refinement Types · 1.3. Audience · 1.4. Getting Started · 1.5. Sample Code · 2.Logic & SMT · 2.1. Syntax · 2.2.
View original post
1
1
William Rutiser's profile photo
Add a comment...

Philip Thrift

Shared publicly  - 
 
Mathematical Foundations of Programming Semantics XXXI

22-25 June 2015
Nijmegen, Netherlands
special sessions: game semantics algebraic effects nominal techniques reasoning about concurrent programs research topics: concurrency distributed systems process calculi probabilistic systems constructive mathematics domain theory category theory formal languages formal methods lambda calculi ...
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
With automated systems, self-driving cars, and robot helpers on the horizon, the way in which we interact with technology is going to undergo another massive shift. We might not have ...
1
1
William Rutiser's profile photo
Add a comment...

Philip Thrift

Shared publicly  - 
 
Fascinating graph. "The phrase actually comes from a Medieval Latin proverb, “Graecum est; non potest legi,” meaning “It is Greek; it cannot be read.” From there, the phrase filtered into many European languages. Today, English, Spanish, Polish, Norwegian and Swedish all use Greek as a metaphor for incomprehensibility.

Mark Liberman, a professor linguistics at the University of Pennsylvania, started wondering what the equivalent was in different languages. Drawing on a variety of sources, including Wikipedia, Omniglot and user comments, he created the graph above, which shows the language that other languages use to describe things that are hard or impossible to understand."
English speakers say, “It’s all Greek to me,” when they find something hard to understand. Shakespeare used the phrase in “Julius Caesar” (“Those that understood him smiled at one another and shook their heads; but for mine own part, it was Greek to me”). It’s also common in Spanish, where some people think it gave […]
2 comments on original post
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
"the HBP should refocus on enabling methods and technologies, particularly innovative software and hardware platforms for neuroinformatics"

e.g., languages/compilers for synthetic biology
The European Human Brain Project's effort to simulate the entire brain in a supercomputer is premature, a new report says
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
On mathematical platonism, intuitionism, materialism

Platonism and intuitionism are allied in the respect that both views are implicitly opposed to the materialistic accounts of mathematics which take the subject matter of mathematics to consist (in a direct way) of material objects. Perhaps it is for this reason that platonism is sometimes called “objective idealism” and intuitionism is sometimes called “subjective idealism”. Both views hold that mathematical objects are “ideal” at least in the sense that they are not material. The platonist holds that the mathematical “ideals” do not depend on a mind for their existence, the intuitionist that they do.
(pg. 1)

Intensional Mathematics
<books.google.com/books?id=-53qNDMcz9UC>
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
 
(Probably difficult) Rosetta Code Tasks not implemented in Python

Python has a good showing on RC, but some of the tasks have no solutions as yet. I'm hoping it's because our current readership don't have the necessary skills and that exposure to a wider audience might result in some excellent code to fill the gaps.

It could be that a few of the tasks are just too vague for solution or that Python just isn't suited for a task.
There is a theorem proving task that I couldn't make heads-nor-tails of  let alone attempt a Python solution - most of the solutions given where in specialist theorem-proving languages apart from a solution in Tcl. Tcl has the most solutions to tasks on Rosetta code and richly deserves it - it is a good dynamic language and RC happens to have great Tcl coders too.

So, lurk awhile to learn the RC ways and see if you can add to the Python code.

I guess with my RC admin hat on rather than my Python advocate one I should mention that their are other languages that need more solutions apart from Python and Tcl, and Perl and R and BBC BASIC and ABAP and C# and Go and...
[edit] Not implemented. These are currently not implemented in Python. Please implement some if you can. If any tasks are not possible or too complex in Python, they should not be on this list. To mark a task as such, add {{omit from|Python}}, preserving the capitalization of the language, ...
View original post
1
Add a comment...

Philip Thrift

Shared publicly  - 
 
It’s about a very old programming language that we’re just beginning to understand, and that’s written in a code made up of organic chemicals.

ref: <research.microsoft.com/en-us/people/aphillip>
1
1
Hilmar Hoffmann's profile photo
Add a comment...
Story
Tagline
The cosmos is made of code.
Introduction
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, 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