skysight-inc/HackerNews huggingface dataset:
I remember the first time I saw a drawing of Hagia Sophia in my history book. I was so amazed! It baffles me that the designers and builders of these “ancient” marvels often did not know why, from a scientific standpoint, that these buildings didn’t just topple over.

This sound bite is magical.
It’s my favorite place to camp. I’m sure it’s all in my head but it feels more serene than some other places.
Very nice. Also check out ELK which is a much more ambitious such project. Https://elk.audio
That's scary. We're handing over great powers to the governments/corporates, needless to say it will be used against us.
If the software supports it, yes. Most commercial programs have not been updated to support it yet but the feature is there.
I'm sure a cursory parse of the comments will help you see I haven't insulted anybody, merely literally quoted the insults underpinning OP's comment, now flagged.

Simplicity means different things to different people and at different times. You are both making the same argument for simplicity for the sake of simplicity with no objective measure for it other than a "guideline" philosophy of "does one thing well", and just dismiss the majority who doesn't fit your "burnout as proof" argument.

If you want to wave the philosophy flag you must also acknowledge that either it never applied to pretty much anything as such, or it implies you should adapt your tools to the times, the facts, the challenges.

> Again, your point?

Take full advantage of the times you live in or be left behind, burnt out, reminiscing the glorious past I guess...
Typically, there is a stated/intended plan for each project. This page lists active projects: https://apps.foldingathome.org/psummary
Unfortunately, the project pages return a 502 but Google cache helps: https://webcache.googleusercontent.com/search?q=cache:q6DvOt...

I'm going to guess that if you inspect each project it has a purported (positive) medical use and you'd have to make a judgement call on each project based on good knowledge of biology as to whether it had a bioweapons application.

I doubt, but cannot say for certain that F@H won't have any projects that are stated as bioweapons and I'm skeptical that somebody working on a bioweapon would try to cloak its intent, and come up with a plausible medical application so they could get free F@H cycles.

I remember the days of logging into national labs supercomputers and seeing the other jobs on the system, such as job_name "submarine_geometry_optimizer" and the user_name was "electric_boat" or something similar.
Not necessarily on the desktop today, but yes. There are workloads like this out there.
> Well, maybe. Additional costs with these approaches are often ignored. I wouldn't want to give up proof systems as a tool, but too many treat them as a zero cost panacea. A proof system or type checker is not an excuse to not give a fk about your craft, but I've seen it that way more frequently than I'd like to admit.

The acceptable defect rate to the business is presumably fixed, so if a proof system or type system reduces you defect rate below that then that should be an "excuse" to write fewer tests and move faster, as icky as it feels to do that. I find the maintenance burden of tests is often underestimated; types in particular may not be free, but they get you more bang for your buck than any alternative, in my experience.

> Personally and honestly, outside of already well understood or defined systems, I'd say that people should invest their time in understanding their business domain, before they dig deep into proofs and related techniques.

Isn't it the same thing though? Encoding your business domain into the system you're using is the hardest part of using any formal system, but it's also an excellent way of forcing you to really understand the domain.
I've been using this one:

https://gisanddata.maps.arcgis.com/apps/opsdashboard/index.h...
Indeed. "Universal healthcare" in some countries doesn't mean "we'll pay for everything including the latest and greatest cancer drugs."
Universal healthcare does not mean "free healthcare". What it means is that all people have equal access to healthcare, the kind that would otherwise be provided by everyone having private healthcare insurance, such as what would need to happen in the US. The intent is that this would be more affordable for the average person than not having a universal healthcare system.

Of course, affordability is not a guarantee for all treatments, regardless of which healthcare system you agree with. It seems this is the problem for the Kim family. Even in a universal healthcare system, things like chemotherapy and cancer surgery might still cost too much for people who earn below living-wage.
100 people x 150k yr = $15M. Add insurance, office, heaaavy marketing, sales commission, non-frugal everything.. I'm guessing $20-30M over their 2+yrs. Maybe even more on people bc hiring lawyers.

Weirdly, the investors are happier with that than 5 smaller series A's of money-making / real-IP companies with existing growth engines. Easier to bet on nothing vs improving.

I do find the flameout odd, and not isolated to Atrium.
Why flameout vs spinoff a small business for folks who wanted to continue? Same difference to the investors, but meaningful to the lives of the believers. Worst case, just OSS for them..

Thinking more: A good comparison is Carta, also in legal, whose funding was more correlated to revenue and growth.
>> Imagine that we roll a fair, six‐sided die 1000 times. Out of 1000 rolls, how many times do you think the die would come up as an even number?

A classic example of a question you can only answer if you don't know what you're talking about. I bet they think the answer is 500.

500 is the most likely result, but the odds of actually getting 500 heads on 1000 flips of a fair coin are 2.5%, 1 in 40. A little ways out, at 505 (or 495) heads, the odds have fallen all the way to... 2.4%.

This is kind of like asking "Imagine that we roll a fair, six-sided die one time. Out of that one roll, which number do you think would come up?"

Except, assuming you make the best possible guess both times, you're more than six times as likely to be right for my revised question.
TopHatter Compares to eBay for Auctions
The Simpsons have nothing on post WWII tv shows like I Love Lucy, Leave It To Beaver etc. When there were very few tv channels and after when some tv shows played on repeat forever anytime the networks needed something to fill a slot you’d get something close to saturation of knowledge of characters and situations. Even for wildly popular series like GoT this will never happen again. The consolidated audience isn’t there. For a brief post war moment there was accidentally a TV canon.
You were told wrong. A great book is not the same thing as an interactive lecture with a competent and engaging instructor. They are complimentary, but in no way does one obviate the need for the other.
Even if there was 75 million in the bank, what would they do with it? Burn it, keep trying to pivot, run out of investor goodwill when all the money is gone and nothing to give back? If Justin ever wanted to start another thing in the future, that would be a hard sell if this burn happened.

Not trying to attack -- just typing out the questions and consequences to think about.
Would be great if Records were actually bonafide value types lol as in not allocated on the heap. Otherwise it’s just nice syntactic sugar like data classes in Kotlin
The whole world watches Friends, but Seinfeld not so much.

Did anyone else not ever like Cheers?
The other incentive with mobile is to reduce the functionality of either the entire app, or any particular view presented by the app. That's not actually the same as identifying the essentials, anymore than saying that "cutting is the essential action" really allows you to distill the _essential_ between an axe, a pair of scissors, a chainsaw and a cooking knife.
Yes and they limit you to throwing 1024 packets per second per network interface at it.

Of course you could run your own dns cache per host/pod whatever.
>val emily1 = Person("Emily", "Maness", 25)

The assumption of inputs based on the order of the class items frightens me!
I agree, the vast majority of failures I see are "operation timed out", for utterly banal reasons.

But I'd like to point out that the "impact" of Ariane 5 was very different from the "impact" of Cloudbleed. Space operations are definitely a situation where large amounts of advance planning and testing makes a huge difference, because you only get one shot to put a $500M satellite in orbit.
This sounds very much like modern day Georgian choir singing.
Agreed. A lot of SEA countries been handling it pretty well(with the exception of Indonesia). I'm from Malaysia and even though there's been a huge political storm recently, we still have the highest recovery rate among all fo the countries that are suffering.
Tom Scott went there a few years ago - and in the outer part of the zone, there really isn't a problem having your phone & WiFi turned on. I imagine if you're causing interference, their radio-direction-finding team will pay you a visit. But generally it seems to be much like anywhere else in the US.

https://www.youtube.com/watch?v=64pYTYx_6eU
The difference is regulation. There are very few regulations and oversight on cloud compute providers, whereas an average person cannot just spin up an app and begin selling securities in a month as you can being a cloud provider.

While RH's ToS does theoretically absolve them of technical issues, they are obligated to comply with 'best execution' securities mandates, no? Separately, it'd be extremely bad for business if they refused compensation.

The point is moot anyway, since they're offering "case-by-case" compensation.

https://techcrunch.com/2020/03/03/robinhood-outage-cause/
Good idea, works really well for companies with "established" operations.

However, the missing problem we've found (and are investing significant resources internally to fix) is that, in a lot of situations (especially in a startup), you don't actually know what you're doing operationally at a detailed enough level to have engineers write code for, or even humans to "do". You're learning as you go, but still need everything in the database as you do so you can automate thing sooner rather than later.

So, automation is still required. But not yet! You need a way for humans to do things, then automation, and back again...on a "flow" (to use your terminology) that is radically changing as you learn.

In our case, new business opportunities require creating and/or updating tens of millions of rows in our Postgres database, but can start out very small as we learn—say, 5000 independent flows.

Oftentimes, we need to temporarily "fix" things that we've already done a lot of work on—again, with a mix of human and compute tasks, depending on what's going on. Those fixes are temporary and we remove them once the data in Postgres is clean.

Another major area is, for lack of a better term, "tech onboarding". There's a lot of work that's effectively one-off, needs to be done at scale, and yet each day it's something different. (Imaging ramping up some service over four weeks—a literal situation we encounter regularly.) Being able to mix human and automation there is again critical, but really no tooling that I'm aware of exists to help with.

Anyway…congrats on the launch. I can definitely see it working for really well-defined operation systems that just need that extra touch of automation to reduce the busy work when humans are inserted into flows.
With mutual fund companies, including Vanguard, generally you can open an account directly with them and buy directly from them (including partial shares, automatic monthly purchases, and dividend/capital gain reinvestments).
Was surprised to see this on hackerne.ws as I’m just re-listening to Amnesty right now.
Covid-19 update: supporting our employees and community
I always thought the more realistic answer was that the window to detect an emerging civilization is on the order of a couple decades. In that time they go from simple easily detectable modulation schemes that are broadcast at very high power to modulation schemes that are nearly impossible to differentiate from noise at much higher efficiency/lower power levels. Much like we have, in the 1950's it was all high power TV/Radio signals which were radiating into space on fairly narrow bands. Now days we have really wide band signals using really advanced modulation techniques frequently sitting at or below the noise floor (GPS!) and frequently very short range (5G!).

Then using your Drake equation variables calculate how many are within those couple decades at any given point that you can see.
That might not be possible. What if instead we created a configuration tool that intelligently passed the correct options for you.
> How did software get so reliable

Talk about begging the question!
I made an sRGB to Display-P3 gradient and it worked well for me in Safari: https://codepen.io/NV/pen/GRJvYzQ.
I think over in Singapore, it was handled pretty well.
I'm sorry, but your response isn't constructive and suspicious given your phrasing and your having created an account specifically for this.

While it IS one person's experience and no more, blind dismissal and talking about colonization is completely inappropriate.
William, the intention of "TabulaPro" is to give the developers a chance to use a single library instead of switching ExtractTable for images and tabula-py for text PDFs.

What do you recommend us to do, to not make you feel we made a dick move.

TIA
Context for the sack:
https://en.m.wikipedia.org/wiki/Massacre_of_the_Latins
Interestingly when I was still writing trading platforms you would be dead wrong. But in the last few years at least nyse & bats no longer offer stops.

https://www.google.com/amp/s/www.cnbc.com/amp/2015/11/18/why...

Lots of other exchanges still offer them https://www.cmegroup.com/confluence/plugins/servlet/mobile?c...

I’d be curious how brokerages actually implement stops on exchanges that don’t offer them natively because synthetic stops have notoriously bad edge cases.
I had a K6-233 which was always on the verge of overheating (or maybe I was obsessing a bit too much about monitoring it). I envied my friend's K6-200, which was more stable it seemed.
Could that tool magically reduce the number of options? That would be quite a tool.
Not calling you a liar, but I haven't heard this part - got any citations?
I know a few companies that use Imply Cloud to set up and manage Druid. I linked it if you want to check it out. https://imply.io/product/imply-cloud
The more I learn about modern software practices, the more I come to think that software is worse today because programmers are poorly disciplined and badly trained. Of course, that's likely because the barrier to entry is so much lower today than it used to be.
Thanks, you're very welcome!
Wow, this is the place to go to really disconnect. I wonder what would happen if you fly a drone over the zone :p
I mean... All keys can be optimal in reality, but in real world you can't put all non optional because defeats the purpose of graphql.
Actually I would not recommend vanilla Js. Just typescript
I think it's unlikely that Robinhood (or any brokerage) would compensate people for losses on hypothetical trades that could have been made during an outage. Such a policy would allow customers to pick their entry and exit points, and extract money from the brokerage at will.

Even if the trades were well-defined at the time the outage occurred, there would still be an asymmetry between people demanding compensation on their profitable trades while eschewing losses on their bad trades. It's doubtful any brokerage would be willing to eat that.

Execution risk is a risk.
This may be true, but you can also just sit in the room and compare actual activity levels.

Every project I've seen that's opened up a Slack/Discord/<something like those> alternative to their IRC channel has had much more participation on the Slack/Discord. Elm's Slack is completely bustling.

This is something to take seriously when the goal is to actually build a community instead of hand-wring about IRC technical superiority.
At least in the usa, the elderly are a severely under served community. Predicting an emergency based on observed biometrics would be incredibly useful to many of them and these sorts of dismissals are exactly why the digital privacy movement has increasingly lost steam with regular people.

I'm not contesting that these technologies and services aren't also going to be used for dubious purposes but the idea that they have no social value is a meme for privileged people who earn enough to be dismissive of the potential savings.
Radar. That's the RF that's easiest to detect from long distances, it's focused, and it's strong.

The hard part is deciding if it's natural or artificial.
It actually is enabled, just a bug with the single sign-on which should be worked out soon. For now, click on Sign in and then you will be able to create an account.
For the case where something really could be absent, you're right; it's the same amount of code. The difference is that in a language with null you have to write that code for every single function parameter, whereas in Rust you can have required parameters that are actually required and only need to check the genuinely optional cases (which is what, maybe 5% of the time?). Make invalid states unrepresentable.
Of course it's shared by others! The “free market is the solution, stupid” political stance, is one of the most common tropes of the [American] conservatives.

The fact that American life expectancy is due to “cultural differences” is unsubstantiated, the fact that with health insurance, the US health care system is the best of the world, is also bullshit. Same for “the US subsidizes health R&D for the rest of the world” (this is true for “neglected diseases” though, but because of philanthropists, not because of the domestic healthcare system). And I'm not even talking about the fact that “lack of insurance could be solved by UBI”!

It also fails to realize that “competition” itself often adds more costs than the efficiency benefits it provides, because of fixed costs (each private insurance company share the same set of administrative costs), because customer acquisition leads to big marketing spending, and because competition can drive salary costs up for jobs with limited supply (physicians here), because the competition is also at play when hiring.

But the free market enthusiasts don't really care about facts, free market is a religion and all I said is blasphemy.
I was looking around in that area (on the maps) and apparently its an oil field kind of thing. Reading up on it, there's restrictions on being able to actually access the ocean from that location - concerns about security, I guess.

I thought an interesting nearby spot (east of Prudhoe Bay) was Cape Parry Bird Sanctuary. On the west side there was a military base that had since been decommissioned and what looks like an abandoned airstrip. But it still is bright for that area.

Apple Maps shows more detail for that location; maps.google.com didn't have very high resolution imagry.
Introduction to Apache Druid
> So the WHO tells you it's serious and concerning. Not that it is as severe as the common flu. Did we see proper management of outbreaks in the West? Well...

As they should have until they knew it wasn't as serious as they initially expected.

> CFR is not everything, you may survive the first round, with neurological damage, bone damage, lung damage, testicular damage, heart damage, psychological damage, and kidney damage.

There's zero evidence for any of that.

> This may be how you cope, but you can't say this for sure. There is a proper chance at a global crisis, with the impact of the Spanish Flu or WWII.

There's zero evidence for that too.

Yet another day goes by, yet another day with fewer active cases than the previous day. Yet another day with more resolutions and fewer deaths. We're down to 39K cases active from a peak of 58K.
Darksitefinder scores a good portion of the remote North Cascades in Washington a 2 on a 1-15 point scale, which is ~4.5 hours from Seattle during winter (with highway 20 closed).
Well, yes, that was the point of the movie, to highlight the very real problems. In fact, the resonance that it gained seems to be helping, at least a little bit [0]

[0] https://www.indiewire.com/2020/02/parasite-south-korea-impro...
Ask HN: Moving from Middle Management Back to Engineering
I made the switch from Engineering to Engineering Management about 4 years ago.

Given where I was at the time I think it was a good career move and I feel like I've learned a lot including many things about being a good Engineer I learned from the manager perspective.

I've recently made it to the 'manager of managers' position and am doing well generally.

The problem I'm struggling with is that I don't love it nearly as much as I loved Engineering. I spend all of my days managing stakeholders, engaged in politics and generally not having much of an idea if my team's are successful because of or in spite of my leadership.

I'm exhausted at the end of every day in a way that I never was as an Engineer and at 37 with a young family I feel like this energy sapping slog takes away from my ability to be a good dad. I also can't see the next 25 years being that much fun from my current position.

So I'm considering switching back. I have 12 or so years as an engineer and have done well on that track prior to switching.

Anyone have any good anecdotes positive or negative on the switch back to front like engineering from the manager track after a few years? Or those that didn't and pushed through some kind of inflection point into senior leadership that was easier than middle management?

Thanks!
If you click on the red dots on the map it gives you the specifics of that location.
They literally can't stay on DST. Florida already basically passed this, but it's held up in Congress as is tradition. Check out the Sunshine Protection Act.

So, right now states can't stay on DST because federal law doesn't currently allow it. It does however allow permanent standard time, and petitioning for change of time zone. So, I wish Georgia, Florida, et al would just give Congress a big middle finger by switching to permanent Atlantic Standard Time. Maybe then they'd realize how silly this all is.
There are obvious ways you can exchange economic growth for lower mortality. See: China. Within a month, it will have fewer active cases and daily new cases than the United States.

I suspect it will end up endemic, but the rate at which it infects everybody matters, a lot. That rate of new infection changes the load profile for the medical system, and it's when the system is overloaded that mortality skyrockets. Halving the infection rate could cut mortality by 90%.

And that's to say nothing of other advantages of kicking the can down the road, like higher temperatures decreasing transmission, doctors developing improved treatment protocols, and even a vaccine.
Or, you know, just use walls and glass.
> the Xinjiang region of China has two timezones used concurrently

And it's a complete mess. If you think daylight savings is complicated, wait until two geographically distant regions are on the same time but a different time.

> Want to give your employees more daylight in winter?

Rarely is it the employers wanting this, it is the employees.
Well, I guess only Justin knows and maybe their board. Chances are they figured there was no viable path to wild returns.
Techcrunch links to the wrong Atrium on crunchbase. Lucky for that company!
A lecture is almost by definition not "interactive", and certainly if you have so many students that you are using facial recognition and iClickers to handle attendance the entire premise that you would react to individuals is infeasible.
It would be humorous at least to know Monty Python was ahead of its time in more ways than one.