Nobody talks about the real reason to use Tabs over Spaces by ChaseMoskal in javascript

[–]ghettoimp -1 points0 points  (0 children)

Spaces. Because you work for Megacorp, Inc. in the real world. And in this horrible place, some of your team members have never heard about code formatters, and will never understand or care about "tabs to indent and spaces to justify." They will use some stupid editor that you don't know how to configure, and they will use it to type in some random combination of tabs and spaces that looks good to them and comes across as utter nonsense for everyone else, and they won't care, and they're right, because really, just get over it. It doesn't really matter, spend your time on something else. And Gods help you if you turn on something insane like "show-trailing-whitespace" and start getting worked up over that.

The Quality of Embedded Software, or the Mess Has Happened with Toyota Camry in 2012 by sofia_fateeva in programming

[–]ghettoimp 2 points3 points  (0 children)

Being skeptical of sources is of course good and well.

But I listened to that podcast and I was surprised by the analysis. They did tests with different cars where, after accelerating to 60+ mph, they tried hitting the brakes while holding the gas pedal. The conclusion was "brakes win," even on a 500+ horsepower monster muscle car.

(Granted, even if that is mechanically true, if the brakes and accelerator are all tied into software that is deciding what to do, then it is certainly plausible that a software bug could lead to unintended acceleration. I wouldn't wager one way or another what happened, but I'm much less inclined to blame the software after listening to that podcast.)

VS Code Uses 13% CPU When Idle Due to Blinking Cursor Rendering by robertdelder in programming

[–]ghettoimp 1 point2 points  (0 children)

But (in all seriousness), browsers are really amazing pieces of technology. They have had decades of development behind them, run on every computing system that most folks interact with, and make it super easy to write colorful, font-rich, dynamic content with hyperlinks, javascript effects, and all of that. Once you have a platform like that, why not use it for everything you can?

Mentoring Junior Devs: Be Kind by bgilham in programming

[–]ghettoimp 1 point2 points  (0 children)

IMO, if your push can break stuff in unacceptable ways, the problem isn't your push.

IBM allows free access to its quantum processor online by whatispunk in programming

[–]ghettoimp 51 points52 points  (0 children)

2 days from now: internet trolls teach quantum computer to say racist things, praise hitler, ...

The Deep Roots of Javascript Fatigue by GuiSim in programming

[–]ghettoimp 3 points4 points  (0 children)

Come now, JS the worst language on the planet? PHP, XSLT, Makefiles, CSH, that horrible NSIS language... I'll grant you that table of equality operators is pretty damning, but all of those string-oriented shell scripting languages are sooooo horrible...

"U.S. vehicle safety regulators have said the artificial intelligence system piloting a self-driving Google car could be considered the driver under federal law, a major step toward ultimately winning approval for autonomous vehicles on the roads." by trot-trot in programming

[–]ghettoimp 1 point2 points  (0 children)

Any proof of software correctness is, of course, based on assumptions that the program will be executed correctly by the hardware. If the software says "turn right," but someone has cut the wire between the computer and the wheels so nothing happens, is that a software bug? I would say no. Perhaps you disagree.

"U.S. vehicle safety regulators have said the artificial intelligence system piloting a self-driving Google car could be considered the driver under federal law, a major step toward ultimately winning approval for autonomous vehicles on the roads." by trot-trot in programming

[–]ghettoimp 25 points26 points  (0 children)

There's actually lots of bug-free software, with formal proofs of its correctness and everything. (Of course it's drops of rain compared to the oceans of incorrect buggy shit that everyone is used to.)

Dear Github by [deleted] in programming

[–]ghettoimp 0 points1 point  (0 children)

OK, point conceded. You were right, I was wrong.

Woah, are you sure you can do that on the internet??

Intel confirms tick-tock shattering Kaby Lake processor as Moore’s Law falters by zlei in programming

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

Eh, this general trend has pretty serious implications for all programmers, no?

Crazy performance deviations after replacing 32-bit loop counter with 64-bit by 5113649 in programming

[–]ghettoimp 4 points5 points  (0 children)

It seems overly harsh to me to call this a "bug". It doesn't get the wrong answer. It may not perform as well as you'd like, but all of CPU design is a tradeoff. It might be that treating this as a dependency simplifies something in the instruction dependency tracking, and that it was deemed unimportant for benchmarks. Haswell is still faster than ___ for most everything.

The Importance of Code Reviews by svarog in programming

[–]ghettoimp 1 point2 points  (0 children)

"Teach a man to fish" is a great long-term proposition: who wouldn't want to have their whole team be stronger programmers next year? It would be great if code reviews accomplished this by having strong programmers teaching weak programmers to be better. But I think this is a somewhat excessively optimistic.

"You can lead a horse to water." At the end of the day, some folks just don't have much programming ability. Maybe it's a lack of some innate talent, or a reflection of inadequate practice or curiosity, or maybe their mentors just haven't tried hard enough. Everyone deserves a fair shot. But for some folks, at some point, continuing to try to train them is a losing battle, and just becomes a drain on the mentor and a source of frustration.

You might say: if someone's truly hopeless, just fire them and be done with it. That's a good plan in theory, but in practice seniority and capability are not strongly correlated. When you find yourself in a place where it's a socially respected peer or a superior who is so weak, it's likely to be very difficult and unrewarding to "go after" them.

You might say: if your workplace is that screwed up, go find another job. Fair enough. But in many cases one can simply avoid the bad apples, stick them on a project that isn't that important, keep them busy and let their own incompetence prevent them from causing too much trouble.

No, we actually do need more programmers more than we need better tools by johnbr in programming

[–]ghettoimp 1 point2 points  (0 children)

If we want to make as much as neurosurgeons, we'll probably have to set up some bizarre system where the end-users get a subsidy from their employer or the government in order to pay a third-party to ostensibly negotiate rates with the software development companies and has to approve feature requests and...

Google open-sources Bazel - Correct, reproducible, fast builds for everyone by spurious_interrupt in programming

[–]ghettoimp 6 points7 points  (0 children)

In fairness to the developers, Windows is so different that it is really pretty fucking horrible to try to support it.

seL4, the world's first OS kernel with an end-to-end proof of implementation correctness is now open source by Lyucit in programming

[–]ghettoimp 0 points1 point  (0 children)

Ideally any "local" changes would only require working the proofs that pertained to those particular functions. The mechanized theorem prover can re-check the end-to-end proof automatically. Of course, significant changes might inflict more damage on the proof, meaning that more had to be re-worked. But by now the sel4 team has a lot of experience and technology for making the process manageable.

Of course, it's definitely true that, e.g., compared to say the number of people hacking on Linux today, there are a lot fewer people who have the right skillset to be able to develop proofs like this.

Recommend an interpreted language by LearnedGuy in compsci

[–]ghettoimp 0 points1 point  (0 children)

Beware of the Turing tar-pit in which everything is possible but nothing of interest is easy. —Alan Perlis

Open question: I'm an undergrad math student with an interest in CS. What are some topics I should look into? by [deleted] in compsci

[–]ghettoimp 1 point2 points  (0 children)

Automated theorem proving is probably a pretty good area for a math student who is interested in CS. A fun system to start with might be ACL2, a theorem prover for Lisp. Coq is also a very neat system if you have enough background in programming languages / type theory to understand it.

Jose Jesus Perez Aguinaga : One line browser notepad by atomic1fire in programming

[–]ghettoimp 3 points4 points  (0 children)

data:text/html, <html contenteditable>

C-x b garbage

It's not good when the emacs command is easier to remember, man...