progscrape: vimeo.com

The Art of Warez

5 years ago vimeo.com art

Luca Guidi previewing Hanami 2.0 plans

5 years ago vimeo.com

Weird machines, exploitability, and provable unexploitability

5 years ago vimeo.com

Dan Ingalls PARC Talk on Sanskrit and OCR (1980)

5 years ago vimeo.com

Vimeo Introduces Support for Royalty-Free Video Codec, AV1

5 years ago press.vimeo.com video

Chalk of Champions

5 years ago vimeo.com

How Venice Works

5 years ago vimeo.com

Spartan Type Theory

5 years ago vimeo.com

Rust Compiler Source History Visualization

5 years ago vimeo.com compiler rust

SyncTERM connecting to lobste.rs [2017]

5 years ago vimeo.com

Excuse Me, Your Unicorn Keeps Shitting In My Back Yard, Can He Please Not? (2016)

5 years ago player.vimeo.com

Think Local: Reducing Coordination and Improving Performance when Designing around Distributed State

5 years ago vimeo.com

Communicating in Types

5 years ago vimeo.com

What If Bacteria Designed Computers? (2008)

6 years ago vimeo.com

Making mutants work for you

6 years ago vimeo.com

Don't Panic. Nicolai Parlog on the new Java release model and licensing

6 years ago vimeo.com java release

I wrote a script that finds the shortest path between arbitrary Wikipedia pages

6 years ago vimeo.com

Project Valhalla: Walking through L-World series of Value Type prototypes, I see light... by David Simms

6 years ago vimeo.com

My JavaZone talk: "Modern SQL: Evolution of a dinosaur" [56 minutes]

6 years ago vimeo.com sql

Considered Slightly Harmful: foldl and foldr

6 years ago vimeo.com

Python vs. Ruby: A Battle to The Death (Gary Bernhardt, 2010)

6 years ago vimeo.com python ruby

Pulley logic gates

6 years ago vimeo.com

Rust as TT sees it (audio and slides from David Tolnay's talk on tt-muncher macros at the silicon valley Rust meetup)

6 years ago vimeo.com audio rust

Using a Proof Assistant to Teach Programming Language Foundations (2010)

6 years ago vimeo.com

James Gosling at University of Oslo (2017)

6 years ago vimeo.com

Snips AIR: an open source, private, blockchain-based alternative to Amazon Echo

6 years ago vimeo.com amazon

ZFS User Conference 2018

6 years ago vimeo.com

Refactoring - {Pro}Coders Best Practice Series

6 years ago vimeo.com refactor

The last day of linotype at the NYT (1978)

6 years ago vimeo.com

Hand Made Vacuum Tubes by Claude Paillard

6 years ago vimeo.com

>progscrape ▒

All the news that's fit to scrape

Display options

The Art of Warez

Luca Guidi previewing Hanami 2.0 plans

Weird machines, exploitability, and provable unexploitability

Dan Ingalls PARC Talk on Sanskrit and OCR (1980)

Vimeo Introduces Support for Royalty-Free Video Codec, AV1

Chalk of Champions

How Venice Works

Spartan Type Theory

Rust Compiler Source History Visualization

SyncTERM connecting to lobste.rs [2017]

Excuse Me, Your Unicorn Keeps Shitting In My Back Yard, Can He Please Not? (2016)

Think Local: Reducing Coordination and Improving Performance when Designing around Distributed State

Communicating in Types

What If Bacteria Designed Computers? (2008)

Making mutants work for you

Don't Panic. Nicolai Parlog on the new Java release model and licensing

I wrote a script that finds the shortest path between arbitrary Wikipedia pages

Project Valhalla: Walking through L-World series of Value Type prototypes, I see light... by David Simms

My JavaZone talk: "Modern SQL: Evolution of a dinosaur" [56 minutes]

Considered Slightly Harmful: foldl and foldr

Python vs. Ruby: A Battle to The Death (Gary Bernhardt, 2010)

Pulley logic gates

Rust as TT sees it (audio and slides from David Tolnay's talk on tt-muncher macros at the silicon valley Rust meetup)

Using a Proof Assistant to Teach Programming Language Foundations (2010)

James Gosling at University of Oslo (2017)

Snips AIR: an open source, private, blockchain-based alternative to Amazon Echo

ZFS User Conference 2018

Refactoring - {Pro}Coders Best Practice Series

The last day of linotype at the NYT (1978)

Hand Made Vacuum Tubes by Claude Paillard