skysight-inc/HackerNews huggingface dataset:
Lock down your network so well they're forced to become a l33t hax0r.

'Popular hacker software includes "Comet Cursor", "Bonzi Buddy" and "Flash"', well, technically they were all used to hack, just in the opposite direction.
Poetry wraps around pip, which does have a universal adoption. Which means you can use any package in pypi using poetry.

I don't recall it having custom commands but in my opinion this isn't the job of a package manager.
How we validate our business ideas (MVPs)
This Twitter thread is all about why you shouldn't spend your marketing dollars on Google and Facebook. And yet here you are railing against people working at Google and Facebook. Why?

If engineers at Facebook or Google decide to work somewhere else, they'll just hire more. There's an endless supply of people who want to make a buck. But if the marketing dollars disappear, these companies go under.

So why are you railing on the people working at these companies, instead of all the entrepreneurs around here sending ad dollars their way?
Have a look at github.com/Shelwien/sudoku-cbmc for a “neat hack” that abuses the C bounded model checker to, basically, run a sat solver on a problem written in C.
It's vaguely amusing to me that there's nothing even vaguely resembling an East Asian: https://en.wikipedia.org/wiki/Emoji#Skin_color

When are the hair color or epicanthic fold ZWJs getting added?
I see it like customizing player aspect in video games.
In cities people don't live in hippie commune like organisations but in separate houses with no direct interaction with others outside of the house most of the time. The issues arise when they come together in bars, concerts, workplaces etc. Workplaces tend to be more orderly though, which means that it's possible to moderate large groups.
It took me long to figure out that this wasn't a one dollar piece of hardware.
Can you point to me the bit where its criticising it for being too conservative? Not saying its not there but I'm not seeing it.
HN challenge: draw a circle! (no matter how hard I tried, it's always a triangle for me)
> I'm all for inclusion, but it's not like anyone's skin is the yellow color of the default faces.

Have you ever noticed how in The Simpsons all the “white” characters have an unrealistic skin tone in a primary color as well as often unrealistic hair textures and colors but all the other races have realistic skin tones and hair textures and colors for their races?

There's also a rather interesting cultural difference in this. U.S.A. viewers often wonder why Japanese cartoon characters look what they consider “white”, whereas Japanese viewers consider them what they consider “yellow”.

The lesson to be learned from this is that a not insignificant number, perhaps majority, of viewers replaces “nonrealism” with what it considers to be the default, unmarked expectation of the world. For U.S.A.-men, that is “white”, for Japanmen, that is “yellow”. It doesn't so much seem to be one's own “race” but the “race” one most frequently encounters in life, as U.S.A.-men of all “races” seem to do so.

The end result is that for many, the amber skin tone is not true neutral territory, even though objectively speaking it is, for they perceive it as replaceable with whatever race is the most frequent in their milieu.

https://pbs.twimg.com/media/Ek5MqILXIAEdC3k.jpg

This image is most interesting and ironic to me. The auctor of said image seems to strongly imply that the stick figures that has the same color as the background are “white”, but it is not even clear whether they are transparent or simply the same, unnatural color as the background, whereas the other characters have a realistic, plausible human skin tone rather than a primary color such as perfect black. The “white” characters are not a realistic hue of beige, for instance. — I find such to have an interesting influence on the discussion, in that I often see that some people seem to perceive fictional characters that are raceless, due to for instance being of alien origin, to essentially have the “race” they consider the unmarked default of their milieu.

In particular, I had a discussion once where there was complaint about “changing the race” of the character of Tyrael. This character is a angel, who like all angels in that universe is faceless, nothing of his body but a vague humanoid shape clad in full body armor was ever shown, but when he was given human form, he had to be given such human features as a gender and a race, so they choose a “black adult male”, and some complaint that his “race was changed”; it seems to me that the character that had no race, age, or gender was consider a “white adult male” by them, which is the unmarked default in their milieu, that which they most frequently see and interact with.
I mean it's similar with Signal: you can send Signal messages until someone in your contacts (which are most) doesn't use Signal so you have to send an SMS.

The problem is that Signal prefers to also set itself up as the default SMS app and doesn't clearly show which messages in the feed are what kind. As someone who has to explain this difference to his father about twice a month I don't like this "feature", it's utterly confusing to people who don't know or don't care about the distinction between web-based messaging, SMS and MMS(now defunct here) when they want to send a picture.
Your theory here is that all the white guys in this comment thread have incredibly extreme jaundice and a big interest in normalizing bright yellow skin tones?
Probably downvoted because 2^32-1 is the same as (2^32)-1, it's 2^(32-1) you're confused with. Although downvoting just for that feels a bit pedantic to me.

The the intention of both comments was clear... To discuss signed vs unsigned integer.
You're probably not wrong, because what you're saying seems to be conventional wisdom.

However, there's a part of me that can't help thinking, "...but that's only because we're not used to thinking of our problems in terms of rules and constraints. If we got into the habit of doing it, we'd soon find out that more and more of our problems are of the rules-and-constraints kind, if only looked at the right way."

There's also an argument that you can turn any problem into rules and constraints, but doing so might not help you. I'm taking the stance here that maybe for a larger class of problems than we think it is actually helpful to think of them as rules and constraints. And then it's a small step to apply a generic solver as the first, baseline approach.

So my argument is not really that "we should apply solvers wherever they are currently immediately obviously useful" but more that "there might be a high-potential paradigm shift hidden here where we as a profession can adapt a new way of thinking based on off-the-shelf solvers for generic problems, if only we learn to view the world that way, and this might turn out to be a better way to think of the lower level components of software engineering."
Yeah, and they're buying ads from Google and Facebook.
> They forced us in high school to use a service called “TurnItIn” which I really disliked because they took ownership of your writing

They store a copy of the work, but I don't think anybody claims that copyright actually transfers from the student to TurnItIn.
When it comes to fractional shares as a consumer-facing product, I imagine it would be effectively a non-voting share, yes.

However the vote could be exercised by whatever entity actually owns the whole share. That would be entirely a decision for the people who chose to divide up the resource. Presumably BH will only accept a single binary vote per share, so it would be up to the owners of the fractional share to agree (or not).
Its generally those that contain such things
Just for reference, the default English constructions would be "bowl of chicken soup" and "Andy's bowl of chicken soup".

"Bowl of soup of chicken" is right out, but "chicken soup bowl" isn't much better. It's so anomalous that I might interpret it as meaning "a bowl for chicken soup" as opposed to "a bowl with chicken soup in it right now".
People wouldn't care. Like they didn't care when everyone "was yellow" and scoring social inclusivity points wasn't a real thing yet.

Now let me just sharpie over the word "slave" on my 20 year old HDD jumpers...
Honestly, my company only forces everyone to add tags with ‘platform’ and ‘team’ to every resource that gets deployed to AWS (otherwise your resource is automatically destroyed).

This works perfectly for going to cost explorer and seeing exactly where you are spending your dollars.

I don’t think this is a very high difficulty exercise.
Right, this is expected. I would think of a "gesture" as a series of points over time (relative to the starting point) - it is path dependent, so a clockwise circle is recognized differently from a counter-clockwise circle.

The paper (citation 11 for the $1 version) goes into more detail. One neat feature is rotation invariance, where you can draw a tilted version and still have it be recognized.
Not this again. I really hope that the incubation period is not around the corner with another wave of vCJD 'variant Creutzfeldt-Jakob disease' aka (Mad cow disease).
"[S]ignals the power of compounding" -- only to unsophisticated (frequently, retail) investors. Institutional investors always have historical data that is split-, and even dividend-, adjusted. If I had to guess, refusing to split is like a form of virtue signalling, nothing more. When I was a kid, IBM usually had a high stock price, over 100 USD. I never understood why; nor did my father, a stock broker.
The perfect science fiction story made do with only five words.
In my side project I use Vue CLI's async webcomponents target to generate a webcomponents.js can be imported into a script tag and <some-element props="123"/>. I was at a loss how to include compiled SFCs (components) into a server rendered app. IME, Vue tooling assumes a Node JAMstack SPA and the Django boilerplates were a pain. Guys who wanted to sprinkle interactivity to their apps were at a loss.
There's a good reason for that. Graffiti was....derivative of Unistroke, which was developed at PARC as, IIRC, part of the Parctab project. Xerox even sued.

https://news.ycombinator.com/item?id=12310029

Fun fact: You can implement a "classic" Unistroke recognizer just by dividing the character up into quadrants. Every glyph had a unique sequence of quadrant traversals. http://www.yorku.ca/mack/ExperimentSoftware/javadoc/ca/yorku...
- dozens of pieces of wreckage have been recovered on various islands, so oceanic currents data can be used to track where they came from

MH370: The key pieces of debris found by the public - BBC - 2017

https://www.bbc.com/news/world-asia-37820122

- Islam doesn't permit voluntary suicide, but there are rewards for funding or committing violence to advance Islam. He could have rationalized the latter.

- the voice and data recorder pingers only have batteries for 30 days, so you'd need to scan the seabed, which is expensive.

Source: commercially-rated pilot who's followed MH370 casually.
There would be a force towards the outside of the curve, yes.

But that doesn't mean the train would derail: in the extreme case the flanges on the wheels would prevent it, but what actually happens in normal circumstances is the same thing that keeps trains centered on straights. In a nutshell: since the wheels have a larger diameter on the inside than on the outside, and since the left and right wheels are on the same solid axle and thus rotate at the same speed, any deviation caused negative feedback.

The required superelevation for a given curve to eliminate lateral forces depends on the speed of the train; since not all trains travel at the same speed, and you have to account for slow or even stopped trains, the superelevation is always a compromise.
Yes, the fringes in Germany can get pretty crazy, but in general politics in Germany are pretty tame overall. In fact it's nice that parties like FDP exist because then it's easier for AFD to push out their more extreme members as they grow more mainstream, while FDP remains irrelevant to the nation as a whole. You're not going to have families splitting up over politics, or super crazy flame wars except with the most extreme of partisans. The same goes for Canada. Most things are a storm in a teacup that average people don't get too terribly worked up over. If anything, it's municipal and state/province/prefecture level politics that rile people up the most in more stable democracies.

Turkey, on the other hand, has gotten pretty nasty, to the point where my friends refuse to even talk about politics anymore.
So if the report labels Google Sign-in and Firebase analytics high risk what's the point of reading it.
Sit with your child and MST3K the media
Avoiding Busses
While we're advocating for people to pay taxes they are not legally required to pay, I would also like index fund holders to pay capital gains tax on rebalances.
Inclusivity, people wanted emojis that looked liked them. If that makes them happy, then why not?
Of course it can be abused, but then you could just as easily send racist words.
So this tilting is entirely for passenger comfort?

When presented with "you can get there in 1 hour, but you can't put coffee on the table" or "it'll take 2 hours", do passengers really choose the latter?

A coffee cup is at risk of sliding off a table around 4.5 m s^-2, so much higher than discussed in this article. And coffee would definitely slide off a flat surface in most journeys by car - that's why cars have cup holders.
The point is that Firebase may not even be a third party, but rather the hosting platform of the application. Like the parent says, it’s like saying that AWS is a third party and a high risk threat.
Ah yes, the Simpsons, the source of truth for all things life.
> Unfortunately, some people are ignorant of this, or too timid to ask for their money back.

I guess that turns out to be good for AWS’s bottom line.
Because some people are really really big on personalization, aesthetics and customization. Some people spend hours tweaking how their characters in games look like. Some people are willing to pay just so they can customize character details.

And while I almost never use emoji, some people use them a lot.
I added a second rectangle as an example starting from a different point, and it never misrecognized any of my rectangles for carets or square brackets again.
Exactly why I want Cyan, but it's not available, I feel excluded, apparently the community needs to be more inclusive to people who want to identify with Cyan colored emojis.
The FBI didn't found anything incriminating, when tourists from Saudi Barbaria were learning just to point plane to desired destination, without any interest in landing or taking off.
For me, it says rectangle when my "circle" looks more like an elipse.
It's called a Buffet Overrun
And I must have spent 500 hours or more as a kid playing The Way Things Work: Pinball Science [1] on my 80Mhz Win 95 PC.

[1]: https://macintoshgarden.org/games/the-way-things-work-pinbal...
Most of HN seems to hate crypto. My answer is still blockchain, but without the currency. I only recently (~1-2 years ago) got into Ethereum development and it turned my view of the digital world around. It showed me what the internet with a completely different monetization layer and without central entities like AWS or Google can look like.

Decentralized Finance (DeFi) and speculation is the most obvious use case right now, and I don't think that will change over the next 1-2 years. But I'm convinced that many more will follow.

I was just a little bit too young when the dot com boom happened, mostly playing games and hanging out in IRC channels during those times. I always imagine how cool it would've been if I had been a capable developer back then. The blockchain ecosystem(s) are the first technology in the last 10-20 years that feel the same - it's incredibly early with people hacking away trying to build basic things using a completely different model of the world.

I didn't "get it" for the longest time, ignoring cryptocurrencies for many years. But once I "got it" it completely changed my way of thinking. I don't know about the timeline, but I'm more convinced than ever that it's the next big thing and that the centralized internet as we know it will no longer exist in a few decades.

For the record, I hold neither BTC nor ETH (besides what I use for development) and I didn't get rich from it.
Hi there, thank you for taking the time to reach out.

I'm glad you've seen the respect button innovation. The meaning of that button is not "respect, but dislike". We want it to be "normally I wouldn't engage, but there is a positive signal I want to share".

Since we are alternating the YES / NO sides all the times, engaging with the other side and showing respect foster more balanced debates.
TLA+ has been used at Amazon for proving high-level properties of their distributed systems. Very useful, because a fix in prod for a protocol is very costly. ACL2 was used to prove some floating point architecture that AMD used a couple of decades ago haha. Github recently bought the formal methods company Semmle (something like that) for static analysis of repos.

Formal verification is used in critical software, airplanes and so on.

The most popular form of formal methods are type systems, which I would say a normal SWE should learn about and understand. It's not typically characterised as that, but a type system is a proof inscribed in the program for which we guarantee that some properties hold... Sounds pretty formal methodsy to me :-).

It's a specialised area of study, but isn't that the definition of an area of study performed at a university-level?
I get the impression that most companies hire up to their limit in foreign employees. The limitation isn't just for dev though. Keep in mind that they might also be hiring a star HR and such. Some may be leaving a slot open for the next star.
There’s an interesting idea that life began around hydrothermal vents in the ocean, and that cavities in the vent mound could have created the enclosure which contained the biological molecules, prior to the evolution of the cell membrane I like to think of this as meaning there may have been networks of biological molecules evolving metabolism networks perhaps for hundreds of millions of years before the first cell, and that perhaps both metabolism and viruses predate the cell
OnlyFans is exactly the sort of thing I had in mind. Maybe it’s an unpopular opinion, but I see its popularity as being indicative of deep moral decline.

Edit: Why do people downvote a comment seconds after it’s been posted? It’s absurd and immature. Leave that behavior back on Reddit, thanks.
From the article:

"Despite patients showing no trace of any known prion diseases, it hasn't been completely ruled out as a cause, he says.

Another theory is chronic exposure to what's called an "excitotoxin" like domoic acid, which was linked to a 1987 food poisoning incident from mussels contaminated with the toxin from the nearby province of Prince Edward Island.

...

Dr Cashman says they are also looking at another toxin - beta-methylamino-L-alanine (BMAA) - which has been implicated as an environmental risk in the development of diseases like Alzheimer's and Parkinson's.

BMAA is produced by cyanobacteria, commonly known as blue-green algae."
That is only if they are at the same altitude. You seem to have missed the first sentance on that link "If any two aircraft are separated by less than the vertical separation minimum, then some form of horizontal separation must exist.
"
Draw a circle with multiple turns :)
Likewise, I added a circle going the "other way" and it got it every time. Cool piece of code, eh?
That was the first thing I google'd when I saw this article: "unladen swallow"!

For those unfamiliar:

https://code.google.com/archive/p/unladen-swallow/

https://www.infoq.com/news/2011/03/unladen-swallow/

https://www.python.org/dev/peps/pep-3146/
I would say that the benefits you get from a habit of using SMT solvers depends a lot on the kind of problems you are working on.

If your problem is rather small and self-contained, you can really win a lot with these solvers. E.g. I used an ILP solver to fairly distribute tasks to a group of people based on a heuristic of familiarity between each person and the tasks. That's only a few constraints in the solver that saved me a lot of manual or suboptimal coding work. Similarly, it was easy enough to quickly check whether two graphs satisfy a custom condition that is close to (but not quite) isomorphism that I wanted to give a try.

If you are thinking of bigger, more complex tasks, the efficiency gains you get might vary more. If your problem produces many large solver queries, the chances are good that you will wait a long time for results. Without much practice, adjusting/augmenting your specification (and specifically in the case of ILP solvers: tuning the solver parameters) to reduce your solving times is a very non-trivial task. Either way, the solver probably won't bring you to 80% of the execution speed of a custom solution: I once sped up a task by 100-200x by replacing a Gurobi LP with a dumb, theoretically exponential, but easy to optimize custom implementation (the solver was however helpful for testing that the implementation was correct).

Lastly, in my experience, once a constraint system/model reaches a certain complexity, it is a lot more difficult to debug than code in a programming language. There are useful techniques and tricks for debugging solver models, but the tooling and the sequential execution of real code make debugging of traditional code less of a head ache.
That might be the golden rule, but it definitely isn't "the rule".

If you look on Flightradar24, over the Atlantic for example, you'll see several cases where there are multiple planes well within 15 minutes flying time of each other, on the same track, with separation of 2-3 thousand feet vertically.

One example as I write has AA9820 and UA46 following each other at 40,000ft and 37,000ft, at 15nm horizontal separation, and QR740 at 36,000ft about 30nm behind them. When airline traffic is at 100%, you'll routinely see them much closer than that.
Private space industry.

- SpaceX
- ULA
- Rocketlab
- Firefly
- BlueOrigin
- Virgin Galactic / Orbit
- Relativity Space
- Astra

These are just the rocket folks. There are many others that are part of the supply chain. Space-based economy is the next biggest thing that's going happen in 10-30 years.

More here https://en.wikipedia.org/wiki/List_of_private_spaceflight_co...
Which part of the double Irish with a Dutch sandwich was breaking law rather just exploiting loophole?

It was even grandfathered by legislation:

> The legislation passed in Ireland in 2015 ends the use of the tax scheme for new tax plans. Companies with established structures were able to benefit from the old system until 2020.

https://www.investopedia.com/terms/d/double-irish-with-a-dut...
Man launches his own blog. OK.

He probably knows he's going to the social network of the lost and banned anyway so having a personal blog is good for you.
Like 'mft_ said, two tones are because there are two hands shaking, possibly differently-colored ones. And per 'Tistron, Handshake doesn't support skin tones and retrofitting them could break things. So the best solution seems to be to reuse two characters that support skin tones - hands. And with directionality, they pretty much already express the concept on their own (the mentioned "fallback").
for all common models (GloVe, fastText, word2vec) the means across word embeddings are tightly concentrated around zero (relative to their dimensions), thus making the widely used cosine similarity practically equivalent to Pearson correlation https://www.aclweb.org/anthology/N19-1100/