Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  health  trump  psychology  arstechnica.com  psypost.org  go  show  java  vibecoding  security  neuroscience  environment  game  javascript  google  apple  nature.com 

The Lambda Calculus: Practice and Principle

7 years ago homepages.inf.ed.ac.uk lambda

Monads for functional programming (1995)

7 years ago homepages.inf.ed.ac.uk

Paleontologists have recovered a Jurassic fossil tail they believe is the missing link between two halves of the ancient crocodile family.

7 years ago ed.ac.uk

Heap Bounded Assembly Language (2002)

7 years ago homepages.inf.ed.ac.uk

The Next 700 Programming Languages (1965)

7 years ago homepages.inf.ed.ac.uk

Monads for functional programming

7 years ago homepages.inf.ed.ac.uk

Simplicity and Michelson

7 years ago homepages.inf.ed.ac.uk

A 530-million-year-old fossil contains what could be the oldest eye ever discovered

7 years ago ed.ac.uk

Expressive Power of SQL (2003)

7 years ago homepages.inf.ed.ac.uk sql

Life on our planet might have originated from biological particles brought to Earth in streams of space dust

7 years ago ed.ac.uk earth

A new volcanic province: an inventory of subglacial volcanoes in West Antarctica

7 years ago geos.ed.ac.uk antarctica

They say that oil and water do not mix … but now scientists have discovered that – under certain circumstances – it may be possible

7 years ago ed.ac.uk

Depression is associated with changes in brain structure

7 years ago ed.ac.uk brain

The Power Benchmarking Game (2016)

8 years ago epcc.ed.ac.uk game

Replacing half of the meat eaten worldwide with crickets and mealworms would cut farmland use by a third, substantially reducing emissions of greenhouse gases, researchers say.

8 years ago ed.ac.uk

Ancient stone carvings confirm that a comet struck the Earth around 11,000BC, a devastating event which wiped out wooly mammoths and sparked the rise of civilisations

8 years ago ed.ac.uk earth

First-born children’s thinking skills outperform their siblings because they receive more mental stimulation from their parents in their early years, research suggests.

8 years ago ed.ac.uk

Proofs are Programs – 19th Century Logic and 21st Century Computing (2000)

8 years ago homepages.inf.ed.ac.uk

Do Be Do Be Do

8 years ago homepages.inf.ed.ac.uk

Spreadsheet Programming with User Defined Types and Functions

8 years ago homepages.inf.ed.ac.uk

NASA C Style Guide

8 years ago homepages.inf.ed.ac.uk c nasa

Climate change threatens North Atlantic deep sea coral populations

8 years ago ed.ac.uk

Cannabis excess linked to bone thinning: People who regularly smoke large amounts of cannabis have reduced bone density and are more prone to fractures, research has found.

8 years ago ed.ac.uk cannabis

Proposition as Types

8 years ago homepages.inf.ed.ac.uk

Interactive Theorem Proving in Industry (2012)

9 years ago events.inf.ed.ac.uk

Java Memory Model Examples: Good, Bad and Ugly (2007)

9 years ago groups.inf.ed.ac.uk java

A Brief Guide to CLOS (1998)

9 years ago aiai.ed.ac.uk

The Land of the Free and “The Elements of Style” (2010)

9 years ago lel.ed.ac.uk

Propositions as Types (2014)

9 years ago homepages.inf.ed.ac.uk

Scooping the Loop Snooper (2000)

9 years ago lel.ed.ac.uk

More →