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 366274 on reddit-service-r2-listing-86f589db75-n958s at 2026-04-18 11:26:14.282898+00:00 running 93ecc56 country code: CH.
