infer
sydent
Our great sponsors
infer | sydent | |
---|---|---|
42 | 710 | |
14,688 | 280 | |
0.5% | 2.1% | |
9.9 | 6.5 | |
5 days ago | 6 days ago | |
OCaml | Python | |
MIT License | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
infer
-
An Introduction to Temporal Logic (With Applications to Concurrency Problems)
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/
- Should I Rust or should I Go
-
Enforcing Memory Safety?
Using infer, someone else exploited null-dereference checks to introduce simple affine types in C++. Cppcheck also checks for null-dereferences. Unfortunately, that approach means that borrow-counting references have a larger sizeof than non-borrow counting references, so optimizing the count away potentially changes the semantics of a program which introduces a whole new way of writing subtly wrong code.
-
Interesting ocaml mention in buck2 by fb
Meta/Facebook are long time OCaml users, their logo is on the OCaml website. Their static analysis tool and its predecessor are both written in OCaml.
-
A plan for cybersecurity and grid safety
Efforts: Dependabot, CodeQL, Coverity, facebook's Infer tool, etc
-
A quick look at free C++ static analysis tools
I notice there isn't fbinfer. It's pretty cool, and is used for this library.
- OCaml 5.0 Multicore is out
-
Beyond Functional Programming: The Verse Programming Language (Epic Games' new language with Simon Peyton Jones)
TBH, there's a non-zero amount of non-"ivory tower" tools you may have used that are written in functional languages. Say, Pandoc or Shellcheck are written in Haskell; Infer and Flow are written in OCaml. RabbitMQ and Whatsapp are implemented in Erlang (FB Messenger was too, originally; they switched to the C++ servers later). Twitter backend is (or was, at least) written in Scala.
-
The State of Affine Types in C++?
- borrow-cpp which exploits some null dereference checks in the infer static analyzer to model some of borrow checking.
- Prusti: Static Analyzer for Rust
sydent
- Discord is nuking Nintendo Switch emulator devs and their entire servers
-
Qilin: A Starter Project Template For Every Open Source Project
GitHub Discussions can also be a great place for support as long as these are regularly monitored. Another option along the same lines is Discourse and the Open Source Matrix which is used by quite a few Open Source and community-based projects.
-
Launching Default End-to-End Encryption on Messenger
I'd love something like the Matrix [0] data model (JSON messages aggregated in an eventually-consistent chatroom CRDT) transmitted over something like simplex for metadata resistance.
- Show HN: Beeper Mini – iMessage Client for Android
- Um pouco da realidade de Copacabana - principalmente aos finais de semana
- O Fazueli está destruindo o Sul do Brasil
- Correios, Petrobras, Banco do Brasil e outras empresas estatais devem ser privatizadas?
-
Your privacy is optional
Matrix - I currently have my family chat on WhatsApp, but I plan to give my daughters tablets for Xmas and I want them to have a way to chat with family without needing to have a phone number or signup to WhatsApp.
- O mais engraçado desse dado é que na lista tem países que a esquerda considera "social democrata" e nenhum desses países tem 418 estatais 🤡
-
Discord Is Not Documentation
Telegram isn't great for having a main topic with siloed discussions about sub-categories of things.
Slack costs a lot of money if you want searchable history.
Matrix (https://matrix.org/) is pretty bad when you get to using it. It works, but the QOL isn't up to Discord's level.
Discord is just as easy to replace as any other chat platform if they decide to sell out or destroy their product.
What are some alternatives?
SonarQube - Continuous Inspection
Spotbugs - SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
Error Prone - Catch common Java mistakes as compile-time errors
FindBugs - The new home of the FindBugs project
PMD - An extensible multilanguage static code analyzer.
Checkstyle - Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.
matrix-docker-ansible-deploy - 🐳 Matrix (An open network for secure, decentralized communication) server setup using Ansible and Docker
matrix-synapse - The Matrix Synapse homeserver for Docker / k8s - deprecated, use upstream
SonarJava - :coffee: SonarSource Static Analyzer for Java Code Quality and Security
fastlane-plugin-appicon - Generate required icon sizes and iconset from a master application icon.
R.swift - Strong typed, autocompleted resources like images, fonts and segues in Swift projects
semgrep - Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.