Workshop on Machine Assisted Proofs
2022-11-02
Optimization of test cases generated from failed proofs
2022-11-02
Malicious proof-of-concepts are exposing GitHub users to malware and more
2022-11-02
Show HN: Rust Note – Simple Rust command line app for text based notes
2022-11-01
Ask HN: How hard is managing the commercial side of a contracting business
2022-11-01
Veecam: A proof-of-concept virtual camera Chrome extension
2022-10-31
How MSU is working to future-proof chemical discovery
2022-10-28
Meta shares dip is proof metaverse plan never had legs
2022-10-27
Using dependent types to write proofs in Haskell
2022-10-27
Fact Check: Does Google Censor Republicans in Senate Races? No definitive proof.
2022-10-26