OpenAI might be training its AI technology to replace some software engineers, report says

• backend-GPT

  13 2,949 2.4 JavaScript

  

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• CompCert

  37 1,868 9.0 Coq

  The CompCert formally-verified C compiler

  

  But that's fine, because we can do even better with things like the CompCert C compiler, which is formally proven to produce correct asm output for ISO C 2011 source. It's designed for high-reliability, safety-critical applications; it's used for things like Airbus A380 avionics software, or control software for emergency generators at nuclear power plants. Software that's probably not overly sophisticated and doesn't need to be highly optimized, but does need to work ~100% correctly, ~100% of the time.

• scalene

  33 11,643 9.2 Python

  Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals

  

  I tried out some features of machine learning models suggesting optimisations on code profiled by scalene and pretty much all of them would make the code less efficient, both time and memory wise. I am not worried. The devil is in the details and ML will not replace all of us anytime soon

• PDF-Data-Extraction

  1 8 10.0 Python

  This repository compares various python packages to extract text from PDF files

  I ran across this "bake off" between PDF parsers and landed on pdfminer.six which is the best active fork of pdfminer I could find.

Suggest a related project