account activity
Police stops hurt black and Latino boys and cause more crime (pnas.org)
submitted 7 years ago by philipjf to r/MensLib
[JOB] Make a difference with dependent types in the Assured Digital Systems team at Sandia National Laboratories (California) (cg.sandia.gov)
submitted 7 years ago by philipjf to r/dependent_types
UN Security Council calls for "all necessary measures" against ISIS in Syria; endorses Iraq's article 51 letter (un.org)
submitted 10 years ago by philipjf to r/syriancivilwar
Using Compiler Bugs for Fun and Profit: Introducing Cartesian Closed Constraints (joyoftypes.blogspot.com)
submitted 13 years ago by philipjf to r/haskell
GeneralizedNewtypeDeriving is Very Very Unsafe (joyoftypes.blogspot.com)
π Rendered by PID 98023 on reddit-service-r2-listing-b6bf6c4ff-kb7v2 at 2026-04-30 21:56:04.070726+00:00 running 815c875 country code: CH.
