skysight-inc/HackerNews huggingface dataset:
SMT based verification in Haskell
True then, it's not deterministic. I guess that's quite an annoyance actually, you can't use maps in a single threaded program if you want deterministic outcomes? I wonder if the seed of fastrand1 is constant.
Look up the history of the PUSH bit in TCP.
Yep, as a local small business owner (pet boutique) I can assure you that the hardest part, by far, is getting customers into the store. Groupon is/was definitely the best service we ever found to do this. And it's pretty incredible that you only have to pay when people actually come in AND buy! I never felt very sorry for businesses who complained about the economics (even though they were bad, they were pretty straightforward). And I certainly didn't feel ANY sorrow for the businesses who "sold too much".

I don't know if Groupon would have been such a hit with different discount structures. The "half off, a quarter to Groupon" was compelling to customers and easy to understand. I'm trying to envision "1/3 off and 10% to Groupon" or whatever.
SideTour sounds quite different from Detour. The latter is an iOS-only audio walking tour app. There are no humans involved in content delivery (except at the creation stage, of course). It's not the only mobile-audio-walking-tour app, but its content is really, really good.

(I'm a satisfied customer of Detour.)
> It's not better than the method I suggested, but requires to use I/O for every generated ID. So without gaining anything you lose performances.

I highly doubt unique ID generation is going to be the bottle neck in your app. Even if is, while your method is faster, it is not that much faster; for me in Python:

In [15]: %timeit hashlib.sha1(b'100'+seed).digest()
1000000 loops, best of 3: 632 ns per loop

In [17]: %timeit dev_urand.read(20)
100000 loops, best of 3: 1.08 µs per loop

In [22]: %timeit uuid.uuid4()
10000 loops, best of 3: 15.7 µs per loop
"Also: When you read the word 'Ponzi' in the context of macro-economics, as opposed to criminal prosecution, you should stop reading right then an there because the author is spouting drivel."

You know ... metaphor is a fairly powerful and useful tool ... I feel like maybe, it might be possible for someone, somewhere, to usefully and accurately draw a comparison between a macro-econ concept and a ponzi scheme ...

Call me crazy...
Strikes me as a combination of (a) gimmick, and (b) solution in search of a problem. How far are you really going to get through the car-buying process without being able to see a physical vehicle?

This technology may have its uses, but selling cars isn't one of them.
Anecdata:

After a few years with a great Nexus 4, my phone broke down and I switched to a Moto G Pure (the best thing I could find on a short notice, as those Nexus phones take a while to ship..)

It's a mostly ok phone, but the devil is in the details.. some of which I hate:

- The phone's vibration feel like an earthquake. I got a case just to ameliorate it and it still buzzes off everyone 100ft around me. Heck, I turned it OFF for voice and alerts but it still somehow vibrates for whatsapp and some games. Now I just don't play those games and have the phone in "do not disturb mode" so it doesn't vibrate like crazy.

- It has no led, so if I was away from the phone I can't see if I have an alert without touching the phone (perhaps that's why they made it vibrate so much? so that no matter where I am I know if I got a text?)

- It still uses the previous version of android even though it's a 2 month old phone which I just bought. This means no per-app permissions, etc.

So my point is.. yes you do need to get the details right! Just getting 95% there is useless, and that's where Moto and Samsung are. Maybe if they go back to only a few models they could get them right..
Make a technology, platform, architecture or framework choice. After a significant amount of effort realize you made the wrong choice.
We made this Slack bot because we found, as a team at a hackathon, that 500 people (mostly freshmen) forming teams at a hackathon were unlikely to self-organize productively when just put into a room together.

Our team did not have any CoffeeScript background, but Hubot came with most of the features we needed as CoffeeScript plugins. The four members of our team did not have any preferred language in common. We figured Hack-a-Thon participants would have an easier time if they could find other coders that preferred the same languages they did.
I made it my new HN topcolor--not bad.
"How did you end up switching from networking to animating falling bodies? What are you doing these days?"

Ford Aerospace got out of networking, then computer science, then closed the Palo Alto facility. I was out long before then.

What am I doing now? Robotics, again. Most recent GitHub commit: [1]

[1] https://github.com/John-Nagle/uarm_util
TRENDING TRAP MUSIC
Management that doesn't care about regressions then later also sticks you with placating the customers who get screwed by those regressions.
Using Detour as an example of a local business is disingenuous. Detour's marginal cost per customer/tour is ~zero. The businesses that Groupon targets are mostly those delivering a physical good/service, like food or a massage. Those require materials and/or human effort, which are more expensive than bandwidth and electricity.
Another explanation: the android market is competitive, so there are no extraordinary profits there left. It's like the salt market, etc.
I was just in China and walked into the Shanghai central library ... stairway up to the top floor ... big reading room, nice chairs, newspapers.

Read that days[1][2] New York Times in its entirety. No problem. WSJ was there too. South China Seas news, etc.

[1] Well, the day before, technically ...

[2] Yes, the real NYT, not the herald tribune or whatever...
This strikes me as an extremely bad idea. Putting aside all the issues about whether it is even possible to select genetic traits that will predictably result in higher 'intelligence', how do you even define this outcome? You can only optimise what you can measure, and it seems that this process will just produce people that are good at intelligence tests. At what cost to all other aspects and dimensions of human experience and achievement? How do you prove that this is a good idea for a particular individual?

My opinion: Bostrom has some interesting perspectives, but has always tended to preach pseudoscience to an audience that is entirely non-critical.
I would be very, very, careful about using PRNG to generate unique IDs.

If the ID indeed needs to be unique, I would stay as far away as possible from PRNG. That a PRNG is cyclic with some cycle size that's larger than the number of atoms in the universe does not prevent you from running into repeated sequences in a much higher probability, especially if you're reducing the space of values returned one way or another.

To some extent they're even wanted properties of a good PRNG. If you're using a PRNG whose cycle is larger than the space of distinct values it returns, there _will_ be repeated sequences of length > 1.

If your application cannot handle duplicated Ids, then use an ever incrementing counter concatenated with a serverId, add a checksum for the good cause if you want (it won't add any entropy or reduce the risk of collision)

If you really want to use a PRNG to generate unique ids, use an ever incrementing counter + a serverId + a random number generator. You can probably concatenate them any way you want, as long as the ever incrementing counter is stored in full, but the minute you truncate that one, I wouldn't expect any uniqueness anymore.

If you simply concatenate partial values coming from a PRNG, I would expect the probabilities for a collision to be much higher than cycle_length.

Using a hash function on a counter will still increase the risk of collision that simply using the counter. And using a hash function on a PRNG will also increase the risk of collision compared to the pure PRNG approach.

If your app is fine with duplicated IDs, then go ahead, use a PRNG. It's completely OK. Alternatively if you have a PRNG whose space of values is bigger than the space of UUIDs you're generating I would suspect should be fine. Same if you have a (non pseudo) RNG at hand.

EDIT : added the hash function paragraph.
Similar research results have been published before although I can't find them now. The hypothesis was that excess iron is a risk factor for cardiovascular disease, which is why menstruating women and blood donors are at lower risk than men and post-menopausal women.
> for when collisions do not matter much.

Collision, in that scheme, are effectively impossible. It's mostly the same as a UUIDv4. (The link notes this, and perhaps those extra bits are nice; I'm not sure why you'd use a poor PRNG to generate a UUIDv4 as that would effectively be a broken implementation. If you're doing that, what would prevent you from doing the same with XIDs?)
Introducing Shadow Proxy
I am surprised this hasn't been brought up already: the easiest and most reliable way to generate GUIDs is to use existing APIs, available on near-every platform out there. These blocks of code have been around for years if not decades and have been well-vetted and optimized. Rolling your own is just a poor use of time and invites error. Unless you're doing this for homework or have some free time and are curious about what's under the proverbial hood, don't reinvent the wheel.
There is no "0AD", and if you don't have leap seconds then the number of seconds per repeat of the Gregorian calendar is not fixed—just have a look at the graph at http://www.ucolick.org/~sla/leapsecs/deltat.html

There may be at least 8 different answers to "how many seconds have elapsed since 1972-01-01 until now" depending on legal jurisdictions: http://www.ucolick.org/~sla/leapsecs/epochtime.html

[ed: added second link]
Java gotchas
And not much of a delivery mechanism either.
Yep, that's a good one! My first time seeing it was on http://bash.org/?950581

It comes with a nice follow up after the first 6 rules:

< MatthewWilkes> 7. svn blame

< miniwark> 8. one day we will write tests
I have to agree that calling it a Ponzi scheme is inaccurate and tendentious.

China lacks transparency, and that's why they can get into a bad loan situation that US companies and banks can't. But it isn't a Ponzi scheme.

Also, $1.2 trillion Yuan is about $200billion. N.B. the headline uses a dollar sign but the article denominates that number in Yuan.
Ahh, i didn't know what Coinado is. I know I saw a demo that did use webtorrent (or similar)
Users with ideas
I've regretted that Octave hasn't done for Matlab what R did for S. I understand some of the cirumstances that made this happen, but I'm deeply saddened of the entrenchment that Matlab has in scientific computing. It's getting chipped away little by little at the edges by Python, and to a lesser extent by Julia, but Matlab still is strong. And yes, some uses of Matlab can be replaced by R, but overall the two packages target different problem domains.

I'm taking a break from Octave, but I plan to come back to it and take Matlab head-on, not chip away at the edges.
Groupon harpooned itself in my eyes right after they harassed me for having a 'similar' email to someone who had actually registered for their service (FirstLast@example.com) whereas I had (FLast@example.com) and for some reason they 'added' my email to their lists and it took me several months to get off their crap.
sorry HN blocked my account for submitting fast. they remove the blockage now.

you're right but i can't pretend to be someone im not. im not a rockstar dev you know there are lot of them.

yes i'm looking depressed now but im a burning fire in me work hard and joy. trying to find a place to work with good people and good purpose
The business model was bad, and the sales tactics were bad, and the handling of the contracts was unethical at best. The salespeople pushed us to give a big discounts on the list price of our service, saying that the promotion would bring long-term business. But that never happened due to the one-off nature of the advertising. Instead, we made a loss on every customer due to the discount, while Groupon made their commission (25% of the list price if I recall correctly) whatever happened. Making excessive money while your clients lose money is not a viable business model. So we dropped them, as many others did, and they moved on until they finally ran out of victims. If I recall correctly, the second time we tried, they changed the contract percentages on us without informing us, similar to the story another business owner tells in a comment on the Medium post: http://bit.ly/1SRjksX
The worst problems ( and the best pranks ) are the ones that make you question your own sanity.
Google News Personalization: Scalable Online Collaborative Filtering (2007) [pdf]
Disappointed startup kids ask for crowd-funded vacation
yeah i've trying to find wonk on here too. thanks.

i know a guy too living like that, he make stock videos and he travelled around 10 countries in 2 years and he is in cambodia now. fantastic place. he said he want to stay there at least one year to discover more.

it's might be compelling to live a nomad life, it has extra effort to keep things tidy and clear. it's already hard thing to left everything about your behind, but maybe i'd consider living a nomad life few years later but first i need to find peace in my mind
Thankfully, I live in a country where all fruits are cheap and abundant, and multivitamins are expensive.
Such a stupid idea to publish this when the rest of the world is trying to dramatically curtail antibiotic use. This is still completely unproven as a viable strategy in people. How much is this approach going to cost anyway? So wealthy westerners can survive multi-drug resistant infections while the rest die from untreatable urinary tract infections? Such damaging hyperbole, completely missing the point, and from a scientist as well. Another win for science journalism.
Compared to Matlab. I liked Octave a lot. The kOctive gui was great.
Someone has a swank Mac menubar app for Putio that's a browser helper; any magnet or regular torrent file gets added to your put.io queue simply by clicking the link within your browser.
> That said, I think failing any part of BigCrush should disqualify a PRNG from use.

Would include the PCG family then?
The bar exam can be a useful screening mechanism for testing a candidate's formal knowledge of any given state's laws and for measuring that candidate's ability to apply such knowledge to hypothetical situations (thus testing analytical and logical skills as well).

This obviously has an important bearing on whether someone is competent to practice law and that is why such exams are universally used as a minimal condition for entering the profession.

That said, the tests are in some respects arbitrary in that they fail to test for a wide variety of other traits that qualify one for practicing law, they fail miserably to screen many who do prove to be utterly incompetent practitioners, they bar others from practicing who in fact would be very able practitioners but who cannot pass the formal testing mechanism, and they limit the supply of legal services available to those who are least able to afford them, thus serving as an integral part of a guild system that may be seriously outdated in a modern world in which technology might be better able to be used to help people in legal matters if such barriers did not exist.

In other words, bar exams are all good in theory but in many ways serve to do more harm than good in limiting the potential for how legal services might ideally be provided now that the technical means are there for better standardizing them and for more efficiently delivering them. I don't believe this will change any time soon but who knows? Frustrations with the legal profession abound and maybe someday some of these guild-related elements will be re-examined. But I am not holding my breath.
I just try to eat a footlong Subway sandwich with all the veggies every few meals.

It doesn't taste great, but it doesn't cost much (in terms of both time and money), and I assume it should be pretty decent in terms of nutritional variety, if nothing else. And it allows me to just eat whatever I'm in the mood for for all my other meals without having to plan out my nutrition intake super meticulously.

I might replace Subway sandwiches with a Soylent-type meal-replacement product in a decade or two, when hopefully most of the issues are worked out and risks made evident.
Agreed, but it can still be a useful technique if you ever need to sort your values by time, in which case it's logically a tuple masquerading as a physical single id.
I'd like to see some non-fake pictures of what you see through Microsoft's device. Remember, it cannot darken anything; it can only add light. Yet their demo videos clearly show dark virtual objects against a lighter background. That's fake.

Applications will either require a dim room, or will be bright shiny lines on top of the background.
Coder's worst nightmare? When you are the last line before something gets pushed into production, and the fear that it will fail IN production.. have i missed something?
This reminds me of the buggy pic-C compiler standard library I was using. Some functions calls with particular parameters (maybe the printf family) would halt program for no apparent reason.
Period story
Maybe in this case it should be calmly noted, since magnesium supplements are cheap and a lot of people not drinking Soylent would benefit from a magnesium supplement.
Or use a cryptographically-secure PRNG (CSPRNG), which doesn't have the flaw of a cycle size that will be reached within our lifetimes. (Usually they return 128-bit or more outputs, and 2^128 is a very large number; by comparison, the standard Mersenne twister returns 32-bit outputs.)

For most applications, CSPRNGs are way, way more than fast enough. They're also readily available and well-tested on all current OSes and languages.
i think i missed some opportunity :) yeah NL would be perfect if i have that chance and thanks.
i've other problems with my wife, just want to mention about them in here, there are really personal stuff and i want to keep them in husband-wife privacy. and im trying plan how to explain myself clearly to my wife. i don't want to leave her with tons of questions in her head. just i need to find most peaceful way i can.
He did sorta mention it, but not by name:

"I suddenly realize it's in the compiler. It was the compiler. And every time you compile the original code and run it puts in the subliminal message code into the source code. I'd heard of this before."
http://physics.nist.gov/cuu/Units/second.html

Seconds have been independent of solar time for quite a while.
This is overly-simplistic, and misses three key points:

1) Labour productivity is measured as the _average_ output per worker, i.e. total output divided by total number of workers. It does not measure the _marginal_ output of an additional worker (i.e. the derivative of output with respect to number of workers).

2) Labour is not the only factor of production. There is also land, financial capital, technology, etc.

3) Haircuts in Norway cost more than haircuts in South Korea. Is a South Korean barber less productive than a Norwegian one?
almost forgot. i don't have children also. thanks again
Strategic nuke used in Yemen O_O
It still seems wasteful to wait an entire round trip before sending, rather than 1/4 round trip or so.
I've had one of these jobs for years. Each day I come in and expect the gig to be up. It never happens. This has been across 2 companies, for 10 years. From the outside it looks like a dream job, from the inside I'm highly depressed because the work is so unfulfilling. I have a need to be busy constantly, instead it's slowly seeing your skill set rot and dying a bit each day.
Perhaps... it is just an escape
http://cassandra2004.blogspot.com/2008/01/bobby-fischer-ayn-...
TLDR: if you define a bunch of complexity into your definition of time, you'll have a very complex model of time.

Eg, if you define the Gregorian calendar as a function of the position of the planets, rather than a function from atomic-clock seconds to a string, then the Gregorian calendar is not fixed. I suppose Pope Gregory designed it as a function of astronomy, so who are we to roll our own?
i have a lot of different problems with my wife but i dont want to mention in here. they need to keep in husband-wife privacy.

international corps are the worst. if you have a CS degree and you only know how to open Visual Studio you'll get the job. also Microsoft dominate the market in Turkey, and if you are a Python developer your only chance are %3-4 of the industry.
Yes! I once started testing a class I had written, only to discover methods I hadn't finished writing yet were working perfectly!

It turns out I was accidentally reimplementing a library function, and I had chosen the exact same names and method signatures for the (admittedly small and fairly obvious) class.
Most of the Bay Area's All-Cash House Buyers Don't Work in Tech
Years ago, my wife had a bug that only happened in a non-debug build and only on one specific system. It was a recursive tree traversal algorithm, written in C, with an OB1 error in some pointer arithmetic. If memory was allocated in a particular order, the function would read off the end of level X's data and find level X+1's data, which was structured exactly as expected, so it would end up processing certain nodes twice. In the debug build there was a debug variable being initialized to null, which was in between the two blocks of data and therefore got interpreted as a terminator.
> The whole idea of Rich and Poor is based on Scarcity of goods.

No, actually, it's based on ownership of the means of production.
The EU block's GDP is also the highest in the world though, with little room to grow.

Furthermore, the only Asian country if comparable GOP/capita is Japan which has smaller growth than Europe for two decades...
Totally disagree. Andrew is a super smart and generous guy, built an extraordinary company, albeit not as successful now but still multi-billions in value. Local business, a totally admirable market to serve, has a very difficult time marketing and Groupon is/was a godsend.
I'm one of the guys
i already know that finding relocation jobs in US is hard and what you mentioned is a real deal breaker. then i'll take my chances in EU region or UAE etc.
Twitter Snowflake has the additional requirements of being mostly chronologically sorted (events at least 1s apart, and preferably 10ms apart, should have IDs in the right sort order) and using 64-bit IDs, which make the problem harder.

If you're happy to use random, 128-bit IDs, /dev/urandom solves the problem of unique IDs, and very easily fits the performance numbers Snowflake promises without even trying (they want 10k IDs per second and 2ms latency; /dev/urandom on my three-year-old machine does 700k IDs per second and 14µs latency in read()).
You do understand that with traditional advertising you spend money with no guarantee at all that it turns into sales?

I don't understand why people are so down on advertising that guarantees foot traffic when most/all other advertising is a total crap-shoot.
Fascinating study, and the journal article is free online[0]. It's an observational study, but of a single occupation and large N, with many other factors accounted for[1]. My take is that coffee, like other psychoactive substances, contains powerful chemicals that are likely to have some effect on total mortality. I will stick to my two cups a day.

[0] http://circ.ahajournals.org/content/early/2015/11/10/CIRCULA...

[1] The regression models included calendar time in 2-y intervals as the time scale, and were stratified by age in years. In the multivariable analysis, we further adjusted for body mass index (BMI), physical activity, overall dietary
pattern (aHEI), total energy intake, smoking status, sugar-sweetened beverage consumption and alcohol consumption, all of which were updated from follow-up questionnaires.