skysight-inc/HackerNews huggingface dataset:
"Far be it from me to assume that I know what Samsung’s plans are with regards this technology and I’m certainly not rubbishing the innovation, I just wanted to clarify the basic maths that says these foldable phones just can’t be bezel-free and in the form factor we expect from modern phones/tablets."

But you did though. We barely have a prototype to look at (short of the demo on stage) let alone put a technology like that in the hands of Google or Apple engineers.

There was no need for a smart phone, until there was. There was no need for a tablet, until there was. Smart watch, smart speaker, and so on.

Version 1 is always crap and most (all) know that? Give it a couple iterations, a little trial and error and you'll probably get your aspect ratio or tiny bezels.
Why ‘Free Trading’ on Robinhood Isn’t Really Free
I bet the cost/benefit for the company is positive, and as long the clients are happy and paying, how this guy works is irrelevant.
he was rewriting a huffman compression algorithm by himself because he's bored and he wants to learn and experiment.
I bet is not a good life he's living. There's a great disorder in working from your home at odd hours, it's not healthy. He would be happier working normal, fixed hours, and with a manager to guide him.
I signed up a few months ago and had this type of validation as well. I didn't get a postcard, presumably they hadn't started that practice yet.
> All websites looking "the same" is effectively evolution at work. Many website designs and layouts have been tried, and the "best" of them have stuck around.

Yes. This is quite similar to asking why all newspapers look the same.
English is weird and often backwards - eg the fire department are in charge of removing fires, not creating them :P
I'd be curious too, but one place might be cross-platform easy runtime shared library use. Go with non-Windows "plugins", or poor c-shared support w/ crappy Cgo that doesn't even work with MSVC, is very bad in this area. Of course I watch all the GitHub issues addressing these with hope, but it's clear this story in Go is terrible.
My saas story – oct'18 first OKRs and metrics
Also, by the time you show any symptoms, you’re as good as dead. So you have to anticipate whether the animal that bit you might have had rabies or not. Many people are reluctant to seek treatment when they feel fine, especially given the cost of healthcare in the U.S.
I'm a huge C# advocate but we actually went the other way. Regardless of the tooling etc. we still have to use Golang for mission critical stuff. This is mainly due to the cold start times you mentioned - mainly the "first request" problem C# has with web related requests.

I've been keeping up with the latest developments, and it seems that they're finally starting to address the problem with tiered compilation stuff, which is fantastic. However, for now, waiting for 5+ seconds for a simple controller method to fully complete on a first post - with no way of auto-warming up (without using major hacks) on startup is just not acceptable.

Again, I really love .net, and contribute a fair bit to Signalr (core) myself, but feel this would really need to be addressed in an easy-to-integrate manner before it can be an absolute top tier language. They're addressing the other elephant in the room and providing a single-execuatable runtime-agnostic deployment option soon as well...which is amazing!

Overall though, for a language, you can't beat C#/core in my opinion and would 100% recommend it.
Free in Canada, as well.
I use both 8x8 and Nextiva. 8x8 is acceptable, but Nextiva has better sound quality.
Unless you're planning to die tomorrow, you just need to wait a couple of years, and the price/MWh will have fallen 30% for wind, due to industrialization.

There are some planned offshore parks in Northern Europe which were awarded without subsidies, i.e. the bidders think they can make money competing against already built and financed power plants.
It struck me how easy it would be to get someone else's social security card this way: with the information from the Equifax breach, you have all the data you need to request a replacement card online, and by forwarding their mail you can get the card when it arrives.
Pfft, they are late. My neighborhood is full of obnoxious drones flying around apartment buildings with no operators in sight and no one will do anything about it, so they may as well have a waiver!
Java is much heavier to read because of all the boilerplate.
And it may have lambda but for example the stream implementation sucks compared to the elegance of LINQ.
They had 8 years to make it right and I’m still amazed how did they manage to implement it so badly...
Yeah, but it'd have a bunch of people scream about government overreach, and have them invoke the spectre of "papers please" and authoritarianism, and so, OMG, Nazis.

(Electing Nazis is fine, though, because free speech!)
I want to like .Net Core, I really do. But in my opinion its just not yet ready for serious use.

An example. If you want to use .Net Core you can't use entity framework, you have to use EF Core, which doesn't yet support mapping to views or stored procs, only tables.

Now you might think that's fine, maybe you only want to map to tables. But it's the same story all over the ecosystem. Many major projects have a separate netfx and core package, and many times the core package has restricted functionality. You will almost certainly find a whole host of things you need are missing.

And then you get the fact that ASP.Net Core is dropping support for .Netfx in the next release, so if you want to use ASP.net Core you are now limited to EF core too, which means you are making a full jump and can't just go halfway first. And .netfx is now not going to support .net standard 2.1.

The list of incompatibilities and restrictions just goes on and on. I certainly can't keep the full list in my head. So right now I'm not really willing to commit to a new project of any significance on .net core because I know there will be dozens of missing dependencies or features.

You could argue this is just want it's like at the cutting edge, and the gaps will be filled in time. But .netfx is clearly already going into maintenance mode, so the push to move to .net core has already started.
Germany has provided lots of expertise to secure Russian nuclear reactors from submarines and power plants.

> Germany just doesn’t have the strong history in this area compared to Russia, France, US, Japan

Germany had provided lots of expertise to Russia over the years. Especially in dealing with old and dismantled reactors. Russia did just dump them...

> It’s just they have trouble paying bills.

Russia had lots of money and they invested it into modernizing their nuclear weapons and their nuclear-powered submarines. Safety of existing or closed nuclear installations was of no concern.

OTOH Russia's Rosatom was interested to build nuclear powerplants together with Siemens in the early 2000s...

https://www.siemens.com/press/en/pressrelease/?press=/en/pre...

Siemens earlier built reactors together with Rosatom... in 2011 Siemens was quitting this business.
What are you even talking about? Pedestrians being hit by scooters? Cars being hit by scooters? Do you have a cite for any kind of data suggesting cars are more unsafe than scooters?
So, you can add a string to a BigInt, but not a Number? Their 'explanation' for not allowing Number and BigInt to be mixed is that you could lose precision. Not if you return a BigInt.
7) Maintain a semi-active Twitter accnt. If that looks left for dead then I'm going to presume you're soon to fade as well. I can't commit to and invest my time in a solutions that'll soon be MIA.

I abstain from Twitter because I don't believe it's a good place to actually communicate and I refuse to buy followers and likes to keep up with the Joneses. Not saying you're wrong, but there's a disconnect between being "social" in a specific platform and being able to do the job.
There isn’t a BigDecimal proposal anywhere, the authors are just making it clear that their proposal is limited to integers.
(context: I'm the admin of Lobsters)

Not purposefully, and a link to code projects isn't needed; users are welcome to invite based on their own criteria. A lot of people have been invited from the chat room just for describing an insightful comment they'd like to post, or by idling and chatting for a while.

My least favorite thing about the invite system is that it's a bigger hurdle to new developers who have a smaller professional network, have few or no public code repos, and have the least confidence to speak up in an unfamiliar social situation like the chat room. We previously had a formal invite request system to encourage them but had to turn it off when spammers outnumbered the newbies (it's still there behind a feature toggle for the sister sites using the codebase). Open signups would be much worse for spam, eternal September, sockpuppets, etc. If you (or anyone!) has suggestions for addressing this problem, I'd appreciate hearing your thoughts (email in profile, or #lobsters on Freenode).
Three New NitroKeys Nitrokey Pro 2, Storage 2 and a FIDO-U2F Nitrokey
I've noticed after first signing up around April that whatever scanner they're using can see through the envelope and you can pretty clearly read at least part of the contents for a standard folded letter, but at some point later in the year the contrast of the images was changed and it wasn't as common to see it anymore. Most of my mail is junk, but I can only imagine the kinds of opportunity that capability at scale presents.
The "new" sites seem to be up-and-coming Youtube channels.

Anandtech's quality has dropped since Anand Lal Shimpi left for Apple. Its still decent, but they're missing that Anand chip-level wizardry that they used to have. I still consider them a good website, just down a few notches.

The new sites with quality are Youtube-based. Its just where the eyeballs and money are right now.

GamerNexus is probably the best up-and-coming sites (they have a traditional webpage / blog, but also post a Youtube video regularly). And Buildzoid is one of the best if you want to discuss VRM-management on motherboards. These focus more on "builder" issues than chip-level engineering like Anand used to write about.

TechReport is my favorite overall reviewer.
>>The English-speaking anchor, complete with a suit and tie, is modeled on a real-life Xinhua anchor called Zhang Zhao.

I hope that Zhang Zhao is getting a licensing stream for the use of his likeness. William Gibson was really ahead of his time when he popularized "synthetic personality constructs" as a mainstream literary trope[1].

[1] https://en.wikipedia.org/wiki/Idoru
1. I find it interesting that for some people on this board, they've defined away the possibility of Musk 'losing'.

2. Who says that it's Musk who has moved them away from fossil fuels? It's a process that was in the works before Musk ever tried to take credit for it.
There's some irony to having this posted on Medium which is about the most generic looking site on the internet.
> quite popular

Disagree, especially on the same level as the others with D, and especially concerning cross-platform ecosystem with Swift.
The two I installed this week are using 70GB and 90GB all set up for development with my files. I think there are plenty of people who needn’t spend on an extra 128GB. Especially since the USB ports are plenty fast for bulk, non speed critical storage should you decide to archive something locally.
This is completely unusable -is it supposed to be a parody?
Those already exist but it's kind of missing the point. An NVMe SSD is the size of a stick of gum, I'd much rather plug one of those in than have to stack a box the size of the Mini on top of my Mini and connect it with TB3. In the end you've got something more expensive, probably slower, and less portable than the obvious solution.
Correct. Nuclear + renewables as against fossil.
Free in Spain, if I'm not wrong
I couldn't agree with this article more.

How about Apple's own Pro software? Logic Pro/Final Cut Pro? These applications are daily drivers for me and I've often said the iPad Pro will be a 'Pro' machine when it gets them.

Making a sketch in Garageband is cool. It's great I can open that project in Logic on my Mac. But it's not a 'Pro' device if we don't have 'pro' software for it.

Even Adobe's beaten Apple at it's own game by delivering the first app that can actually push this hardware that isn't a game with Photoshop for iPad.
Can't we just produce a function from Nat -> 0|1|2|3..9? Which in effect can represent reals?

Though addition might not be defined on some of the reals, if represent it like that.

But Proof checkers like lean/coq all use Cauchy sequences to represent reals. So they are in effect constructible.
Beautiful!

I would pay for a book with more anectotes of kafkaesque, nightmarish visions of horrendous programs.
Very curious as well.
I'm working on a honeypot service that lets people create canary credentials to detect eavesdropping. One of the fringe use cases is to see if someone has intercepted your mail or packages. I'm not sure if that's a use case anyone actually cares about though, but stories like this make me wonder.

curious if this is something anyone here would want to try, I'm happy to give some free invites if anyone wants - my email is in my profile.
It’s also possible for the flight crew to have been fighting the AP (often inadvertently), resulting in auto-trim continuing to trim against them.

If the crew applies sustained pitch up inputs, above what the flight director is commanding, the auto-trim will apply trim down to compensate. This can result in pilot applying even more pitch up input, resulting in more trim down. Solution of course is to kill the AP and trim motors, the multiple means of how to do so is a memory item in every aircraft.

Trim runaway has caused accidents to be sure, but is still a flight crew error IMO, unless every means to kill the trim was tried and failed.
A lot of devops tools, including Ansible and Salt, have higher-level concepts of ordering across hosts. In some cases this is implicit in the way the tool operates and people just take advantage of it, but in others (like Salt's orchestrate runner) the ordering of operations across hosts is explicitly defined by users. That can be useful for scripting blue/green deployment cutovers, pushing out new load balancer rules, etc.

> I'm actually curious about things like ansible; what exactly does it do that you couldn't just do with a bunch of redo scripts?

That might be more of a philosophical question :-) Most of those tools could be replaced with a sufficiently intelligent set of scripts. I think they get their popularity from providing more convenient syntax, building in parallelism for applying changes across hosts, offering cross-platform ways of doing common admin actions like creating accounts, etc.

But if you look at them the right way, they definitely share a lot in common with build systems, particularly when it comes to managing dependent actions.
Using quantization in iOS 12 reduces Core ML model size by 4x
> And as the engineers of synthetic life, she and her colleagues can easily incorporate controls or a kill switch that renders the cells harmless.

That's a bold claim given how evolution routes around failures.
"I had no clue," Giles said. "We would wake up in the night and they would be walking on our bed"

I'm sorry for the family but I can't exactly say I'm not surprised. Generally having any wild mammal hanging out where you sleep is a very bad idea.

Edit: Reworded to be less arse
I just recently had 5 months off between jobs. I was already being recruited for other jobs so I never worried about finding a new one. I relaxed and also studied different things that I always wanted to but didn't have the time.I basically wanted to enjoy a summer with no stress for the first time in a long time. I would have taken 6 months off but my car had issues again so I decided to answer some of those recruiters. I had a new job in 2 weeks making almost double what I did before. But I say that with adding the caveat that I was underpaid at my last job.
This looks awesome, but it's completely unusable.
I was told you could avoid shots by bringing the animal in, but I am not in the field, so I don't know if that's generally true.
big scam period?
This explanation of how it is to die from rabies is horrific, if anyone fancies a story that stops you from sleeping at night :P

https://www.reddit.com/r/news/comments/9vdumn/utah_man_dies_...
You have far more freedom in modeling intuitionistic logic than you think. :)

In this case, the point is that in a logic for cryptography, you would have a type "S" of "bit strings of arbitrary but unknown length" which is restricted in such a way that you cannot eliminate into discrete types (such as the natural numbers). In particular, there would be no way of proving "x != y" for x, y in S at all unless you assume that there was some function which established this.

One way to get a model for such a logic is to interpret types as (reflexive) graphs and functions as graph homomorphisms. The resulting category is a topos and hence gives you a model of type theory.

There is such a wealth of knowledge about building models for intuitionistic logic that it is difficult to say what can and cannot be done without a thorough literature review.
That's all fair. But, in this case, it was a role that was created specifically for me and they really did want me to get started right away.

And I did somewhat split the difference. I had drawn up a short list of vacation spots and, as soon as I got confirmation of the offer, I booked a trip for 2-3 weeks.So it's not like I started the next day. (I also needed to ramp down in my then current position.)
You can usually cut the cold start performance in half by enabling Tiered Compilation. It's just one parameter in your project file, or via an environment variable.

Disclaimer: I work on performance in the ASP.NET team.
I got them in the us about 10 years ago (international travel with likely animal exposure). About $600.
Parent is talking about post-exposure rabies shots, not the rabies vaccine. If you read https://www.vox.com/policy-and-politics/2018/2/7/16851134/ra... it's actually still very expensive in the UK as well.
Yep. I actually like Mondays
Oh, it's not the wrong kind of work, it's just having a job at all. I'm autistic, having to be among people is just so exhausting. It's the cost of acting like a normal person.

Fortunately my current employer is very understanding, I work from home at least one day a week or more if I need it. I can tone down the act a little here, which is very helpful. Unfortunately I can't completely turn it off (I wouldn't be able to function that way). If it were up to me I wouldn't leave the house at all, unfortunately I need to eat, pay the mortgage, etc.

> Work can suck, but it shouldn't be that soul crushing.

Every job is soul crushing. Not because of the work, but because of the fact that you have to do it. The fact you have zero say in how you spend your time. The fact that you have to interact with human beings. etc. There's no way around it.
None of these “redesigned web” examples are balanced or readable. While I’m not convinced today’s design is the most optimal, I’d prefer them over any of these futuristic examples
Symptomatic rabies is one of those nightmare scenarios that docs read about in history books. A few cases have involved older relatives recognizing symptoms in kids, symptoms that modern docs would never suspect to be rabies.
they allowed bats to walk on their beds at night? WTF
Keyboard Shortcuts in Windows
All I seen from VW so far is hybrids and empty promises.

Tesla is already selling fully electric cars and may be we'll get another model until VW actually ship something.
Devah Pager, Who Documented Race Bias in Job Market, Dies at 46
I fully sympathize, I also still have a 1.7.x cluster that I have wanted to get rid off for years now. Several rounds of compatibility breaking changes have made this hard for us. Impressive that you can make this work at this scale.

The thing is, at the scale you are running that probably means that you are running at a much higher cost than technically needed with a recent 6.x setup. You should be seeing magnitudes improvement in memory usage probably.

Recent versions of ES are much better at preventing complex queries from taking down nodes. They've done a lot of good work with circuit breakers preventing queries from getting out of hand. They are also a lot smarter at e.g. doing caching for filtered queries.

My guess is you should not need Shardonnay on a recent setup. Most of what it does should be supported natively these days. ES has been working with many companies on setups comparable to yours and they've learned a lot in the last few years how to do this properly.

Another feature that could be of interest to you is cross cluster search introduced in 6.x (replacing the tribe functionality they had in v2 and v5). This would allow you to isolate old data to a separate cluster optimized for reads. Probably whenever you hit those old indices, your query complexity goes through the roof because it needs to open more shards.
Or TV
Reminds me of a simulation of the formation of a lipid bilayer:

https://www.youtube.com/watch?v=lm-dAvbl330

(the molecules that suddenly appear/disappear are just moving in/out of the plane of view; a camera focus/blur effect would have been nicer, I think)
Why is rabies vaccine so expensive as to be rationed?
#WontBeErased by pseudoscience
Thanks for reading, Tyson! I wasn't familiar with Gherkin, but from reading up on it a bit, I like it. It seems like it provides a nice structure for writing test names in a clear, consistent way.
This is also what I assumed, and I'm fairly sure it is.

Especially since the grammar in the article is relatively OK, whereas that title would be really terrible if it were not a pop-culture reference.
I do. If I'm curious about something, I sign up. I already ignore thousands of emails a day, what's a few more?
Yeah pre-Milwaukee protocol it was an undeniably legitimate case for euthanasia in confirmed cases being irreversible and painful. I believe that Gandhi of all people noted the situationality of ethics - normally killing a child is a horrifying crime but if they are suffering from rabies and it is too late horrifically killing them was long the best option.

Even with advances it is a bit of a longshot but it is still better than the alternatives. There is an irony in medicine that it becomes ethical to be more reckless when odds are longer. It makes sense of course but there is some dark comedy that trying something drastic and seeing if it sticks being the moral thing.
Thanks for the succinct account of irrational impulses, and for the James Scott ref. Can you recommend any particular book of his? My local library appears to have _Against the Grain_ on hand.
To be fair bats are pretty harmless when they aren’t infected with rabies.
"Users spend most of their time on other sites. This means that users prefer your site to work the same way as all the other sites they already know."

https://lawsofux.com/jakobs-law.html
I believe it's a reference to https://www.youtube.com/watch?v=NQ-8IuUkJJc
That's the ticket! Define your opponents' views as "political", and hence not allowed, while your views are not political since they are just obviously true. And away you go!

Of course, things that are actually "not a matter of debate" do not need to be debated. Nobody is interested in producing ads affirming that, say, water expands when it freezes. Your statement is self-refuting.
"Ah, Harry, we have to stumble, through so much dirt and humbug before we reach home. And we have no one to guide us. Our only guide is our homesickness."