skysight-inc/HackerNews huggingface dataset:
Amazon can’t control your family situation, and they can’t base pay on it, either. No single adult should be on food stamps with a $15/hour wage.
I wonder if all the modern-time pirates around the African coast are reading Twitter/news/social media, sees this as an opportunity and are preparing for more assaults than usual?

Not sure why I ask here, will just receive bunch of guesses in the end, a bit the wrong audience here maybe.

Edit: Am I being downvoted because I assume no pirates hang around on HN / people on HN don't know pirates in real life? Otherwise I find your downvoting outright weird.
What are the best medical apps?
That's interesting - I just tried on my Ryzen 5 3600 and got the following:

10k using 48 processes:
0.82 seconds (using the original single threaded script this was actually faster at 0.65)

100k using 48 processes:
28.41s

200k using 48 processes:
99.68s

---
EDIT - looking at resource monitor python.exe is only using 7-8% of total available CPU resources

---
EDIT 2 - switching to ThreadPool from multiprocessing.dummy brought the 10k result down from 0.8 seconds to 0.3 seconds, but didn't impact the 100k or 200k results
This one is very frustrating.
If anything it should be obligatory to make payment processor fee to be a separate item. This way we would have fair competition with consumers choosing the cheapest/most convenient option.
>> You're not letting us down! We're collaboratively exploring a fascinating space
of promising ideas!

Thanks, that's a great kind of attitude to have. dang (always a champion of
intellectual curiosity) will be proud of us :)

I did have a quick look through your comment and I think it's insightful and
more correct than not, far as I can tell.

About this:

epimenides :- \+ epimenides.

That is a contradiction and so does not have any model, as you say. While startification
would indeed avoid this, deriving an empty model (or failing to derive a model)
is correct behaviour because the formula is unsatisfiable. However (1) is a
well-formed formula, certainly in First Order Logic, so it's not an invalid
program, per se. In general contradictions and tautologies tend to be treated
specially or ommitted from discussion, in logic programming theory often, I
find, which makes sense because they're kind of obvious corner cases that nobody
wants to spend too much time on. "p if not p" should always fail quickly.

Regarding minimal models, according to the book I linked, there are two datalogs
with negation, datalog¬ (which does not allow recursion) and datalog¬¬ and they
indeed eliminate the guarantee that a program has a unique minimal model under
fixpoint semantics- so while a program is still guaranteed to have _a_ fixpoint
that is reachable in finite time, this fixpoint is not guaranteed to be unique
or minimal.

As to my sketch proof of undecidability, that would actually not work in pure
datalog, where the deletion of facts is not allowed. Deletion of facts is
allowed under datalog¬¬, whose syntax accepts rules with negated _heads_ that
are interpeted as signifying a fact should be deleted. There are different
options for the treatment of negated rule heads (e.g. deriving A and ¬A
simultaneously can be interpreted as a contradiction that makes the program
unsatisfiable) but now the guarantee of termination is lost because there is no
guaranteed fixpoint. This is all from 14 of the Alice book and the example given
is of a program that flip-flops between two models, much simpler than my
three-atom case above, which I think after all is probably fictitious :)

>> I think there's an additional problem as well, corresponding to Henkin
sentences—programs for which models do exist, but for which there is no unique
minimal model.

I didn't know about Henkin sentences and I don't know how datalog (of any kind)
semantics deal with them. An interesting lead for further reading, thanks.
Thank you, it's also a time capsule preserving the "hw" pronunciation of whale. (Which seems to be slowly disappearing.)
> > This is once again completely wrong, WHO messaging was to prioritize masks

> A tale of two billboards:

And? Many countries had the progression of "only health workers" to "only health workers and people with symptoms" to "everyone" according to the available supply, even though many others skipped the mid step.
I see, thanks. Looks like static compilation will only work if the entire program is “type stable”, which AFAICT means that the type of every variable can be deduced statically.
I worked in a residential community consisting of many young people with various disabilities. Most of these had Down’s syndrome. From the OP...

> Individuals with Down syndrome generally have outstanding social skills...

Dam right! They were amongst the most compassionate, loving and witty people I have ever met. I remain humbled at their extraordinary humanity.

Other things the articles mentions are also true. Certainly Low muscle tone. This also signifies incredible flexibility. ...Seeing a 40 year old man with this condition bend over and place both his palms on the floor without bending his knees. Try it now! I dare you!

But ultimately these folk will always need institutional or family based care, or close oversight, for the rest of their lives. What bugs me is ‘stories of success’, like the young girl with downs who is a model. This does no one any favor, instead placing unreal expectations on them.

This residential community was very closed, almost like a religious retreat, or a very small village. In many ways it was the perfect place for such people. They held a valuable place in our lives, and were ‘useful’ in the way we all strive to be. In a more modern setting, their lives are more difficult.
I thought facilitation payments were illegal...
>> It's not just me who runs without it; Google production machines did for many years.

But then you need other mechanisms monitoring "out of memory" situations. For example Kubernetes also require nodes to have swap disabled. But running workloads should have resource request/limits defined and then kubelet config specifies minimums on free disk and RAM memory. If there is not emough RAM, workloads are evicted to another worker node with more free memory automatically.
Prince is the only browser engine that fully supports the print css standards that I know of. There seems to be little incentive by the browser makers improve printable output so Prince has quite a niche.
Yes, I'm going to be the guy that mention that this site does not do a thing with NoScript running.

I'm always so happy with this addon and the first thing I install on a new machine.
Covid-19 vaccines have alerted the world to the power of RNA therapies
I agree, this is a game changer. Previously time to first plot (TTFP) was >1 minute for me, which made julia completely unusable for my day-to-day exploratory data analysis, visualisation, quick random number experiments etc. Now TTFP is less than 10 seconds. I'm now ready (and excited) to jump ship from R and python!
The surprising result (to me at least) was that out of 270 valid letter combinations, 105 can be reversed. The odd number is easy to explain: letter pairs like MM => MM can add a single flag instead of a pair of two flags, but the fact that almost two out of every five flags are reversible feels pretty high to me.
There's also Vercel and Firebase ( Hosting ) which are stable ( not in beta as Cloudflare Pages).
Uber provides discoverbility, ratings and a feeling of safety.
The significance of a "10 year lag in performance" has wildly different meanings between the present day and, say, 10 years ago. 2010 (serial) performance on 2020 hardware would be hardly perceptible. 2000 performance on 2010 would be much more noticeable. 1990 performance on 2000 hardware would be catastrophic.

And yet, Java, C#, Erlang, Perl, Python, Ruby, Tcl... all of these languages and their VMs are decades old now. And yeah, the languages toward the end of that list ain't exactly speed demons, but the ones toward the front are already commonly used for high-performance applications with pretty dang good success, and even the ones toward the back of the pack are there for other reasons beyond just the VM (global interpreter locks, parsing overhead, things like that).

The VM, that is to say, ain't the issue. Hell, things like SPIR-V demonstrate that VMs are perfectly fine even for GPU computation. There's a price, sure, but eliminating that price is about as premature of an optimization at it gets for all but the most constrained of environments. There are almost certainly worse bottlenecks - and those bottlenecks are probably around I/O and memory, knowing most applications (and a bytecode VM often helps here, since the opcodes can be tuned for minimum size, often giving even RISC CPU opcodes a run for their money).
Again, your summary is a simplistic half truth. There are lots of prominent examples of intra-party checks.

Trump recently was opposed in political processes by his own Vice President and Supreme Court nominees, as well as some members of Congress.

Within the Democratic party, there are also examples of these checks happening within the party. DeBlasio (mayor of NY) and Cuomo (governor of the state of NY) have been fighting against each other for years.

More generally though, not everything in the US is a political decision. There are other practical checks on the political process itself, like the freedom of speech Many Americans either don't like either party, or at least don't like the leadership if either party right now. We don't have songs like "Without the Communist Party, There Would Be No New China" (https://en.m.wikipedia.org/wiki/Without_the_Communist_Party,...). While unlikely, in the US parties can go, and have gone, extinct through the normal political process. And every four years (depending on who wins the Presidential election) there are opinion pieces considering one party or the other's demise. If people disappear for comparing the CCP's leader to Winnie the Pooh, I can't imagine it's very safe to write about the CCP's demise within China.
What is the issue with a football team being owned by a Russian billionaire? Seems like a legit investment?
We can make it that place! And I think you’re correct; anything that’s shipping containers is a ship in my book.
Deep enough, wide enough, and straight enough for those massive ships? That's a very expensive multi-year project.
And if that ram breaks you'll not just have a giant container ship stuck there, but a bloody aircraft carrier as well. :D
> The causal relationship between high-trust and high-income is difficult to disentangle, but there's plausibly some form of positive feedback loop at work.

I've read that the rule of law has something to do with it. E.g.: "Where civil liberties and property rights are secure under a strong rule of law, fewer social resources are up for political grabs and groups have less opportunity to benefit via zero-sum or negative-sum competition against other groups."

https://www.oecd.org/innovation/research/1825662.pdf
Lawmakers Grill Tech C.E.O.s on Capitol Riot, Getting Few Direct Answers
> That's true in literally any language. Some languages require inlined assembly. Others require preprocessor directives. In almost all languages, you need to understand the difference between stack and heap, know how to minimize allocations, know how to minimize dynamic dispatch, know how to efficiently structure cache-friendly memory layouts. And of course, data structures & algorithms 101.

I think what s/he meant to say is that Julia is not "magically" faster than other languages. The real questions are:

1. Can unoptimised Julia code run as fast as unoptimised c/c++ code? I think the linked benchmark suggests this is not really the case.

2. Can optimised Julia code run faster than comparably (i.e. requiring similar amount of effort and expertise) optimised c/c++ code? If not, then why use Julia?
A 'feeling' doesn't guarantee any more than that.
The Value of Time Rounds to Either Zero or Infinity
would be a good thing IMO.

Central Banks will finally get their hyperinflation.
App provides value, global brand has some value.

There is absolutely no reason for ride hailing app to get 10-20% markup per ride.

I suspect that after the competition really kicks in, Uber/Lyft must settle for 1-3% per ride or less.
Yeah but to be fair they're basically implementing German tax law as a software product, it's a miracle it even works in the first place :D
Lunatic – Erlang-inspired runtime for WebAssembly
I think what OP means in the case of Joe Armstrong's comment is that Erlang follows the original conception of OO, as defined by Alan Kay, in which code is structured as black boxes passing messages and has nothing to do with semantics. It's true though, it's become such a muddy term.
It took some time but most people now accept the SaaS model and even often prefer it. It ensures continual support and improvements for the user and a stream of revenue for the producer.

Since software is essentially free to distribute, companies have to put up artificial barriers to use (e.g. dark mode as a paid feature). One of the big problems of car industry is their legacy mindset. For instance they don't make continual improvements, and their technology rarely has over the air updates.

In regards to this being a "safety" feature (high beam assist button), if the feature is not required and you can still buy a car without this feature, I don't see why BMW shouldn't be able to charge for it
We can even engage in idle speculation; maybe the author uses “boat” to make the situation feel easier to grasp. A boat being stuck sounds like it has less consequences than a ship being stuck.
Are you paying too much rent?
That 90% may move much closer to 100% with the wider availability of the maternal blood test screening for foetal trisonomies (branded “Harmony test” in the UK) which is supposedly very accurate.

My wife opted to have this test for two of her pregnancies at about 13 weeks, both negative.

It’s impossible to say what we would have done given a positive result. Everything I hear about the way such a diagnosis is handled by the medical profession suggests that expectant parents will be steered down the route of abortion.
Depending on the design and bulk heads ripping a hole in the hull can be an option. My father was a naval architect and did some work re-floating container ships and I know they did this on at least one occasion and got the ship up the west coast of Africa, past Spain and Portugal, and through the English Channel. They would have stopped earlier but the ship yards en route jacked up their prices because they assumed there was no other choice.

The interesting thing for me is going to be where that ship goes if they manage to re-float it.
> Seems like a legit investment

If it's legit money, sure.

FYI:

https://www.standard.co.uk/sport/football/chelsea-fc-roman-a...

https://www.reuters.com/article/us-chelsea-abramovich-book-i...
The idea/claim that Jobs forced Woz out of the spotlight is a common one. It’s based in the idea that Apple wouldn’t’ve become anything without Woz, but that’s equally true about Jobs. Woz was the brains, but Jobs was the vision and marketing; he knew what to build, how to convince people to build it, and how to make people want something they didn’t know they wanted.
I went to Bob the Builder. That dude can fix it.
Determining Key Shape from Sound
In CSS we can set media settings to hide many items from the print page and also change the styling of content in it. Not many people do it I guess
How many Raptor engines would we need here?...
We have just left the EU and its going so badly that even the fishing industry have turned on it. Once the idiot politicians who sold it have been sent packing we'll apply to re-join.
In the same way, the stratification rule rejects this program: withUs/1 needs to be above (evaluated later than) withTheTerrorists/1, but also vice versa. I'm not sure how to state this so SWIPL's CLP(FD) can tell that it's unsolvable, but that's probably because I'm a total noob at logic in general:

?- X #> Y, Y #> X.
X#=<Y+ -1,
Y#=<X+ -1.

?- X #> Y, Y #> X, label([X, Y]).
ERROR: Arguments are not sufficiently instantiated

I'm not very sure about this either, I haven't used CLP(FD) much. triska, the OP in this thread, is the author of the CLP(FD) library and he could help but I guess he's probably moved on from this thread by now.
>With all the stories there has been published over the years about Amazon warehouse working condition "slave camp" is the term that springs to my mind when I hear the word Amazon.

Have you considered that it might be propaganda? Correct me if I'm wrong, but all the employees choose to work at Amazon, right? What are the other jobs like, if people still choose Amazon over the alternatives?
Prince is amazing, I’m thinking of buying a license at work soon. All the other solutions have some big flaws and are hard to use
There has been some https://en.wikipedia.org/wiki/Suez_Canal#Bypass_expansion

$9bn in 2014
The UK isn't a good country to be a freelance bomb designer in...
Yes, the cut canals are one way at a time, with passing in the Great Bitter Lake.

For some of the canal north of the lake, there are two channels and ships go both ways, one in each channel: https://zoom.earth/#view=30.510825,32.344757,16z/layers=esri
See everything google related.
Film and video certainly did exist in the 1980s.
Slack really is dedicated to the goal of ruining all and any office productivity.
Straussian Reading (2017)
> Real-life customers don't want to enter their credit-card details into City_X_driver_coop and then re-enter their financial details multiple times again into City_Y_driver_coop. Even if you imagine a hypothetical national co-op to consolidate multiple cities, customers would still then have inconvenience of Country_X_coop and Country-Y_coop.

I strongly suspect city level coops would consolidate easily and naturally once they would develop a strong base in their respective cities. Besides, consolidation isn't the only way this might go: a lot of the software work can easily be ported from one city to another - if for example the current NY coop catches on, I think it would be quite easy to spin off a Boston coop for example.

Regarding international travel you should ask how often does that need actually occur. Quite few people travel internationally so much that having a couple of different apps on their phone is a real inconvenience.
Reminds me of the cron task I set up once, long time ago, on a bare metal server. It would kill and relaunch a web service every 4 hours.

The service in question didn't require high availability (it was a mailing list processing/interface thing, if I remember correctly) but it had some memory leak which would eventually devour all the memory in the server, in about 2 days.

This hack served its purpose well, until the service was eventually replaced by something else.
To proactively turn off syntax highlighting, bracket matching, and so forth, I use

alias vi='vim -u NONE'

which makes it skip vimrc.
As for the weight per container issue, I would expect the heavier container to be further down in the stack, for centre of gravity considerations, e.g. you should still be able to get a significant part of the load off the ship.
20 blackhawk helicopters (or however many is needed to lift it), fly it into more navigable waters. Maybe get the biggest ship there is on earth as well -- add a tow-line, then the helicopters only need to "ease pressure" and the tow will pull it back out of the canal.
Wkhtmltopdf is based on QtWebkit which is long deprecated. There was work to move it QtWebEngine but doesn't seem to be going anywhere:
https://wkhtmltopdf.org/status.html

In the meantime Chrome added headless support and with command line or puppeteer you can do the same thing with a much newer and more secure engine.

However if you need full CSS-Paged support then PrinceXML is probably your only option and its not cheap: https://www.princexml.com
Yes, dang is a notable case.
Yet another blog with some security related posts
Pdf standard I believe is open now, or at least there is a very, very detailed guide by Adobe (I’ve read parts of it).

Considering there are competing pdf readers to Adobe, this makes sense

Browser pdf styling is quite good actually, I just hate the fact it prints date / web titles by default (only user can unselect) and doesn’t work that well with paged media

I was thinking of building my own project in an adjacent area, so I did a lot of research. PrinceXML is my favourite, although it doesn’t work well as an integration to an app since then you have to share profits with them

In the end I ditched my project (lol)
Are you aware of Hephy Workflow by any chance? (Neé Deis Workflow)

If so, are you aware of the Porter project which is built on CNAB, (by I believe many of the same folks?)

https://deislabs.io/

I am with Team Hephy, and for the record I think this is super cool what you've done. I just think it's an awfully great coincidence that the name is so close to something else so nearby in the same space!
you know the old interview question - tell us why we should hire you if someone else has all your qualifications but also has X which is better than you?

Well the answer of course for anyone would be you shouldn't, you should hire the better one.

So if you don't have Go experience and someone applies who does, you're gone.

But if no one with Go experience applies maybe you got a shot.
5G as a Wireless Power Grid
GIMP plugins run in a separate process from the main process. My guess is that the main motivation is resiliency, to prevent crashes in buggy plugins from taking down the whole program. The plugin is essentially a standalone program that loads a library to help it talk to the parent process, in the case of both C and Python, so there isn't a real need to embed the Python interpreter in another process like you would with a more "traditional" Python plugin architecture.

https://wiki.gimp.org/wiki/Hacking:Plugins#GIMP_Plug-in_Arch...
Thanks for asking! A couple of reasons.

From my perspective:
• I like writing in Notion. It feels like I'm getting more writing done than I do elsewhere.
• It hits the sweet spot as it allows me to A) write & format code-focused content, B) link to other (sub)chapters, and C) create compelling guides thanks to the variety of "building blocks".
• It's nicely designed and permits customization (blocks, callouts, colors, font families, etc) while sensibly constraining you so that you don't go "too far" with the design.
• I can assign read-only permissions relatively easily (I wrote about how I automated it here: https://www.indiehackers.com/post/how-i-published-a-notion-e...).
• Last but not least, I studied Janel's journey on publishing a Notion resource (basically a dashboard) on Indiehackers: (https://www.indiehackers.com/product/newsletter-operating-sy...) and saw that it works! So I did my own thing.

From my readers' perspective:
• Ppl usually don't read Elasticsearch guides on a kindle on a beach in Southern France. They do it on the computer while integrating / debugging something. So they pull up the online Notion workspace, search thru it, and (hopefully) gain some insights.
• Since it's online, it can be updated / extended / typo-corrected at any time.
• The handbook includes images that won't work on kindle and videos that don't really work in PDFs.
• Last but not least, ppl can't really share my work online. Sure, they can do screenshots, save the page as html, copy the text etc, but it's not as straightforward as dumping a PDF on dropbox.

BTW I'm tracking my ebook "mini journey" on Indiehackers too, if you're into that sort of thing: https://www.indiehackers.com/product/the-elasticsearch-handb...

P.S.: I do plan to eventually move my handbook out of notion and create my own member-only workspace that'll look similar to Lee Robinson's blog (https://leerob.io/blog/monorepo-lerna-yarn-workspaces). But the emphasis is on eventually ;)