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  trump  health  psychology  environment  apple  show  arstechnica.com  theguardian.com  scimex.org  security  china  video  web  java  google  media  go 

The person who took notes on this PDF file says 'backwards reasoning' (a la Hoare, start proof from the weakest postcondition) is better than 'forward reasoning' (a la Floyd, this paper, start proof from the strongest precondition) --- where can I find examples of people doing either…

59 days ago cgi.cse.unsw.edu.au pdf

Advanced Operating Systems COMP9242 2020/T2

4 years ago cse.unsw.edu.au

Systems Benchmarking Crimes (2010)

4 years ago cse.unsw.edu.au

Systems Benchmarking Crimes

4 years ago cse.unsw.edu.au

TransLucid and Cartesian Programming

6 years ago translucid.web.cse.unsw.edu.au

Hadoop on IPFS

7 years ago cse.unsw.edu.au hadoop

How to not lie with statistics: The correct way to summarize benchmark results

7 years ago cse.unsw.edu.au

The Haskell Poem

8 years ago cse.unsw.edu.au haskell

Example of execution of graph search algorithm

8 years ago cse.unsw.edu.au algorithm

Modular implicits – a system for ad-hoc polymorphism in OCaml

8 years ago eptcs.web.cse.unsw.edu.au ocaml

Critique of Microkernel Architectures – Is Linus Right? (2004)

9 years ago cse.unsw.edu.au

Microkernels in a Bit More Depth (2007)

9 years ago cse.unsw.edu.au

Quake III Arena in Haskell

9 years ago cse.unsw.edu.au haskell

Project: A Simple Operating System

9 years ago cse.unsw.edu.au