skysight-inc/HackerNews huggingface dataset:
>In Haskell and ML, object identities are first-class values just like everything else, and using the single equality operator on them has exactly the same effect as using eq in Lisp

Yes, but you seemed to have an objection to eq existing at all.

>Given a reference cell, you can check its contents. But, given a value, you can't get the abstract location where it resides. And this is a good thing!

No, it isn't. Because sometimes you need that information. Which is why refcells exist in the first place.

>In a computer's memory, yes. But the semantics of a programming language isn't a computer's memory. Inability to see past possible implementations is the distinguishing trait of the abstraction-challenged!

Saying that an abstraction needs an escape valve isn't the same as being abstraction-challenged. The value abstraction may be useful in some contexts, but in others, you need to test object identity. Every language, even your beloved ML, has this valve in some way.

>Using reference cells doesn't seem like “jumping through hoops” to me. More like “explicitly stating my intent”

As is eq an explicit statement of my intent. A different way of stating the intent, but still a statement of intent.

>To see why equality is completely broken in Lisp, consider the following situation: You have two “lists” of “lists” (in the Lisp sense), and you want to compare the outer “lists” by value (`equal`), but the inner “lists” by object identity (`eq`). What would you do?

First off, why are you quoting lists? ML lists are the same under the hood.

Second off, that just seems like an argument for typing, dynamic dispatch, and a ref type. Which is doable, but I don't know if any of the typing systems have it. I mean, we have a pointer type, but I don't think the equality semantics for it are well-defined.

As for the most convenient solution in lisp, do you want convenient, or efficent? Once again in scheme, convenient looks like this:

(define (test-lists a b)
(if (not (= (length a) (length b)))
#f
(fold and #t (map (lambda (x y) (eq? x y)) a b))))

But doing it fast requires a simple change to abort the outer list comparison:

(define (test-lists a b)
(if (not (= (length a) (length b)))
#f
(call/cc (lambda (return)
(map (lambda (x y) (or (eq? x y) (return #f))) a b))))

It took one extra line of code and wasn't "tricky" at all. Sure, we don't have types, so it's not automatic, but it's still pretty simple.
While you are correct, those states are not small.

The number of native speakers for top five major languages as of 2001 are:

Hindi (and dialects) 422 mil
Bengali 83 mil
Telugu 74 mil
Marathi 72 mil
Tamil 61 mil

These are not insignificant populations. If you add in Bengali speakers in Bangladesh, the total hits 189 mil.

It's easier to think of India the way you think of EU: an aggregation of peoples and cultures under a political umbrella. As an example, sure many people in germany speak english, but would you really try to seriously gain entry into the german market without localizing into german?
Actually that would be a perfectly valid criticism of democracy. A dictatorship, for instance, is more robust to a generally lousy populace, though it suffers from other problems of course.
Really want Google Cloud to be an option for us - but given that they lack a Sydney/Australian data centre means they miss out on a lot.
I've had 920, 930 and I'm now using a 950 as my main phone: The hardware is superb, and I really like the OS (running Insider Preview Slow Ring). There has been a steady stream of Windows 10 Mobile Insider Preview updates throughout the last year, bringing both new features and stability.
In user interaction and interface consistency it is now much closer to iOS (or what iOS tries to be) than Android is.

That being said, it is pretty obvious it is a minuscule platform; apps are often lagging behind their iOS/Android counterparts, and there are some obvious ones missing (like Snapchat and Pokemon Go).

It is kind of sad really; I think it would be healthy with more than two major players, and Windows 10 users will probably feel quite at home in Windows 10 Mobile.
Can Science Breed the Next Secretariat?
ChaCha generates keystream blocks of 512 bits. So a comparison to block ciphers in CTR mode is fairly correct.
China is flooding Silicon Valley with cash. Here’s what can go wrong
Does Elon Musk need all the corporate welfare he gets?

Do the drug companies need Medicare to not have the right to negotiate drug prices?

Do large banks need to borrow over night at 0.25%?

The list goes on...
Show HN: Peep – Broadcast live video on WhatsApp
At Least 13 Feared Dead in France Birthday Party
A Promise Library Written in Node.js for Syndicating RSS, ATOM and RDF Based Feeds
My apologies. I didn't realise that you found it so difficult to take out your phone. I find it comes quite naturally to me - I was unaware that there were professional developers out there that struggled with it.
Political leanings of American professors
The only effective tool I have found is Rust, a correctness checker for race conditions.
I's not. The majority of email users don't even know what PGP is.
This protocol can provide an alternative to the web of trust. The verification method of web of trust can't be easily automated, this protocol can. For example with this protocol an email client can lookup the matching PGP-key for an email address.
This could make everyday use easier, but people will have to setup PGP, generate keys and then publish them. In my opinion this is still too difficult for the average user.
> Truth is truth whether I acknowledge it or not.

I agree with you. But, I disagree that the words of a book about religion is that ultimate truth.

I have no doubt that parts of the Bible are true. I'm not sure how else there would be stories of good, and bad, things that happened to people historically. Did people kill one another over things a "modern" society wouldn't? Sure. Did people see things they couldn't understand and attribute to a divinity? Yes.

> It is my responsibility to seek the truth.

I view my responsibility to be good to others in the best way I can. As you said, truth is truth. My faith of a religion is neither here nor there, and no one else's concern.

I'm not arguing you're wrong, but I don't believe I am either.
I can see the problem if the CIA have Niantic put a Charizard in a suspected nuclear enrichment plant and send back photos.
The blog post is somewhat misleading and /or misinformed. The "scientific mission" was always cover. The operation was too large to hide completely, so a semi-plausible (though on any reflection, pretty patently absurd) cover story, "For Science!" was constructed, complete with propaganda films featuring against-regulation-puppy-dogs....

I'd run across a reference to this in an old documentary video on "Camp Century" now online. Watching it I got the distinct impression that the story was not as it was described -- the mission involved 3,000 m of tunnels, included a shop, theater, and church, some 200 men, and a nuclear reactor for power generation. That's a lot of men and materiel just for a science mission.

As noted, turns out it was cover for a larger scheme: 4,000 kilometers of tunnels in which 600 nuclear-warhead tipped missiles were to be deployed.

But the ice cap proved too unstable and the project was cancelled after six years (the reactor removed before that).

The true irony is this: one of the more enduring results of the mission was scientific, as it produced numerous ice cores and established that the Greenland ice cap was far more dynamic than originally thought. Fake science ends up producing ... real science.

https://en.wikipedia.org/wiki/Project_Iceworm
http://defensetech.org/2012/04/06/inside-the-armys-secret-co...
Greatest Mysteries of the Cold War: Nuclear Powered Subterranean Secret Base in Greenland (720p)
http://fixyt.com/watch?v=NkvRwoVdzk8
yes, but this $30B valuation certainly helps facilitate a lot of secondary transactions.
Vladimir Putin Just Issued a Chilling Warning to the United States – Welcome
I basically became fed up with Windows 10 deciding everything for my device. When to update, what apps to use, nag me about Microsoft services. Monitor how I use my device.
Sadly after decades of Windows loyalty I moved on to Linux. Never a stranger to Linux but until now it was just a hobby OS I chose when I had a older device sitting around. Now, it's on my two main PC's a desktop and a newer Dell laptop and without issues Linux Ubuntu installed perfectly on both.
The helpful compatibility lists with Ubuntu gave me confidence my hardware would work with a specific distro. I certainly have become disenchanted with Windows 10 and Microsoft. A company that appears bent on controlling your device in an attempt at marketing their software and services and also selling your information and providing you with unwanted advertising and using Windows 10 as a conduit for this. Sorry Microsoft, that's not what I believe a OS should be doing.
Same thing here from the seller side.

Got a friend running some Bed and Breakfast hosting in the French countryside. The typical 50 year old that I'd hardly imagine selling on AirBnB (can he even use a computer ?).

It turns out that he puts his listing on AirBnb and it's actually bringing in customers.
Yeah I did try it on btrfs IIRC - but it's far too complicated (as opposed to hammer dedup where everything is included and it just works) and doesn't cater to my use case too well - I have multiple machines backing files up to a SMB share with lot of potential for duplicate data. I also need to be able to access those backed up files back over SMB. Just making a HAMMER mount point, running dedup on it via cron job at night and exporting it via Samba does everything I need.
Frankly, I find the neuroscientist that pretends that we have no clue as to why we sleep to be far more obnoxious. While we don't know the full picture, we have plenty of knowledge of things that sleep is for.

I did a neuropsych degree in the early-mid 90s and worked as a sleep tech in the late 90s - we knew certain things then, so it's pretty obnoxious to have this guy come along 20 years later and pretend it's a great big mystery. There's definitely stuff we don't know, but plenty of stuff we do.
Haswell Showdown Core I3-4130 vs. Core I5-4670k – Welcome
> why wouldn't we have mechanisms to remove those and keep the brain functioning?

I don't know if it's in the links below, but I remember hearing a talk that the flushing required physical changes inside the brain: Widening of channels (by neurons getting smaller and making room, if I remember that correctly?). So normal function can't go on while the flushing process is being performed.

https://www.nih.gov/news-events/news-releases/brain-may-flus...

https://www.nih.gov/news-events/nih-research-matters/how-sle...

Since we have distinct sleep phases we may not have just one "sleep", (very) different things going on at different phases.
Dumb question:

For self hosting, what's wrong with a shared file server and nice GUI such as TortoiseHG?

There seem to be a bunch of Git GUIs as well:

https://git-scm.com/download/gui/linux
The Cryptech project uses ChaCha as CSPRNG in our TRNG. We decided on ChaCha because of its performance and good security margin. I know of at least one more project that uses our ChaCha core.

https://cryptech.is/

ChaCha can efficiently be implemented in HW, esp in FPGAs that supports carry chains, which basically means most FPGAs.

It is somewhat hard do compare size and speed since both ChaCha and AES are so scaleable. In ChaCha there are many places where you can trade operator reuse with performance. But the fundamental operator size is 64-bits.

AES in comparison works on bytes and you can go from a single S-box (implemented as a table, as logic, as part of a T-box etc) that is reused in the datapath as well as key expansion all the way to a fully pipelined (10-14 rounds) humongous implementation. Very flexible and easy to adapt to the system requirements. One additional thing to note with AES is that for many cipher modes, the decryption functionality can be removed.

But with all this said. If I compare my implementation av AES (that includes decryption) with my implementation of ChaCha20, I get about 4x better performance with ChaCha with fairly close the same number of resources.

https://github.com/secworks/chacha
https://github.com/secworks/aes

The ChaCha core requires more registers, esp for the API. This is due to the bigger block size (512 vs 128)

I like ChaCha in HW and thinks its a good choice. I'm currently working on a ChaCha20-Poly1305 core compatible with RFC7539 to make it easier for HW projects to use good AEAD ciphers.

https://tools.ietf.org/html/rfc7539
No, actually I LOVE programming and creating new stuff with software too. Sometimes the cure for impending burnout for me is just to start another quick side project. I did that recently. Spent 4 months single handedly building a SaaS HR app, and when I felt myself losing my energy, I spent a weekend writing a small & simple side app project that integrates with the main app.

It worked in that I felt re-energised to tackle the main app again after that.

There are days though, that I cannot bear to even look at a computer screen at all, and those days, I take up my guitar or another activity to focus my passion on...
I was in Iran a while back and got the impression that the people were quite westernised. Especially traveling from Pakistan it felt like being back in France or somewhere like that. I'd suspect they are more worried by colour revolutions and the like.
And yet if you could enter Germany with the same marketing you give to the UK... wouldn't you?

There's a lot of markets which get left out when a company expands to "the EU" - which often means Germany, France, Spain, Italy, and maybe one or two other countries.
Hasn't India always been like that though, with the caste system? Nobody writes epics about the person who dug Arjuna's toilets, and so we see the past through rose-coloured lenses.
What’s with the weird scrolling on this site?
It's not "coming out of Black Hat". It's coming from Alex Ionescu, via his GitHub account. You have an identifiable person with a known reputation here, not some unidentifiable person hiding behind a pseudonym.

The problems that you have are quite different ones:

* Demonstrating that the Alex Ionescu of http://www.alex-ionescu.com/ and of https://microsoftpressstore.com/authors/bio.aspx?a=07cda0ad-... is the Alex Ionescu of https://twitter.com/aionescu/status/710477975288827904 and of https://github.com/ionescu007 . It's difficult to show a connection in that direction. The Alex Ionescu of https://alexionescu.net/#contact lets people connect the dots — a different set of dots, mind you.

* Knowing that https://github.com/ is the real GitHub. If this is a problem for you, then you have more serious and urgent problems than viewing a PDF document. (-:
Can't too much exploration results in exhaustion too ? A drownout...
Where did you get this from?

It sounds like a mix of 1930-40ies (mass murders in northern Europe) and late 1960-90ies (skinheads).
The pkg-message of the Gitlab port has some useful links to more documentation.

https://www.freshports.org/www/gitlab/

https://github.com/t-zuehlsdorff/gitlabhq/blob/master/doc/in...

https://github.com/t-zuehlsdorff/gitlabhq/blob/master/doc/up...

https://github.com/t-zuehlsdorff/gitlabhq/blob/master/doc/up...
China Reportedly Bans Korean TV Content, Talent
Wouldn't the very low atmospheric pressure prevent any sound from being transported? So it vibrates the birthday tune, but only via seismic waves, not sound. Nice touch anyway :)
The EFF has cash to spare too.
If you think of it as a state mandated tax, it's a regressive one which hits the poorest hardest. https://www.theguardian.com/society/2014/sep/24/in-court-non...

I think in urban areas you will be pushed harder for the license. As a first year student I received at least a dozen threats of being fined/prosecuted... despite not having a TV.
> Just warning: it is officially prohibited to review results of Nuremberg process.

I googled this back and fort a number of times to no avail.

Do you have direct pointers?
What distribution has this version
Depends on the power and wavelength. 1400-2000nm is meant to be safer for retina, not sure what these lidars use
Avalonia Alpha 4 – A cross-platform .NET UI framework
Did you watch the video in that article? It doesn't seem to line up at all with the text of the article, oddly. You see the guy for a moment and then the video skips forward and he's sitting in the Jeep with the alarm going off. The alarm appears to have been going for a good couple of minutes.

Wouldn't popping the hood also require breaking a window or otherwise getting in the car to pull the release?
Fuzzy Tales – Promo
> since each additional copy costs the manufacturer 0

How about the first copy? That cost "0" too?

If not, are you suggesting the first buyer pay full price and everyone else get it for free?
>Not the nicest thing to say about a champion AI that just took first place in an incredibly sophisticated virtual game

what? This was special olympics of CTF. All AI teams played at the same, terribad level, score differences were minimal.
Who cares where the enemy subs are during peacetime?

We are never really "at peace" or "at war" (short of nukes actually being in the air), it's a spectrum. It can move quickly tho' and when it does you might not have time to get your act together.
It may drop briefly initially, but as we saw with Linked-in, Facebook, or Google, zillow, if the fundamentals are strong, prices will keep rising. No free lunch shorting these.
You mean like the bit where he says "That’s interesting, but it’s hard to tell from that if the results generalize to projects that aren’t databases, or even projects that aren’t MySQL." and then points to a study which finds the same kind of problems across a number of different projects?
Charles Debugging Proxy Version 4 Released
alt https://joinup.ec.europa.eu/community/eu-fossa/og_page/imple...
> It is not true. Russia invaded directly into Crimea and East Ukraine, with very little help from locals.

When the foreign backed neo-nazis/nationalists where used as pawns to overthrow a democratically elected president and cabinet (with an approval rating higher than Obama), and then set out on a campaign of getting rid of all opposition, it became very true. And there are videos of their criminal conduct all over the internet.

The people fighting in the East break-away regions are people who do not want to be part of what you have to offer - which is nothing.

And the people of Crimea are quite happy with the current outcome.

And if Russia was truly invading Ukraine, it would have been done and over within 2 days.

Your entire new government structure is there to oppress you, lie to you, steal as much as possible from you, and to keep maintaining an ongoing conflict with Russia... All brought to you by some very nasty geo-politics from abroad.
Reminds me of the Glomar Explorer and the cover story of 'manganese nodule mining'

https://en.m.wikipedia.org/wiki/GSF_Explorer

I wonder which of today's scientific projects will turn out fake.
Kinesis Advantage 2
Why can't I run my own servers then ? The whole point of AWS is moot then.

Between everything else, database is the single most critical aspect - and there's a huge value for a high availability system.
Git DMZ Flow
Because their expenses would have to total at least 2% of their AGI in order for them to deduct them.

This means someone making $50K would need to buy $1000 worth of Just Mayo or other qualifying unreimbursed expenses.
Get what? You didn't hear about the Volyn massacre?
BulletProof Coffee Goes Brick and Mortar
Mozilla uses Pyramid, Django and Flask applications as far as I can tell.
There's also hnwatch from 2Ton, written exclusively in assembler ⌘ https://2ton.com.au/hnwatch/

There's a binary in the HeavyThing tarball so you needn't assemble the thing yourself.
Oh but they do burn people alive, don't they?

I think it's still quite possible to find Odessa videos on Youtube..
So correlating packet sizes between the Wifi and destination network's logs is really the problem here. That is crazy. What stops them from collaborating with any other company like this? So if someone has malware installed that sends packets out to some site deemed illegal, the user is automatically assumed to be in violation of some terms?
I am same as you. Downloading an app for something which can be done in a browser annoys me a lot. Being in programming, many of my friends show similar behaviour.

But I think for non technical people, apps are main way to use mobile devices. For example, I got married recently. My wife is a doctor. She uses iPad for personal computing. She tries to find the app for everything she wants to do on her iPad. In fact she uses Google app on her iPad a lot. Want to search something, start the Google app. I was surprised to see this. I tried to tell her that she can search straight from her Chrome browser. But I think it's matter of habit for her now and still prefers to use the Google App for search.
Larger than Hilton https://www.nyse.com/quote/XNYS:HLT
All of the combini chains make somewhere around 30% of their gross profits from tobacco. So that is their most profitable single category.
SevenEleven is the largest chain, not only by store count - after the CircleK / Sunkus integration by FamiilyMart that will be almost at parity - but more importantly, SevenEleven's per store sales are 20-30% higher: a huge advantage to them.
Dell 3110cn Driver Printer Download
Ninja rocks
My theory for that is different construction materials: cars built in the 1970s and 1980s become rust-buckets quite easily - but cars built after the mid-1990s use considerably better bodywork materials that don't need specialist care to maintain, especially a lot more plastic. I drive a 2013 Ford Focus and the entire front assembly is plastic - no way that's going to rust or corrode. I'm almost looking forward to selling it for a good price after the warranty expires.
>I'd like to see honest criticism of these funding rounds (or honest defense) from people who have a great deal of knowledge on the subject

This sounds like a variation of "You're dumb, they're smart. Trust them."

Fortunately, this isn't most people's first rodeo, and we've seen where blind trust of the "experts" gets us.
The Real Reason Uber Is Failing in Japan
I worked at Goldman Sachs for one year and saw this a lot. People even put bottles of Paxil on their desk, as if depression was sign of commitment to the job. A large percent of these people were working at the firm for other people's approval. I left, quickly. Not only did I work at lot less at my next job, a hedge fund, but I found a set of people that liked to work and get the heck out. Everyone had other things they were doing after work, whether it was socializing or coaching baseball or open source projects.

Burnout includes context. People at Goldman Sachs were burnt out often, because for most, the premise of working there was irrational. People at my next job were working just as much but it was more meaningful and for the right reasons, so I saw little burnout.
Brumley likes to imply that his company's team is the "CMU team." Either way he'll see it as a CMU win.