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

• backend-GPT

  13 2,891 10.0 JavaScript

  

• CompCert

  11 1,667 0.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.

• SurveyJS

  surveyjs.io

  sponsored

  A Non-Cloud Alternative to Google Forms that has it all.. SurveyJS JavaScript libraries allow you to easily set up a robust form management system fully integrated into your IT infrastructure where users can create and edit multiple dynamic JSON-based forms in a no-code form builder. Learn more now.

  

• scalene

  19 9,987 0.0 JavaScript

  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 4 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