skysight-inc/HackerNews huggingface dataset:
Just so I'm clear -- AWS elasticsearch service was launched in October 2015, and VPC support didnt come around until fall 2017. So for over 2 full years the only way to utilize their elasticsearch service was to run it internet-accessible. I'm not talking about defaults here -- it was the only option.
AdS/CFT correspondence is a pretty old idea, whether it will yield something useful is still to be seen. Our world is not an N=4 Yangs Mills CFT, and our space is not AdS, so both sides of the correspondence are basically toy models that have been known for a while and haven't produced verifiable predictions (other than supersymmetric partners we haven't seen).
that's a fake news, https://www.forbes.com/sites/felipeschrieberg/2019/02/28/fak...
Announcing Rust 1.33.0
To be fair, it is the usual way HR is described in pop science articles. The reality of pair production outside of the event horizon, and one particle falling in while the other “steals” a bit of energy from the hole’s gravitational field is not described as often. It’s also equivalent to the same pair being produced with the inflating partner having negative energy.
Moving in a configuration is tweaking it. And then you're on a machine that is STIGed or is on a standalone network or you're helping someone do something on their account. The end result is you end up back in the default mode a lot so you might as well learn it.
It used to work this way, and the way it was done is that you would pre-load your account with money and then they would transfer it (transaction fees made withdrawals each month prohibitively expensive).

Unfortunately they were forced to change payment processors (MangoPay kicked them off their platform without an explanation) and they weren't able to find a new payment processor that gave them the same feature (having a staging bank account).

The blog post that GP linked explains things in far more detail.
I had this idea at some point few years ago of auto-provisioning WPA2-EAP credentials for guest users, with network admin confirmation. Too bad it didn't really progress much beyond few flowcharts and weekend on getting confused with RADIUS. But I think the central concept is still workable, and aligns pretty well with what you are proposing here.

Of course in IoT context there is the little problem that all the crappy devices are unlikely to support EAP, but that is another story.
Just because you can, doesn't mean you should. Unless you are hacking the linux kernel, use a type safe language folks.
Very true. Modern web UIs have some good ideas and some bad ideas, but fundamentally they are designed for people browsing stuff and optimized for conversion and engagement. At work, people do work and you need to optimize for efficiency and reducing burnout. A lot of people don't get this and blindly copy designs. Yay, your tool now looks like Amazon! ...which people leisurely use two hours a week, while your tool is being used 9 hours a day, in a crunch.
Some good comments on that in this HN thread from a few weeks back. In short, not good.

https://news.ycombinator.com/item?id=18959796
I had some parts of my windshield frozen a while ago. That is really rare.
Ever heard of them, but love the concept. Perhaps the right thing would be someone like Sketch to incorporate this and make it mature and maintained. They could charge a nice extra for doing so.
I have the privilege of getting see a lot of pitch decks, from seed to late round. Most of them are really, really bad.

I'm a founder and have two decks: one is 9 slides, the other is 3.

I think all seed and even Series A decks should follow a very similar format: problem, solution/product, team, traction, competition and the ask.

I think two really good examples are Guy's Kawasaki's pitch deck[0] and Sequoia's[1]. If you're veering off these paths, you had better have a damn good reason (hint: you probably don't). I especially like Kawasaki's "What's the underlying magic?" slide, and I really like Sequoia's "Why now?" Those two slides are underrepresented.

I just looked at three decks that were sent me this week: 26 slides, 23 slides, 17 slides. Unnecessary.

Lastly, I'm in the minority with this belief, but I think more founders should run their decks past designers. I'm not saying you need an elaborate and fancy design, but good typography and composition make it look like you care. But, as always, content is king.

[0] https://guykawasaki.com/the-only-10-slides-you-need-in-your-...

[1] https://www.slideshare.net/PitchDeckCoach/sequoia-capital-pi...

edit: removed my opinion of the HN seed examples after further reflection.
Yes, but it was three years ago [1]. The driver even gave me his empty McDonalds bag and asked me to throw it out for him. It was around the time when taxi drivers in my city all started becoming Uber drivers because taxi use had plummeted.

Uber quality has improved in my city a lot since then though, at least for me. And I've personally had far worse experiences from regular taxis in the past[2], so I'm still a fan of Uber.

[1] https://twitter.com/syneryder/statuses/756130867269873664

[2] https://web.archive.org/web/20170816073734/https://www.msn.c...
If we think insulating a single home is bad, image trying to build the infrastructure for that throughout a city.
I think past performance of a human is generally pretty strong as an indicator.

It's rare (though possible) for someone to turn from a lazy, self-entitled dilettante into a hard-working ace coder. It's rare for someone to turn from an excellent coach and mentor into an insufferable bastard.
Get Rid of the State-Tax Deduction Altogether
I'm not sure it's that simple. I've never heard anyone say this about Go, for example.
Oh. My. God.

I thought I was the only one. This will probably go over most heads here, but man - the way people DRESS, particularly men, is staggeringly bad. Hysterically awful.

I've seen this same situation before as well.

Here's a hint - don't wear anything with your company logo on it unless you're at a company event. You're welcome.
So without tipping, going to a restaurant, you aren't paying the employee's salary?

I can see how it can be confusing, the first few times you are in a tipping situation, coming from a non-tipping culture. But after that, what is the issue? If the tip is an onerous financial burden, then you shouldn't be eating out anyway.

I mean, how many times are you going to grumble to yourself, "the bill says x but I gotta really pay 1.2x" before you just understand that's the way it is.
Making optical grade ice is not trivial. Not hard but I never did get good results.

Start with good water.

Freeze in a gradient(top down is easiest) half of your ice will still be garbage.

Explicitly: by gradient I mean put it in an insulated container so that it freezes starting at the top and ending at the bottom.
I used to work at two different programming jobs where people commonly said you weren't really useful until you'd been there multiple years. In both cases I agreed.
Thanks for the link, didn't know about that!
> Then there is the sound profile, which includes background noise, quality of microphone, speakers distance to device, etc. For recorded audio books, the speaker is often using a somewhat sophisticated setup to make the audio quality as clean as possible. This type of setup is obviously unusual when people want to speak to their devices.

It shouldn't be that hard to degrade the quality synthetically? And with a clean source you can synthesize different types of noise/distortions.
Talespin’s virtual human platform uses VR and AI to teach employees soft skills
The "but" is where all the difference lies though, Result (or Either or whatever you want to call it) is the reification of the sum of a return value and an error, and as such manipulable without having to add dedicated tooling… (which java didn't have either, and still does not).

Amongst other issues it's possible to pipe one through a generic wrapper without that wrapper having to care about it.

e.g. let's say you have an input collection, you map() over it, and the map callback can fail.

In Rust or Haskell you… just do that. And the caller deals with a collection of results however it wants.

In Swift, you need map to be specifically annotated in `rethrow` so it can be transparent to failure (aka can't fail if its callback can't, but can if its callback can).

In Java, you're shit out of luck and jolly well fucked, your generic map can't be generic over generic exceptions, so either it callback can't fail or you need to wrap said callback to convert the checked exception into an unchecked one, and possibly back again outside the map.

So… yeah, they're "all but isomorphic" because they're both implementations of the concept of statically checked fallibility. It's just that java's checked exceptions[0] are a bad implementation of the concept.

Put an other way, a 2018 fiesta or yaris are "all but isomorphic with" a 1960 corvair or a pinto, but you couldn't pay me to take a road trip in a corvair or a pinto.

[0] java's because someone might come up with better ones, though the well's been pretty tainted at this point
>(see e.g. the ridiculous amount of hype around foldable phones, which are sort of neat but hardly a revolutionary advance).

Yea what's going on with that nonsense? I can't wait until consumer electronics turn into appliances and all this tech messianism finally dies off. It's not like the newer stuff really is better anymore. People are just looking for their next hit in tech products.
Thanks. Montreal I don't like to talk about because (I believe) it's the most underrated city in North America.

Don't go - you'll fall in love!
While not a lens shaped from ice there are people who have been working on lenses made from untraditional materials. For example here is a guy, Prof. Joshua Silver's, who has been working on eyeglasses for the developing world. From https://www.medicalnewstoday.com/articles/302550.php:

> Each lens is made of two flexible membranes that move either inward or outward depending on the amount of fluid - a silicone solution - they contain.

> The lenses are connected to a small syringe that sits on each arm of the glasses, and the wearer can adjust a dial on the syringe to pump fluid in or out of each lens. When fluid is pumped in, the power of the lens is increased - correcting hyperopia, or farsightedness - while pumping fluid out decreases lens power, correcting nearsightedness.

Additionally he gave a Ted talk on the subject https://www.ted.com/talks/josh_silver_demos_adjustable_liqui.... Pretty interesting stuff. Granted this is all circa 2009-2015. Not sure what the current status of the project is.
Consumers are notably horrible, and for good reason (neuropsych/behavioral economics has studied this in depth), at making rational total cost of ownership calculations.

You can argue all you want that it SHOULD be enough to share lifetime costs, but it doesn’t work. Just look at people who still buy incandescent light bulbs because they are cheaper at the cash register, even though they will save a multiple of the cost of the bulb over its lifetime.
A lot of high energy theorists themselves are discouraged. Basically almost all theorists outside of high energy/cosmology are VERY discouraged about the prospect of superstrings.
It's somewhat similar, except C++'s [] leads to memory unsafety whereas Rust's [] on slices has bounds checks and will abort the program on failure. Your program will crash but it won't be an exploitable bug (except for a DOS). .get(), meanwhile, returns an Option so that code written using it can recover from OOB accesses.
BTW, this reminds me of an easy way to make a GRIN lens:
http://www.laurawaller.com/opticsfun/sugarGRINlens.htm
Thanks for sharing your experience. We've found the fear of hiring under-qualified candidates is one of the primary reasons why hiring managers screen out candidates without recognizable line items on their resume.

By re-humanizing this process and getting better data around a candidate, we hope that hiring managers will qualify more diverse candidates and think more long-term.
We've heard from hiring managers that since LinkedIn endorsements are public and not contextualized, it's hard to understand endorsers' motivation and honesty. Searchlight references are private (hidden to the candidate but viewable to employers that candidates give permission to), tied to a specific work experience and specific work relationship, and ask specific questions.

Regarding our landing page, that's a great point! We are a candidate driven product, but we are first focused on employer adoption. That adds legitimacy to our platform when Searchlight reaches out to candidates. In the future, we plan to allow candidates to initiate the Searchlight process themselves - we have already gotten requests from current Searchlight candidates to build this feature.

I hear your hesitation to provide references early. It's a new hiring approach. But we've seen that with our positive messaging and candidate engagement process, candidates see Searchlight as an opportunity to stand out. We try to minimize the burden on candidates and references by saving the answers so references don't have to do it again. As our credibility grows over time, we hope that everyone will feel comfortable making a Searchlight profile.
Action Cable vs. AnyCable: A Comparison
So much this. It's ironic that the article is guilty of the very thing it bemoans: status-seeking and all kinds of distanced virtue signaling.
That sounds like it would be very interesting.
Author here - would love to answer any questions people have!
2FA on the command line
> including the creation of 23 screenshots between 5:04pm and 7:25pm

Tracking screenshots is really creepy.
Why does it say AOT in the title and the README, but JIT in the project description? Did that change at one point and the description wasn't updated?

Edit: Actually it says AOT at the beginning of the README, but then JIT later in the Philosophy section. So I guess if the README has been updated, it's been updated incompletely.
We detached this subthread from https://news.ycombinator.com/item?id=19269700.

> Eschew flamebait. Don't introduce flamewar topics unless you have something genuinely new to say. Avoid unrelated controversies and generic tangents.

https://news.ycombinator.com/newsguidelines.html
Heaven’s Vault is a game about translating an ancient alien language (2018)
Related: https://edwardfeser.blogspot.com/2015/03/pigliucci-on-metaph...
Wireless skin biosensors for newborns in the NICU enable cuddling
Is it a new trend that self help and life coaching books need to try to hide what they are behind clever titles or is it simply something I've been unaware? Other examples , "The subtle art of not giving a fuck" and " Own the day, own your life"
Dropbox did this in their Rust code: https://github.com/dropbox/rust-brotli-decompressor/blob/mas...

https://github.com/dropbox/rust-brotli-decompressor/blob/mas...

Toggle the feature, remove the bounds checks unconditionally.
No new construction will be stone, but it will most likely be brick, with an inner of cement block.

I think relative cost of timber is a bigger factor than you might think - the US has endless forests, while the UK came quite close to deforestation round about WW1 (earlier in Scotland). Traditional Scottish cottage construction had essentially only one structural timber piece - the roof beam. That was the most difficult part to source.
You would imagine this to be the case, but I've definitely been asked to serve as a reference by people who should have no rational reason to think I'd be able to speak positively about their employment. In those situations, I've always declined, indicating I was not comfortable and suggested that they use HR instead to validate their dates of employment here.
Please look up superficial in the dictionary.
It's nice that they've tried to improve by providing a GPG public key on their new page [0], however it links to a non-https page to download it: http://hosted.lifx.co/security/lifx_pgp_public.asc. I'm not sure they are actually taking this seriously.

[0] https://www.lifx.com/pages/privacy-security
> I think i am more productive in an IDE, faster.

Personally agree with this part.

For those who need it because they are used to vim style editing most ides (at least on the Java side, + VS Code for everything else) has vim modes.

For those who have never used it and think they need it because it seems so cool and "everybody" uses it: You don't need it, at least not right now. Most great developers I know actually don't use vim for programming high-level languages, even if some of them use vim modes.

Instead I'd recommend:

- Use a decent mainstream IDE

- Memorize shortcuts for selection, search, replace, global search, global search and replace.

- Learn to use the included refactoring tools

- Learn to use the built in VCS tooling (or try and fall back to the console for VCS handling).
IIRC, the original software pretty much has to run as-is until the day the nuclear power plant gets retired - typically 40 years, at least.
Apple Pay in Deutschland – 2014 bis heute: Ein Überblick
There's a Reason Transit Ridership Is Rising in Seven Big Cities
I agree that this should be the link for the post.

You also have all the different pictures in a nice slider.
It does. Those are things people like. If you don't like, too bad.
While it may not live up to your editorial standards, it's clearly resonating with this audience.

Maybe attack the ideas and not the structure / style of the piece?

It has nothing to do with the author "finding meaning." It's critiquing an overpriced, socially bankrupt culture and area, and the toll that can take on mental health and happiness.
A Java Based Network Filter on I.MX6 SoloX
Have not used rust but I'm assuming it's because when you're down a rat hole rust stops you cold at every turn. You need to back up and rethink what you're trying to do. But when you don't have a good handle on what rust is complaining about you can't see that.
Git is already incredibly smart about merging things — what kind of improvements do you propose to make in this regard? In certain cases it simply isn't possible to automatically merge things, they require external knowledge.

In general, with the current tools provided by VSTS, Gitlab etc (Github is lagging behind a bit here), I don't think most developers on generic codebases have much trouble with versioning.
I have a script running weekly that dumps the NTLM hashes from our domain controller and compares them against the HIBP hash list. It will then automatically force a password reset on the user's account if found in the compromised hash list.

You can also subscribe your domain to get email alerts when one of your email addresses pops up in a new breach.
Yeah, in this case they spare no expense with the upgrades. It's really cool to see and learn about but probably not realistic for anyone not ready to invest a lot of money.

As much I love TOH, I do wish they would take on more "budget" projects or at least talk a little bit about costs. But ATOH kind of fills that gap.
Comparing the Fatality Risks in U.S. Transportation Across Modes and over Time [pdf]
That's the core of the argument.

Taking it literally might be the right interpretation. But it also fails to make sense in other ways. Is there an implied "not already public"? It's honestly hard to tell.
A Death Sentence for a Life of Service
The buck-passing however is from San Francisco to other cities. Guardian published a piece estimating San Francisco would double its homeless population if it hadnt exported it.
But what would you put in such an ABI beyond what's in the C ABI? Beyond basic data types, struct defintions, and function definitions, languages begin to wildly diverge almost immediately.
So my position comes from what I can already see over here - you can go and be a regular delivery driver(with no tips) or work for Amazon Prime for minimum wage because there is a chance of tips. It's destroying the market because people who would otherwise never consider being delivery drivers for minimum wage are now considering it on the nebulous idea of maybe getting tips. And Amazon execs are giving each other high fives because stupid customers are subsidizing something that a multi-billion-dollar corporation should be paying for. The only way to fight against it is to not tip, and convince everyone you possibly can not to tip either. That's the only way to avoid this disease from coming over here. And I don't see how this wouldn't work in US either - yes, maybe there are people for whom like you said there is no other choice. But surely there are people who specifically agree to lower wages because they know they can get tips. If that promise was removed then this wouldn't be the choice people would be making.
California’s existing housing supply law fails to spur enough construction
> if you're an engineer or programmer, you need to be here.

This is what people unhappy that they live in a dystopian hellscape tell themselves to try to justify why they live in a dystopian hellscape.

An extreme tiny minority of "engineers and programmers" live in SF. You absolutely do not "need" to be there.
>could you please tell me what kind of official formal proof tools exist for Rust that makes it predictable?

I feel like you aren't really asking a question, that your intent was really to lecture someone, but in case you really are:

* a borrow checker
* option types

So OCaml would catch a similar set of obvious errors, though Rust would also catch all data races at compile time, as the borrow checker does that as well as prevent memory mistakes.
It’s not just the wifi password. It also has the key to the cloud which you presumably connected many of your devices to. So just get get the bulb, hacker goes home and messes with the controls to your house.
This is a beautiful solution. I love it, bravo!
Thinking outside of the password manager box
There's SICP. The rest, meh, not so much
https://news.ycombinator.com/item?id=9643204

It's one of those Rashomon situations where I'm not sure we can ever be entirely sure but it seems to have stopped.
These are the two biggest complaints about heat pumps: one, they blow out air that is only marginally hotter than the room air (unlike a furnace, which pumps out hot air, or a scalding radiator), and two: heat pumps take a very long time to warm up a cold space. If you try to ramp up rapidly, you’ll often trigger the “emergency heat” which is usually electric strip heat and thus VERY inefficient and expensive.

Heat pumps work best when you maintain a room at a stable, comfortable temperature.
Why is top down easier? I have a few "neat ice kit" which does that for ice cubes for drinking, but the results are very mixed.

I've always wondered why it's a top down design instead of a bottom up? It seems to me like if you were to freeze a container bottom up, the impurities would be pushed out towards the top, and eventually out of the water into the air above, instead of making bulging shapes as ice expands and wasting half your ice with trapped impurities.

I should test the theory later at home.
I just downloaded Footpath, since I'm not a fan of Strava's routebuilder.

However, and forgive the ignorant question, how different is Footpath to EasyRoute (which is free, & supports uploads to Wahoo, Strava [iirc], and others)?