skysight-inc/HackerNews huggingface dataset:
I really like plantuml, but I just wish there was a way to give layout hints to the engine.

You can sort of specify the direction of arrows, but since everything is a fluid layout, changing those in bigger diagrams behave very chaotic and unpredictable... I very often I just end up using other manual tools to paint those diagrams.
> Not even Google can write safe C++.

Technically it was a samsung engineer that introduced the vuln.
My experience was that SVN was a lot slower than CVS, from using the Apache and FreeBSD repos from the UK. The chatty protocol suffered a lot from transatlantic round trip times.
Οn the differences between creativity and productivity
So nobody thinks it's strange that the son of a prominent politician with no job experience suddenly gets a job as an exec at a foreign gas company?

..and then our VP withholds financial aid until the prosecutor investigating the has company for crimes is fired.

This is the Hillary emails all over again: we blame the person for pointing out the crime rather than the criminal.
Kuwait moves on Instagram slave traders
Sex and violence and curse words have never been allowed at school. Kids can do all these things on their personal Gmail/WhatsApp if they want.
Regardless of the issues, a job at a company in the USA is at the discretion of the employer. I can’t understand actively taking part in anything that makes oneself as an employee marked as a pain in upper management’s ass and getting on the list “most likely to be riffed first in the next economic downturn.”
> Do we have any recourse against this monopoly...?

Once upon a time, Congress used to write and pass laws to protect Americans from egregious abuses of power like this. Of course, that time is long gone.
I was kind of trying to say I haven't seen any ads, just non-intrusive integration with other MS services, in response to the ads reply I got. Sorry that was actually rather vague and roundabout.
I use Bing everyday, get points towards gift cards, and literally never have any issues finding anything I search for, personal or technical.
Then, I guess I quit at the right time. I would definitely not pay more than what I was paying at the time. Thanks for bringing up this point
The EU will shift to DST in springtime 2021. Then in the autumn of 2021, each individual country in the EU will decide whether or not to switch back to standard time, thus ending permanently on ST or DST.

Switching to and from DST has been a PITA for me, so I look forward to 2021. And personally I'm in favour of permanent standard time. I do like the wonderfully long evenings in summer here in Denmark, but I dread the dark mornings in winter. So standard time for me, please.
They aren't banned. They trigger intervention. Because schools don't want kids killing themselves.
I think you’re right. I’m not good at math translations.
Perhaps he also has to work until 6pm and cannot choose to start one hour earlier. Perhaps he wants to do things outside just before going out for dinner; in some places restaurants do not open before 7:30pm. And so on.

Daylight savings time is only useful in a reduced range of latitudes, I grant that. But where it makes sense, it is way worth one hour of sleep once a year.
Rust is not safer than Go, people thinking otherwise misunderstand borrow checker vs GC.

Furthermore you're talking about memory safety vs business logic bugs, two different things.
You can understand the madness slightly better I think if you watch a bit of the interview with Mrs Neumann who in some ways seems to have been the brains behind the operation but who is a little woo woo. (about 2 min in https://www.youtube.com/watch?v=nAQR-NVPX6o&feature=youtu.be...)
Go depends on libc on certain platforms, such as macOS.
G4S spread security guards and guns around world. Then came violence
If you enjoy this kind of content do yourself a favor and follow this guy. It’s an amazing account.
It also doesn't have the good locality of Google search. It's like a timewarp back 15 years ago when I had to put "Canada" into every Google search query to tell them I want the Canadian version of the site.
They say: 1 source = 1 widget/instant hack
That's not for the SERP ;)

It's mostly Bing/Yahoo/Yandex rebranded depending on the country.
It would add significant limits on what an optimizer bug would allow an attacker to do, though.
It also means no light until 9am in the morning in places where the winter sun would rise at 8. That's depressing, thanks but no thanks. :-)
2K watches are made mostly by machines. 20K is where you start having a substantial part of the cost being handmade finishes. The dealers cut is similar in percentage.
If you come across drone photos of the fire described here, in social media or anywhere, please report them to the Ventura County Fire Department at vcfd@ventura.org Subject “I found someone’s drone photos of the wildfire” for further investigation.

(They could be taken by licensed media personnel, so be polite about it.)
Everybody else is at work from 9 to 5. (To a first-order approximation.) I don't have control over that.
So you have evidence that telling people to kill themselves is safe?
Any layout that changes the positions of letters is super unpractical in my opinion, as it first requires many months of practice to get back to speed and then it's incompatible with many programs like Vim. Also typing on any other keyboard becomes a nightmare.
> and only one recorded suicide in the last 40 years.

> Do you disagree with this claim

Yes.

It's clearly nonsense to suggest that no-one has caused their own death while in that prison, so we need to ask what is being counted and how it's being counted.

Suicide accounts for at least one quarter of unnatural death in jails. Suicide is the leading cause of death in local jails. Deaths by suicide are consistently higher in jails than in the general population. https://www.bjs.gov/content/pub/ascii/mlj07.txt

Are they talking about NVDRS, or about state reports, or about institution reports? What ICD10 codes are they using?

Are they only including deaths where the person died in the prison and that are ruled by coroners to be suicide? Because these two things alone will remove most deaths from the stats. Or are they including all deaths where the lethal action was completed in the jail, even if the person died later in hospital? Many people will die in hospital, not the prison.

A suicide verdict will require a coroner / medical examiner to be convinced to whatever burden of proof they're using (beyond all reasonable doubt? Preponderance of evidence? balance of probabilities?) that the death was both self-inflicted and that the dead person had the intent to end their life. These are high thresholds, which is why statistical organisations (ONS in UK, CDC in US) don't count death by suicide by only counting verdicts of suicide from coroners.

The vast majority of people talking about this death do not know what type of coronial / medical examiner system is used for deaths that occur in that prison. They don't know what burdens of proof are used. They don't know what a coroner / medical examiner needs to know to find a verdict of suicide. They don't know about the high rates of deaths by suicide among prisoners. They don't know that while, male, middle-aged, sex-offending, inmates are at highest risk of death by suicide. They don't know about the high rates of negligence among prison guards tasked with monitoring people at risk of suicide. And yet, even though they're ignorant of all this, they feel free to make wild speculation that he was murdered.
Can/do pension funds invest in private companies? Seriously asking.

Edit: I don't understand why this would get downvoted, and I am endlessly amazed by how weird or sensitive people are on HN. Just to downvote without even answering a simple fucking question in earnest.
I agree that you can—I've done that in Coq, though I don't have any experience with Lean.

The advantage of Agda is that everyone else does, too. This provides two things: one, there's a huge set of examples of how people have constructed their proof terms which encode best practices and are themselves designed to be as readable as possible, and two, people also build tooling which helps you to make them.

In Coq, since tactics are primary, you end up with things like Sledgehammer. This is super practical and useful for tactics management, but it's a whole culture that will take you further and further away from understanding how proof terms work.
It feels wholesome and healthy to point to WeWork as a thinly-veiled re-packaging of office space and an illustrative example of what's not a "tech" company. With the collapse of their IPO, people are piling on heaps of schadenfreude.

But I can't help but wonder: how much of this is envy? Who wouldn't want to be perceived as inspirational and forward-thinking when seeking support for a pet business endeavor?

The choice of which words to use to market your idea, the value of being able to recruit people to fulfill the idea, the ability to persuade people to fund your idea. Isn't there some value provided by inspirational leadership?

Neumann may have duped a credulous Son, but he put WeWork in the position where it received Son's consideration.

I'm not excusing the grifting and self-enriching.

At the same time, I've seen situations where the charisma and the resolute determination of a leader makes a huge difference in how the team executes. WeWork may be a glaring example of what not to do, but it's also an example of the value of politicking-- of agilely positioning your endeavor to receive investment, both monetary and emotional.
Are you trying to be obtuse on purpose?

Clean the building.
Marathon Training for Aging Dummies
The "random company" is running the software the users are using. They are hooked into the account management system.
i mean that bitcoin has de facto become a store of cash rather than cash at hand. It's indeed not like a bank since there are no chargebacks, no insurance nothing. It's different. But there are also multiple solutions to the speed issue, so speed is not really what s holding back widespread adoption.

SEPA is bank transfers with delays of entire days - that makes them completely unfit for micropayments.
Linear and quadratic programming are amazing and totally underappreciated. Often they are the fastest way to get useful answers for problems (the solvers got really good over the past few decades).
>The problem with both standard time and DST is that instead of having our tools work for us and simplify our lives, we are working for our tools to simplify their implementation.

Well, it's also us who have to do the implementation, and suffer its issues (and its bugs) so it makes sense.

>Instead of over-correcting with a huge fix once per year with DST, or not correcting anything at all and messing my sleeping patterns with standard time, we could just correct time a little bit every day so that we can all wake up with the sunrise if we wanted.

How about we have a standard time all around the globe (like UTC or "Swatch Beats")?

For coordination/syncing it's perfect (you say, "at 22:00" and everybody knows when that is for its the same all around the world).

For not bothering people at the wrong time, it's the same as today (i.e. you still need to know one offset, e.g. that Japan is 3 hours ahead of your country -- only now this would just serve to mentally add to your time to know if it's a good time or not, as the clock time would be the same as in your place).

And of course anything computer related is either hugely simplified (e.g. comparing data from servers at the same time), or as complex as today (still needs an offset, e.g. to send the same thing at the start of working day).

As for schools, businesses, they would keep the same daylight-related hours as now, just shifted by the countries UTC offset. E.g. the "9 to 5" work schedule in NYC would be 5am to 1pm in the global time.
I agree, that seems the best to me. Make Central Europe Time UTC+1:30 and call it a day.
Has your email been hacked? Here’s what to do next
Per the article, this tech is used so counselors can reach out to kids who aren't reaching out to counselors.
Bonus insight: there doesn't have to be a "fixed 7am time".

Countries have widely varying opening/closing business hours...
DEP and NX are essentially the same thing, FYI.
it's everywhere already

If only everyone using the FOSS tools actually contributed back their local modifications. That's definitely not happening "everywhere".
The Rising Threat of Digital Nationalism
> Why don't you go to work an hour earlier?

Because I can't. The companies I've worked for have all scheduled required hours according to common business hours.

> Now, of course not everybody gets to choose their working hours

Only a tiny fraction of the population gets to set their own hours.
Get married and have kids.
Indiana is a pretty good example.

They have a surprisingly lengthy DST history: https://en.m.wikipedia.org/wiki/Time_in_Indiana
It's impossible, they track and bother you even if you selectively ignore them. It's sick that we tolerate it, you wouldn't tolerate peeping Tom's either if they promised to anonymity their data. Hey your daughter is anonymous and face blurred, there is no harm done. You can ignore all the public beaches, just opt out like that.
He is not talking about you going rogue, he is talking about what each country should do.
I lived in China for several years, and I had to travel around the country for work. Having one big timezone with no DST makes everything easier on everyone all the time and the fact that the sun sets a bit earlier or later on the peripheries had no negative consequences at all - it's just the normal thing and everyone's used to it. Moving back to Canada and having to feel like a zombie for three weeks every spring is painful.

I'd also point out that, growing up slightly farther north, I grew up going to school in the dark for about four months of the year anyway, even with DST.
I don't think that's really common though. We thought the playground was for little kids even though there was plenty of challenging terrain for us at the time.
I just checked Google search with Chrome and Firefox in Debian, and both still show URLs for actual search results. But not for ads.

So I wonder if Google plans to drop URLs from actual search results. And if they do, whether using Startpage, or DDG with the Google option, would still show them.
> egregious abuses of power like this

Do you honestly think removing URLs from search results is an "egregious abuse of power?" This is the company that buys credit card transactions from Visa et al. and associates them with your maps and and history for the benefit of advertisers, and you're complaining about them removing a design element 95% of people probably don't care about?
You do realize that people/jobs/schools don't have open schedules, but are forced to work specific opening and closing hours right?

Because it sounds like this is news to you...
It makes perfectly sense if you read how Google was originally funded. Culture runs from the birth.
Agreed. Two remarks though: mailing lists often mangle messages thus breaking signatures (bad mailing lists!) and not all providers send forensic reports (e.g. Gmail doesn't send spoofed messages). I my case most spoofed messages were... my own emails mangled by mailing lists.
Bournemouth 1-0 Manchester United – Premier League FootballGH
Thanks I missed that part
Also Kotlin, if I remember correctly?
>which is, generally, how books and most ebook readers do it

Books flush them right. eBook readers usually don't and when they do it's horribly typographically, because they don't use a smart algorithm for hyphenation and line splitting.
I am taking photos of my small child with a new iPhone and a Fuji X-series and the latter is so far superior it is no contest. I expected the new iPhone to be a big improvement over my 6s but in most of my use-cases it is not - low light, interior shots.
Thanks for the information, and this release! The minimal memory requirements are impressive.

With 32 bits of global addressing space, is that for routing, or more to avoid address collisions when two networks are joined in an ad-how way?

I noticed the PJON bus-ID assignment process and it seems a bit like MAC vendor ID assignment, so I’m guessing the latter?

I don’t have much experience in this space, but it feels like it would be useful if the bus-addressing could be optionally extended to incorporate IP addressing and routing infrastructure. Perhaps IP to PJON bridging is already very easy?
The short answer: click any of the links below and let the algorithm guide you.

The long answer:

Casiopea (https://youtu.be/vKOekWuzk3o) and T-Square (https://youtu.be/3p9L7CV-HcI) are the standard bearers of the genre.

Masayoshi Takanaka's An Insatiable High (https://youtu.be/9cuxrkZeai8) is one of those albums that the algorithm pushes on everyone, and for good reason. Extremely funky. The Rainbow Goblins (https://youtu.be/MzYD56hKF-8) is also impressive - a concept album based on a children's book. I'd recommend anything 1985 or earlier from Takanaka - after that, he starts to get a little cheesy.

Another personal favorite is Naoya Matsuoka. Everything that comes up when you search his name is great, so here's a live video that won't (unless you search the kanji): https://youtu.be/-yQv7_tK3X8

Other favorites:

Piper: https://youtu.be/sopcI4vTsuU https://youtu.be/x8NgdjffLIY

Makoto Matsushita: https://www.youtube.com/watch?v=kP6GoSnDKGw&list=OLAK5uy_mS3...

AB's: https://youtu.be/bDaQw8Tw8Jg

Noriki: https://youtu.be/HdG-Xg2n108

Himiko Kikuchi: https://youtu.be/l_4WcHNjjV0

And some channels that post a lot of various j-fusion and city pop:

Xerf Xpec: https://www.youtube.com/channel/UCkfmbKrdAH3_NHkbAZhWqIw

Marcel the Drunkard: https://www.youtube.com/channel/UCqMLGyzBt5zkPqCLrF5l10Q
Except you need approximately zero of those things (especially Bazel. Jesus, who would pull in Bazel for this?) To run a website in 2019, you need:

1. Server
2. nginx
3. A certificate
4. DNS

The vast majority of people don’t actually need to scale at all. I got HN hugged once and my little Digital Ocean droplet with nginx performed just fine. Granted, it was a static site. But scalability is one of those things that everyone says they want, but probably don’t actually need (or haven’t really profiled to see if scaling horizontally would help).

I’ve been burned too much by devs using Docker and Kubernetes and all of this other nonsense just to host basic web backends, because I’m always the one who has to clean up the mess when it shits the bed. Web hosting needn’t be difficult, but we keep making it difficult.
I agree with this. I've been using a Fitbit for 4 years, and I can see the difference in my sleep on a good night compared to nights I've had alcohol, worked out too hard, been dehydrated, had too much caffeine late in the day...they all have measurable differences in my sleep.
Yes I am using sendgrid or some other provider, they do all stuff for you. I like to have control over everything but when you have to send stuff from multuple domains and you have to ask other companies to add SPF and DKIM to their dns and deal with all bs with explaining how it works to other people just pay sendgrid.

If it is for your own domain and you don't have customers for which you send emails on their domains, it is quite easy to set up on your own.
Part of my understanding for thr time change was for safety for children going to school. In the winter it’s still quite dark where I live until at least 7:45. This means you have children standing close to the road in darkness waiting for the bus. Especially in rural ares where the trip can be an hour or more for school. This would be true for thr latitudes of at least Philadelphia in the USA and north. This would cover most of nothern Italy and Europe as well.

If we didn’t roll back we’d be extending the darkness even more in the winter. Sure we could change hours of operation for schools, government, business, stock markets etc but is that feasible ?
> I'm surprised commenters here seem to be siding with management

Why is this surprising? HN is an outlet that worships startups, makes founders into deities, and generally comments “if employees aren’t happy they should leave” on every worker-related article.

It makes more sense if you read the comments understanding that many commenters want to be the founder of the next “unicorn” and get rich.
Tech billionaires have turned Halloween into a circus
>This user wants all the control, all of the time: they've invested time and effort into nailing exposure, mastering autofocus, all while composing beautiful shots. A smartphone interface is not what you want: the best images are often captured in difficult environments where a touchscreen just gets in the way and you must have hard control points.

You'd be surprised.

Enthusiast users clamor for good autofocus, want automatic HDR and bracketing, and lots of other things...
What ever happened to companies turning a profit?
SCCS uses a “weave” representation in which all revisions of a file are interleaved. Checking out any revision takes the same time; diffing is fast. RCS (and CVS) represents files as diffs backwards from the latest revision, and if there are branches, diffs forwards from each branch point.
I'm betting that they're aware of this, but are restrained by some arcane federal employment rule that says that butts have to be in seats within the DC area.
I hope Germans also reconsider and start listening to the scientists!

This is again one of those issues where people voted against their own interests, because they associate summer with warmth + light and winter with cold + darkness.
My definition of censorship is suppression of any kind of speech.
I meant Google in general. It’s yet another tiny step in a terrible direction. At this point I would love to legislate most of Google out of existence, personally.
She's the one who allegedly had people fired because she didn't like their "energy," right? Energy isn't a protected class, so I guess this is legal.
Qlicket (https://www.qlicket.com/) | Full-Time Software Engineers | New Delhi (ONSITE or REMOTE in India)

Qlicket is an enterprise SaaS talent retention platform for the deskless workforce - specifically, those in high turnover work environments where the entire labor force is replaced each year. 1 in every 4 workers in the U.S. are in 100% annual turnover industries, such as distribution centers, call centers, retail, fast food, certain healthcare, and more, costing companies hundreds of millions of dollars each year in avoidable turnover. Our kiosk-based software solution has already been proven through actual customer data to substantially decrease worker turnover and improve Glassdoor reviews.

We're looking for the following:

* ETL Developer (1 - 2 yrs of experience)
* Database Query Assistant (1 - 2 yrs of experience)
* Java Developer for Kiosks, Dashboard and Apps API
* Android App Developer (experience with emm and lock task mode apps for Android 7 and above)
* Two Technical Support engineers with good comm. skills

Please email monika@qlicket.com
I am seeing this on Google Chrome on my phone, but not on firefox on my desktop (both incognito and not)
Air Force's Secretive X-37B Spaceplane Lands After 780-Day “Classified Mission”
> If you prefer permanent DST, why not just wake up an hour earlier (obligations permitting)?

"Qu'ils mangent de la brioche"

Me and the other peasants would eat cake if we had some.

Only the fortunate few get to set their hours.
> Welcome to the 21st century where you can have valid reasons but face the endless threat of bad press and litigation for giving them

These are both strong indicators that the reasons are not valid.
If there is a need for oil, enough to merit extracting it with costly means and transporting it over thousands of miles, then surely there's a willingness to pay some more for it.
This is really clean. Ugly option for for non-emacs plebs like me:

unzip -qc "$1" ".htm*" | w3m -T text/html -dump -cols 120