Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: github.com  ai  rust  health  google  youtube.com  show  video  techcrunch.com  javascript  go  apple  release  web  nature.com  eurekalert.org  trump  china  security  arstechnica.com 

This is why you should never use de Bruijn indices, especially if you program in Rust

6 months ago safinaskar.writeas.com compiler formalmethods haskell plt rust

Dafny Power User: Type-parameter modes: variance and cardinality preservation

6 months ago leino.science formalmethods plt

Why Writing Correct Software Is Hard (2016)

6 months ago pron.github.io compiler formalmethods math

SK Logic in Egglog

6 months ago chriswarbo.net compsci formalmethods haskell math show

1001 Representations of Syntax with Binding (2021)

6 months ago jesper.cx compiler formalmethods haskell plt

New Foundations is consistent – a difficult mathematical proof proved using Lean

7 months ago leanprover-community.github.io formalmethods

ProVerB — SLEBoK

7 months ago slebok.github.io formalmethods

Stanford AI Syllabus (1980)

7 months ago saildart.org ai formalmethods stanford

seL4 on AArch64 is now verified for functional correctness

7 months ago proofcraft.systems aarch64 formalmethods

Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour

7 months ago dl.acm.org c formalmethods

Understanding Delta Lake's consistency model

6 months ago jack-vanlightly.com distributed formalmethods

How to improve the RISC-V specification

6 months ago alastairreid.github.io formalmethods hardware risc

On Invariance and Inconsistency

7 months ago hansdieterhiep.nl formalmethods

SeL4 Device Driver Framework 0.4.0

7 months ago lists.sel4.systems formalmethods osdev performance security

Forge: A Tool to Teach Formal Methods

7 months ago blog.brownplt.org formalmethods

Show HN: FizzBee – Formal methods in Python

7 months ago fizzbee.io formalmethods python show

Don't let Alloy facts make your specs a fiction

7 months ago hillelwayne.com formalmethods

TLA+ Web Explorer

7 months ago will62794.github.io formalmethods web

CakeML

7 months ago cakeml.org compiler formalmethods ml

Compendium of Predicates

7 months ago adams-personal-organization.gitbook.io formalmethods math

2023 ACM Turing Prize awarded to Avi Wigderson

7 months ago awards.acm.org compsci formalmethods math turing

Refactoring with Proofs

8 months ago youtube.com formalmethods refactor testing video

SECOMP: Formally Secure Compilation of Compartmentalized C Programs

8 months ago arxiv.org c compiler formalmethods

Co-Developing Programs and Their Proof of Correctness

9 months ago cacm.acm.org formalmethods

Z3 Playground

9 months ago jfmc.github.io formalmethods

Creusot, a deductive verifier for Rust code

8 months ago github.com formalmethods rust

Function Contracts for Kani

9 months ago model-checking.github.io formalmethods rust

Lamport Clocks

9 months ago blog.fponzi.me distributed formalmethods

6 Reasons in favor of a core language, and 5 against

9 months ago jesper.cx formalmethods plt

Lisp & Hardware Verification with ACL2

9 months ago youtube.com formalmethods hardware lisp video

More →