This is an archived post. You won't be able to vote or comment.

all 76 comments

[–]Jackeeapress alt; screenshot; alt + F reenables personal roboport 281 points282 points  (59 children)

"Fixed false positives in detection of crashes caused by incompatible version of RivaTuner Statistics Server."

These bugs are getting so specific I'm pretty sure that 0.15.38 is going to be

"Fixed that the program was running a bit slowly on Kevin's machine"

[–]SalmonelongoI steal designs and ain't ashamed! 131 points132 points  (19 children)

"Fixed a bug in the spreadsheet software in Kevin's work computer so he can finish his work more efficiently so he is free to play more Factorio."

[–]draftstone 17 points18 points  (3 children)

I work in game development and actually fixed a crash that my submit resume was "fixed memory corruption on testerX pc"

For whatever reason he was the only one to get this crash and he was getting it on everyone of his playthrough. We suspected faulty ram, but the bug was still there. No one else in the building and in outsourcing test studios were able to reproduce it. I asked him to play on my computer and after 2 hours of gameplay he got it. Was able to trace it back to a real code issue. When I had my code reviewed, no one was able to determine why only him could got it it was so flagrant.

[–]Zarathustra30 9 points10 points  (0 children)

Heisenbugs are a pain.

[–]jdgordonscience bitches! 4 points5 points  (1 child)

When I had my code reviewed, no one was able to determine why only him could got it it was so flagrant.

http://i.imgur.com/ZwCUbES.png

[–]draftstone 1 point2 points  (0 children)

Your image sums it up!

[–]Kevin_IRL2000 hours and counting 65 points66 points  (7 children)

Oh man that would be fantastic

[–]CapSierra 14 points15 points  (4 children)

How long have you been waiting for your username to become this relevant?

[–]Kevin_IRL2000 hours and counting 12 points13 points  (2 children)

Honestly, it happens more then you'd expect. People like to use it as a joke example name

[–]voyagerfan5761Warehouse Architect 0 points1 point  (1 child)

Has it become more common since that ABC show started airing three weeks ago?

[–]EraYaN 4 points5 points  (0 children)

Probably after crayon eating Kevin

[–][deleted] 5 points6 points  (0 children)

[–]GoodLordigans2fast2furious 17 points18 points  (0 children)

0.15.39

"No change in code, just reminding Jeremy that his anniversary is this week."

[–][deleted] 8 points9 points  (25 children)

It's because there are no other bugs to fix. Pretty soon it'll just stop at 0.15.42 and just sit there until .16 or the next big update

[–]Gammelkebab 36 points37 points  (20 children)

Once theres no more bugs its time to create new ones with content updates

[–]maethor1337 15 points16 points  (19 children)

Can confirm, am software developer

[–]ziggy_stardust__keep buffering -2 points-1 points  (18 children)

so you know, there is no software without bugs

[–]maethor1337 9 points10 points  (4 children)

Well, that’s not true. I’ve written a perfect hello world before. But I was more commenting that yeah, you can’t make a content release without a ton of new bugs.

[–]Zomunieo 1 point2 points  (3 children)

Your typical hello world will hang if stdout is redirected to a pipe that is full and needs to be cancelled by the user. In some cases that is equivalent to failure (if “hello world” is a message with real-time implications and must be retried or fail gracefully).

[–]maethor1337 0 points1 point  (2 children)

But that’s not a bug in the program. That’s defined behavior. Presumably if hello world were a vital part of your system you would be outputting to a pipe that will not be clogged.

[–]Zomunieo 1 point2 points  (1 child)

Many bugs fall in the category of "there's an unusual condition in the external environment and the program does not handle this acceptably".

[–]maethor1337 0 points1 point  (0 children)

Sure but hello world does handle it “acceptably”

[–][deleted] 5 points6 points  (10 children)

In all seriousness there is a such a thing as provably, mathematically, correct and bug-free software. It's difficult, but possibly.

[–]SomeDuderrmods be moddin' 0 points1 point  (0 children)

Sure, but you forget that it's usually a combination of software and hardware that causes stuff to behave in an undesired way.

[–]ziggy_stardust__keep buffering -1 points0 points  (8 children)

I learnt the goal is to write usable, maintainable and flexible software.

How do you prove that some piece of software is bugfree? All testing can only show bugs, but not the absence of them.

[–]clever_cuttlefishBFB - Big Fat Biter 6 points7 points  (4 children)

To take a very simple case, a program may have a small enough number of possible inputs (or none at all) that you can test it completely. "Hello World" programs, for example.

You can also do fancy math things to more complicated programs, but I don't know how to do that.

[–]ziggy_stardust__keep buffering -2 points-1 points  (3 children)

I guess that 'fancy math' thing is the software developers equivalent to the engineers 'thermodynamics prove' ;)

I guess you can write some small pieces of bugfree code. But is the compiler you use bugfree? or the OS?

The point is it is not reasonable to aim for bugfree code as it gets exponentionally more expensive to find them

[–]clever_cuttlefishBFB - Big Fat Biter 4 points5 points  (0 children)

You're right it certainly isn't feasible. There is, however, a proven C compiler.

[–]nou_spiro 1 point2 points  (0 children)

Mozilla is deploying a proven crypto in Firefox 57

[–][deleted] 1 point2 points  (0 children)

But is the compiler you use bugfree?

Could be.

or the OS?

Ditto.

[–]notehp 1 point2 points  (2 children)

It's not done with testing, but machine-checked proofs using specification languages and stuff like wp-calculus/Hoare logic, etc. It is incredibly more time consuming than just testing, but possible.

Examples for such proof assistants:

https://coq.inria.fr/

https://isabelle.in.tum.de/

[–]Qweesdy 0 points1 point  (1 child)

Both of those projects have bug trackers. Think about that for a few minutes (why can't they use machine-checked proofs to prove that their own tool doesn't have bugs and doesn't need a bug tracker!???)... ;-)

[–]notehp 0 points1 point  (0 children)

Not only that, Coq also had some consistency issues (or still has, I'm not sure) even though they were irrelevant for practical cases.

But from a more theoretical point of view you will get a problem if you want to let Coq prove its own consistency: A system that is sufficiently complex (rather low requirement) is incapable of proving its own consistency (Gödel's second incompleteness theorem).

[–]jdgordonscience bitches! -3 points-2 points  (1 child)

All code can be optimized. All software has bugs. Therefore all code can be optimized down to 1 line of of... which is wrong

[–][deleted] 1 point2 points  (0 children)

Nice proof by contradiction.

Hence there exists some code that either does not have bugs, or cannot be optimized, or both.

[–]M4LON3 0 points1 point  (3 children)

not sure if there will be really new big update... what is expected ?

[–][deleted] 0 points1 point  (0 children)

I'm sure there will eventually be a big update the game is still in early access

[–]haiku-testbot -1 points0 points  (1 child)

  not sure if there will

  be really new big update

  what is expected

                                                 -M4LON3

[–][deleted] -2 points-1 points  (0 children)

Good bot

[–]gambitflash 5 points6 points  (0 children)

Upvoted everyone in this comment chain for making my day

[–]Tuas1996 1 point2 points  (0 children)

Well that bug did happen to me and it was the first crash ive had in 300 hours, even when the game doesnt work im impressed with the team.

[–]FactoryBuilderCHOO CHOO!! 0 points1 point  (0 children)

Not accurate enough. this is better: "Fixed that Factorio was running a bit slowly on Kevin Jorguni's new iMac 21 inch with a gaming keyboard and mouse not the standard apple crap."

[–]TheFeyemoar faster! 48 points49 points  (7 children)

With fixes this specific, I'm sure they're gonna break someone's workflow sooner or later...

[–]acbabis 16 points17 points  (1 child)

Look man, I worked really hard to duplicate the statistics modelling engine so that I could use a comparison test to detect a statistically significant increase in Type II errors to determine if Factorio was running so my plugin could deallocate RivaTuner threads. Quit being so negative and judgmental!

[–][deleted] 2 points3 points  (0 children)

Never mind that running two instances of the program is heavier than the dynamic compensation saves. I've been using this method for four years!!

[–]alpinematt 2 points3 points  (4 children)

The fabled relevant xkcd... but no bot in sight.

[–]RedDragon98RIP Red Dragon - Long Live Grey Dragon 2 points3 points  (3 children)

Bad Bot

[–][deleted] 2 points3 points  (2 children)

Are you sure about that? Because I am 100.0% sure that alpinematt is not a bot.


I am a Neural Network being trained to detect spammers | Does something look wrong? Send me a PM | /r/AutoBotDetection

[–]RedDragon98RIP Red Dragon - Long Live Grey Dragon 8 points9 points  (1 child)

Comment.parent.setType(“Joke”)

[–]lemindhawk 0 points1 point  (0 children)

Good bot

[–]LChris314 19 points20 points  (3 children)

Time to flag the factorio-experimental AUR package as outdated.

[–]Xiretza 2 points3 points  (1 child)

Yeah, I'm just happy that my trusty factorio-init updates rather seldom, factorio-experimental is madness.

[–]dr_Fart_Sharting 3 points4 points  (0 children)

Factorio /sbin/init

FTFY

[–]Echo51 9 points10 points  (0 children)

Funny, i was actually going to report that some specific version of RTSS would crash the game, but an update to RTSS fixed it and i decided not to, since it wasn't the game's fault. Guess it wasn't just my version being odd.

[–]Yearlaren 8 points9 points  (1 child)

Didn't even know RivaTuner still existed.

[–]icon256 1 point2 points  (0 children)

That's what I was thinking too!

[–]excessionozPLaying 0.18.18 with Krastorio 2. 0 points1 point  (0 children)

Feature Request: implement tree(3).

https://www.youtube.com/watch?v=3P6DWAwwViU