An Introduction to Temporal Logic (With Applications to Concurrency Problems)

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

Nutrient - The #1 PDF SDK Library
Bad PDFs = bad UX. Slow load times, broken annotations, clunky UX frustrates users. Nutrient’s PDF SDKs gives seamless document experiences, fast rendering, annotations, real-time collaboration, 100+ features. Used by 10K+ devs, serving ~half a billion users worldwide. Explore the SDK for free.
nutrient.io
featured
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai
featured
  1. introduction_to_temporal_logic

    An introduction to temporal logic and how it can be used to analyze concurrency

    Wow, thanks for catching that! I've attempted to fix the proof based on your comment:

    https://github.com/Dicklesworthstone/introduction_to_tempora...

  2. Nutrient

    Nutrient - The #1 PDF SDK Library. Bad PDFs = bad UX. Slow load times, broken annotations, clunky UX frustrates users. Nutrient’s PDF SDKs gives seamless document experiences, fast rendering, annotations, real-time collaboration, 100+ features. Used by 10K+ devs, serving ~half a billion users worldwide. Explore the SDK for free.

    Nutrient logo
  3. infer

    A static analyzer for Java, C, C++, and Objective-C

    I think most development occurs on problems that can't be formally modeled anyway. Most developers work on things like, "can you add this feature to the e-commerce site? And can the pop-up be blue?" which isn't really model-able.

    But that's not to say that formal methods are useless! We can still prove some interesting aspects of programs -- for example, that every lock that gets acquired later gets released. I think tools like Infer[0] could become common in the coming years.

    [0]: https://fbinfer.com/

  4. Wow, thanks for catching that! I've attempted to fix the proof based on your comment:

    https://github.com/Dicklesworthstone/introduction_to_tempora...

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • CISA Director Easterly's comments about cyber security. Agree or disagree?

    1 project | /r/cybersecurity | 1 Mar 2023
  • silly guy

    1 project | /r/ProgrammerHumor | 25 Dec 2022
  • Retrofitting null-safety onto Java at Meta

    1 project | /r/java | 22 Nov 2022
  • The State of Affine Types in C++?

    2 projects | /r/cpp | 22 Nov 2022
  • OCaml 5.0.0 - First Beta

    1 project | /r/programming | 20 Nov 2022