Hacker News
- Tim O’Reilly Course Corrects the Definition of Web 2.0 http://bhc3.wordpress.com/2008/10/01/tim-oreilly-course-corrects-the-definition-of-web-20/ 5 comments
- BEWARE! this Bitcoin price-correction is definitely NOT Over Yet! (and here's why..) https://www.reddit.com/r/btc/comments/7w1aqy/beware_this_bitcoin_pricecorrection_is_definitely/ 35 comments btc
- The only definitive way to establish that software is correct and bug-free is through mathematics, using the formal methods https://ponderwall.com/index.php/2019/04/04/flaw-free-software-possible-math/ 25 comments compsci
- The only definitive way to establish that software is correct and bug-free is through mathematics, using the formal methods https://ponderwall.com/index.php/2019/04/04/flaw-free-software-possible-math/ 68 comments math
- Legendary Dutch computer scientist Edsger W Dijkstra famously remarked that “testing shows the presence, not the absence of bugs”. In fact the only definitive way to establish that software is correct and bug-free is through mathematics https://ponderwall.com/index.php/2019/04/04/flaw-free-software-possible-math 55 comments programming
- Verstappen: Piquet ‘definitely not a racist’ but Hamilton comment ‘not correct’ https://www.autosport.com/f1/news/verstappen-piquet-definitely-not-a-racist-but-hamilton-comment-not-correct/10330630/ 4389 comments formula1
- [Florian Plettenberg] Update #Lewandowski: It‘s correct, he definitely won’t extend his contract beyond 2023! Also according to BILD. He has informed the bosses last week personally. He wants to seek a new challenge. His departure this summer is not excluded anymore. https://twitter.com/plettigoal/status/1524809557570093056?s=21&t=Fz0wXyJffPecDhe1coWczg 115 comments soccer
- Portions of Drive to Survive are "definitely not correct" - Norris · RaceFans https://www.racefans.net/2022/03/15/portions-of-drive-to-survive-are-definitely-not-correct-norris/ 585 comments formula1
- The observed object corresponds to a mass of 3-5 Earth masses orbiting the Sun at a distance of about 210-240 AU. If the interpretation is correct, then it is definitely an object in our own solar system that can be classified as a super-earth. https://twitter.com/jarimakinen/status/1458156022225416194?s=21 403 comments space
- Utah Republican wants to prevent trans people from getting corrected birth certificates. State Rep. Merill Nelson argues the sanctity of the definitions of "gender identity" and "sex" is more important than the consequences for trans people. https://www.lgbtqnation.com/2021/09/utah-republican-wants-prevent-trans-people-getting-corrected-birth-certificates/ 27 comments politics
- Filipino President Duterte suggests disinfecting masks with gasoline, quickly corrected - On Wednesday, the country’s Department of Health Undersecretary Maria Rosario Vergeire suggested that Duterte was joking and that residents should definitely not take the advice seriously. https://www.foxnews.com/world/filipino-president-duterte-masks-gasoline 28 comments worldnews
- [Auman] This is correct. The exact quote from Arians on whether Bucs can win with another quarterback besides Winston: "With another quarterback? Oh, yeah. We can win with this one, we can definitely win with another one, too." Never said "if" https://twitter.com/gregauman/status/1211742475745972224?s=20 21 comments nfl
- Serie A confirm Atalanta have been fined €10,000 after Fiorentina's Dalbert was racially abused. Also, Roma have been fined €15,000 because one of their coaches didn't have the correct ID. Definitely taking this problem seriously https://twitter.com/andrewcesare/status/1181608204725297152?s=21 11 comments soccer
- Correct way to use definition tables? https://www.reddit.com/r/laravel/comments/a4xzwp/correct_way_to_use_definition_tables/ 9 comments laravel
- What is correct definition of the true Q-value of the policy? https://arxiv.org/abs/1506.02438 3 comments reinforcementlearning
- $SHOP definitely buy this dip. “Shopify turns lower amid conference call after earnings release corrected” https://thefly.com/landingPageNews.php?id=2767684&headline=SHOP-Shopify-turns-lower-amid-conference-call-after-earnings-release-corrected 3 comments wallstreetbets
- I corrected NASDAQ's bitcoin cash article for factual inconsistencies by applying their own definition of a bitcoin hard fork to determine whether BCH / BTC is bitcoin. I think it reads better this way, too. https://twitter.com/thetimpotter/status/962063090823999494 5 comments btc
- Simple question about a definition of language: would it be correct to say that "language is a flexible system of symbols?" https://www.reddit.com/r/linguistics/comments/74xcs0/simple_question_about_a_definition_of_language/ 13 comments linguistics
- This TNW 'rumors-correction' article has got almost everything wrong about the 2016 MBP! "Straight away, I’ll tell you the OLED bar is almost definitely not happening. I’ve spoken to several people ‘familiar with Apple’s plans’ who laugh that feature off. https://thenextweb.com/apple/2016/07/31/2016-macbook-pro-rumors/ 9 comments apple
- Merriam-Webster Tweet Corrects Conway’s Definition of Feminism http://www.nbcnews.com/news/us-news/merriam-webster-tweet-corrects-conway-s-definition-feminism-n725096 241 comments politics
- Obama: 'Trump's Definition of Political Correctness Different Than Mine' http://abcnews.go.com/politics/obama-suspect-trumps-definition-political-correctness-mine/story?id=44274981&cid=social_fb_abcn 26 comments politics
- Before the season, ESPN predicted games that teams would definitely lose, based solely on schedule. So far it's gotten the first 3 all correct. The next game: Warriors at Timberwolves tomorrow (predicting Warriors loss) http://www.espn.com/nba/story/_/id/17790282/the-nba-grueling-schedule-cause-loss 4 comments nba
- A Definitive Ranking of the Best/Worst Catchers of 2016 Which is Definitively Correct and Not Wrong https://www.reddit.com/r/baseball/comments/5bxbrw/a_definitive_ranking_of_the_bestworst_catchers_of/ 18 comments baseball
- Justice Ministry to change German law's Nazi definition of murder | The German Justice Ministry is determined to correct the definition of murder in the Criminal Code, because it was drawn up by one of the Third Reich's most notorious judges http://www.dw.com/en/justice-ministry-to-change-german-laws-nazi-definition-of-murder/a-18620945 10 comments germany
- It's not big. It's not clever. But today of all days, it is most definitely correct. http://www.youtube.com/watch?amp%3Bfeature=player_embedded&v=dRGmgzFCNiY 5 comments soccer
- My Mandlebrot Tat Idea: Is my definition correct? I've been staring at it for so long, my mind is numb to it. The last thing I need is a permanent reminder that I screwed up a formal definition. http://i6.photobucket.com/albums/y225/funkmetalbass/mandelbrottat.jpg 15 comments math
- After failing to describe my withdrawal symptoms I found the correct definition: brain shivers. http://theblondepharmacist.wordpress.com/2007/11/17/brain-shivers-brain-zaps-brain-shocks/ 14 comments science
- Turns out our original definitions were correct. Atmospheric pressure, not gravity, drives a siphon. http://www.youtube.com/user/micolich#p/f/0/t_fje-hdfpw 200 comments science
- Should Knowledge be redefined? It is claimed that there is a problem with our definition of knowledge, exemplified by this, the Gettier problem. The trouble is, the cases put forth by the Gettier problem don't appear to be correct. http://en.wikipedia.org/wiki/gettier_problem 20 comments philosophy
- [Gary Neville]on X, I thought the decision for the Newcastle goal was correct. The ball out was inconclusive at best, definitely not a foul for me and if the VAR can’t evidence offside the onfield decision should stand. https://x.com/gnev2/status/1721094052110631063?s=46&t=X0WI8EE9yjF2I8EqZQCRnA 642 comments soccer
