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  google  javascript  web  security  arstechnica.com  go  apple  youtube.com  release  show  theregister.com  nature.com  chrome  psychology  microsoft  theverge.com 

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…

2 months 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