Cover photo
Greg Lloyd
Works at Traction Software Inc
Attended Brown University ScB and ScM Physics and Computer Science
Lives in Providence RI
636 followers|681,873 views


Greg Lloyd

Shared publicly  - 
"Propositions as Types" by Philip Wadler, 26 Sep 2015 (video 43min) @PhilipWadler An enlightening, energetic, and enjoyable talk. A few notes on lambda calculus, informatics, and computer science:

Lambda calculus is omniversal

It was discovered, not invented, as shown using the Curry-Howard Correspondence between logic and programming language constructs: (25:15)

* Propositions as Types
* Proofs as Programs
* Normalization of proofs as Evaluation of programs

Curry-Howard predicts that every good idea will be discovered twice: once by a logician, and once by a computer scientist.

And pretty much ever functional language you can name has at its core the lambda calculus.

And pretty much every proof assistant you can name has at its core dependent types.

Some functional language constructs are completely arbitrary, but at there core is something that was independently discovered twice: once by a logician, and once by a computer scientist.

Not invented, but discovered.

Most of you use programming languages that were invented - and you can tell, can't you? [laughter] (27:52)

So this is my invitation to you to use programing languages that are discovered. ...

[ Why "Informatics" is a better term than "Computer Science ]

Only two things wrong with "Computer Science"

1. It's not all about computers; it's about patterns of information;
2. You don't put "science" in your name if you're a real science.

[laughter] (41:07)
Greg Lloyd's profile photo
I just found out that a time tag reference of the form (m:s) in a post linked to a YouTube video turns into a link to that time! Thanks G+! Very handy.
Add a comment...

Greg Lloyd

Shared publicly  - 
Antique and Classic Boat Rendezvous, Mystic Seaport. 23 July 2016
Add a comment...

Greg Lloyd

Shared publicly  - 
Mystic Seaport Wooden Boat Show. Saturday 25 Jun 2016.
Add a comment...

Greg Lloyd

Shared publicly  - 
Apple and Google are competing to build a fabric that connects everything you own and use, working outward from the globally meshed supercomputer you carry in your pocket. Both apply deep learning technology to AI assistants, and are opening up their AIs and bots to other apps, bots, and cloud services. This richly connected fabric makes bots useful and AI assistants valuable by teaching them how to identify objects you're talking about as well as understand what you want done. The same applies at work. Making this happen requires a shift from the traditional definition of a platform to a fabric which makes it possible to connect people and the actionable objects they use, in context.
Not on Twitter? Sign up, tune into the things you care about, and get updates as they happen. Sign upLog in. You won't see these kinds of Tweets next time you're here. You'll see more of these kinds of Tweets every time you're here. You won't see these kinds of Tweets next time you're here.
Add a comment...

Greg Lloyd

Shared publicly  - 
"But we never called electricity 'the Electricity.' And 'the telephone' referred to a single thing of which there billions of individual examples." — Doc Searls 
The NYTimes says the Mandarins of language are demoting the Internet to a common noun. It is to be just “internet” from now on. Reasons: Thomas Kent, The A.P.’s standards editor, said t…
Add a comment...

Greg Lloyd

Shared publicly  - 
I'm happy to introduce Pierre Bienvenüe, founder of impi Business Improvement Solutions Pty, a South African business improvement firm and TeamPage solution partner since 2012. Pierre has great experience in helping mid-size companies organize and run effective quality improvement programmes. impi! works with clients as partners from concept definition, initial rollout, through improvement of the quality program itself. Pierre has worked with Traction Software and clients to develop templates, plug-in extensions and a methodology for using TeamPage to support the impi! business improvement model, with solid results to report. This post is an introduction. 
Work better together. Improve your Project Management, Compliance, Quality Management, Human Resources, and Competitive Intelligence activities.
Add a comment...

Greg Lloyd

Shared publicly  - 
"A number of emperor penguins, which were here very numerous, were captured. … To test the effect of music on them, Piper Kerr played to one on his pipes..." And then ...
Scotland’s 1904 antarctic expedition made a unique contribution to science: A number of emperor penguins, which were here very numerous, were captured. … To test the effect of music on them, Piper Kerr played to one on his pipes, — we had no Orpheus to warble sweetly on a lute, — but neither rousing marches, lively reels, nor melancholy laments seemed to have any effect on these lethargic phlegmatic birds; there was no excitement, no sign of appr...
Add a comment...

Greg Lloyd

Shared publicly  - 
"Your eyes are the cockpit of a time machine, orbs looking in the only direction any of us can ever look: backward." — Dennis Overbye

Via +M.G. Siegler 
Add a comment...

Greg Lloyd

Shared publicly  - 
"NLS Teleconferencing Features" (1975) Doug Engelbart +++ Still the #FutureOfWork #owork 
Add a comment...

Greg Lloyd

Shared publicly  - 
"Always bet on text”... and links.

Alex Howard (‪@digiphile‬) 6/17/16, 7:31 PM
"Unless our civilization fundamentally collapses, we will never give up writing & reading" —‪ @kottke‬ Text is timeless.

jonathanstray (‪@jonathanstray‬) 6/18/16, 5:30 AM
See also: "Always bet on text"

Greg Lloyd (‪@roundtrip‬) 6/18/16, 7:27 AM
.‪@jonathanstray‬ ‪@digiphile‬ ‪@kottke‬ “Always bet on text” and links.
Greg Lloyd's profile photo
Some Kindle books have "Whispersynch" to switch between audio and text, maintaining the same position in both. I'll try it out at home, but would really like to bookmark audio passages while driving with a Hey Siri command, then read and comment on text.
Add a comment...

Greg Lloyd

Shared publicly  - 
"Pointers are like jumps, leading wildly from one part of the data structure to another. Their introduction into high-level languages has been a step backward from which we may never recover. " — Tony Hoare

[C.A.R. Hoare "Hints on Programming Language Design", 1973, Prentice-Hall collection of essays and papers by Sir Tony Hoare]
Add a comment...

Greg Lloyd

Shared publicly  - 
A fine oral history interview of Doug Engelbart. Computer History Museum, 26 March 2002
Add a comment...
Collections Greg is following
President and co-founder
  • Traction Software Inc
    President and co-founder, present
  • Electronic Book Technology (EBT)
  • Mentor Graphics
  • Context Corporation
  • Ship Analytics
  • US Naval Research Lab (NRL)
  • US Army Safeguard System Office
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Providence RI
Harrisburg & suburban Philadelphia PA - Lake Oswego OR - Mystic CT - Washington DC - Harrisburg PA
Contact Information
+1 401 528 1145
Traction Software Inc 245 Waterman St Suite 504 Providence RI 02906 USA
Everything is deeply intertwingled. - Ted Nelson
President and co-founder of Traction Software Inc, creator of Traction TeamPage. Have over 30 years experience as an architect and engineer of publishing, hypertext, and signal processing systems starting at Brown University. Prior to Traction Software, worked at the US Naval Research Laboratory, Mentor Graphics / Context, and Electronic Book Technologies (EBT), Inc. Miss Bliss-10.
Bragging rights
First Hypertext system used: Hypertext Editing System (HES) 1968 at Brown with Andy van Dam, Ted Nelson, and other Andy students. @roundtrip avatar is a photo taken while filming a HES demo.
  • Brown University ScB and ScM Physics and Computer Science
    Physics and Computer Science
Basic Information
Other names
roundtrip (Twitter)
Greg Lloyd's +1's are the things they like, agree with, or want to recommend.
Buster Keaton tries out the Time Helmet in The... | Raiders of the Lost ...

Buster Keaton tries out the Time Helmet in The Twilight Zone (1959), “Once Upon a Time”

Unmanned Aircraft’s Future, Like Its History, Will Be Technology-Driven

How today’s UAS leaders got where they did, and what that means for the future.

Memory Machines: The Evolution of Hypertext - Belinda Barnet - Google Books - This book explores the history of hypertext, an influential concept that forms the underlying structure of the World Wide

Bond v Bond: the return of 007

Ah, my dear fellow… so we meet again. “Spectre”, the 24th Bond film will be released in Britain today, on October 26th, and is expected to d

Blighting the horizon

The Silo Effect: The Peril of Expertise and the Promise of Breaking Down Barriers. By Gillian Tett. Simon & Schuster; 304 pages; $28.00. Lit

Pluto Surface Features Come Into View

Planetary scientists are getting their first detailed look at the terrain on Pluto, as the New Horizons spacecraft closes in for a fast flyb

New Horizons Closing In For A Fast Pluto Flyby

Scientists hope the New Horizons Pluto probe will turn a lifetime of preparation into a once-in-a-lifetime glimpse of the most remote object

Feature: How Alan Stern’s tenacity, drive, and command got a NASA spacec...

New Horizons, a $700 million spacecraft, will fly past Pluto on 14 July

When You Flip Through an IKEA Catalog, 75% of the 'Photography' You See ...

This photo isn't actually a photo. From the furniture to the beautiful light falling on the countertops and wood floors, what you're looking


Richard Linklater's drama about a young boy growing into manhood is also a film about the fleeting nature of existence.

On The Economy of Machinery | The Enlightened Economist

On The Economy of Machinery and Manufactures by Charles Babbage was published in 1832. I discovered it courtesy of Sydney Padua's The Thrill

Beyond Moore's law

THERE is a popular misconception about Moore’s law (that the number of transistors on a chip doubles every two years) which has led many to

Heavens above

Here’s one they made earlier The Wright Brothers. By David McCullough. Simon & Schuster; 320 pages; $30. THE journey from nutter to genius c

The racket of genius

The Poet’s Tale: Chaucer and the Year that Made the Canterbury Tales. By Paul Strohm. Profile Books; 284 pages; £15.99. THIS is an extremely

Thou shalt not commit logical fallacies

Logical fallacies are often sneakily used by politicians and the media to fool people. Don't be fooled! This website has been designed to he

How To Build a Zero (1945) | From The Archives

Newsprint rationing clearly wasn't a big issue in the U.S. in May 1945, when our predecessor title Aviation published an ultra-detailed four

The message is the medium

“I PROPOSE, if and when found, to take him by his beastly neck, shake him till he froths, and pull him inside out and make him swallow himse

Recapturing the humanity in the Internet's birth, on stage

Hoping to stimulate debate about the future of technology, a new production at Stanford University brings to stage the life of Internet pion

Exceptionally skilled and helpful service and staff. Thank you all!
Public - a year ago
reviewed a year ago
1 review