Hacked News

Comments from Hacker News https://ift.tt/2madgnb via

Article URL: https://jvns.ca/blog/2018/07/11/netdev-day-1--ipsec/ Comments URL: https://news.ycombinator.com/item?id=17513973 Points: 14 # Comments: 1 from Hacker News: Front Page https://ift.tt/2zwsVXA via

Article URL: https://www.bbc.com/news/world-europe-44804599 Comments URL: https://news.ycombinator.com/item?id=17513866 Points: 41 # Comments: 32 from Hacker News: Front Page https://ift.tt/2L1F2jQ via

Article URL: https://m.signalvnoise.com/the-open-plan-office-is-a-terrible-horrible-no-good-very-bad-idea-42bd9cd294e3 Comments URL: https://news.ycombinator.com/item?id=17513843 Points: 85 # Comments: 38 from Hacker News: Front Page https://ift.tt/2NLhuhS via

Article URL: https://en.wikipedia.org/wiki/Domain_tasting Comments URL: https://news.ycombinator.com/item?id=17513766 Points: 7 # Comments: 1 from Hacker News: Front Page https://ift.tt/1ld258K via

Article URL: https://www.zerotosingularity.com/blog/fast-ai-part-1-course-1-annotated-notes/ Comments URL: https://news.ycombinator.com/item?id=17513747 Points: 27 # Comments: 3 from Hacker News: Front Page https://ift.tt/2ueQaAp via

Article URL: https://github.com/eslint/eslint-scope/issues/39 Comments URL: https://news.ycombinator.com/item?id=17513709 Points: 77 # Comments: 30 from Hacker News: Front Page https://ift.tt/2mbz7KY via

Article URL: https://www.nytimes.com/2018/07/11/arts/design/germany-mobile-worlds-mkg-museum.html Comments URL: https://news.ycombinator.com/item?id=17510137 Points: 4 # Comments: 0 from Hacker News: Front Page https://ift.tt/2LalhUe via

Comments from Hacker News https://ift.tt/2zwsVXA via

Comments from Hacker News https://ift.tt/2LalhUe via

Comments from Hacker News https://ift.tt/1ld258K via

Comments from Hacker News https://ift.tt/2L1F2jQ via

Comments from Hacker News https://ift.tt/2ueQaAp via

Comments from Hacker News https://ift.tt/2mbz7KY via

Comments from Hacker News https://ift.tt/2NLhuhS via

Comments from Hacker News https://ift.tt/2uobjav via

Article URL: https://www.apple.com/newsroom/2018/07/apple-updates-macbook-pro-with-faster-performance-and-new-features-for-pros/ Comments URL: https://news.ycombinator.com/item?id=17513828 Points: 5 # Comments: 1 from Hacker News: Front Page https://ift.tt/2JeNBmw via

Article URL: https://arstechnica.com/gadgets/2018/07/apples-new-2018-macbook-pros-are-now-available-and-the-top-specs-are-much-faster/ Comments URL: https://news.ycombinator.com/item?id=17513810 Points: 10 # Comments: 0 from Hacker News: Front Page https://ift.tt/2NbN2MP via

Article URL: http://www.baarf.dk/ Comments URL: https://news.ycombinator.com/item?id=17513773 Points: 8 # Comments: 3 from Hacker News: Front Page http://www.baarf.dk/ via

Article URL: https://www.usenix.org/system/files/conference/atc18/atc18-amit.pdf Comments URL: https://news.ycombinator.com/item?id=17513530 Points: 4 # Comments: 0 from Hacker News: Front Page https://ift.tt/2ugy6Wl via

Comments from Hacker News https://ift.tt/2ugy6Wl via

Comments from Hacker News https://ift.tt/2NbN2MP via

Comments from Hacker News http://www.baarf.dk/ via

Comments from Hacker News https://ift.tt/2JeNBmw via

Comments from Hacker News https://ift.tt/2yTMeYZ via

Comments from Hacker News https://ift.tt/2zsjN6j via

Comments from Hacker News https://ift.tt/2u6QlgO via

Article URL: https://www.newyorker.com/culture/culture-desk/going-to-graceland Comments URL: https://news.ycombinator.com/item?id=17509183 Points: 18 # Comments: 1 from Hacker News: Front Page https://ift.tt/2z9Pn8S via

Comments from Hacker News https://ift.tt/2JaeFDj via

Comments from Hacker News https://ift.tt/2uabnv8 via

Comments from Hacker News https://ift.tt/2z9Pn8S via

Comments from Hacker News http://nandgame.com/ via

Comments from Hacker News https://ift.tt/2usrRy3 via

Comments from Hacker News https://ift.tt/2JikVZJ via

Comments from Hacker News https://ift.tt/2uh9Um2 via

Article URL: https://css-tricks.com/delivering-wordpress-in-7kb/ Comments URL: https://news.ycombinator.com/item?id=17513447 Points: 5 # Comments: 0 from Hacker News: Front Page https://ift.tt/2JaeFDj via

Article URL: https://medium.com/nybles/demystifying-react-s-virtual-dom-eb0f2dc0717a Comments URL: https://news.ycombinator.com/item?id=17513312 Points: 6 # Comments: 1 from Hacker News: Front Page https://ift.tt/2JikVZJ via

Article URL: https://boatingnz.co.nz/articles/deep-impact/ Comments URL: https://news.ycombinator.com/item?id=17512293 Points: 6 # Comments: 0 from Hacker News: Front Page https://ift.tt/2usrRy3 via

Article URL: https://www.nature.com/news/tardigrade-protein-helps-human-dna-withstand-radiation-1.20648 Comments URL: https://news.ycombinator.com/item?id=17511732 Points: 15 # Comments: 1 hnrss is a labor of love, but if the project has made your job or hobby project easier and you want to show some gratitude, donations are very much appreciated . Thanks! from Hacker News: Front Page https://ift.tt/2yTMeYZ via

Article URL: https://www.nytimes.com/2018/07/11/magazine/facebook-google-uber-tech-giants-power.html Comments URL: https://news.ycombinator.com/item?id=17511591 Points: 59 # Comments: 21 hnrss is a labor of love, but if the project has made your job or hobby project easier and you want to show some gratitude, donations are very much appreciated . Thanks! from Hacker News: Front Page https://ift.tt/2zu98YH via

Article URL: https://write.as/matt/bringing-blogging-to-the-fediverse Comments URL: https://news.ycombinator.com/item?id=17509296 Points: 96 # Comments: 25 from Hacker News: Front Page https://ift.tt/2uh9Um2 via

Comments from Hacker News https://ift.tt/2zu98YH via

Comments from Hacker News https://ift.tt/2zu3QfH via

Comments from Hacker News https://ift.tt/2urZRL7 via

Article URL: https://edu.swi-prolog.org/ Comments URL: https://news.ycombinator.com/item?id=17511901 Points: 15 # Comments: 0 from Hacker News: Front Page https://ift.tt/2urZRL7 via

Article URL: https://krebsonsecurity.com/2018/07/notorious-hijack-factory-shunned-from-web/ Comments URL: https://news.ycombinator.com/item?id=17512457 Points: 3 # Comments: 0 from Hacker News: Front Page https://ift.tt/2ma6hun via

Article URL: https://qz.com/1116991/a-biologist-believes-that-trees-speak-a-language-we-can-learn/ Comments URL: https://news.ycombinator.com/item?id=17512201 Points: 53 # Comments: 30 from Hacker News: Front Page https://ift.tt/2h9ClzU via

Article URL: https://hire.withgoogle.com/public/jobs/icrackedcom/view/P_AAAAAADAAADM4gZucu-A_Y Comments URL: https://news.ycombinator.com/item?id=17512151 Points: 1 # Comments: 0 from Hacker News: Front Page https://ift.tt/2L8Rv1Q via

Article URL: https://lab.wallarm.com/how-to-trick-csp-in-letting-you-run-whatever-you-want-73cb5ff428aa Comments URL: https://news.ycombinator.com/item?id=17512005 Points: 24 # Comments: 7 from Hacker News: Front Page https://ift.tt/2KLc3S1 via

This is kind of a banal story. I'm the lead developer on a "modernization" project that's taking a lot longer than anticipated (you see where this is going). The team is great, it's just that the work is way outside their comfort zone. The business has been selling the new version pretty hard and we're not going to make the release (about 3 months to go). Question is; as a lead how would you handle this? I think my direct manager has a healthy dose of skepticism about the timeline, but the product owner doesn't. At what point should I start sounding the alarm? I'd like to give it a couple of weeks and see if the team picks up pace but I'm not confident. from Hacker News: Front Page https://ift.tt/2upqEaM via

Article URL: https://makemediumreadable.com/ Comments URL: https://news.ycombinator.com/item?id=17511688 Points: 110 # Comments: 90 from Hacker News: Front Page https://ift.tt/2zvV016 via

Article URL: https://ocaml.github.io/ocamlunix/index.html Comments URL: https://news.ycombinator.com/item?id=17510902 Points: 133 # Comments: 12 from Hacker News: Front Page https://ift.tt/1B7WNnj via

Article URL: http://www.pkc.io/blog/five-red-flags-signaling-your-rebuild-will-fail/ Comments URL: https://news.ycombinator.com/item?id=17510670 Points: 164 # Comments: 77 from Hacker News: Front Page https://ift.tt/2md69dO via

Article URL: https://www.nytimes.com/2018/07/11/technology/personaltech/apple-iphone-screen-time.html Comments URL: https://news.ycombinator.com/item?id=17510454 Points: 80 # Comments: 58 from Hacker News: Front Page https://ift.tt/2u9dPCm via

Article URL: https://developer.apple.com/library/archive/documentation/DeviceDrivers/Conceptual/WritingDeviceDriver/CPluPlusRuntime/CPlusPlusRuntime.html Comments URL: https://news.ycombinator.com/item?id=17510348 Points: 48 # Comments: 27 from Hacker News: Front Page https://ift.tt/2KMyiqE via

Article URL: https://www.bbc.com/news/world-us-canada-44688274 Comments URL: https://news.ycombinator.com/item?id=17510202 Points: 67 # Comments: 75 from Hacker News: Front Page https://ift.tt/2J4LMIO via

Article URL: https://arstechnica.com/science/2018/07/nasa-commercial-crew-analysis-finds-boeing-slightly-ahead-of-spacex/ Comments URL: https://news.ycombinator.com/item?id=17509988 Points: 89 # Comments: 51 hnrss is a labor of love, but if the project has made your job or hobby project easier and you want to show some gratitude, donations are very much appreciated . Thanks! from Hacker News: Front Page https://ift.tt/2zuWZCT via

Article URL: https://github.com/adjoint-io/bulletproofs Comments URL: https://news.ycombinator.com/item?id=17509755 Points: 56 # Comments: 5 from Hacker News: Front Page https://ift.tt/2N8xdX6 via

Article URL: https://www.michaelfogleman.com/rush/ Comments URL: https://news.ycombinator.com/item?id=17509601 Points: 171 # Comments: 40 from Hacker News: Front Page https://ift.tt/2ujtsar via

Article URL: https://www.lrb.co.uk/v40/n13/sarah-perry/hospitalism Comments URL: https://news.ycombinator.com/item?id=17509446 Points: 20 # Comments: 4 from Hacker News: Front Page https://ift.tt/2lBw4vf via

Article URL: http://www.galitshmueli.com/system/files/Stat%20Science%20published.pdf Comments URL: https://news.ycombinator.com/item?id=17509407 Points: 3 # Comments: 0 from Hacker News: Front Page https://ift.tt/2udeoL6 via

Article URL: https://www.wsj.com/articles/fcc-proposes-rebuilding-comment-system-after-thousands-revealed-as-fake-1531315654 Comments URL: https://news.ycombinator.com/item?id=17509038 Points: 306 # Comments: 183 from Hacker News: Front Page https://ift.tt/2Lc3EmK via

Hi HN! I'm Saurabh, founder of Synthetic Minds ( http://synthetic-minds.com ) in the current YC batch. We protect smart contracts by using formal methods to synthesize their adversaries. Current use of web-app-like development practices for smart contracts is not working. People have lost over 4.1M ETH due to code bugs in these contracts, aka decentralized applications (Dapps). That equals $1.8B at current exchange rates, or $500M at the time of loss. The execution environment is "deploy once, change never", which resembles hardware and space applications. NASA/Airbus use formal methods to check this kind of software. Dapps need similar tools. I have worked on formal methods since 2006. In my PhD on program synthesis, I reduced checking code properties to theorems that could be proven mechanically. Incidentally, a full program was not required. The program could have "holes" and the prover would “fill” the holes by synthesizing code. I took those ideas to synth...

Article URL: https://earther.com/solar-just-hit-a-record-low-price-in-the-u-s-1826830592 Comments URL: https://news.ycombinator.com/item?id=17508554 Points: 418 # Comments: 309 from Hacker News: Front Page https://ift.tt/2LUG1iu via

Article URL: https://www.forbes.com/sites/alexkonrad/2018/07/09/at-initialized-capital-odd-couple-alexis-ohanian-and-garry-tan-look-to-do-vc-differently/#456e13c43efe Comments URL: https://news.ycombinator.com/item?id=17508321 Points: 57 # Comments: 21 from Hacker News: Front Page https://ift.tt/2NKvGr5 via

Comments from Hacker News https://ift.tt/2h9ClzU via

Comments from Hacker News https://ift.tt/1B7WNnj via

Comments from Hacker News https://ift.tt/2md69dO via

Comments from Hacker News https://ift.tt/2ma6hun via

Comments from Hacker News https://ift.tt/2N8xdX6 via

Comments from Hacker News https://ift.tt/2EbtJix via

Comments from Hacker News https://ift.tt/2upqEaM via

Comments from Hacker News https://ift.tt/2ujtsar via

Comments from Hacker News https://ift.tt/2NyuSWi via

Comments from Hacker News https://ift.tt/2lBw4vf via

Comments from Hacker News https://ift.tt/2u9dPCm via

Comments from Hacker News https://ift.tt/2KLc3S1 via

Comments from Hacker News https://ift.tt/2udeoL6 via

Comments from Hacker News https://ift.tt/2zuWZCT via

Comments from Hacker News https://ift.tt/2zvV016 via

Comments from Hacker News https://ift.tt/2uk1qug via

Comments from Hacker News https://ift.tt/2NKvGr5 via

Comments from Hacker News https://ift.tt/2L24hiF via

Comments from Hacker News https://ift.tt/2L6pNTo via

Comments from Hacker News https://ift.tt/2Lc3EmK via

Comments from Hacker News https://ift.tt/2J4LMIO via

Comments from Hacker News https://ift.tt/2ubTiNi via

Comments from Hacker News https://ift.tt/2KMyiqE via

Comments from Hacker News https://ift.tt/2LUG1iu via

Comments from Hacker News https://ift.tt/2L8Rv1Q via

Comments from Hacker News https://ift.tt/2JeBwxu via

Comments from Hacker News https://ift.tt/2N1TtSq via

Comments from Hacker News https://ift.tt/2rksJUy via

Comments from Hacker News https://ift.tt/2ui7uUm via

New story on Hacker News: Solar Just Hit a Record Low Price in the U.S https://ift.tt/2NJHTwf

New story on Hacker News: The San Franciso Fire Department makes its own wooden ladders by hand https://ift.tt/2NauCfo

New story on Hacker News: Employers will do almost anything to find workers except pay them more https://ift.tt/2L11TvL

New story on Hacker News: Unified access to the best community-driven cheat sheets repositories https://ift.tt/2mb5iu8