skysight-inc/HackerNews huggingface dataset:
Pi is finite
Show HN: Web_trawler – Bulk download files from a given url (Python)
One of my "trash" password is listed but it is a "relatively" strong password. I have never had an any problems with an hacked account I'm aware of. So most likley from some site which stored the password in cleartext?
> most pilots eschew automation especially on short finals

Don't pilots have a legal requirement to manually fly a minimum number of landings per month?
I second this. This book has quite a boring cover, and quite boring "clip art" diagrams, but the message is astonishingly useful and can be applied in all situations, particulary in software development.

In hindsight it's easy to say something like "the red light was flashing to indicate the widget wasn't working. The pilot didn't do anything about it, he's obviously negiligent". At the time though the pilot may be dealing with 100s of stimuli and he doesn't know that this single red light is "the one" he should especially be paying attention too.

There's a quote about assigning blame - "Looking for scape goats is like peeing your pants, in the short term it feels pretty good but in the long term it makes you look pretty stupid."
> $35/user/month

That's ~$40k/year for 100 devs, plus the infrastructure costs. A Jenkins license is $0 (or $100k+ for enterprise support). If it was my budget, I'd have a hard time fronting up a large fraction of a developer's salary to a third party to provide a fuzzy level of support, versus spending zero money and putting the support burden on an in-house team I can trust and directly influence.

TeamCity has great support, I trust them from JetBrains's great work with IDEs, and their top-shelf license is ~$22k (one-off with 1-year of support & upgrade; iirc the yearly support fee is discounted 50% of original license).
Interpersonal relationships can become 'interesting' during this period, but deliberate vandalism would be self-selection for redundancy and possible criminal action. Management become very 'correct' - to the extent of external 'consultants' sitting in on meetings and taking notes - and you can bet on morale being significantly impacted during and for up to a year after a long consultation.

As pointed out below, the consultation period is before those being made redundant are (officially) selected. In large organisations - for extra fun - you have things called 'redundancy pools' based around areas of work or grades that all share a risk of redundancy but only (e.g.) 5 out of 25 will actually be made redundant. I should also point out that larger orgs often offer voluntary redundancy at enhanced terms within given 'pools' - unions where they exist will often bargain for enhanced terms.

Not a pleasant time but does give people weeks/months to find something else and take what financial precautions they can - and perhaps decide that 'VR' (voluntary redundancy) is possibly attractive. Yes, you do lose good people sometimes.
Right, but a problem with humans is that they tend to seriously over-estimate their capability. So we need to be statistics led on this

Given the choice between "One time in a million a human flies the aeroplane into the ground and everybody dies" and "One time in 10 million the computer flies the aeroplane into the ground and everybody dies" we ought to be hard-headed and take the ten times fewer deaths, but we prefer to say "Ah, but _my_ pilots are better than average".

Now, the reality gets very complicated, because we ask computers and humans to fly in different conditions. A pilot will refuse to try to land an aeroplane into thick fog, the Cat III ALS is happy to try this because it sees through fog. On the other hand when external circumstances are trying, the pilots may choose not to attempt ALS at all. But despite this complexity, we do need to accept that sometimes a smaller risk of automation error is preferable to the risk of human error even if _neither_ is perfect.
Artory | (Senior) Software Engineer | Berlin, Germany | ONSITE, VISA

Artory is building the world's largest repository of data for the art world. Transparency and integrity is paramount in gaining the trust of the market and becoming the go-to resource for artwork-related information. Assembling a comprehensive registry of records of artwork-related information, as well as providing owners of artworks with means to prove their ownership while preserving their anonymity, we are transforming the market entrance experience for art buyers, and create additional assurance for everyone dealing with artworks.

If you have any questions, don't hesitate to get in touch with me (sebastian.hillig@artory.com)

Please apply at: https://artory-gmbh.workable.com/j/A8663393B8
Yeah, and Lenovo had Superfish and LSE.

Don't get me wrong, I'm a huuuge Thinkpad fanboy. But the argument "it's still better than HP in any sense" just doesn't hold water in its generality.

What is "it" in this context? Lenovo makes lots of laptops, from lowest end consumer to high end business models that have very little in common build-wise, same as HP.

You can't just compare a Thinkpad with a low-end Pavilion, just as it doesnt make sense to compare an entry level Ideapad with a ZBook or EliteBook.
Android Crypto Ransomware Targets Canada. Requests Victims to Pay CAD 600
A shopping trolley is a whole heap more annoying to have around when you have finished shopping than an umbrella is when it's stopped raining.
this sounds like the start of a good idea, but we should choose something that works for colorblind people and red/green colorblind people too.
I always found Discourse sites to be quite easy to navigate. Do you suggest anything better?
Ora: See how your team or project is performing
>> This removes one of the major reasons to use a Mac for Linux development

If I wanted Ubuntu, I would have it on my MacBook (dual boot or replacement). I don't want Ubuntu. I want OS X. Apple hardware is great for development, but the real reason I am here is for the operating system and software. So no, Windows+Ubuntu does nothing to replace a MacBook or iMac with OS X.
This is probably one of the most ignorant things you will read in a while: "And why don’t we realise that a man’s life, family and career is at stake?" ....why in all your sense of entitlement don't you realize people have suffered under this predator, careers, families, friendships & lives ruined to protect an entitled clique. The people you mention here are the ones at the forefront of "women empowerment" on social media but behind the scenes they are helping to muzzle & defeat the girl child..The predator & everyone who has helped in this sustained cover up are one & the same thing.
> imagine if all the top links on hacker news were just corporate advertisements disguised as stories. Would it be a worse place or cause any of us harm? Of course not.

Did you leave out the </sarcasm> tag by accident?

How can the front page being topped with "publicity stunts nobody cares about" not make it a worse place?
Mainstream support for Windows Phone 8.1 is ending tomorrow
I think programming as concept will morph in the future. It was really different profession back 50 years ago, and it will be different in 50 years.
Microsoft 365 – Windows and Office as subscription
Wouldn't that work like the old Compuserve or Prodigy email addresses? And if it would, wouldn't most email clients have to have "back-compatibility" with it?
This is stupid and counterproductive. By blaming those companies you make it seem like you could solve everything by just shutting them down.

And if we are looking for the "source" why not blame the Earth itself? After all one Earth is responsible for 100% of emissions.
Morals are personal. Ethics, social. There is no such thing as 'society ethics'.

In this case, the ethics of one group allows it to destroy the civilisation of the other group, whose ethics are not aligned well enough to the original, more powerful group.
Karma on HN
I have been here a couple of years, but I never post/comment. So to get karma => 2 (to get my keybase.io proof) I post this in hope of someone upvoting! Thanks in advance.
> You can use simple algebraic types in Idris and check your invariants dynamically as you would in any less expressive language, then incrementally move some of these to statically checked invariants where feasible.

That simply means writing less specifications, or writing specifications in two different ways. Spec languages allow you to decouple the specification from the verification effort. You write some specs (or not), and then you decide whether you want to prove them, generate tests, add assertions etc.

> Specification-tools require a lot more work in separate specification languages, which are often unwieldy.

They require exactly the same amount of work (whether you write your spec using types or logic doesn't make a difference; the specs are the same), and the language is mostly the object language (i.e. the programming language) with the addition of some quantifiers. The result is usually not much different than a language with a rich type system.

> Frankly, this is pretty much the full wishlist that advanced programmers have been wanting for years, and I've seen a lot of interest in Idris since its recent 1.0 release.

I think this is the wishlist of programmers who like Haskell... Formal methods people don't agree at all that this is the future.
Agreed.

Additionally 3) Even a geniune nice promise from your boss probably won't consider your risks. Human brains only are good to evaluate the risks to themselves, and if you don't get what the boss promised the risk to him may be relatively low.
Ha maybe I haven't been using 2.0 then - I thought Circle 2.0 meant Circle 2.0, UI and backend.
Windows is a mess and the 16 pages of privacy settings to disable on Windows 10 aren't great either, but if there's one OS that demands the most time troubleshooting and dealing with issues, I'd struggle to claim it isn't Linux.
Interesting analysis of the death of Jawbone. Wolfstreet is the other site I tend to visit along with HN, between the two bubbles I'm hoping to get a sensible average :)

They (wolfstreet) are pretty bleak about most finance/tech/stocks stuff...
There are always so many jokers making money speculating on things like this, it's nice to see some taken down a peg.
Fusion energy pushed back beyond 2050
For implementations that use cryptographic hash functions, do you actually need more than one hash function invocation per item?

For instance, suppose you were implementing a Bloom filter with 2^20 bits, and you want to use 10 bits per item. Instead of hashing the item 10 times, could you hash once with a 256 bit cryptographic hash, and then take the lower 200 bits, divide that into 10 bit strings of 20 bits each, and use those?
There are very few genetic risk score models that outperform traditional observational disease markers (here[1] is a non-paywalled discussion of cardiovascular GRS performance as an example). The best GRS results tend to be in relatively genetically-homogeneous populations that are similar to the population in which the GRS model was developed. In some cases, knowing the ethnicity or simple family history of a patient can buy you a good portion of the AUC of the relevant GRS.

So if you have a classifier like ZIP, that (1) epidemiologists have done a bit of legwork correlating to classical markers like obesity (or their correlates, such as income and dietary/smoking/prescription patterns) and (2) tends to follow familial/ethnicity clusters in (3) a heterogeneous population, you can amass a fair bit of predictive power on the cheap for complex disorders where environmental variance plays a role, as well as beating the spread on behaviourally-determined mortality/morbidity factors.

It is likely that the predictive power of GRS-based approaches will improve for many conditions in the future (they are of course already powerful for Mendelian disorders).

[1]https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4527979/
74% of Windows Phone users will be left without security updates! Good thing there haven't been almost any vulnerabilities up to now

https://www.cvedetails.com/vulnerability-list/vendor_id-26/p...
I was under the impression that silver was what the chinese emperor/government imposed as a means of payment for the most sought chinese exports: tea and silk.

But the "rest of the world" (meaning mostly the UK in that time period) did have something that was "in demand" in china: opium.

It was the imbalance between imports and exports - china wasn't interested in buying/importing what europeans were selling/exporting - that prompted the uk to start smuggling opium against chinese law, thus paving the way to the opium wars.
It appears as tho my attention span was shorter than the article. My apologies.
Unfortunately not. I spent many years on Proboards / VBulletin and their ilk, I don't feel like any of them really nailed it.
Except it doesn't do that. In an open auction if someone bids higher you know you won't get any shares unless you raise your bid.

In a Dutch auction if you keep your bid low there's always a chance you will get your shares and at a good price. As actually happened in the Google case. Yes you're risking you might not get any shares, but bidding higher risks unnecessarily pushing the price higher for yourself and everyone else.
Would you want management to do that if it's not sincere? What if your contribution has been poor or damaging.

I think we agree broadly FWIW.
I've been building windows applications, right down from Win32/ATL/MFC/C++/DCOM and up to C#/WPF/ASP.Net for 25 years and managed teams of 80+ developers. I can drive windows in my sleep. It's not that. It's a fundamental quality issue caused by a combination of tangled complexity and framework schizophrenia.
What about an audio warning: "Alert! You are about to land on a taxiway!". Wouldn't that be useful?
It is done pretty much like that. PDF warning, page 31: https://www.faa.gov/airports/southern/airport_safety/part139...

Taxiways are marked with blue lights.

Here's a video of a night landing on the same runway, the approach lighting is unmistakable: https://www.youtube.com/watch?v=rNMtMYUGjnQ
Sabbaticals, Goals, the Future, and Finding Happiness
Do the BSDs support undervolting? Linux has Linux-PHC, but it seems to be broken, and in general the modern kernel does not play well with the old thinkpad I want to run this on. Did find nothing online, maybe someone here knows more?
More on going from 1.0 to 2.0 here: https://circleci.com/docs/2.0/migrating-from-1-2/

You should also see a little icon in your dashboard that says 1.0 or 2.0 to the right of each of your builds - that will tell you what version you're on :)
I get that this was a manual (non-ILS) landing, but why is there no audio warning to indicate the aircraft is not lined up with the runway?
Stupid question - can you be certified as a commercial pilot if you are colourblind?
Realtime data processing using Google Cloud and OpenTSDB
That's like, your opinion man. With 802.11ac on 5GHz, on a mac laptop, I consistently get about 800-1100Mbps. That is gigabit speed. And it's everywhere in the house and yard because I have the appropriate number of APs configured with the right signal power and antenna gain. I have no need for cables anymore on my laptops in any situation where I need speed, and there are many such situations. All my files at home are on a network share. No problem, wifi is fast.

I feel people have only used badly configured crappy consumer APs on crappy laptops (without MIMO) and don't understand that wifi doesn't have to be slow and unreliable.
‘Space Fabric’ Links Fashion and Engineering
It takes a bit more than "a few changes". The C64 only has 16 address lines, and the 6510/8510's used only has 16 address lines. There's no physical way of putting more RAM on the board, and no physical way of letting the CPU address them even if you were to try abusing the IO lines etc.

To add more RAM you either need to add a second CPU (some cartridges add another CPU), replace the 6510 with a board with a 16bit CPU + RAM, address it via some form of bank switching, or copy to/from main memory (this is what Commodore's memory expansion cartridges did [1]). Commodore's own memory expansion cartridges even required a separate power supply to power it...

[1] https://en.wikipedia.org/wiki/Commodore_REU
I continue to buy AMD cards for gaming because of their relatively greater commitment to openness.
conemu for 'native' and terminator works with mobaxterm's x server. (mobaxterm also has a terminal, but i don't use it for local shells; its ssh is quite decent.)
If I bothered asking you whether X would be accepted onto your platform, and you said yes, I would find it pretty amateuristic to then come back (once an integration has been made) and ask "why exactly should we let you onto our platform"?

Yes, you're always at the mercy of the platform holder and in the end they can do with it whatever they want, and maybe I'm old school on this, but giving your word on something still means something to me.

If someone tells me they will do X (in business) and they don't end up honoring said deal due to unreasonable behavior then I will refuse to do business with them in the future. And I will let people know who ask me about it.

Maybe it's something cultural since I'm not American, but I've noticed US companies to often act like this in various situations. Many, frankly, do not care about relationships.

I find this whole thing as appaling as the recent interaction that I've had with a company where we integrated their complete free API, and once the app we integrated it in started getting proper traction, they wanted us to pay for it ("collaborate more closely"). In this example they clearly advertise it as a free API but will threaten to shut access off if you don't pay.

Obviously we're promptly removing everything from our app + they're losing DAUs (which are also important to them) because of it.
'Shorty' - A self hosted URL shortener built using Flask
By that logic, ethnic Europeans are the 'original inhabitants' of North America.

I'm also unclear on why you quoted what the British did in your post - how does it relate to whether or not calling those people 'original inhabitants' is misleading? Do you believe that, if the British did something sufficiently wrong to them, that calling them 'original inhabitants' will be less misleading?
I used an 80 column terminal on my old C64, the name of which escapes me, to call into PC BBSes when I was a kid. After I got a C128 that was no longer necessary as it had an 80 column mode, but I remember it pretty vividly because even my young eyes had a hard time reading 80 column text on the smallish color TV I used as a monitor. But, it was pretty exciting the first time I was able to see the BBS in the way it was meant to be seen (minus ANSI color/graphics, as that was a bridge too far, given the limitations imposed by the hardware).
It is your point of view, the enterprise among Fortune 500 companies using it as their IT backbone have another point of view.
Microsoft has one problem - it struggles with it being irrelevant.

Years after years of shaming from angry penguins did their job. Now Linux is cool and Win is not. Well, Mac is now supposed to be even cooler.

Windows can't regain even a second place as a development platform unless, ... , it stops being windows. The negative connotation and "uncoolness," just sticks to anything that remotely touches Microsoft. Unless they can do something like a total market and product production approach U-turn as a company, they can't change their trajectory into the dustbin of history.
I'm actually expecting this tech to be the "bring contextual information V2" of things.

Example : Visiting a museum. I want context around the displayed works to better grasp the key concept.

How it works today :

- Guided tour : needs time management (when does it starts ?) + plus paying a human being (what language?) + keep with group speed

- Audio guide : Better, but lacks of visual explanation. Input (which track should i play concerning this work ?) requires some visual encoding (title, #, qr)

- Reading explanation next to the actual work : Lots of reading, not suited for different types of visitors

- AR : Could use the actual work as form of encoding to deliver the contextual information. Can adapt to the amount of data, depth that visitor want's to have.

Does that make sense ?
Marathons are harder for people who run them in 4 hours (assuming they tried as hard as they could). They are on their feet longer, and have to coerce their mind to push that much longer. It is just a different race for mid and back of the packers. Further, training is much the same. You might run 50-60 miles in a week because you can go faster. A slower runner might dedicate 30 or 40% more of their time to achieve that many miles. It takes the same mental effort to run at a 4 RPE (RATING PERCEIVED EFFORT on a scale of 1-5) as it does for an elite. The elite just has genetics on their side. I used to feel much the same way you do, but truly those "joggers" slogging out a 4 or 5 hour marathon giving it their all after months of running 9+ hours per week. They are runners too.

Ultras are also far less populated by folks with an elitist running mentality. It is more about being in nature and a personal journey, which is why Ultra appeals to a certain crowd. Olympians and the guy down the road have more in common with their running experience than not.
Oh yes, exactly, JWT has a stronger ecosystem. Sometimes I feel like they are aimed at different problems, JWT to replace opaque tokens with stateless ones (but if you want instant revocation it becomes a problem) and Macaroons for delegated access. JWTs can be easily used to replace session tokens while Macaroons work best when you've got your entire architecture designed with them in mind.

Just recently I was thinking that it would be nice if my DNS provider used Macaroons for API access. If I want to limit Let's Encrypt's client's access to just _acme-challenge.example.com I could take the Macaroon from DNS provider that has complete access and limit it to "_acme-challenge" and TXT records only. What is nice with Macaroons is that you can derive sub-tokens offline, just from the master token. Wrapping JWTs in JWTs, while possible, leaves one with the base64-in-base64 matrioshka problem.
Ha ha :)

Of course, the difference between the Indian Ocean Territory and India, is that people lived in India before. When the French showed up, the atolls were uninhabited.
Pattern Matching in ECMAScript
I am having a very hard time following your logic. You made an assertion about there being no standard for usernames. I pointed you to some info someone wrote in the relevant issue on Github regarding what POSIX asserts usernames should conform to, with POSIX being generally accepted to be a standard for *nix type OS's. Your response appears to boil down to "But POSIX doesn't count because not all distro's are POSIX certified"
If you never post, and never comment, why should you get any karma?

Give me a good reason and I'll consider upvoting you.

Provide value.
Don't planes approach SFO from over the water? I don't think any planes are landing over San Francisco
I agree.

English is my first language, and the more I read the headline, the more I see it as

"Something terrible happened, and the near miss is possibly the cause".
Partech Ventures emerges as new European VC giant after closing $1B fund
Xcode 9 is a major improvement. They rewrote the editor which is now blazing fast and introduced (and open sourced as part of LLVM!) a new refactoring engine capable of refactoring C, C++, Objective C and Swift.

Also, they are currently in the process of rewriting the build system, with a preview shipping with Xcode 9.
> You can't take the bad guys money, knowing full well what it cost you AND complain about it.

So basically, if the problem is endemic, you're screwed and you should be happy about it.
It is a trick, and old Chinese trick. You call out to your enemies to come for negotiations, and then kill them