skysight-inc/HackerNews huggingface dataset:
This does not say much. What's interesting is what do they do with this abstract representation, and what is represented in this representation and how.

Compilers translate their abstract interpretation to another programming language, usually native assembly code or bytecode. Coq applies / verifies logical (inductive) inferences on logical objects (rules, proofs, axioms, predicates) (not a Coq expert, details should be checked).
LLMs predict next words.
AFAIK you have to select DASH as your preferred video quality (or append &quality=dash) for other resolutions to work. It's not enabled by default because the server has to proxy the video (CORS):

https://github.com/iv-org/invidious/issues/177#issuecomment-...
Create deadlines arbitrarily and without discussion or even a feasibility check

Lie to their team about their criticality, before laying off half of the same team

Replace large amounts of management 3 times in a single year

Hire so many people nobody knows what their role is and everyone competes for influence

Ensure that every engineer has at least 5 hours of meetings a day, half of which aren’t relevant to their team.

Stack ranking

Don’t give them a raise for years despite praising them for being a top performer with large impact

Arbitrary KPAs which undervalue anything other than LoC

Make people be on call with no training for what theyre being on call for, and have critical alarms go off every 3 hours

Host meetings in front of your giant glass wine cellar larger than most your employees apartments. Bonus points if you talk about belt tightening in that meeting

Make sure that things never calm down after a giant release, make it the new normal until people start dropping out on medical leave, then install a new engineering leader who loudly states that he thinks the engineering team is lazy

Fire or layoff people, give their duties to an already busy engineer, promise that engineer it’s short term but never replace them, give that engineer a middling performance rating for not excelling at their “core” job despite doing the work of 3 previous engineers, deny them a raise, get a promotion and a massive raise as a manager
Managing people properly takes time.

For example, a 30 min 1:1 with the report looking at their wellbeing, motivation, challenges, career goals should be a weekly task. The 30 mins is really 45 mins because notes need to be made following so that there is audit trail, and clarity of expectations for both parties. QoS is important so they can't be shoved back to back, otherwise one will find actively concentrating difficult after a while, so that's really 1hr per team member per week. That adds up pretty quickly.

Add in coaching sessions (min 1hr) on specific problems, analysis of team performance, handling of fires, meeting facilitation... This is all before you get to your own work.

Doing engineering management well is a tough job. People are complex and their needs likewise. Sometimes, it pretty much is holding someones hand. I've coached juniors to seniors and it's a lot of work, feedback, questioning, teaching.
Maybe you're using Cloudflare DNS https://news.ycombinator.com/item?id=19828317
I saw a printing shop that did exactly that :)

But I know what you're referring to, the stupid copyright ads on DVD.

Just saying that printing a car isn't actually science fiction anymore. Cost effective? No. But possible.
Originally that was true, but as Twitter got ever more woke it stopped meaning that and became blurred with endorsement. From Wikipedia:

Twitter faced backlash in November 2017 when it verified the account of Jason Kessler, a neo-Nazi and white supremacist. The backlash forced Twitter to pause its verification program.[9] Several days later, Twitter removed Spencer and Kessler's verification statuses.[10] Likewise, Twitter had removed verification from Breitbart News editor Milo Yiannopoulos for violating its policies in January, signaling Twitter verification implied endorsement.
You kind of have to ask if your geopolitical policy of blacklisting democratically elected political parties is working when you see protests in Western states supporting them and their cause.
I think the odds are high given the population is only about fifteen thousand.
Why the UK Government has frozen fuel duty. Again. https://www.lse.ac.uk/granthaminstitute/news/why-the-uk-gove...

The ruling Conservative Party are buying votes at the cost of the environment. It harms tax revenue, too, which should be put towards improving travel options.
You miss the point. If you have full control over when and how getenv is called, there's no issue to begin with. The problem is that you don't, as OP demonstrates. It's perfectly natural to call getaddrinfo in a loop.

We need a new API which is not broken like in NetBSD, and a multi-year migration of all core libraries to it. Well a pity it wasn't started years ago though, could've been 95% done by now.
Originally blue check verification was heavily throttled and restricted only to people who were being impersonated. So it was a mark that you were worth impersonating, being somewhat correlated with being notable, hence why it became valuable to people.
> When you bake with such flours, you get a denser bread and when you create a starter with them, you'll struggle to get them to double in size for the same reason.

Sharing my personal experience: I use a 100% rye starter (wholemeal or, preferably, German type 1150 [1]) and my starter grows ~2-2.5x in volume. Gluten has an impact but is less important when you proof in a small container (same reason you would bake a high hydration rye bread in a tin). What is a lot more important is that a) the hydration is right, so the starter is not too liquid (in my case a bit less than 100%), and b) you feed the starter in a ratio of 1:3 old:new, or even 1:5.

[1] https://www.hefe-und-mehr.de/en/2014/03/mehl/
Because most "free speech absolutists" don't actually care about free speech; they just want to be arseholes without consequences, and "but muh freeze peach!" is a handy rallying cry.
Cloned plates
I agree it would be very difficult. I think that current LLMs would fail here because I don't think they would be able to make a value judgement about what is 'harder' between 'I drank two beers yesterday' and 'Beer two me drink yesterday'. In fact, I'm not sure most linguists would agree.

All languages are something of a compromise between accuracy and simplicity. An LLM is currently not equipped to make decisions about the correct balance between accuracy and simplicity.

For example, English eschews cases (in most situations) in favour of fixed word order. 'Beer two me drink yesterday' violates that rule (and in fact, manages to use case incorrectly in one of the few places the vestiges of a case system still exist in English).

However, a sentence constructed using the same structure as yours highlights a problem.

'Me two dog bite yesterday'

Did you bite two dogs or were you bitten by two dogs? How can you tell? English has the subject of the sentence (the thing/person doing the verb) first, then the verb, then the object (the thing having the verb done to it). In languages with more fluid word order, normally a case marker is added to either the determiner or the noun itself:

'Me-o two dog bite yesterday'. Let's choose '-o' as our accusative case ending. Now we can tell that it was you who was bitten by the dog.

Next problem: what if instead of 'me' it's 'man'.

'Man-o two dog bite yesterday'. How do we know whether it's two men, or two dogs? Again, English keeps the number with the noun it refers to. Most languages do, but some also put a marker on the number to make it clear.

'Man-o two-o dog bite yesterday'. Now we can tell that two men were bitten by some number of dogs. Next problem is that we don't know how many dogs bit the men. Were two men bitten by the same dog, or different dogs? Were two men surrounded by a pack of dogs? Is it important? Most languages care about this enough to at least mark the plural.

What if we don't know exactly when the men were bitten? We could have some generic word like 'past', to make 'man-o two-o dog bite past'.

But at that point, is your conlang really any easier than English, or just different?
All of us need help. But not all of us can belong.
Something being more or less generalised doesnt necessarily mean more or less easy to answer. In this instance, its much easier to give axioms to being a good person than it is to being a good man. Especially in this day and age where the very notion of being a man (or woman) is being brought into question.
> I think this is where software nerd types predict wrong

Pinker isn't a software nerd, he's an evolutionary psychologist and psycholinguist.
I do them bi-weekly, but it still takes up a lot of time. However, if you don't do them, people will feel like they're not being heard and they have no scheduled semi-informal way to communicate with me. So I will never hear their worries or concerns, I don't know what they're struggling with, I won't hear their ideas for improvements, etc.

I think they're super useful, especially in a mostly-remote context.
> As a slogan, it's probably done more harm than good to its cause.

It's a constant problem for libs. What's the last liberal slogan you can remember that was catchy and that didn't completely backfire or get twisted?

That doesn't happen to conservative slogans.

I don't have a dog in that fight. I'm just an observer. It's "funny" like a dad joke to me by now, though.
> You can't enforce a speed limit by simply placing a speed sign and hoping everyone is going to magically follow them.

It's not flawless but sticking up signs has a reasonable effect. I'd say at least 50% of the people who drive on the local 20mph roads near me abide by the speed limit (that has not active enforcement) and this prevents quite a few others from speeding.

(I agree on the road design point though...)
An embellishment can often be put down to a difference of opinion, and vendors have a reputation for downplaying vulnerabilities.

In our case, the media reported the researcher's claims uncritically alongside our denials. We decided the best strategy was to say as little as possible, as saying or doing more wouldn't improve the quality of the reporting and would only risk drawing more attention to the false claims.

I think we had a good track record of handling vulnerabilities well, and we definitely had some nasty ones. But this was not one of them.
Isn't that what Zillow tried to do and lost billions doing it?

Sure they got greedy but what is the point of automation if you're not pocketing the 6% for your shareholders instead of a realtor?

https://fortune.com/2022/06/02/zillow-6-billion-home-flippin...
Ehh, are you as a non-intellectual ready to throw away your first language? Also, think of people whose first language is their only language.
Note that Google planned to use SiFive X280 for TPU, although I don't know the current status.

https://www.semianalysis.com/p/sifive-powers-google-tpu-nasa...
It seems residents in the area doesn't have much of an alternative. The train service isn't running:

> I'm travelling up the Rhondda Fawr valley from Pontypridd up to Treherbert - which is without its train line to Cardiff which is shut until the new year

Google Maps says there's half-hourly bus service from Tonypandy to Cardiff, but it takes 75 minutes, vs. 40 minutes by car.

It says the bike route is about 100 minutes.
"Free speech" in relation to constitutional law, and "free speech" in the sense of what people appeal to when getting in trouble with a fellow member of civil society for something they've said have absolutely nothing to do with each other. When I encounter someone on the internet who doesn't know the difference (or, worse, doesn't think there is or should be a difference), I immediately picture that person as a teenager.
In your list, only bad public transport is a limiter.

The hills and perceived insecurity[1] are probably the biggest limiters to biking. The former being solved by e-bikes. Bad weather is not that hard to deal with than some people would think.

[1] insecurity leads to either of these 2 things:
- people are afraid to ride bikes
- people feel they would need to use an helmet, which most don't want to, especially women, because it mess with their hair.
> So you just replaced the nebulously defined word "think" with an equally nebulously defined word, "reason"?

I'll admit I did this. I tried to frame / convey my perspective on the word "think".

> Not a very convincing argument.

I tried to detail a bit more though.

> You do not know what humans do

No, but I'm pretty sure I don't try to predict the next word when solving a logical problem through statistical text processing. I would probably do something more like this if I were to bullshit someone or give an insipid political speech, but I think I'm quite bad at it.

(nothing to answer on the rest of your comment, it's interesting and I quite agree)

(edit: but see https://news.ycombinator.com/item?id=37912319)
It doesn't matter whether we can physically do it, as long as we can mathematically do it. In math running a TM for an arbitrary, finite number of steps is not a problem. The actual answer to OP's question was given in one of the other subthreads, namely: the result tells us that BB(754) is not computable in ZFC. Some 754-state TMs halt, others run forever, but there is no way to figure out (without an oracle) which of them runs the longest while still eventually halting.
Better wait until it's federated, because it'll likely change a lot in meantime. Why bother getting used to an unstable WIP with uncertain future?

It was important to get in early on Twitter, it was centralized so people wanted to squat usernames, but Bluesky is decentralized so that's not a thing. I bet most people who beg for Bluesky invites just resell them, as accounts are otherwise completely worthless as soon as beta is over and federation rolls out.
I agree with your points except that reducing speeds by even an average of 1mph does appear to reduce both collisions and the severity of those accidents by about 5%.

https://www.edinburgh.gov.uk/downloads/file/32217/evaluation...
> In fact truly "alien" imagery is not easy to come by.

It is an interesting observation and comes to show that matter follows the same rules everywhere when they interact with each other like particle systems.

I think if we were to come across something that appears truly alien, it will be a system that has a computational property of some kind. Life is one example of this, but it doesn't have to be.
The EU's Common Agricultural Policy: past evolution, current limitations
The performance cost of having otherwise pure functions clobber global mutable memory defeating many optimization passes, is way higher than clobbering another register for the result.
Cogito ergo sum... I think more or less the only thing we can be sure of is that we think. However, I don't think we REALLY know what thinking means, and whether the way we think is categorically different from how an LLM thinks.
We had this debate back in the 90s when we got our first personal computers in my family.

For context I'm part of 4 siblings who are all computer savvy, 3 of whom still work in IT. Back then some family members would say "the computer is thinking" when they were waiting for it to do something, the light was blinking, the hdd was grinding.

And us younger family members would always correct them and say "it doesn't think".

So what I'm trying to say is that I 100% agree with you, it shouldn't even be called Artificial Intelligence because I think that's an affront to intelligent humans.

But on the other hand a lot of laypeople will immediately go to that nomenclature because it feels familiar to them.
Basically you're asking for the airlines to remove all economy seating and only have first-class-sized seating. That will massively reduce the number of passengers, and massively increase the cost to travel.

The laws of physics don't care about people's feelings.
Exoticsilicon.com – writing a greylisting filter in ~1000 lines of C
Possibly, but it's a dangerous long game to play. You're at the mercy of pretty much every Police patrol car with ANPR once the cloned plates are tagged as such. Getting caught with cloned plates is far more serious.
you can use equivalents in the are. burned out abandoned building on the lot? what could that lot be worth reasonably? oh, there are 9 houses down the street or 1 block over that are all worth 200k...
I just love the domain name of this Invidious powered website https://yewtu.be.
Thank you! I'll try the Docker image.
Maybe not comparable, but $120k is still very cheap for a brand new fully enclosed aircraft.
Well Java Web Start could do it also I think, but none of these systems are active anymore and of course none of them were a "native" desktop experience.
I think most people who are interested enough in applying will do the job. If you tell someone you use Vue, they will be using Vue, and they come in and refuse to learn Vue, just remove that person. Frankly, there’s not very much difference between them, and Vue has less of a learning curve than angular. I don’t really understand how highly hiring managers are fearful of a “bad hire”, especially when people are experienced and have good references.
Yes, for example by setting an environment variable.
> LLMs predict next words.

That's an oversimplification. Deep learning LLMs such as ChatGPT are designed to solve natural language processing (NLP) tasks, not just next-word prediction. In order to "predict next words" they create a model and "reason" about it. They are not simple Markov processes. There's a lot happening in that ~100 layer neural network.
I would add that it's a measure in particular how active the yeast is in your starter culture, and yeast is the crucial ingredient for fermentation.
If it's training on available online corpus then it will go quickly mostly for English and Mandarin.

Most countries' classic texts and books are still undigitized sitting in Libraries and public archives.

Also book publishing market and online publishing are proportional to total population, smaller country means less content.
> which is shut until the new year

Btw. is it a coincidence that they chose to write about this exact location, at this exact point in time (when there is no alternative way of transport)? (rhetorical question)
Behind a paywall, and doesn't seem to be available on Alexandra's library…
It is not an overwhelming factor but if for example you were to go from 20mph to 10mph you would see an effect.

Overrall lower speed limits (when streets are designed to take advantage of them) have a lot of benefits, this is in the category of minor drawbacks.
Are you confusing LD_PRELOAD with LD_LIBRARY_PATH? I'm not sure how jails and containers help with the former.
I'm honestly at a loss as to why some people (and organizations) are hell-bent on hampering attempts to decarbonize, and amplifying whatever tiny negatives they can whether they're real or not, as though nothing less than 100% perfect is worth replacing the awful status quo.
That's not entirely correct, because there are people who download the DRM'd files from internet platforms and distribute the "clean" files through p2p networks. You can then keep the file forever.
Get one of these and you'll be safe, not only from unwanted data access, but also from over-voltage:

https://www.crowdsupply.com/karoly-simon/usbsafe2
As a french comedian once said "You could be right , but we came a bit too late to put the Homo Sapiens on trial".
You're splitting hairs. If the energy is needed to stave away a 51% attack, that's the energy needed to support the single digit tps monstrosity you have. As for the 500 billion in value, I doubt if everyone liquidated their positions today it'd amount to a figure remotely close to that.
Thanks - I didn't know that. I guess I was using the term "airframe" as the generic term for the aircraft body, not to imply that its was composed of a literal framework. Thanks for the clarification.

My father was sent to a conflict zone (Malaya, now Malaysia/Singapore) and seems to have spent a fair bit of his time there repairing damage caused by ground-based small arms. Probably an exciting time for a twenty year old.
Bad actors are using ad tech to subvert democracy (cf Cambridge Analytica).
PlayStation Dreams used a very similar technique.
Explain me this. As I understand, chatgpt is trained by dumping a huge amounts of text in it. It doesn't have a notion of "language", all it does is continues the series of tokens. Therefore all you need to do in order to train it a new language is to build a corpus of text and feed it to the model. Is this right? And if so, is this what they did here or is it something completely different?
> I don't know how to fix it though

Here's a start: don't simultaneously pulverize young men with progressive dogma that vilifies them while simultaneously desensitizing them to violence
You're right, the number of stitches (and amount of thread for stitching) is necessarily going to be less for smaller clothes, but it's not very significant, unless you're comparing childrens' clothes to XXXXL.
I sincerely believe that the police officers who carry a gun must demonstrate fitness -- physical, mental, psychologically, target practice, gun safety, etc at least once a month from an independent third party.

There is no way all these police officers are all fit to carry a gun.
Because LLMs are in a hype cycle right now, and the only thing differentiating one "AI artist" from another is the prompts they use, as opposed to actual skill or talent. Many "AI artists" wants to desperately cling to the illusion that they have something of real value to offer a potential LLM driven market rather than a text editor full of artist names and styles and seed values.

But I have seen some artists on Instagram who share their seeds, and there are sites like Civitai where people will list them.
Equating federalism with "fiefdom" seems like a stretch. Switzerland, and, to a lesser extent, Germany, have federalism and are doing just fine.
I'm willing to bet 99% of AI artists aren't even aware that's a thing.
It seems that being unarmed in that situation would be safer, wouldn't it? One doesn't 'win' a gunfight so being armed is just a provocation - unless there's a strategy and intent to disable/kill right off the bat in which case the police should be coming in as a coordinated SWAT team.
Okay, it seems I should dig more on the topic. Thanks!
Stripping men of their unique identity does not help...this is known as "leveling"
If an LLM can generate output on the same level as a human being, or better, it gets insanely useful. I use it on a daily basis. I don't have a coworker. But with AI, it's like there's an experienced coworker I can ask stuff I struggle with and more often than not, it gets it right. With VSCode and ChatGPT, I am way more productive.

Consider this. Most thinking you do on a daily basis is not unique at all. It can be automated. And now it is.

I don't care about the philosophical debate around human consciousness at all. Are my tools thinking? No, but the result is all the same. You're stupid if you don't use them to your advantage.
I wonder if maybe I got off the elevator at the right time, then. Becoming an SRE would be cool, and it was satisfying to justify my salary several times over just by finding and deleting some cloud resources nobody used anymore, but I think I just want to be closer to the product itself.
For a thousand pounds you can buy a small used car, tax it, insure it and drive it around for a bit. Meanwhile an average e-bike costs more than that. Does that sound sane to you?
https://archive.ph/9NFgk