skysight-inc/HackerNews huggingface dataset:
This is also the notation that is used in logic as well.

The thing about it is that, while every paper can have a slightly different variant of this metalanguage, all texts are supposed to contain an introduction defining exactly what this means. That's because it's common that, if you are talking about a new logic, you will have new syntax as well, or a slightly different way to make inference
I’m not. I just don’t want to be on the internet anymore and I have a right to be forgotten.
Many of those are private or quasigovernmental entities, to be fair.
China has already done several 'exercises' with substantial build up of material and troops, those would be very hard to distinguish from the real thing. So what constitutes 'actual preparations' is going to be hard to define short of playing it safe and leaving now.
It's one of those terms that you can't unsee after you've learned its definition, and how absolutely ubiquitous it is in Hollywood productions.

So recently I've watched Indiana Jones 5 and I'm working my way through the Mission: Impossible series (up to 2 by now) and it seems like I can barely pay attention because I become so laser-focused on what the MacGuffin is, why it is what it is, where it is now, who wants it, why they want it, and when they're gonna get it. Of course, that's exactly what they want!

P.S. Empire Strikes Back revolved around repairing the Hyperspace Drive. Prove me wrong.
Aside from management fees I don’t grasp the concept your articulating (and I have a feeling I’m not the only one). Can you dumb it down even more?
I have. Linear is great, although I didn't use it as extensively as Jira. Wish we could use it.
Standardizing releases from the world’s largest shadow library
I do not want to disentangle my name from my comments. I want to delete my comments. They are MY comments. I have a right to have them deleted.
nice language
I am not sure how it works in Canada, but even if it's a firm, isn't a single PE stamp from a person and not a firm what goes onto the plans in the States?
That 7.375% on the Coca-cola bond looks like the coupon (approximate yield) from its initial issue, which appears to be in 1993. ("Ticker: KO 7.375 07/29/93") The yield-to-maturity (yield calculated from current market price) is likely to be lower. Coca-Cola is A-rated[1], and Schwab is showing A-rated corporate bonds as yielding 5% (3-month) to 6.4% (30 years)

[1] https://www.fitchratings.com/entity/the-coca-cola-company-80...
well, you could just be hallucinating your own consciousness. By 2029 it seems not unreasonable to expect that the most sophisticated models will carry out visual and auditory interactions which could fool even the most sophisticated viewer. At that point, what really does consciousness mean? If the robot insisted to me it was conscious, how can I really say no?
You can definitely use Ansible to provision infra as well. Whether that’s the right tool for the job is a matter of taste.
Well the root cause of this bridge failure was (1) the municipality’s choice not to pay for a geotechnical investigation and (2) not using extra helical piers, so why is this failure the structural engineer’s fault?
The calculus changes for someone like Musk, who is not a troll to a large fraction of the population. In that case, it's beneficial to post something like the GGP because it signals to other people two things: first, you're not alone in disliking this person. Second, it's okay to express that opinion. That second one is important since there is a fine line between ignoring something you don't like and self-censorship out of fear of reprisal.

So, while I agree that you should ignore nobody trolls, I DO NOT think you should ignore famous, politically/economically relevant trolls. It's an act that comes with some risk, and is therefore courageous and admirable.
On the cumulative constraints of bureaucratic systems
Controversial is one way to put it
You're misrepresenting that it's google's feature which you were using when it clearly states its from Stripe.
Welp, laws literally define what's legal. Get a law to say so, and pass it, and execute it, and tada.
This feels like it is bordering on anticompetitive behaviour. Or is twitter not enough of a monopoly for that to matter?
At best, government and civilization is a chicken-and-egg relationship, where you could perhaps argue that anywhere civilization occurs, a government does as well. I doubt that's even provably true anyway.

But the idea that a government first forms and then bestows upon us the gift of civilization would be incorrect. I suppose you're being flippant since you didn't bother to justify that comment.
One of those rare comments that I can't intuit the meaning of even though I know the definitions of all the words. In so far as this is math, this is completely, perfectly, thoroughly, abstract.

So in reality did you mean to say reified ie made concrete? Or did you mean to say obviated ie made irrelevant? And you think computer science did this? The thing where the point of the game is to build more and more abstract representations of things?

Like what do you think the word "abstracted" actually means?
I agree with the notion of what you're saying, and I usually make a pretty strong point of avoiding this topic, but a counterpoint can really only be so obvious before I can no longer avoid stating it: Trump was the president. It's not really unreasonable to not "ignore" a person when they are the individual elected by the people of your nation as their representative.
Oh there are, rules around employees, consumer guarantees act, acc levies and various other things. But it seems unlikely that have just 2 food suppliers isn’t a root cause of food price issues.
// Before long no-one will bother reporting on his bad or embarrassing behaviour, and then where is he?

If the past is any indication, starting a bunch more revolutionary companies?
Yes, I close all of my browser tabs once I'm done for the day.
You can, right now, with the OpenCL backend.

And for the moment, its slower than pure CPU. Optimizing for IGPs is not trivial.

MLC's Vulkan backend is actually quite good on my AMD APU, but unfortunately it won't split the model to a dGPU.
That doesn't work, because they just escalate or get other people to act out on their behalf. And really, why should we construct society around the behaviors the worst people? There is some evidence for the proposition that rude responses to provocations is in fact the most effective moderations strategy.

https://arxiv.org/abs/1803.03697
Five Years of LLM Progress
My girlfriend runs a medical provider company that bills through most major health insurance companies. One of these companies (a large, well-known insurer) will only accept payment requests by fax, M-F, 8am to 5pm. Yes, I'm serious. They still have a fax machine, and it gets unplugged everyday at 5pm.
3%. Still higher than inflation protected bonds.
In fact, Rapattoni is the smallest of the major MLSes. Behind Core Logic, Navica, FBS, and Black Knight, Rapattoni is used by 5% of the organizations. This graph is slightly misleading though, as it's by number of MLSes served, not by number of subscribers, and CoreLogic "Serves nearly half of the MLSes with more than 10,000 subscribers".

https://www.t360.com/insight/articles/the-2022-mls-system-te...
Gish gallops are extremely unbecoming.
If charging for it isn't too hard, it sure as fuck isn't too hard to list it
The incident happened in 2018 and it took them 5 years to get the engineer suspended?
LlamaIndex: Harnessing the Power of Text2SQL and Rag to Analyze Product Reviews
Actually now that I think about it, it should be relatively easy to take an LLM and just spam nonsense on my behalf. :)

Perhaps we can help skew the models the train off comments drift a bit further away from anything useful.
Are links to substack still being shadowbanned on twitter?

I think all this no freedom of reach or whatever anyone calls it, done by anyone, would be a lot easier to stomach if the settings and effect were completely public rather than secret.
did you actually get the throttle on the 10 domains? I could not even get it on one, now that it's apparently reverted.

Am I supposed to believe that Musk and his team is so dumb that they attempted to add a FIVE freaking seconds delay and thought they could get away?
Not after over a decade of Tory rule.
"Truss me bro" - Engineer
They don't. They're famous for wanting Product people with engineering backgrounds, which is silly. That's not Product, that's just engineering/project management then. Product is way more all-encompassing and focuses more on people, user's wishes, behaviours, competitor's behaviours etc etc, none of which is relevant to engineering.
No one asked "How does one rebrand?"

The whole point of this thread is the premise that it's not a fork.

Hashicorp's copy is the fork, and it's backwards that the fork gets to keep the name and the original must rename itself.
It's not great that it took 5 years to reach a decision on this.
So is the Pope, who also does not set policy in the municipality of San Francisco. To reply to your question: the mayor and city council (which is a group of humans, a species which is famously given to disagreement between individual members) of San Francisco have some power to improve the situation, but even they have precious few examples of cities to have attracted and generated tremendous wealth without also having tremendous poverty and depravity, frequently sited literally across the street from said wealth. What US cities have done so humanely?
It's because the people who make the website aren't the people who manage the billing which a labyrinthine black box of custom hand-rolled rules. That poor customer service rep has no idea.
To be fair, a constitution doesn't seem to prevent weird and perverse laws. Look at Florida.
I have in the past successfully pushed back and refused to work on projects I thought were ethically fraught. Problem is, your company will just say "Sure! No problem! We take care of our developers here at Initech! Jimmy, two desks down, would be happy to write that code!" So the problematic software always gets implemented, despite one person's objection. Because we have jerks like Jimmy.
The Fed's balance sheet is still 2X bigger than it was pre-pandemic. The money has to go somewhere.

https://fred.stlouisfed.org/series/WALCL
I have an acquaintance who works for one of NASA's laboratories as a technician.

The simplified distinction as he explained it to me is:

Engineers are the guys who painstakingly design things, with reams of university degrees as appropriate for their credentials.

Technicians are the guys who painstakingly implement the engineer's designs on paper into physical things. Academic credentials not necessarily required.

The vast majority of the people who call themselves or are called "engineers" should not be called engineers.
Its complicated.

If you dont have a GPU, prompt ingestion is totally threaded. The more cores the better.

For generating tokens, more cores helps to a point, but then:

- You start saturating the memory bus, and performance plateaus.

- There is some overhead from the threading implementation, and too many threads hurts performance.

The ideal number of threads varys per CPU. For instance, using hyperthreaded cores or Apple/Intel e cores typically hurts performance... But not always. You just have to test and see.
Financing by tolls, there's another excellent example of wealth creation by the government, thank you.
Cparser – A C99 parser (with GNU extensions) (2020)
Jira reflects the disfunction of the organization.
PostgreSQL: How to run some tasks without user intervention, at specific times?
Whoa, 50 tokens/second locally sounds amazing. Any recommendations on guides or documentation for setting up the stack to run on hardware like that?
“I can’t replicate this issue, now that the issue has been fixed” I don’t even know where to begin...
And how legally binding those T&C really are anyway?
> Interesting to hear he just doesn't feel like it any more

Influencer burnout is real. Especially if you started at a very different stage in your life.

One of the toughest things that happens (speaking from experience) is that you grow an audience and that audience starts having ideas and expectations. The audience starts to feel like an insatiable beast that just wants wants wants. What used to be the joy of sharing interesting stuff turns into an obligation.

What’s worse, you may have new ideas, new directions you want to explore, but your audience doesn’t care. They’ve come to expect certain topics from you and they care about nowt else. Some may even share mean words if you dare go off topic.

At that point you have to make a choice. Feed the beast, do your own thing and ignore the haters, stop and reclaim a bunch of time and mindspace.
Part 2 -

https://www.depesz.com/2021/01/28/how-to-run-some-tasks-with...
There should be a higher bar for company names than co-opting a dictionary word or even just a letter. The lack of originality seems to be accelerating: first "Alphabet", then "Meta", and now "X"? (Honorable mention for "Apple".)
>"cparser is a recursive descent C99 parser written in C99. It contains a preprocessor, lexer, parser, constructs an AST and does semantic analysis."
Just don't use Twitter. Or X. Or whatever it is called now.
I think once a pattern of behavior is established, this should reasonably inform your interpretation of their behavior. This is the "Boy who cried wolf" lesson. So, if someone lies a bunch, and they say something, it makes sense to ignore it. If you don't keep score, you'll be pilloried.

If someone makes unethical moves (like taking peoples twitter handles or boosting alt-right memes), it makes sense to assume that unethical behavior is more likely in the future. The reason people get angry with you is that you don't maintain the same "reputation score" in your head within the brackets they find acceptable. That is, I allow for variation in perception to some degree, but if at a certain point someone says something really admiring of someone who's proven to be wholly untrustworthy or destructive over and over again, as a matter of public record, I start to judge that person as unreliable and lacking in judgement. This often comes out as anger, I think because it's a simple way to use our social emotional brain to "keep score".

(This is particularly applicable for individuals and individual actions; it's more difficult to apply this rule for groups. For example, do you have great faith in "academia"? This may or may not be acceptable to me, depending on your definition and your knowledge.)
The main reasons Ukraine is as far behind as it is is because (1) it isn't proximate to a large and wealthy country that can invest there in a similar manner to how Germany helped to lift Poland out of the mess it was in in 1989, and (2) that it never got integrated into the EU which would have put strict limits on a whole raft of things. Not that that is a guarantee but it would at least have provided a carrot and a stick instead of just a stick.

I've spent a lot of time (many years) in former Sovbloc countries and I've seen up close how tremendously corrupt those countries were before the wall fell and how much heavy lifting had to be done to begin to undo the many years of erosion of the will and the hope of the people there to make a serious change. Poland and the Czech republic are the success stories, everybody else, including Hungary is still suffering tremendously in the present and I'm not all that sure about Poland in the longer term either. The scars run deep and they are plentiful.

Ukraine has one better than expected given their history and proximity to Russia, as well as Russia's continuous attempts to interfere in their affairs in an attempt to turn Ukraine into another Belarus. Russia had another option: to play nice and to decrease the wealth gap but the fat cats wouldn't have it, they only know how to rape and plunder, wealth creation isn't even in their vocabulary.

You can't solve the corruption issues before you have a functioning democracy and you can't have a functioning democracy whilst your 10x larger neighbor is doing its level best to destroy your political systems.
https://archive.ph/z4PSz
Well it’s not compulsory to pay your vehicle registration tax either, if you only want to drive your vehicle on private land.
Posting here is fine. At least they aren't using X/Twitter.
But it’s not at Twitter’s scale?
Even discounting this incident, finding people and organizations that Elon has banned from Twitter isn't even that hard. I find it very difficult to believe that people who claim that Elon is some sort of free speech absolutist actually believe what they say.
Let's imagine a country road with a windy uphill bit, such as one where you might get stuck behind a cyclist going uphill.

The speed limit is 80km/h, but through the windy bit, you can only average 60km/h.

Let's assume the rest of the time you average 80km/h.

Say the windy bit is 2km, and the rest of the journey is 38km.

This trip would normally take you 30 minutes and 30 seconds:

((38/80)+(2/60))*60 = 30.5

Now let's assume you get stuck behind a cyclist going uphill at an average of 10km/h during the 2km windy bit:

((38/80)+(2/10))*60 = 40.5

So your trip time increases by 10 minutes.

Now compare that to a typical peak hour traffic delay.

Why are people willing to endanger the lives of cyclists for what is a very mild, occassional traffic delay?
> Can someone remind me why software engineers can't be held to higher standards?

because most of the time, civil engineers employ proven techs to solve problems that have been solved 100 or 1,000 times already. software engineers, I mean real engineers, face completely new issues in every aspect of the job on daily basis.

just remind me how much changed for civil engineering in the last 20-30 years? how is that compared to software engineering? let's just be honest, those people shouldn't be called engineers, they are more like technicians, as most part of their jobs don't involve anything new.
> Error code: SSL_ERROR_NO_CYPHER_OVERLAP

The page you are trying to view cannot be shown because the authenticity of the received data could not be verified.
Please contact the website owners to inform them of this problem.
For those who didn't know (like me) https://en.wikipedia.org/wiki/Gish_gallop

Also, lol
I didn't know either, so I did some Googling and found an old announcement[1] from 2009:

> A group of leading Nagios protagonists including members of the Nagios Community Advisory board and creators of multiple Nagios Addons have launched Icinga – a fork of Nagios, the prevalent open source monitoring system. This independent project [is based upon a] broader developer community. [...] Icinga takes all the great features of Nagios and combines it with the feature requests and patches of the user community.

It also looks like in 2014, Nagios centralized and appropriated a domain name and website used for hosting Nagios plugins, away from the community (its plugin developers)[2]:

> In the past, the domain "nagios-plugins.org" pointed to a server maintained by us, the Nagios Plugins Development Team. The domain itself had been transferred to Nagios Enterprises a few years ago, but we had an agreement that the project would continue to be independently run by the actual plugin maintainers.¹ Yesterday, the DNS records were modified to point to web space controlled by Nagios Enterprises instead. This change was done without prior notice.

> To make things worse, large parts of our web site were copied and are now served (with slight modifications²) by <http://nagios-plugins.org/>. Again, this was done without contacting us, and without our permission.

> This means we cannot use the name "Nagios Plugins" any longer.

There's some previous discussion of those controversies on HN here: https://news.ycombinator.com/item?id=9452013

From that article[3]:

> [Icinga developer]: "Six months before the fork, there was a bit of unrest among Nagios' extension developers [...] Community patches went unapplied for a long time[.]"

> [...]

> Two years ago, more or less when the split happened, [Nagios author] was having problems resolving [trademark] issues with a company called "Netways".

I'm still not sure what the effect is supposed to be tbh.

--

1: https://icinga.com/blog/2009/05/06/announcing-icinga/

2: https://www.monitoring-plugins.org/archive/devel/2014-Januar...

3: https://web.archive.org/web/20160314090137/http://www.freeso...
Debugging a Futex Crash
Some notes on using drawio circa 2021: http://www.randomnoun.com/wp/2021/11/27/pointless/
I feel like my questions are pretty rational and not exactly hard to answer if there were any data.

All I've seen is between 10-20 websites were tested by HN users.

And a whole lot of "inference" based off that.
I think you overestimate how much of the internet runs on AWS. In terms of websites it’s less than 10%. Their share of the overall cloud is about 35%.
Only you can choose to care or not care. And if you care about some troll, you’re going to become angry and then exhausted.
Profit is the almighty motivator in the US.

For reasons I cannot fathom, most outages in US ISP's are due to their DNS servers going down.

The reason ISP's log all your traffic is so they can sell that data to data brokers.

The sale of a data set is not a one-time thing. You can sell it over and over again. Different brokers or end customers or even government agencies (yes the government is buying that data, reported here even) or you can sell time slices of that data or demographic slices of that data.

I could not tell you how profitable that data sales is. It is a closely guarded secret. This could mean it is very high or very low, either sparking much outrage.

But for sure, ISP's in the US are spying on their users for profit.

Why the US and not (say) NZ? Lots of money, and lots of people. I would trust an ISP in Vanuatu not to spy on me.
In other words, it’s the Dark Souls of application backends, but entirely different.
From what I can tell (having admittedly only read books/watched urban planning videos/watched ride videos about it and not been there myself yet), neighborhood streets tend not to get used as through-routes. Sometimes because it's naturally slowed by the street design (so why take the slower streets instead of the faster one nearby?), and sometimes because they use barriers to redirect traffic and prevent it. You're only likely to drive on the slower streets if you live there.

In the US, drivers have the expectation that they should be able to take any street they want without delay. In the Netherlands that's not true; if you're driving on a fietsstraat for example, you are allowed there but it's explicitly not designed for you. There are other streets you're meant to take.

But also:

> Pretty often I guess with the amount of bike riders. And no one cares?

Probably because just about every driver there also rides a bike, and knows what it feels like from both perspectives. I'm in the US but starting to ride a bike around myself has certainly made me a more careful driver and more understanding of how to react around bikes.
You should probably not follow through on that.
"Proteins do everything" is not what I found remarkable.

"_A_ protein does all that" is.

Or by "proteins do everything" do you mean to say that single proteins often do complex operations like that?

I don't find it remarkable that complex operations get done. I just assumed the operations were built out of smaller and simpler steps. That was a pretty complex sounding operation that I would have thought involved at least 3 or 4 different steps performed by different molecules, one that locates, one that cuts, one that rotates, one that joins, etc.
Tree Surgeons is the name of the company that trims my trees. They do employ arborists which is slightly above landscaper in qualifications