skysight-inc/HackerNews huggingface dataset:
> and formal verification algorithms has limited power to solve the "human judgement of correctness".

Yes, but formal methods are no more limited than any other approach, and can come closer to the ideal than anything else -- for a price. BTW, we do not usually speak of "formal verification algorithms", just as we do not usually speak of "programming algorithms" or "testing algorithms". Formal verification is a human process, akin (and complementary) to programming or testing. The general idea is that the developers express the properties they'd like the program to have in a few short formal sentences, and then the program is proven (or verified in some other way) to conform with that specification. Nothing can prevent the problem of humans failing to express what they really mean. In fact, this is a problem with contracts more than anything else, because contracts need to accommodate many contingencies, which is why I think that the whole notion of machine contracts is rather foolish.

But the technical point is that the specific problem with Ethereum's heist was very clearly one of a program not conforming to (an informal) spec, that its creators had in mind.
This is obviously painful for the family and the fans, and I hope my words are not taken in the wrong way.

But I really wish Americans (and yes, I think it's mostly Americans who have this tendency) would choose their words more carefully.

If I am not mistaken, we are talking about a disease. What makes the analogy to "terrorism" apt here?

For a while, everything seemed to be a "war" ("war on drugs", "war on crime", "war on bla"…). Now, everything that inflicts pain and trauma, it seems, is "terrorism".

This may not be the right occasion to complain about this. But at the time of reading, it is top of the list at HN and this kind of conflation really bothers me. Words still have meaning, one would hope, the sad Zeitgeist of our time notwithstanding.
It is astounding that someone with the resources to pay for the best medical care was unable to arrive at the correct diagnosis. As we move towards AI assisted diagnoses, hopefully such suffering can be mitigated.

Do neurologists follow checklists when diagnosing symptoms? Will this case change their procedures going forward?
A bit off topic, but if anyone wants to code review/check out my C CHIP-8 emulator using SDL2, I'd love some feedback!

https://github.com/scanlong/c8
I've found that the interstitial delay is pretty minimal; maybe 5-10 minutes behind fingerpricks (which themselves lag somewhat behind arterial blood, especially if your hands are cold). The dominating factor is the 15-20 minutes it takes before the median of a window reflects the new data.
The most difficult part of learning programming is figuring out what to learn, at least, for me...
This reminded me of a "My Beautiful Broken Brain" documentary.
.50 BMG is supersonic but drops in velocity rather quickly, like any other small caliber round. Depending on the position of the shooter (especially if opposite to the recording equipment relative to the LV, for example), chances are that the cameras with mikes recording the LV might have problems hearing it. I'm not sure at what distance it drops into subsonic region but the size of the target should allow for some pretty large distance. Powder load could also be tweaked. One has to assume a shooter with significant resources if a deliberate action against a multiple-$100M target is the premise.
this is supposed to be used in the data processing step. you load your image from jpeg or your video using ffmpeg, enhance the images and then pass it to the next step where color rendering is done. you can do that in the browser or mobile just as fine.
The Hybrid Anomaly
Honestly we already have standards for tethering over USB... Still crazy, but it could actually work.
Out of interest, what sort of skills and responsibility are expected to get that level of income?
Does this classify whole graphs, or nodes into communities/classes?
I think the old "if all you have is a hammer.." applies here.
My father is now being treated for dementia, unknown cause, but they suspect Alzheimer's. Several months ago he was hospitalised after a psychotic break. When he was being admitted, I told the psychiatrist about my late grandfather's dementia but it went unnoticed. After several months of antipsychotics (which did remove the delusions) and antidepressants his condition did not improve. In the end she finally ordered brain scans and performed a full barrage of blood tests and a neurological assessment to discover there is brain sclerosis.
Uber, Lyft help seniors moonlight in retirement
And the origin of the original quick hack is still unknown because there was no version control at the time of the Cambrian explosion.
> central to the health of the economy

I've heard this so often. Usually, in the context of some BS excuse to keep prices always rising.

All praise real estate prices, the engine beyond true economic growth in the USA.
"case insensitive identifiers"

Why is this considered bad? I tend to think the opposite. I've never come across a convincing argument in favour of case-sensitivity.

In fact, every language that is case-sensitive always warns users to be alert to misspelled case-sensitive identifiers as a source of errors.

"there's nothing more likely to repel a new developer than forcing them to switch to a new coding style."

So the principal reason in favour of case-sensitivity is habit and familiarity on the part of the programmer (rather than any sound or convincing design reasons)?
The resources on the Octojam site may be useful, and Octo can make it easier to produce ROMs for testing purposes. (that's how the project started!)

If you're running into specific problems and you need advice, ask away!
I don't understand how someone could spend so much time on an obviously excellent product and not want to show it off to the world.
I've looked at Julia once or twice but at the time it wasn't mature enough to do what I needed. Sounds like I should give it another look though.
I have recently come across a bug in relation to this particular javascript widget. Once they dropped the requirement for widget IDs here:

https://blog.twitter.com/2016/embedding-twitter-timelines-ju...

Widgets no longer worked. So basically if you had widget IDs on data elements in HTML, the code no longer executed. Forced upgrade of the frontend code to match the JS requirements.
The Stonewall riots seem to have lead to long-term success. What better alternative would you have suggested than to riot?

The Zoot Suit Riots had the opposite effect from what you describe. Some of the police joined in on the riot against young Latino males, and there wasn't a powerful backlash against the rioters.

The riots in Romania in 1989 provoked a more powerful backlash. The government eventually lost.

That makes it sound like things aren't as simple as you describe.
Am I insane or are cache-control headers unreliable? I always set cache-control: no-cache on my S3 files but still get complaints about people getting old versions with broken pages as result.
From the point of view of a frontend dev front, things aren't much different:

security guy: You accumulate lots of experience over the years, where most errors happen, common culprits, but you _know_ the actual application of these ideas will always be different over time.

frontend guy: You gain lots of experience over time about common architectures, common best practices, common tooling, you _hope_ that the knowledge you accumulated will stay relevant over the following years, but in reality, except some basic concepts, everything changes. :)

I really liked his post. He pointed out to some deep issues like "Intellectual honesty" which I've been concerned about too(yea even in math) but I don't think the security sector is immune to these.
I'm using SyncThing ( https://syncthing.net/) to synchronise files between my systems (Linux and Android) and it's great. No complaints so far.
This piece was particularly haunting for me, having watched my father go through almost the exact same thing, including the PD diagnosis, lots of confusion about what was wrong with him, etc.

LBD is a horrific - the hallucinations are utterly terrifying to watch someone go through. My father did not commit suicide, however I have often thought that I wish he had, his decline has been so rapid and horrible - witnessing his fear has been torturous - today he cannot move or talk, and is barely conscious, it is simply a matter of time until something like pneumonia will take his life. His symptoms started at age 58.
This project is using 'subpixel' not to refer to monitor subpixels, but instead, lost information between existing pixels in an image.

You're right though, and that's why chroma hinting for subpixel AA has fallen out of favor. It also doesn't work on mobile where the screen can be rotated from RGB-horz to RGB-vert at a moment's notice. This was changed for ClearType in Windows 8 (DirectWrite never did chroma hinting).
There's no Dewar vessel on the LV as far as I'm aware of. The surface of the stage is the propellant tank, made of simple Al-Li alloy, several millimeters thick. It works fine because of the large mass of the LOX and the comparatively short time of the stage's operation. You just can't transfer enough heat into the stage naturally in the short twenty or thirty minutes between fueling and launch to cause any trouble.

Before they started supercooling the LOX, it was even easier because heat transfer into LOX tanks is conventionally managed by boil-off (in launchers without supercooled propellants, latent heat keeps the liquid at a stable temperature and a trickle refills the tank continuously until a minute or two before launch).
Siracusa probably knows what he's talking about when he tells you to run, not walk, away from this feature. Backup everything before you disable it too.
"Don't attribute to malice what could equally be explained by ignorance" is one of my favorite sayings and though I would hesitate to attribute ignorance to Dropbox I do feel some empathy when it comes to dealing with multi-platform file-system permission settings.

I think it's completely reasonable to suspect at least some of Dropbox to be old code pushed quickly into production and caste almost instantly into legacy-matenence-mode that can not be easily refactored or iterated upon ("move fast and break things har har"). While this is almost inexcusable for an established and well-funded company that does not have a shortage of resources to fix the problem, I find it significantly more likely then some 5-eyes-esque surveillance or data mining strategy as you allude to.
I did see this. While interesting, it's pretty rudimentary in the Data world. Google is supposedly developing a TensorFlow API for Go, would be interesting to see deployments of that.
it's also quite stable. We never had an issue in ~ 2 years with ~ 20 users.
Storm and Storm Chasing
It's a bit more than that. Normally, once you pass a CAPTCHA we leave you alone across the network for a while. With Tor, however, you change circuit every 10 minutes and every origin change. Tracking you across circuits would be obviously an invasion of your privacy.

This allows us to extend the lifetime of an "approval" across time and domains.

So it's not just changing the trade-off. It's enabling a human behavior that should make the user experience much better, while preserving privacy and not really changing the equation for bots.

(Disclaimer: I work for Cloudflare and wrote the original incomplete draft.)
Isn't the Simthsonian a government entity?
"the sad Zeitgeist of our time notwithstanding"

This sounds like one of those sentences that sound deep but don't mean anything. Can you explain?
Sure, but we agree every minute counts. Also, CGMs in arms differ from belly, etc. 10 min when insulin starts in 30 is a non-trivial amount of time. Point is, we def need faster insulin and faster, more accurate CGMs.
Some CDNs don't always listen to those (I've noticed cloudflare especially has a problem with them if I don't add the files to the ignore list in their control panel), maybe that's it?
Dear mods, how does story auto-resubmission work?
That's a good point about KHTML. A long time ago, Konqueror was actually usable as a web browser on most sites. And of course, WebKit has diverged so far...

Maybe what we need is to split up the browser: develop the rendering engine, JS engine, UI, etc, separately, with well-defined APIs. Then the things that require dedicated expertise could be developed by full-time employees, and the results of their work could be integrated into different end-user products, different browsers with different target audiences, developed by different groups, with much less effort and expertise required.

Of course, this is what Gecko and XULRunner used to be. Now Mozilla's direction is just demonstrating how badly needed their former course of action still is.

libgecko, anyone? (or even libservo--but will they handle it the same way they've handled Gecko, and make it practically Firefox-only?)
Both graph-level and node-level classification are possible. Graph-level classification requires some from of pooling operation (simplest case: mean-pooling over all nodes, but there are more elaborate things one can do)
According to your link, the Doug flag was created about 15 years before Big Lonely Doug was discovered.
I have plenty of rants about the company's engineering, priorities, etc. I just hate people saying dumb shit. :)

Workload QPS is a meaningless number unless you know what the workload is. At Parse, we used RocksDB (a LSM tree write optimized storage engine) to get something stupid like 9x faster writes. I don't know where you're seeing 600 QPS ... (we got 100x that if we were optimizing for writes) ... but it still doesn't mean anything unless you know the size of the document, whether it's inserts, queries, updates, whether it's hot spotting on a row, whether the lock is at the collection, document, database, or global, etc.

If you're going to switch storage engines, you have to use some sort of capture replay technology or you can not have any confidence in the change. Use what we wrote at Parse: https://github.com/ParsePlatform/flashback. We spent ~6 months teasing out bugs in rocksdb, mongodb, the 2.6 query planner rewrite, etc before we even started to make the switch.

If you don't do that, you don't get to complain about the results. Sorry.
There's a really amazing book by Susan Sontag, Illness as Metaphor (and a followup she wrote in the late 80s called "AIDs and its metaphors") which talks about this need to speak about disease as a conflict or fight, or as a foreign invasion or corruption. It's a fascinating book also because it compares the 20th century ways of talking (or not talking) about cancer with how tuberculosis was discussed in the 19th century and before, and both the differences and similarities, especially with regard to a different understanding of how disease operates.

People conceptualize their own illness in very different ways. An author I very much respect, Jenny Diski, died recently, and in her final series of essays about her life and her cancer (and impending death), she said at one point, “under no circumstances is anyone to say that I lost a battle with cancer, or that I bore it bravely. I am not fighting, losing, winning, or bearing.”
PDR Training – PDR Paintless Dent Removal Training
Most folk didn't have to deal with targeting MIDP profiles, J2ME and the incompatible vendor extensions...

Give me a fragmented Android any day, 1 build will run across all OEMs 99.9% of the time, rather than 15%
It's not mixed-in, it's in a separate tank. But since the tank is an aluminum alloy (often with copper or lithium mixed in) these days, I wonder about its behavior in the presence of an ignition source (some magnesium in the bullet or perhaps even just friction?).
> Well, Google, Microsoft and Apple pull in several billion per year...

Yes, but Mozilla doesn't also maintain the world's largest search engine, sell an operating system and office suite and gaming systems, or make computers, laptops, tablets, phones, and develop chips to run them on.

All Mozilla does is make software. And they only have one primary product. If x hundred million dollars per year is not enough for them to do that, I don't think the problem is that they don't have enough money.
What you call a complicated system is trivially easy compared to the complexity of the human body. The truth of the matter is that humans alone are simply not good at this. There is way too much information that needs to be considered both about the individual patient as well as medical knowledge of diseases.

What is necessary is to force the medical community to build up better tools for medical diagnostics and the storage and exchange of patient health information.
I don't rely on them. We set query parameters on new JS code to definitively bust caches.

src="foo.js?v=1", then src="foo.js?v=2", etc.

I'm sure people consider this a hack, so I'm open to hearing other suggestions.
The Sketchy Database: Learning to Retrieve Badly Drawn Bunnies
Some discussions from around the time of the announcement:

https://news.ycombinator.com/item?id=12115419

https://news.ycombinator.com/item?id=11177438

https://news.ycombinator.com/item?id=11368310

https://news.ycombinator.com/item?id=11077994
Recently turned 61. I make $110k, 30+ years a developer. Currently work with Java on Search Engines. Spent most of my career in C working on chemical search engines. Happy to be healthy, alive, and still having a blast writing software
I used to have a chip-8 emulator on my HP48 calculator 20 years ago. Amazing that this kind of software sticks around so long.
The article was written by people who don't understand very basic things about databases.

To be fair, this is part of Mongo's pitch: come use a database, you don't need DBAs or people who know things about databases. Which is always gonna be kind of a lie. So they invite this on themselves.\

I hate when I get reduced to sounding like a mongo apologist, but it's their own fault for not following any best practices with data.
Dupe of https://news.ycombinator.com/item?id=12616007
"Even though it seems that words have diminished meaning in our modern society." Or something like that.
Unstaging, maybe? I use SourceTree, so I don't have to remember the specifics of staging-related commands vs commit-related commands. It's just right-click > "Stage / Unstage File", click "Stage / Unstage Hunk" or shift-click "Stage/Unstage Lines".

Undoing part of a commit to be the equivalent of an "Unstage" action is feasible, I'm sure, but I couldn't tell you off the top of my head exactly what that command would be.

So overall, part of it is that it's a mental model, part of it is that the concept is built right into Git.
I would fully expect myself to have convinced myself that I am not experiencing hallucinations - particularly because hallucinations are often incredibly minor.

I am also very mindful about the dangers of telling people things that will alter how they interact with you.

Combining these I find it likely that there be a very high bar for knowing something like that - especially as it is likely a personal suspicion. Not all doctors qualify as over this bar.

Of course I would actively seek a doctor I was comfortable disclosing everything to, yet I understand a reluctance to do so.
It's more like Rock, Paper, Scissors, Data Scientist, except:

NFL quarterback crushes puny data scientist

Movie star steals data scientist's girlfriend

Stock picker acqui-hires data scientist's company on the downturn for pennies on the dollar
Dude what are you TALKING about. Astronauts have even died during rehearsal events that were not real launches!

https://en.m.wikipedia.org/wiki/Apollo_1
treasury bonds are not illiquid at times of crisis, we recently had one and the treasury market operated smoothly throughout. all the other markets however...
Hi, i have a project in Go that interacts with a VC++ dll.

My approach was to wrap in extern C and use syscall.LoadLibrary() / syscall.GetProcAddress() as described on https://github.com/golang/go/wiki/WindowsDLLs . It was quite straightforward, i don't think there's enough information for a blog post.
Using a Proxy with a Randomized User Agent in Python Requests
Hi folks, Ben from Dropbox on the desktop client team --

This is an experiment that is being tested with a fraction of users primarily on beta releases (which Seth is on, as evidenced by the version number in his screenshots). We haven’t shipped it to everyone so that we can continue to iterate and incorporate feedback. I checked with the team about the “Finder Toolbar” drop down and it looks like it requires a restart of the Dropbox client in order to take affect — let us know if that doesn’t work.
disable and restart finder. works here...
I'm guessing they're probably referring to https://en.wikipedia.org/wiki/Horizontal_gene_transfer
> I'm not talking about that. The user is making a permanent copy on disk when downloading.

The copy was made by the party that distributed it to the user, which was implicitly authorized by the fact that they sold it to the user.

> IIUC this has been ruled by various courts to require a copyright holder's permission.

This is wrong on several levels. First, no copy is being made by the user. Second, copyright only applies when copies are made and distributed. Third, no court has ruled that copyright even applies to the user when a copy sold by the copyright holder.

Please read about basic copyright law if you want to argue on this topic.

> Some countries

I can only speak about US law.

> the apparent illegality of downloading

Downloading is never a violation of copyright. Clearly you have never read anything about copyright and it's history.

> ordinary users often do create copies

That would be a violation of copyright, but recent rulings have ruled that transient copies that are a temporary and part of the normal technical process of using the software (such as RAM copies) are not a "copy" as far as copyright is concerned.

> Wikipedia logs edits, including IPs for anonymous ones.

Are you being obtuse on purpose? There is an obvious difference between voluntary edits made by the user, who is necessarily aware that Wikipedia will record when and what you edit as part of the editing process, and unknown "telemetry" or "analytics" that happen invisible to the user and may apply to data that was not directed at Facebook/etc. Obviously Wikipedia will log your edit; that's the intended result. Facebook reading messages you sent to your friend is spying that requires informed consent.

> We don't have good estimates of the future risk of sharing data now

We know they can be incredibly damaging right now, and I don't see this risk getting any smaller in the future. It will only get easier to de-anonymize data.

> the correct action wasn't necessarily not to sell or buy any electrical products

Of course. The moral action would have been to sell products that err on the side of caution, even if that makes them more expensive or less usable. To do otherwise is to willingly risk your customer's safety.

How about this: if you are so sure the risk is acceptable, you should indemnify your users against any future problems that result from data collection and sharing. If you think this is unreasonable, then you're admitting the risk is too large and you simply want the user to bear that risk. On the the other hand, if you think this risk is fine, then you shouldn't have any problem accepting liability.
AISAT and ATHENOXAT-1 radio satellite decoder
Just the PR value from Alphago is probably worth more than $400mm. Traditionally google has significantly delayed announcements of very interesting tech for years; essentially waiting until they had replaced an entire technology before announcing the old one.

It seems kind of unlikely that Google is doing that in this case, (if so, the rev rate on new AI tech is insane, and, well, I'm waiting for our AI overlords politely), but I would be very surprised if they were pushing out news about their most bleeding-edge tech.