Gordon
Cli application to manage github pull requests
F*: A Higher-Order Effectful Language Designed for Program Verification
2021-01-11
Dogger Bank's giant turbines herald a wind of change in UK industry
2021-01-04
Serious Warning Issued for Apple AirPods Max Users
2021-01-04
Molecular Dynamics Simulation Based on Machine Learning Wins Gordon Bell Prize
2021-01-03
Avoid using wood burning stoves if possible, warn health experts
2021-01-01
I prerecorded myself in video meetings for a week (and nobody knew)
2021-01-01
US approves sale of $290m in bombs to Saudi Arabia
2020-12-30
Raspberry Pi HPi95LX Project Is a Retro PDA Masterpiece
2020-12-25
Gordon Ramsay Wants Tripe Back on the Menu – The F Word
2020-12-24
Infer Brings Facebook's Infer Static Analyzer to C# and .NET
2020-12-24
