30 C
IslamAbad
Monday, June 18, 2018
Making the Touch Bar finally useful

Making the Touch Bar finally useful

15-inch MacBook Pro with Touch Bar is my main work tool for more than a year. I use it every single day, all day long — to code, to process photos, and to write my blog posts, of course. Back in 2017, I thought the Touch Bar had a vast potential to become engaging and…
What happens before main() function is executed in C and why is it important?

What happens before main() function is executed in C and why is it important?

In embedded applications, since we are working very close to the hardware and since we are typically working with limited space, strict power requirements, and exact timing restrictions, it is very important to know exactly what happens when we run a program from the beginning to the end. Most developers (especially those who come from…

Verizon buys Yahoo for $4.83 billion

One of the most important companies of the first dot-com boom, Yahoo, has reached the end of its life as an independent company. Yahoo’s...

Self-Driving Truck Loses Its Remote Connection, But Not Its Shot at Milestone Achievement

From his vantage point in a car a few dozen feet in front of a 20,000-pound big rig barreling along a Florida highway without anyone behind its wheel, Stefan Seltz-Axmacher felt like everything was going according to plan. As the founder of self-driving-truck startup Starsky Robotics, he had spent more than two years building to…
Undefined vs Unsafe in Rust

Undefined vs Unsafe in Rust

Recently Julia Evans wrote an excellent post about debugging a segfault in Rust. (Go read it, it’s good) One thing it mentioned was I think “undefined” and “unsafe” are considered to be synonyms. This is … incorrect. However, we in the Rust community have never really explicitly outlined the distinction, so that confusion is on…
Fakespot – measure the legitimacy of reviews on popular sites

Fakespot – measure the legitimacy of reviews on popular sites

Fakespot | Analyze and identify fake reviews 975,755,040 Amazon Reviews Analyzed 6,928,720 Yelp Reviews Analyzed 803,200 TripAdvisor Reviews Analyzed 277,320 App Reviews Analyzed 983,764,280 Total Reviews Analyzed ...all you have to do is paste a link — Fakespot will then analyze the product's user reviews and grade them on their trustworthiness. Jeff Dunn, Business Insider…
Hard Questions: What Data Does Facebook Collect When I’m Not Using Facebook, and Why? | Facebook Newsroom

Hard Questions: What Data Does Facebook Collect When I’m Not Using Facebook, and Why?...

Hard Questions is a series from Facebook that addresses the impact of our products on society. By David Baser, Product Management Director Last week, Mark Zuckerberg testified in front of the US Congress. He answered more than 500 questions and promised that we would get back on the 40 or so questions he couldn’t answer at the…
What ORMs have taught me: just learn SQL

What ORMs have taught me: just learn SQL

I've come to the conclusion that, for me, ORMs are more detriment than benefit. In short, they can be used to nicely augment working with SQL in a program, but they should not replace it. Some background: For the past 30 months I've been working with code that has to interface with Postgres and to…
Console Security – Switch

Console Security – Switch

media.ccc.de - Console Security - Switch Homebrew on the Horizon plutoo, derrek and naehrwert Nintendo has a new console, and it's more secure than ever. The Switch was released less than a year ago, and we've been all over it. Nintendo has designed a custom OS that is one of the most secure we've ever…
Mussels test positive for opioids in Seattle’s Puget Sound

Mussels test positive for opioids in Seattle’s Puget Sound

Image copyright Getty Images Scientists at the Washington State Department of Fish and Wildlife have found that mussels in Seattle's waters are testing positive for opioids. The finding suggests "a lot of people" are taking oxycodone in the Puget Sound, researchers say. Scientists used mussels as a way to test pollution in Seattle's waters and…
What Needs to Happen Before Electric Cars Take Over the World

What Needs to Happen Before Electric Cars Take Over the World

On the slope of a thickly forested Czech mountain, three men in hard hats and mud-spattered fluorescent vests dig for the metal that could power a new industrial revolution. They watch carefully as a mobile rig, mounted on tank treads, hammers and spins a drill bit hundreds of yards into the bedrock. Water gushes from…
Formal Verification: The Gap Between Perfect Code and Reality

Formal Verification: The Gap Between Perfect Code and Reality

In Fall 2017, I took MIT’s 6.826, Principles of Computer Systems, taught by Turing Award-winner Butler Lampson, Nickolai Zeldovich, and Frans Kaashoek. Despite its rudimentary title, it’s a grad class on building formally verified systems. Using the proof language Coq, we wrote specifications, implementations, and proofs of toy structures: a remapped disk, an atomic pair…