skysight-inc/HackerNews huggingface dataset:
I Started a $18K/Month Junk Removal Company Before Graduating from College
Oh hi! I was looking at the terms on this page (https://algorithmia.com/api_dev_terms)

The Software License section states:

> You do not transfer ownership of the Software to Algorithmia, but you do hereby grant Algorithmia, in its capacity as the provider of the Services, a worldwide, non-exclusive, perpetual, irrevocable, fully paid-up and royalty free license to use and permit others to use the Software (including the source code if made viewable) in any manner and without restriction of any kind or accounting to you, including, without limitation, the right to make, have made, sell, offer for sale, use, rent, lease, import, copy, prepare derivative works, publicly display, publicly perform, and distribute all or any part of the Software and any modifications, derivatives and combinations thereof and to sublicense (directly or indirectly through multiple tiers) or transfer any and all such rights; <and then some stuff about FOSS>

I'm no lawyer but my reading of this is that I own the IP but by using the platform Algorithmia receives a perpetual and irrevocable license to do as they please with the models, even if they're intended to be private.

Please correct me if I'm mistaken! I've been playing around with Algorithmia and quite like it, but that specific part is a bit off-putting and makes me hesitate to put the most important parts of our product on Algorithmia.
Yes, open sourcing at least the client part of the game is something that I'm very interested in. I'm not entirely sure when or how this will happen just yet, it will depend greatly on the commercial success of the game. But it's definitely my preferred course of action for the future.

EDIT: I'm not really interested in separating or spinning off the engine, but you will have few problems turning the game into something entirely different.
Url changed from https://www.independent.co.uk/news/science/ufo-tic-tac-flyin..., which points to this.
On mobile it also has a tiny touch area and they don't support swipe.
Agreed that it’s not perfect emulation. I took some time to find alternatives to everything it lacked for me and now I’m satisfied.

The biggest plus is when working with larger projects. The single-threaded autocomplete and jump-to-definition functionality was very slow in Vim, stalling the UI updates. Goland feels so much smoother in these cases.
My municipal government insists on sending out via email attached PDFs or links to download PDFs.

Some of the PDFs are prepared by the government, others by vendors working for the government (probably based on specs that called for this experience). It ignores the facts that many (if not most) people read on small screen devices, don't have logon credentials handy, or even know where to find downloaded documents. It erodes civic engagement and leads to real problems when policies aren't followed or generate backlash because people didn't know about them prior to changes.

The simplest thing to do would be just to send the damn data as plaintext email. The mayor actually gets this -- her newsletters are always in the body of the email itself, never as a PDF attachment or link to download a PDF. Yet her administration is still stuck on PDFs for everything.
Narcotic has no real definition. It's a made up cop word.
Or a fragment shader.
This effectively treats libc as a trusted interface. Checking should be at the protection boundary, the system call. This just makes attacks more complicated, not less successful.
Nick Farmer knows dozens of languages, so he invented one for The Expanse
Ask HN: Figuring out why website platforms died in the past?
How does one perform an autopsy on old sites that died many years back?
Does YC not count?
Why do we have rules about disturbing the tribes in the amazon or the Sentinelese. Maybe there are established rules about contacting primitive cultures? Maybe they are just watching for the Fermi Paradox to take care of us.
>amazon's antitrust paradox

Haven't read the paper but isn't it very similar if not the same as Walmart's monopolistic behavior with suppliers, which has been going on before Amazon became big?
It's not quite _all_ retail though. The author excluded market segments that Amazon doesn't participate in - cars, gasoline, etc
Working programmers and even people concerned with producing useful algorithm probably shouldn't care about P=NP?. It seems very likely to be true and if it isn't true, it seems like a polynomial algorithm would be unwieldy indeed.
Further, P!=NP is a theory entirely about worst case scenarios. Many NP complete problems are actually quite solvable in the average case and the worst case can have little relation to the average case (SAT solvers that are quite fast on average exist now, for example).

For logicians and mathematicians, a proof of N=NP? would be an incredible accomplishment simply because it's a problem that at this point no one know where to start on and so by definition, the proof would be a piece of remarkable and surprising mathematics giving people much to think on.
Samsclub and BJs are two competitors with the same basic business model.
"How so? It seems to have been an orderly trial."

Because you can't blame employers for the personal actions of employees.

It's political because there was a narrative created in France that 'Orange is an evil place that drove this to happen' and people wanted to see supposed 'accountability'.

The trial is red meat to appease the plebes.

The unemployment rate in France is 8.5%, whereas in the US and Canada, it's less than 1/2 that, in Germany it's 3.1% (!).

The laws there to supposedly protect French workers form layoffs are clearly not working and are probably having the opposite effect.
For such studies, a randomized control trial should be done. For half the group, present the research on optimism and encourage them to be optimistic. For the other half, do nothing. I predict that telling people to be optimistic will not be effective.
> If they had not capped the number, we would have over 10,000 Representatives now. This would, of course cause problems, but when the house became too large to function, we should have added a third level of representation.

This doesn't solve anything; assuming the top layer has the same 435 seats, you just see -- again -- that each seat is representing more than 700,000 people. Those people aren't represented better because of a layer of middle management between themselves and the top level.
If the video is real then my guess is we are looking at a glider being towed at supersonic speed.

The air-tow could be flying higher in the atmosphere beyond the reach of basic ground defense systems. The glider would not give off a heat-plume but could have enormous maneuverability
Good point, well made
See also: the writing of Tom Mahood [1], some of the best and most authoritative I've ever seen on the subject. He also tears into Bob Lazar which is a nice bonus.

[1] https://www.otherhand.org/home-page/area-51-and-other-strang...
Tried to find out something about your roadmap. Would be helpful if you could add additional information somewhere. Is this a continuation of LuaJIT 2.1 or 2.0? What short and longterm goals do you have? Why did you choose a new name for it?
I think you mean the user guides.

- https://support.apple.com/guide/ipad/welcome/ipados

- https://support.apple.com/guide/iphone/welcome/ios
Walmart does 2 day shipping (and is a bigger retailer)
What's your plans for commercialising AngleDust?
This video made me cringe. I am not surprised to see a commercial appropriating feel-good videos. Somehow, seeing especially Google do this makes me feel more disappointed. They are just another big corporation. Maybe, I believe they are capable of doing heroic stuff and I don't see them actually doing it.
> Since OpenBSD is largely in control of its user-space applications, it can enforce restrictions that would be difficult to enact in a more loosely coupled system like Linux, however.

In which ways is OpenBSD more in control of userspace applications, and in which ways is Linux more loosely coupled?

> Switching Go to use the libc wrappers (as is already done on Solaris and macOS)

Did Solaris and macOS also do that for security reasons? (A linked article mentions ABI instability as the reason, but maybe there's more to it.)
90 000 directly in France, at least [1]

[1] https://en.wikipedia.org/wiki/Orange_S.A.
"I'll show him to shake me..."
When a bunch of us relocated to the Valley, we would do annual FriendsGiving and FriendsMas. As everyone has gotten older and busier, more stressed out or departed, that's kind of gone by the wayside.

Later on when I had my startup, my cofounder and our manager-of-everything would find a place for all of the orphans who were like we had been - without anything to do for the holidays because they, too, had recently moved away from their social circle and family. Everyone wins.

So I say: bid the awkwardness and putting yourself out there. I look back at that era fondly and yes, sometimes it was awkward, but mostly it was not. It was always worth it.

(Ironically, this year all of our plans fell apart, so my wife and I are on our own.)
Is it? Can you link me to an econometric review?
It's something I'm struggling with now, tbh. I'm not an immigrant but my extended family is fairy close, even out to second cousins (my grandmother's brothers are super close to her, so our families get along; same with part of my grandfather's siblings), and I know I'll miss it. Yet, sadly, there's not many jobs here and if I stay I'll likely stay teaching, which isn't bad but I'm not sure how I long I'd last before burnout.

I've got an offer to leave and study Quantitative Finance in a completely different country (one I want to move to and have visited many times) and am wondering if it's worth it. Man, it's difficult. Not to mention all my friends being here too (though I do have some in the new country, thankfully). Having that social inclusion and closeness is super nice, and I know I'd miss it.
It's in some ways the writing equivalent of the NPR calm and measured voice the intended impact to make it more believable and important and entirely rational sounding and correct.
Honestly, how would an image count as proof nowadays?
This kind of thing is highly compartmentalized. The decision makers for the budget of the B-21 program probably aren't cleared to know about a program developing an engine that ignores inertia.
From this it seems that the question itself might have been hopelessly naive

Is there any evidence that P might be equal to NP? This seems different from other famous conjectures like Fermat's Last Theorem or Riemann's Theorem where what's hard is finding a counterexample that disproves the theory.
You'll have to explain how it makes sense to you, because it doesn't to me.

If they were going to do it they could do it already. They don't need to be their own ISP for iDevices to block content. They control the browser and the OS: they can block content just off the device.
Probably not very. I get the distinct feeling that the last few essays were very light on content/interesting insights, and did well on name value alone.

Would be interesting to actually test that to be honest. Get Paul Graham to set up another site under a fake identity, post the next say, three essays there, then submit 'em to HN under the same identity and see the stats.
x86 SIMD superoptimizer in ~100 lines of Python
OK, but the settlement was $380 million. There was no $720 million that was supposed to go to the lawyers (or to anyone else).

If the lawyers had instead negotiated a settlement that got them fees of $800 million, then, because as you say the fees come out of the settlement amount, the settlement would have to be at least $800 million. That would be good for me, as a victim, because it would have meant a larger penalty to Equifax.
Of course it does; it has kept a close association with this meaning throughout literary history. An essay is an attempt, a sketch, thinking out loud. It's the literary genre equivalent of informal conversation. In an essay, you discover what you think by writing it, just as in exploratory programming you discover what your program is by programming it. To say that essays aren't for non-authoritative musing is like saying novels aren't for depicting human experience.
Does anyone else feel the need to just shake their head in disbelief that some execs need an acronym and a whole system to just make a fucking decision?

I feel like I'm in Dilbert land here.
That always sound like a damn impressive story to be read by some booking.com executive. Sure, you are just a single customer, but 1000 nights is quite impressive. To lose such a loyal customer over something that shouldn't have happened in the first place is a bummer.

I guess I should try hotels.com someday as well.
Here's the study, which curiously isn't linked to by WP https://nvlpubs.nist.gov/nistpubs/ir/2019/NIST.IR.8280.pdf
Cool! Sounds really impressive!
Sounds grand. There are a lot of us who just want to pay the rent. If that means a React job, so be it.
Show HN: Timelite, a simple time tracking solution
This was from 2015:

> Europe imported more than 4 million tons of wood pellets from US forests last year and wrote it all off as renewable energy.

https://www.businessinsider.com/europe-imports-wood-biomass-...
Agency here with a remote team.

We get all our hires through referrals. We keep things simple, our clients are not protected in a particular way when hiring us. We use a general contract - we only had problems once, when the hiring company went bankrupt and failed to pay our last invoice.

Client relationships are stable, none turned to another software contractor for the past 8 years of existence.

The company is registered in Romania.
Retailers of that size - vs domestic retail share - are common globally among developed nations because the economy of scale is required to compete.

The alternative in a global economy would be to shut down access to your market to keep the foreign retail giants out. Otherwise they would come in and decimate your smaller, less competitive retailers.

It's why just two grocers (E.Leclerc, Carrefour) in France have 40% of their grocery market. Throw in three other retail companies like Auchan Holding and you have total retail dominance by just a few players.

It's why Schwarz Group and Aldi are so large in Germany and why Tesco has total sales equal to ~12% of all retail spending in the UK (domestically they're larger as a % than Amazon is in the US for example). If you scaled Tesco up, UK economy scaled to the US economy, they'd be larger than Walmart.
Maybe this will help with understand the revitalization barrier. Most proof of separations of complexity classes relativize, in that not only do they show

A strict subset B

they also show

A^O strict subset B^O

for ANY oracle O. Most of these proofs don't actually explicitly state this is true, but they are readily to be extended this way (e.g. the diagonlizing proofs of the time hierarchy theorem)

However, we know (Baker, Gill, Solovay) that there exists and oracle O1 where

P^O1 subset NP^O1

as well as an oracle O2 such that

P^O2 not subset NP^O2

Therefore, we know we a proof of P != NP must not relativize or else that would contradict the aforementioned result.
That's not what they were saying.
It's just ABI instability. In BSD, Solaris, and MacOS the kernel and libc are distributed by essentially the same people as an atomic unit, and the syscall layer changes over time. On Linux, it's the syscall layer that's stable.
This is something I've been casually working on here and there for a need I had. I use a variety of project management solutions and they all track time differently, some don't even track time at all, and it's sometimes not very well implemented. I just wanted a way to track time quickly separate from my project management system that I can then enter later to make sure my time is accurate.

Hilariously, I've also used this for janky speed run time tracking while gaming since you just hit enter and it keeps going, it's not very good at that but it works...
Oh I see the trail goes deep. Interesting.
Is Nuclear Power Worth the Risk?
(author here.) I started the x86-sat project about a week ago, which parses Intel's pseudocode for all of the intrinsic functions and converts it into a Z3 SAT model. I got a basic prototype working in around a day, and I've done some cool things with it since.

The next logical step was obviously writing a superoptimizer. You provide it with a whitelist of intrinsics to search over, a set of inputs, a set of free variables (for things like creating constants/lookup tables), and an output, and it will recursively search over all applications of the intrinsics to find the shortest instruction sequence. This is still a toy at this point, so don't expect any miracles.
The issue isn't that the patient is lying or doesn't know; the issue is that the patient is taking supplements or not for a reason that is itself correlated with the other side of our analysis: someone who is taking vitamins might be more desperate, or might have more money (and so be living in very different conditions or have less stress), or might be more likely to be doing other random "maybe this will help?" things that are also random effects you aren't asking about, or might be better at doing anything at all on a routine (including other medical steps), or might be more able to get up and walk/drive to take/buy vitamins, or might be experiencing a different level of digestive effects from their chemotherapy. The reason why we use controlled randomized trials is because they just fully solve this correlation analysis issue.
I don't get it. How does that work? Why would a hotel offering a lower price (on your platform, I assume) than you want give you a lower rating on a price comparison site?
Or you can
> document.getElementById('privacy-consent').style.display = 'none'
In a long run the non-complicated solution is to get rid of anything that can compile to something with a buffer overflow.

Just half trolling.
Yes, but Walmart's online sales are very low, and their selection is as well. If you offer 10k products for fast delivery there's an important sense in which you're not a competitor to someone selling millions of products.

Regardless, including Walmart and all other sales shipped in two days, in my estimation, Amazon still had a majority of that market.
Right. People prefer to post bullshit instead (e.g. that Pall was no real person, Lua 5.3 being superior, and the like).
A subscription to Safari would be the equivalent of a focused gift card. You would give access to thousands of books. I usually read 4+ at a time when trying to understand a particular concept.

Other than that, The Art of Computer Programming set. ;)
I've got a few in the queue I haven't gotten to, but I immediately thought of Alice Goldfuss's recent talk at LISA19 "The Container Operator's Manual"

https://www.youtube.com/watch?v=Fm2tDgf40ss
There is a lot of evidence for what Paul says once you dig into a specific field. Taking two fields I know well: in physics, there was decades of work on fundamental questions on systems in equilibrium, while many obviously important open questions in out-of-equilibrium systems went neglected until the last 10 years or so when there's been a huge upsurge. These questions were known to be open 20 and 30 years ago, but just weren't as fashionable as a topic. Anyone senior enough in those earlier decades knew there were tons of open questions but also that relatively few people were working on them for whatever reason.

In machine learning, there are currently a lot of people working with neural networks, but relatively fewer people exploring alternative model architectures. So much so that issues specific to neural networks sometimes get framed as fundamental to machine learning itself. I'm personally exploring an alternative class of models called tensor networks with many possibilities for research directions and lots of open questions but only a handful of people work on them. One reason for working on a popular idea is that it's nice to work on a topic where you have many colleagues and know in advance that your model is likely to give good results on challenging datasets.
I tried to build something like this for jest tests in an app I worked on.

I wanted my jest tests to serve as both unit tests and service diagnostics - so I instrumented axios and setup a hidden cache layer within it when running inside the test suite. I was trying to figure out how to best organize the cache so I could run tests really quickly by having all results pulled from cache — or run it slow and as a service diagnostic mechanism by deleting the cache before execution ... I had to extend axios to accept a bit of additional logic from the application ...

it was hard for me to get it to work properly inside of jest though ...
Does anyone know if any regulations may limit these actions in the US?
... except both pilots saw the object using their eyeballs through the window.
Every time I try to do something involved with jq (i.e. more than a couple commands deep) and inevitably end up wandering through the manual, I get a persistent feeling that jq could be cleaned up quite a bit. That it either has structure throughout that I fail to grasp, or that it's really rather disorganized and convoluted in places. This is exacerbated by me never being able to find anything in the manual without skimming half of it each single time.

E.g.:

Filtering and transforming objects by reaching a few levels deeper in them seems to be way easier to slap together in Python's list comprehensions or some functional notation. Stuff like [{ * * x, qwe: x.qwe*2} for x in a.b if x.y.z == 1].

Add nested lists to the above, and I can spend another fifteen minutes writing a one-liner (i.e. `a` is a list of objects with lists in some field).

I once had to deal with a conditional structure where a field might be one object or a list of them. Hoo boy.

Every time I want to check the number of entries my filters print out, I need to wrap them in an array. Repeat this a couple dozen times during writing a complex query. Weirdly, this is where strict structure gets in the way―and while I understand the reasoning, I feel that something could be done for such basic need. (Like, aggregate filters should be able to aggregate instead of acting on individual items? Maybe it's already in the language, but I'm not in the mood to go over the manual again.)

Variables seem to be bolted on as an afterthought, or at least the syntax doesn't exactly accommodate them. Meanwhile, they're necessary to implement some filters omitted in the language. Compare that to Lisp's simple `(let)`. IIRC the manual also says that jq has some semblance of functions, but I'm afraid to think about them with this syntax.

I like the idea a lot, but execution not so much. Frankly I'll probably end up throwing together a script in Lumo or something, that will accept Lisp expressions and feed JSON structure to them. (I'd use Fennel, but JSON has actual null while Lua... doesn't.)

Btw, I have pretty much the same sentiment about Git. Git structures, great. Git tools, oy vey. Maybe I need Lisp for Git, or at least Python for Git.
I imagined a project about towed car, and the didnt have an illustration for that :)
If you can change libc then you have equal to or greater permissions than the calling process. So this strengthens the security model.
I thought this talk about Async in Rust was pretty cool (RustLatam 2019 - Without Boats: Zero-Cost Async IO): https://www.youtube.com/watch?v=skos4B5x7qE
Caltech Guest Lecture: Quantum supremacy using a programmable superconducting processor - Professor John Martinis, Chief Scientist Google Quantum Computing Division

https://www.youtube.com/watch?v=FklMpRiTeTA