AlexDenisov

8 ms·

31.
by AlexDenisov 8y ago
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 curre
32.
by AlexDenisov 8y ago
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 c
33.
Curated list of resources on testing distributed systems(asatarin.github.io)
18 points by AlexDenisov 8y ago|0 comments
34.
A List of companies that use Formal methods in Software engineering(github.com)
1 points by AlexDenisov 9y ago|0 comments
35.
by AlexDenisov 9y ago
Production ready tool for Mutation Testing targeting compiled languages (C, C++, Rust, Swift): https://github.com/mull-project/mull
36.
Yegor Derevenets – On Decompilation (LLVM Social Berlin #9)(youtube.com)
2 points by AlexDenisov 9y ago|0 comments
37.
Lots of what we programmers learn with years comes from pain not from good will(github.com)
3 points by AlexDenisov 9y ago|0 comments
38.
by AlexDenisov 9y ago
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.
39.
by AlexDenisov 9y ago
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.
40.
by AlexDenisov 9y ago
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: Quali
41.
On Disk IO, Part 3: LSM Trees(medium.com)
157 points by AlexDenisov 9y ago|11 comments
42.
Better Software with Entity Systems(steamlayers.com)
3 points by AlexDenisov 9y ago|1 comments
43.
by AlexDenisov 9y ago
Awesome, thanks for the link.
44.
Collection of Papers on Database Management Systems(github.com)
3 points by AlexDenisov 9y ago|2 comments
45.
On Disk IO, Part 1: Flavours of IO(hackernoon.com)
1 points by AlexDenisov 9y ago|0 comments
46.
Future-proof Reading(medium.com)
3 points by AlexDenisov 9y ago|0 comments
47.
by AlexDenisov 9y ago
Yes, we are going to record it. But the publishing is up to the speaker. I will post the link here if it happens.
48.
by AlexDenisov 9y ago
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/eve
49.
We need to talk about that tweet(blog.cobot.me)
2 points by AlexDenisov 9y ago|0 comments
50.
So you want to build a mutation testing system(gist.github.com)
2 points by AlexDenisov 9y ago|0 comments
51.
Xcode Major Bugs(github.com)
2 points by AlexDenisov 9y ago|0 comments
52.
Mutation Testing and Symbolic Execution (Mull/KLEE)(stanislaw.github.io)
1 points by AlexDenisov 9y ago|0 comments
53.
Mutation Testing Meets Symbolic Execution(stanislaw.github.io)
4 points by AlexDenisov 9y ago|0 comments
54.
Heuristics for Software Engineering(github.com)
2 points by AlexDenisov 9y ago|0 comments
55.
MongoDB Aggregation Framework: Stages Availability Cheatsheet(steamlayers.com)
1 points by AlexDenisov 9y ago|0 comments
56.
Full-Text Search Using MongoDB Aggregation Framework(steamlayers.com)
2 points by AlexDenisov 10y ago|0 comments
57.
Full Text Search Using MongoDB(steamlayers.com)
3 points by AlexDenisov 10y ago|0 comments
58.
Free Software Testing Books, Courses, and Podcasts(github.com)
5 points by AlexDenisov 10y ago|0 comments
59.
by AlexDenisov 10y ago
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
60.
Resources about programming practices for writing safety-critical software(github.com)
208 points by AlexDenisov 10y ago|84 comments

More ›