AlexDenisov's comments

Building a tool for finding scientific papers behind real-world OSS projects: https://papergrep.dev/

This is a follow up to an idea I had years ago https://news.ycombinator.com/item?id=13022649, which is now semi-automated (with lots of manual curation as the last step).

The biggest challenges:

- how to organize all this info in a nice way

- where to find more time to read all the gems I've found so far :)

UPD: formatting

There are also video lectures which are almost 1-1 mapping of the book

Programming Massively Parallel Processors: https://www.youtube.com/watch?v=4pkbXmE4POc&list=PLRRuQYjFhp...

> A retro multiplayer shooter

> Teeworlds is a free online multiplayer game, available for all major operating systems. Battle with up to 16 players in a variety of game modes, including Team Deathmatch and Capture The Flag. You can even design your own maps!

https://www.teeworlds.com

Here is a talk by Dr. Yegor Derevenets about this project https://www.youtube.com/watch?v=f_0EF2BqeQ4

I have a "series" of articles from a few years ago covering FreeBSD, LLVM, and GNU Make (https://lowlevelbits.org/categories/system-under-test/) and even created a separate website with a few more articles https://systemundertest.org, but stopped later.

I started building exactly this some years ago, but eventually stopped for some reason https://systemundertest.org

re: absence of C++ tools

Have you looked at Mull[1] or Dextool[2]?

[1] https://github.com/mull-project/mull

[2] https://github.com/joakim-brannstrom/dextool/tree/master/plu...

Not really half-baked, but not ready for the prime time either:

Mull[0] is a tool for mutation testing of C and C++ projects. The goal of mutation testing is to show the gaps in the semantic coverage

[0] https://github.com/mull-project/mull

This is a valid concern, for sure. In fact, these are called Equivalent Mutants. We observed it several times, here are some examples. You flip the if/then branches and the code essentially does the same, switching from a fast to slow implementation of the same algorithm. Another example is mutating the code in a C++ destructor, which is not easy to test.

With that being said, even despite the equivalent mutants, you can get a pretty good insight. Here is an example of finding from a proprietory real-time OS used in the space industry: https://gist.github.com/AlexDenisov/b5d2e23457b88813b5ab9d5d... (this is a part of an email which I could safely post online).

PTScientists GmbH | Software Developers and Engineers for Space Industry | Berlin, Germany | ONSITE | Full-time | https://ptscientists.com

PTScientists is a private space company based in the vibrant city of Berlin. We are currently growing our team of engineers to support Mission to the Moon – which we hope will be the first privately funded mission to land on the lunar surface. We are working with key technology partners Audi and Vodafone Germany to enable a range of scientific, technological and cultural firsts with Mission to the Moon. Our team is made up of smart, passionate and ambitious people and we are proud to be contributing to the next chapter of space exploration.

Current openings:

Associate/Senior Software Developer: https://ptscientists.com/careers/associate-senior-software-d...

Embedded Software Engineer C/C++: https://ptscientists.com/careers/embedded-software-engineer-...

FPGA/Embedded Developer: https://ptscientists.com/careers/fpga-embedded-developer/

PTScientists (http://ptscientists.com) | FPGA/Embedded Developer, Electrical Engineer, GNC Engineer | Berlin, Germany | Full time, ONSITE

PTScientists is a private space company based in the vibrant city of Berlin.

We are currently growing our team of engineers to support Mission to the Moon - which we hope will be the first privately funded mission to land on the lunar surface.

We are developing the transport and communications infrastructure required to enable future lunar missions and possible human settlement.

Find out more about the company and current openings here:

http://ptscientists.com/careers/fpga-embedded-developer/

http://ptscientists.com/careers/electrical-engineer/

http://ptscientists.com/careers/gnc-engineer/

Production ready tool for Mutation Testing targeting compiled languages (C, C++, Rust, Swift):

https://github.com/mull-project/mull

I think this is a fallacy. I believe another pipeline does not necessarily produce better doctors. They also make mistakes; sometimes those mistakes cost people lives.

Exactly, this is what I mean by "do not scale." It takes many years, if not decades for one to become a decent developer. We simply cannot afford this.

Discipline is a good thing, but it does not scale.

I work on a tool for mutation testing for C/C++[1] for a few years now. During this time I was thinking about tests, tools, people, etc. a lot. Here is the summary of my musings:

Quality of software depends on several factors such as hardware, operating system, programming language and tooling used to build the software in the first place, etc. For decades we try to improve each of those aspects. But, the most significant and most harmful factor is the human. Naturally, we cannot improve developers, but we can decrease the destructive influence of a human being by using better tooling.

[1] https://github.com/mull-project/mull

Awesome, thanks for the link.

Yes, we are going to record it. But the publishing is up to the speaker. I will post the link here if it happens.

For those who curious and who is in Berlin:

There is going to be an event on this Thursday (July 27, 2017) where the author of this tool will be talking about decompilation.

https://www.meetup.com/LLVM-Social-Berlin/events/241197713/

I have seen so many comments and references like this one, so I went and read the whole investigation report.

1. There was a spacecraft (MCO) and a module that was sending some data from the Earth.

2. The module was delivered late when MCO was on its way for 4 (!) months already before that staff manually calculated the needed data.

3. Some teams switched into "defensive mode" not willing to communicate and fixing the problem when it was clear.

You can just grep by PDF name/url and find the code.