> The co-founder of the company, Mark Perlin, is said to have argued against source code analysis by claiming that the program, consisting of 170,000 lines of MATLAB code, is so dense it would take eight and a half years to review at a rate of ten lines an hour. First, the defence doesn't necessarily have to evaluate all 170,000 lines. They just need to find one buggy line which could potentially overturn the result.…
It shouldn't take 10 lines an hour should it? I don't have experience reviewing professional code of this size, so please correct me if my assumption is wrong, but that number doesn't seem right.
Accused murderer wins right to check source code of DNA testing kit
321–330 of 520 posts
Re: Accused murderer wins right to check source code of DNA testing kit
#322> The co-founder of the company, Mark Perlin, is said to have argued against source code analysis by claiming that the program, consisting of 170,000 lines of MATLAB code, is so dense it would take eight and a half years to review at a rate of ten lines an hour. First, the defence doesn't necessarily have to evaluate all 170,000 lines. They just need to find one buggy line which could potentially overturn the result.…
Re: Accused murderer wins right to check source code of DNA testing kit
#323> The co-founder of the company, Mark Perlin, is said to have argued against source code analysis by claiming that the program, consisting of 170,000 lines of MATLAB code, is so dense it would take eight and a half years to review at a rate of ten lines an hour. First, the defence doesn't necessarily have to evaluate all 170,000 lines. They just need to find one buggy line which could potentially overturn the result.…
It shouldn't take 10 lines an hour should it? I don't have experience reviewing professional code of this size, so please correct me if my assumption is wrong, but that number doesn't seem right.
Re: Accused murderer wins right to check source code of DNA testing kit
#324Re: Accused murderer wins right to check source code of DNA testing kit
#325The tone of this thread is leaning to "forensics evil, government lackeys out to get the little guy". In the USA, all sides can call and rely on their own forensics. There is no government mandated & approved single-source-of-truth (with some minor exceptions). > Forensic labs and companies are expert witnesses with black box processes and the incentive to protect the authority of their profession. This statement is…
Ah, not quite.
More accurately: "all sides can call and rely on their own forensics _if they can afford it_"
In this country we _say_ that everyone has the right to an attorney, but that doesn't extend to expert witnesses.
This means forensic evidence becomes a _phenomenal_ tool for targeting the little guy, or the lower classes, while conveniently providing hooks for the more wealthy defendants to escape the system.
Re: Accused murderer wins right to check source code of DNA testing kit
#326If ever there was something that should be fully transparent it is the mechanisms by which a person might be found guilty of a crime. The defendant shouldn't even have had to fight for this. It should be a fundamental cornerstone of criminal prosecutions.
All of these companies claim that their source code is valuable intellectual property and that disclosing it can hurt their business. Even if this were true, when you're providing something that can be a significant factor in someone being imprisoned or executed, when creating the business you should accept that you're providing a public service that needs to be publicly accountable.
If it's not open source, at the very least there should be a requirement that software code and hardware designs must be provided on-demand to experts in court cases (with a non-disclosure clause to mitigate leaks and corporate espionage etc.).
Re: Accused murderer wins right to check source code of DNA testing kit
#327What is unfortunate is that it took going to appeal to force the judge to allow the code review at all. Without, at minimum, an independent review (and preferably open source code) the software and lab processes being used constitute an inscrutable "black box" process within which any judgment can be made, for any conceivable reason, with life-changing effects for the defendant (and for the victims of a crime if, for…
People sometimes ask me what my “number” is, like how much net worth or “money” I want, what would I do with it I say “I want to be able to afford appeals court where my rights matter” Infinite appeals court! Most people plea out, cant make bail, dont have counsel buddy buddy with the judge enough to get you bail, and lose the ability to keep good counsel for more and more motions and appeals I want that, there is al…
Re: Accused murderer wins right to check source code of DNA testing kit
#328Earlier quoted context omitted.
Temps vary throughout the day.
A rural small town judge probably doesn't have the best insight into that, just that Corporal Bubba said he calibrated it so it must've been right. I know, this is exceedingly cynical.
Re: Accused murderer wins right to check source code of DNA testing kit
#329Earlier quoted context omitted.
> A tool designed to find people guilty is biased to find people guilty. I don't see those particular issues make it biased, just inaccurate - it could go either way.
And yet somehow whenever you take a closer look at mislabeled product prices, the average is always in favor of the store. And that's far from the only industry. Complex tools are the product of many thousands of individual decisions taken by humans, humans aware of who's the paying client.
What is this based on?
Re: Accused murderer wins right to check source code of DNA testing kit
#330If an accused person has the right to see the source code that produced evidence against them, is it a violation of their rights for the source code to be obfuscated, or even just so spaghettified that not even an expert can understand it? I kinda think that should be a violation. But deciding whether a particular piece of code is so bad is so subjective that I'm not sure on how you'd make a legal standard out of it.…
We could also use formal verification based on well-established axioms. For example, maybe we could "prove" that the DNA kit reports accurate results as long as the samples it's given are processed correctly.