skysight-inc/HackerNews huggingface dataset:
So that "next = a + 1" is essentially a note to the compiler, promising that "++a" won't overflow?

To me that seems really reckless! If you need that note, make it a compiler pragma or something, rather than trying to sneak it in by repurposing some existing code.

Now if overflow were implementation-defined, the compiler would have to assume that INT_MAX + 1 wraps to INT_MIN (say). So as written, the "if (a == INT_MAX)" line would stay. That's what I would expect to happen on reading the code, and I'm confident that that's what most reasonable people would expect too.

If you want to skip the "if (a == INT_MAX)" check, just take it out.

I'm sure optimizations like this are important for squeezing a few extra percent out of the standard benchmarks. But for most ordinary programmers they're just a minefield you have to tiptoe carefully around.
So when you switch jobs you have to get surgery to get the device removed? I guess people will have to never switch jobs then. Sounds like a way to keep people from quitting a bad employer.
very good point. maybe this is where service mesh (istio - envoy, linkerd) could be useful.
> Replacing it is a Java course, which will emphasize the Spring application development framework.

So this is what progress looks like?
Please stop trolling.

https://news.ycombinator.com/newsguidelines.html
This is really great. All the existing "program in minecraft" solutions were pretty hacky IMO; lots of cruft to work around, which is really bad for my target audience of middle school students.
Employers Rejecting Pot Users Will Pay a High Price
Perl5 is also fun. Until you have to work with others' people code, or even your own older code.
And dump truck gearing patterns are kind of similar to manual transmission car patterns. Complaints about the difficulty of driving a dump truck remains irrelevant to cars.
You're greatly overestimating the difficulty of migration of diesel to petrol.

Also you say to "give it time". Why, that's 30 people a day, a Grenfell disaster every 3 days. Will you personally apologise to the families of the 30 people every day that are dying from complications related to diesel exhaust, and that giving it time while their loved ones die is the best solution?

I'm assuming you either drive a diesel vehicle and are against financial burden to yourself, or you love away from an urban centre where you are happily naive to the actual impact diesel exhaust causes to yourself. (or maybe you're lucky that diesel fumes don't affect your lungs and heart the way they do many others like myself).

A £500 pound annual fee for all diesel vehicles, to be upped to £1000 after one year, will go far to motivate diesel owners to consider other options and make "the right choice" on next vehicle and fleet.

This could also go straight towards the NHS to offset treatment for air pollution health issues.

Did you see what I wrote about CarGiant? Diesel cars are easier and cheaper to buy right now. You have to go out of your way to get petrol instead of diesel.

This law is basically putting the status quo on hold for a decade or more, because no politician wants to be the one putting his or her name on a bill to cause financial burdens on diesel owners.

Yet they have no problem continuing to poison the rest of us.
If you need service discovery, replicas, rolling deploys, etc. ACI probably isn't for you. Check some of the experimental work we released today connecting ACI with Kubernetes: https://github.com/Azure/aci-connector-k8s
http://lmgtfy.com/?q=raspberry+pi+projects
Can't beat this drum enough. Consider using a treadmill desk. Alternate between sitting and walking. Moving is better than standing still.

See my setup. https://www.dropbox.com/s/089qqvaa7j5ob77/office_setup.jpg

I've lost a lot of weight with this setup. Still have a long way to go.

I've found the key to concentration is walking slow. It has a max speed of 4MPH (which is way too fast). I walk at a pace of 1.2 - 1.4 mph. I walk in segments of 25 minutes. Break for 5. Longer breaks every 4 cycles. (Pomodoro Technique)

I look at this as in investment in my health. It's paid off already, in big ways.
Singapore is testing glow-in-the-dark roads for better night visibility
WTF Is AdToken? A Primer to Ad Network 2.0 Schemes
He was comparing "real victims" to the "false accusations" in mcappleton's post... not the victim in the original article.
If you want to have a clear grasp of the AI/AGI challenge, "SuperIntelligence" by Oxford philosopher/mathematician Nick Bostrom is a must. https://www.amazon.co.uk/d/Books/Superintelligence-Dangers-S...

Now if you have a bit of a math/engineering background and want to understand how modern AI really works, the two best books/shortcuts to go from beginner to expert are:
- Ian Goodfellow's "Deep Learning" http://www.deeplearningbook.org/
- Richard Sutton's "Reinforcement Learning: An Introduction" http://incompleteideas.net/sutton/book/
I really struggle with this color of money nonsense that western finance has invented. Tell me again why hiring a developer is cheaper than buying one $8k server that will save us 35 man hours a week? Drives me batty.

Rearchitecting may be necessary anyway, but doing this kind of work involves hiring and training better senior devs and retaining them for a couple of years at least. That's not cheap. It's
A lot more expensive than those OPS guys you laid off.

I think what both of these scenarios share is that they're not about saving money. They're about empire building for the Dev manager.
> The position that "you can define god however you want!" is common

It's very common in 12 step methods. The text uses the term "higher power" - I think most people have their God as their higher power, others use their sober self, or something else they care greatly about.
IIRC Safe Rust has no UB, `unsafe` does, according to the Nomicon:

* Dereferencing null or dangling pointers

* Reading uninitialized memory

* Breaking the pointer aliasing rules

* Producing invalid primitive values:

- dangling/null references

- a bool that isn't 0 or 1

- an undefined enum discriminant

- a char outside the ranges [0x0, 0xD7FF] and [0xE000, 0x10FFFF]

- A non-utf8 str

* Unwinding into another language

* Causing a data race

These are all guarantees unsafe code must uphold or there are no guarantees anymore.

IIRC LLVM IR also has UBs.
The same thing happens here with bike lanes that share the road.

But once enough snow accumulation has happened, a lost lane will be unavailable until spring. The dedicated bike path that cuts through my community is closed during the winter and much of the spring (too much snow accumulation). The snow plow budget in most years couldn't possibly cover it.
That reminds me of frequent lane switching in traffic congestion. Unless the lane next to you is moving faster because of a fundamental reason (early stage unicorn), you'll get stuck again 100 feet down the road.
If this theory was correct the males in India and China would be affected more than males in the western world.
I don't think that unique really applies here - You can do the same with Google app engine standard runtime, or custom runtime if you want to use your own dockerfile.
https://cloud.google.com/appengine/
Aren't Azure Functions the direct equivalent of AWS Lambda?
Earnings-club-on-the-internet
Google Play Music works just fine in CarPlay, but currently Apple only allows music and messaging apps. We don't know why Apple doesn't't allow navigation apps but its not because they are pushing Google out.
Not the gp, but there are situations where that kind of activity is absolutely necessary. Think about driving behind an Uber that stops in the right lane immediately after clearing the intersection, then puts their hazard lights on to wait for a passenger. Your options are either (1) stop behind the Uber, potentially blocking the crosswalk and the intersection when the light changes, or (2) make a lane change in the middle of the intersection and pass the stopped Uber.
I suggest you express yourself less harshly.

On the contrary, if the _only_ thing you could leave behind were children maybe that's not the best branch to grow on.
If you're keeping coins on any exchange -- even Coinbase -- they are no longer your coins. You've just loaned them. And you may eventually discover why that is a very bad idea.

Since you have to use an exchange to obtain or sell crypto currency, this 'advice' is just pointing out the terrible flaws in bitcoin/ethereum/whatever. There will be plenty of users who were in the middle of cashing in/cashing out and have now lost all their money, and you're just saying "it's your own fault"
Serverless tends to be a conflation of 3 features:

1. Invisible infrastructure

2. Microbilling

3. Event-based programming model

ACI offers 1 and 2 without forcing 3, thanks to containers.
Have you read the quote?

"5 percent per month for 12 months"

I don't know how to reconcile this with your interpretation.
Does any bank (or anyone, actually) really do this though? It's easy to say you should take your money elsewhere, but where would you actually take it?
Toyota set to sell long-range, fast-charging electric cars in 2022
It's actually illegal in several states, including Wisconsin, for employers to require employees to get microchip implants. The motivation for these laws is exactly the scenario you've described.
>silly situations like being half-way on the wrong lane while passing a green light can cost you $150 here.

It's not a 'silly situation' and it's not just there - that's illegal. You don't change lanes in an intersection.
Is the implementation well vetted?

I sort of default to expecting implementation flaws and eventual cloning.
Kingdoms and Castles is a beautiful, relaxing citybuilder
If a flaw is ever found in bitcoin that renders it useless, it'll drop to 0. Don't hold all your eggs in one basket!
Actually Lambda was my first thought as well.

I'll give you an example - When I first discovered Lambda I had been working with containers for 6-8 months already and when I saw lambda it hit me that they just have container images capable of running python and node projects that this spin this up in and run the code we ask them to.

My mind immediately then went to our data pipeline that I'd like to run on a nightly schedule. This is typically done using a tool like Airflow or Luigi but I thought I could probably even just build the whole thing in lambda tasks that trigger via cron and SQS.

The reason we ultimately did not do that with Lambda was because it limited the amount of A. time and B. Compute resources one lambda task could use and we did not want to try to optimize for that when working with increasingly large amounts of data.

With something like this (ACI) I could actually do exactly this and even if its triggered by something like Airflow or Luigi I could run those on a much smaller instance and save the larger compute problems to being done on ACI in small spurts
The main limitation with lambda is really still code size. 50mb is tiny for all but trivial apps thanks to libraries.
HACL*: A Verified Modern Cryptographic Library [pdf]
I put the word "chemicals" in quotation marks because, of course, everything is a chemical. I just wanted to point out that we shouldn't pick just one chemical (e.g. BPA) and heap all the blame onto it. As a society, we have to be concerned about the potential dangers of every synthetic chemical
Waze always baffled me. No one I know uses it and most never heard of it. Google had pretty sophisticated data/algo of their own when they paid $1+B for this thing. ELI5 - why should any one care about Waze?
Thanks. Lost interest because she didn't want to make crafts and cookies. And it was a bit surprising, since we live in a neighborhood where there are plenty of girls, and moms, who are interested in STEM.

And I'm not sure it's a bad thing to have activities for kids that are not 100% STEM focused. I think you don't push STEM by pushing STEM at a young age, but by encouraging curiosity, exploration, reasoning, etc.
My bad, thank you!
Although I don't have the technical experience of many more active commenters, I do generally feel welcome to comment. I do self censor sometimes - catch myself making a irrelevant joke, etc.
That number seems like a rounded version of the GB-seconds (0.0000125 => 1.3e-5)
I'm gonna go with sitting and stress.
I wasn't clear, my bad.

For "locally" I meant "at the shop just around the corner", or however in a "convenient, known, usual, place" not a "drive in search of the lowest price across the city".

I have no experience whatever with NewEgg, from what I have seen around they seem on par with other online shops, and I - maybe I am just lucky - never needed the customer service of either Amazon of other vendors, what I can say is that at least here (Italy) Amazon is usually very fast in delivering (but all in all not that much faster than other online retailers, maybe there is a slight advantage for orders on Friday night, Saturday and Sunday).
What do you mean when you say that non-western countries are "exposed" to BPA as much, or more, than the US?

There is a large difference between merely touching a product that has BPA in it and consuming BPA. Plasticizers in general are fat soluble and dissolve from a container into food quickly when heated. Which is why you shouldn't reheat anything, especially fatty foods, in plastic containers.

In the West we re-heat everything in plastic containers. I didn't think this was as big of a thing in non-western countries.
But Hyper.sh is still competitive, I think, even though it's super young. They already have a high level AWS Lambda alternative (Hyper Func) that uses containers and is fully language agnostic, and they have reasonable pricing-per-minute figured out.

They also have open sourced their tech [1], so for certain companies they probably are compelling.

Perhaps they should provide the kind of ease-of-use on top of the stuff they already provide that will cut open a steady market for them, like a Heroku but with this underlying tech and thus more dynamic on scaling and flexible on tech stack.

[1] https://github.com/hyperhq/runv is one example
Haskell's rough to learn because it hits you with purity, category theory inspired typeclasses, and laziness all at once. It's natural that people struggle with this (I sure did).

If you feel like trying a pure language again someday you could consider PureScript (which just has the first 2 things above) or Elm (which just has the 1st). If you do try I'd like to hear how it goes, email in profile.
CPAN packages are written by thousands of different people with varying styles (cf. the issue with 10 different ways of doing the same thing), quality standards and maintenance schedules.

In Python I can expect the standard library to be consistent and be maintained as part of the core language. Now I don't mean that everything has to be in the standard library (I'm fine with the database access libraries being third-party for example), but in Perl even the most basic stuff like exceptions is only on CPAN and there are again multiple packages to choose from..
" He causes all, both small and great, rich and poor, free and slave, to receive a mark on their right hand or on their foreheads, and that no one may buy or sell except one who has the mark or the name of the beast, or the number of his name."

I'm surprised with the generally conservative Christian population in WI that more people aren't actively against this in their community.
It's illegal to require employees to have microchip implants in several states, including Wisconsin.
The bank didn't adjust the teller windows but people designed boxes to perfectly fit through the teller windows.

From a Rolling Stone article --

The banks' laundering transactions were so brazen that the NSA probably could have spotted them from space. Breuer admitted that drug dealers would sometimes come to HSBC's Mexican branches and "deposit hundreds of thousands of dollars in cash, in a single day, into a single account, using boxes designed to fit the precise dimensions of the teller windows."[0]

[0] http://www.rollingstone.com/politics/news/outrageous-hsbc-se...
India’s top food delivery startup accused of cheating. Swiggy returns fire
"The biggest stumbling blocks for IPv6 are the fact that many prominent cloud services don't fully support IPv6."

rsync.net has been ipv6 accessible (the storage, not the website) for 7-8 years ...
Not if population density is the trigger. How could the body evolve to be aware of national boundaries?
This is the inherent problem with Bitcoin. It's just not anonymous! Imagine a dollar that has a history of every transaction written on it. Monero is the coin you want.
Does this not help with handling this issue in python or is this considered a hack? http://effbot.org/zone/thread-synchronization.htm
It seems to me like it's supposed to be a more flexible, versatile equivalent of AWS Lambda: fired up for a quick operation based on some trigger, then immediately shut down. From that perspective the pricing doesn't seem too bad.
That team’s awesome. One of few groups in formal methods using rewriting logic (Maude) instead of things like Coq or Isabelle/HOL. They seem to move faster on semantics as a result. They also build their own modified logic called matching logic on top that they claim is better than separation logic.

http://www.kframework.org/index.php/Main_Page

More interesting, their use of these tools allowed them to make their C semantics executable in a style similar to GCC:

https://github.com/kframework/c-semantics

I want this group to do one for Rust and SPARK as a reference spec for certifying compilers for those. Also useful for the diverse compilation concept to counter Karger's compiler/compiler subversion. On a side note, they also have a company that they use to fund and apply their work:

https://runtimeverification.com/
ACI lets you schedule individual containers (technically container groups, which are equivalent to K8s pods). Everything on top of that - scaling, service discovery, rolling upgrades, etc. - is up to you. That's why we think the Kubernetes connector [1] is interesting:

[1]: https://github.com/azure/aci-connector-k8s
PyCharm vs. Spyder: a quick comparsion of two Python IDEs
It's one of the smallest MSAs in the list with only 365k thousand people, which makes it much easier for it to be an outlier. They included the 150 largest MSAs in the US and Ann Arbor is the 146th largest. By comparison, number two is the sixth largest MSA with about 6 million people.
> In the old days, pay was less

How can you suggest this? When adjusted for inflation, wages have remained constant or decreased in purchasing power, unless you happen to be in the top 5% of earners[0].

>Advancement could be very slow

As opposed to today's "non-existent"? The article we're discussing is all about how people hop jobs precisely because internal advancement is becoming a rare thing.

[0]:https://www.advisorperspectives.com/images/content_image/dat...
If this is true, we have no higher purpose than dogs.
it turns out that IO can dominate. When this happens, having green threads helps, because CPUs that would otherwise pend on IO availability will instead be freed to work on other tasks.
When good IoT devices go bad
Journaling my life at work using GitHub
Same here, except replace cigarettes with guzzling water while walking up and down a dozen flight of stairs, and there's no problem that this method cannot solve.
Indeed. The excessive number of people on Earth is currently causing a major extinction event (https://en.wikipedia.org/wiki/Holocene_extinction). Some might say that not having a kid is the best way to "leave something behind" for the future.

It's probably preferable to have some negative feedback in the human population explosion, without having to resort to wars.
Red Hat 7.3 ships perl 5.16.3 - it's from 2013. 6.9 ships perl 5.10.1 from 2009.
> You can buy at home sperm test kits and get results in minutes.

Those only test for the quantity, not for the motility, morphology, antibodies, white blood cell count, etc.
Stripe acquires Payable to help on-demand businesses manage 1099 tax reporting
You don't need "--ytdl-format best" anymore; youtube-dl defaults to "best".

And normally, mpv will automatically recognize when it needs to use "--ytdl".
I wonder if it's possible to sneak UB into normal "safe" Rust code, by leveraging LLVM optimizations?
> What if you get robbed?

> Like everything in life, it could happen.

> But, says Mr Danna, at least it is all in one place, making it easier to cancel all those cards.

Are they implying you might get your hand chopped off but at least it's easy to cancel your credit card?
Contracting in London seems to have morphed from "we want somebody for a short term project" to "for the level of experience/knowledge/skills we want this is literally the only way we can get it".
U2F is definitely nice, but it's impracticle to expect everyone to have a hardware key. There are software only wins that can be much better than the current status quo.

Sure, you can gave software U2F keys, but that's not commor or expected from what I understand.
They did not buy licenses.

That game (and others) was developed by the Minnesota Educational Computing Consortium (MECC), an organization founded by Minnesota legislature. They developed educational software and distributed it on computers across the state of Minnesota.

Later, due to the huge success of the game, they sold the game (bundled with others) across the US.

tl;dr: made possible by government funding

https://medium.com/@stevepepple/why-did-all-children-of-a-ce...
https://en.wikipedia.org/wiki/MECC
I don't see why you need a container for your cloud instances. Puppet/Chef/Ansible are all much better solutions.
They gamify user input (mostly from drivers I assume) while they're on the road.
I just finished Wings of Liberty campaign recently, might try some multiplayer games first to see if I can play with real people without losing horribly.

I might play Heart of the Swarm and Legacy of the Void later. There is also 4th campaign called Nova Covert Ops. But the pack I bought only contained WoL, HofS and LofV so I will probably skip that one.