Testing a Formally Verified Compiler (hal.science) | HN Screenshots

YHacker Newsscreenshots

Screenshot of hal.science: Testing a Formally Verified Compiler

First screen, captured 3 years ago.

Looks similar

Screenshot of hal.science: New Applications of Clifford's Geometric Algebra

New Applications of Clifford's Geometric Algebra (hal.science)

22 points by teleforce 2 years ago | 0 comments

Screenshot of hal.science: Tortured conference series thriving in computer science

Tortured conference series thriving in computer science (hal.science)

59 points by wjb3 2 years ago | 23 comments

Screenshot of inria.hal.science: Last fifty years of integer linear programming: Recent practical advances (2024)

Last fifty years of integer linear programming: Recent practical advances (2024)(inria.hal.science)

204 points by teleforce 1 year ago | 67 comments

Screenshot of jstor.org: Mathematics in India

Mathematics in India (jstor.org)

17 points by dedalus 2 years ago | 5 comments

Screenshot of jstor.org: Mathematics Without Numbers (1959)

Mathematics Without Numbers (1959)(jstor.org)

58 points by measurablefunc 10 months ago | 19 comments

Screenshot of pmc.ncbi.nlm.nih.gov: Mass psychogenic illness and the social network (2012)

Mass psychogenic illness and the social network (2012)(pmc.ncbi.nlm.nih.gov)

19 points by JeremyNT 1 year ago | 9 comments