skysight-inc/HackerNews huggingface dataset:
For some reason that’s par for the course for a lot of mainstream news articles. The headline refers to a claim that was made by some org or group and there is an authoritative source of that claim and yet the article doesn’t link to it. It makes absolutely no sense to me.

Do they benefit by linking to twitter and not the discord website for some reason? Also, _who cares_ what some people I don’t know are saying about it on twitter?
isn't HuggingGPT and Jarvis able todo some of that.

https://github.com/microsoft/JARVIS
https://hoop.dev/blog/clean-architecture-in-golang/

Original link is broken.
https://huggingface.co/spaces/bigcode/bigcode-playground

Can someone explain to me the "Model Formats" section at the end of that page. It makes sense to me as a description of how to format the training data, but it also says "Use these templates to explore the model’s capacities"

How would you make use of this prefix format in a prompt?

<reponame>REPONAME<filename>FILENAME<gh_stars>STARS
code
Perhaps something that gets the bulk of its value from the retroactive "participation" of every single person in the world who has written text for one public or another is just not meant to be monetized. Beyond even ethical maxims, that is, perhaps its simply not compatible in its very nature with capitalistic enterprise. I know this is probably naive, but it would be a beautiful outcome to me.
I have zero fucks to give for the profits of corporations, and the idea that any of this money will make it into the hands of engineers is ludicrous. If you want higher salaries start a union, otherwise the people at the top (executives + shareholders) will just use any extra profits to pay themselves more. There's no incentive for them to do anything else.

And as a software developer whose income is propped up by adjacency to FAANG: we're paid an inordinate amount compared to our contribution to society. The vast majority of software development makes rich people richer at the expense of everyone else. I've managed to avoid the most egregiously harmful companies my entire career, but the idea that FAANG pay or any pay is meritocratic is just wrong. I'm paid well because my work pays my clients well, not because of anyone involved "deserves" our high salaries.
This is an excellent point. I think the memo is making a different kind of case though - it's saying that large multipurpose models don't matter because people already have the ability to get better performance on the problems they actually care about from isolated training. It's kind of a PC-vs-datacenter argument, or, to bring it back to Maps, it'd be like saying mapping the world is pointless because what interests people is only their neighborhood.

I don't buy this for Maps, but it's worth highlighting that this isn't the usual "community supported stuff will eat commercial stuff once it gets to critical mass" type of argument.
I think it would have been some other model if not Meta. Stablility AI also released a OSS model, Cerebras released another.
Vector databases such as Milvus are only there to help reduce/minimize hallucinations rather than get rid of them completely. Until we have a model architecture that can perform completion from the _prompt only_ rather than pre-training data, hallucinations will always be present.
I don't reckon first class types are required. Tagged unions, closures, method syntax sugar, and some kind namespaces/modules would be my wishlist.
I hate the discriminator system, one of the main reasons I pay for Nitro is so i can set it to 0001. I'd rather be "TheRealChomp" or "ChompChomp" or something, versus having to give out my name and number.

We have almost 7000 people on our discord server, and we have a few people with colliding usernames, and also bot who shares a name with another user. The only way to tell these people apart is their profile pic (which people change somewhat regularly), or discriminator. Rather frustrating UX.
For the same reason windows pro shows me ads in the start menu and pesters me to purchase office 365.
Yes, it helps there, but I'm talking about frame rate constantly jumping around. I'm not talking about 16.6 vs 16.7 or even 16.9, I'm talking about 16.6 vs 40/60/90 and so on. VRR isn't going to fix it at all:

https://www.digitaltrends.com/wp-content/uploads/2022/10/got...

https://www.digitaltrends.com/wp-content/uploads/2022/10/got...

^^ I don't want this.

Yeah, the average is 60 and VRR will prevent tearing and jitter, but won't magically solve the issue I'm referring to. What I want is this:

https://www.digitaltrends.com/wp-content/uploads/2022/10/fra...

I want the same consistency for terminal input delay. Suckless terminal, for example, has higher latency, but P99 is much closer to avg than Alacritty and urxvt. While on the subject of terminals: st will stay mostly the same when there is additional load present, while all GPU-based terminals will start slipping if I'm doing something that involves GPU (discord voice call, screen sharing/recording, spotify).
Corporations do not make (significant) sums of money on a button vs screen choice, and there's important evidence about the safety and ergonomics that favors buttons.

Paying extortion to get more speed? That's just a cash cow.
On bad winter days goal plus gas generated 80% of electricity in Germany. It’s crazy to turn off functional (and I guess safe enough) nuclear plants and generate lost 6 GW capacity burning coal like during first Industrial Revolution.
That's not my impression of the majority opinion, fwiw. (I wrote my first recursive-descent parser in the 80s and I learned from pretty standard sources like one of Wirth's textbooks.)
My child's school forces us to create accounts the way you describe. Since kids all get ipads they need icloud accounts, but the school does not participate in the program that lets them create icloud accounts for kids. You as a parent must create the account.
If you don't use apple products, I don't, you can only create an adult account. You cannot create a child account, or manage it once created, without another apple device.
I went through all the steps to create an adult account, then logged out of the ipad and used the child account I created, but the account was useless without me being logged into the parent account on an apple device. You could not use the web-ui from a linux or windows device.
I complained to the school and said I thought this was a violation of the laws for children under 13. They said the child doesn't own the account, I do as the parent and give them permission; so it's fine.
There was no other choice to setup the devices for my children.
It's funny to me. OTP Processes have a ton of similarities to Agents, but from what I recall it sounds like those two things were developed almost entirely independently and it wasn't until way after the fact when people outside of Ericsson started using Erlang that people started noticing and commenting on that.
The problem there is you have to find a buyer to turn that metal into liquid money. The only one you can sell it to is usually the same place you bought from, and they will make sure to make a profit.
Indeed - what a crock of shit. And another reason not to trust GitLab.
This is a nonsensical response. An absolute non sequitur
Artificial humans as in they are flesh and blood like biological humans but are engineered. More like the clone troopers from star wars but they are designed to do all sorts of jobs not just soldiers and they aren't direct clones of real people.

Rutger Hauer's character Roy Batty is a soldier replicant. He was made for combat and even talks about it in his tears in the rain speech at the end. Because he's a soldier model he has greater physical features than biological humans. Stronger, tougher etc. He deals with Deckard without trouble.

Another replicant in the film named Pris is described as a "basic pleasure model". I think you can figure that out.

Replicants form a slave underclass in the world of Blade Runner and the Tyrell corp markets and sells them. The replicants in the movie are part of the latest "nexus 6" line. Sounds like smartphones but they were going for a consumer product feel.
Agreed, we need to figure out ways to address the systematic pedophilia in schools, youth athletics and other institutions. Banning cryptography won't solve the problem, only push us closer to fascism.
Of course they're charging up front. The goal is to make as much money as possible. What's much more likely to happen, especially with a brand like Mercedes, is instead of charging $A for trim x and $1.1A for trim z, they'll just charge $1.1A for both and tack the subscription fee on.
Directly? Maybe not. But no man is an island, and no one's factory is a continent either. Your widget factory wasn't created by you ex nihilo, it's built on the labor and skills of people in your community, it is possible for it to exist and be profitable thanks to the larger society being what it is and generating wealth it does. It's in your interest to care that the society supporting you thrives, and if your factory is threatening to damage it, then even if you're 100% selfish, you owe it to yourself and your children to help mitigate it somehow.
>> Why didn’t you hit on Hermione?

> Error generating response.

ಠ_ಠ
The point is not about eliminating cars. Cars are, and will continue to remain, an important form of transportation, especially in rural or remote areas.

Public transit and alternative forms of transportation such as bikes, are about

1. Reducing traffic, less people driving means less traffic for those that need to drive.

2. Improving safety within cities and suburbs, a car is far more dangerous than a bike or public transit

3. Reducing the cost of infrastructure maintenance, cars are heavy, especially EVs, a reduction in the number of cars on the road would lead to massive savings in the cost of maintaining our roads.

4. Removing the car burden, cars are a expensive depreciating asset, and for low-income folks they are a massive tax just to be able to travel to work. So folks who don't want to, or don't have the means to own a car, they should be able to travel without paying a huge time penalty.

5. Health benefits, less cars on the road means people who prefer to walk, bike can do so safely and gain some health benefits.

6. Cars are noisy, noise pollution is linked to bad health outcomes, less cars = less noise on public areas.
I am king if I have original Levi’s jeans :-)
I don't buy it. It is so expensive to train LLM, so that the only hope is to rely on Foundation Models that are open sources by google, msft or facebook.
The original Blade Runner score is certainly innovative, and not bad, but I'd argue that it aged very poorly. The synthesizers they used may have sounded futuristic at the time, but watching it today, the soundscape screams "this film created in the early 80s." The use of a purely orchestral score in the Star Wars films is a big reason why they continue to hold up.

I mostly agree with you about Leto.
> I'm wondering how many of the requests will be so complex as to require GPT-5

I am not sure the pessimism is warranted. True that few people have the need to upgrade from GPT-3.5 to GPT-4 now, but if GPT-5 is another serious leap in capabilities, it might have an effect closer to the difference between old chatbots (useless, interesting) and ChatGPT (immediate economic impact, transforming some jobs). Or at any rate, we should expect such a leap to occur soon, even if it's not GPT-5.
The Vietnam War really wrecked America's sense of self, eh? Out in Vietnam, American soldiers were busy burning innocent people in My Lai, back home armed military were shooting students, and then to cap it all, America lost.

Absolute hammer to the national identity.

For a nation that has prosecuted so many wars before and since, it is quite interesting that this one was such a cultural blow.

Even Iraq, fought on the basis of fraudulent WMD claims, had no such effect.

Wild.
Wonder how mature are most of these terrestrial solutions to be used in space for operational solutions.
This was used for PII detection and will be public soon.

It could have other uses, but its not what you want code generation. For code generation, use StarCoder or StarCoderBase.
I mean I think you could also do this on Mastodon but it would just show a "verified" highlight for amazon s3 in your profile, not that it would get verified as your username.
> (1) removing Carplay/Android Auto and charging monthly for maps/traffic/connectivity, (2) hiding features behind paid software upgrades, (3) hiding performance improvements behind monthly subscriptions, (4) providing charging for a monthly fee.

1: tesla never supported carplay, although it is anti-user at this point. And the monthly sub for this is traffic data (which does cost n > 0 to Tesla) and access to cellular streaming, which also costs then per GB to AT&T.

2: FSD Beta? this costs tons of engineering hours. I made a case for heated seats in SR+ vehicles being gated behind a $300 one-time purchase here[0]

3: performance improvements were the result of continued stress and stability testing of the motors, and it resulted in a one-time acceleration boost[1], not a subscription

4: vehicle charging for a monthly fee? They have a subscription for non-EVs to charge that grants you access to discounted rates, but this isn't a thing otherwise.

0: https://news.ycombinator.com/item?id=35820345

1: https://www.notateslaapp.com/tesla-reference/1040/tesla-acce...
Not only that, but it can only be managed from another apple device. If your kid has an ipad and you don't have an iphone, ipad, or mac; you can't use the child accounts.
> Unlike passwords, passkeys can only exist on your devices. They cannot be written down or accidentally given to a bad actor.

Pegasus ?
> They are doing things with $100 and 13B params that we struggle with at $10M and 540B.

Does this mean Bard took $10M to train and it has 540B parameters?
Well, I was relatively naive but luckily the person was honest. So I did not have issues. But here are some suggestions.
1) Open an escrow account, pay some money for it.
2) Put source code, domain name transfership, any business doducments in that escrow.
3) Ask seller to provider support to you for 1-3 months. This should go into contract.
4) Release money in installmeents.
5) Release from escrow only after you are satisfied!
Emacs is modeless and none of its commands are printing characters so you can just have a buffer and as a command keystroke arrives, just handle it immediately.

(Emacs does have a thing called “modes” but they are unrelated to the use of the term in UI discussions).
The reason is that it'd make HashMap and HashSet a lot less useful. If every type had to opt in, you'd be unable to use many types as keys or set entries for no better reason than the authors didn't bother to implement hash codes or equality. By providing reasonable identity-based versions of these, it increases the utility of the language at a tradeoff in memory usage.
The Thai prospective study of these shots in adolescents found biomarkers of cardiac disturbances in 3% of subjects who took them. That's not just a lot, it's a HELL of a lot. If the number is within even 1/100th of that for ~40 year olds it would still be 1 in 3,333, which is far higher than what used to be considered an acceptable adverse event rate.

What's even more absurd is that that kind of study was never even conducted as part of the broad clinical trials in the first place.

> The reality is with 5.56B people vaccinated, if it had any effects, it would be clearly and plainly visible in population-level data.

And indeed it is, as I've already pointed out. Excess deaths are remaining stubbornly high in highly vaccinated countries.

It's amazing to me that the CDC is leaving completely embarrassing numbers up like the ones you cite, but I suppose they have no shortage of suckers ready to believe and repeat them.
Uber is still just a taxi company
"Good" security practices mean very little when you are subject to attacks with a financial incentive of $1M. It matters only in the sense that you are the bottom fish in the barrel which is only relevant when dealing with opportunistic attacks sprayed indiscriminately for low upside and if people are not going to eat every fish in the barrel. That was the threat landscape 15 years ago when the hackers were kids asking for $300 to get startup funds. Now the hackers are grownups running mature industrial farming operations seeking to maximize absolute profit and are attacking everybody who is profitable. Increasing the cost to hack from $10K to $100K does not stop them from wanting to profitably harvest you for $1M. Yes, you may have decreased their ROI by a factor of 10, but you only decreased their absolute profit by 10%.

That only matters if the hacking market is not saturated the market which is no longer true. More than 80% of the firms report they have been hacked [1], and as the director of the FBI has said [2] "I am convinced that there are only two types of companies: those that have been hacked and those that will be. And even they are converging into one category: companies that have been hacked and will be hacked again." As it turns out, only being able to outrun your friend instead of the bear only helps when there are 2 of you and 1 hungry bear instead of 2 of you and 50 hungry bears.

[1] https://cfosurvey.fuqua.duke.edu/press-release/more-than-80-...

[2] https://archives.fbi.gov/archives/news/speeches/combating-th...
Seems to me that a struct isn't really any philosophically different to say a float. The only difference it that it's larger.
>where people on various psychedelics did not know what had just happened.

Oh that is just devious.
what's with this crappy and incorrect post title?

the article title is:

> Boring Company Gets Approval to Expand Las Vegas Tunnels to 65-Mile Network

which is also actually truthful - the Boring Company announcing something and £7 will get you a pint in Zone 1 these days.
> I don't know how much of a problem this used to be back then.

It was a problem back then, but we had multiple search engines instead of just Google.

If you optimized for Google, you almost certainly de-optimized for the others. Once Google became the defacto monopoly, websites didn't have to worry about this anymore.

What people need is a search engine that they can tune to themselves. Unfortunately, the net is really big now, and it's not clear how you can index it in a cost-effective manner.
That's how most of my recursive descent parsers have worked. I think the first ones I wrote did have a lexer/parser split and then I realized it was easier to use the specific calls for each expected token class.
Using gpt I came been able to recreate some aspects of market research and due diligence which previously took me weeks, in seconds.

And this was with some sample data (meaning history gpt already had)

But I’ve been doing a bunch of tests on combining checks and tables and data from sources and it’s astonishing

The reason they are afraid of AI is because of it had actual access to online data - the world economy would be upended and we would be killing billionaires, companies, politicians in the streets given how blatantly obvious all their actions are and the colluding and corruption which is fingertips away.
Rent seekers gonna rent seek. Apple has nothing to do with it.
Actually that's one of the arguments of the article. Seems reasonable that increasing awareness of Deepfakes in general will reduce the dangers.
Armed soldiers wheeled and fired en masse on unarmed protestors yet none of them faced legal penalty. The state of Ohio paid compensation. Because the soldiers "feared for their lives." I'm sure it was scary, but maybe we need braver national guardsmen.

Official ass covering after official violence is a long tradition.
The OP missed the one where they add new categories of email subscriptions so that even if you keep removing the old subscriptions, you are automatically opted into new categories of email subscription. I have an account where the email subscription category list to unsubscribe from increases every month and there are dozens of categories.
Explained here, it's part of their company vocabulary.

https://techcrunch.com/2023/05/04/how-shopify-bungled-its-la...
Respectfully (you having literally wrote the book!) I disagree that there's a strong difference between specification and programming languages -- and specifically I feel that the "gap" between verification and implementation can be filled by recognizing this.

To take TLA+ as an example -- I've certainly written (short!) programs in both TLA+ and PlusCal -- both imperative (typically an implementation of something that I'm modeling) and declarative (to solve logic problems in the same manner I would use Prolog).

And there's nothing privileged about TLC's capabilities and limitations -- one could equally imagine a TLA+ interpreter which disallows cross-state nondeterminism or use of temporal predicates but allows interaction with the environment via a special variable or predicates, without needing to augment the language, thus allowing "normal" programs to be written and executed. Or a TLA+ interpreter which permits full nondeterminism via a SMT backend, which can act as a richer version of Prolog.

Imagine writing correctness-critical code snippets in TLA+, verifying them, then compiling and linking them into an application written primarily in another language! I don't believe there is anything about TLA+-the-language which would need to change for such a tool to exist.

There are of course language elements specific to verification in TLA+ -- namely the temporal operators pose a challenge to "synthesizing" an executable program. But I don't think this makes TLA+ any less a programming language than the existence of, say, Haskell's type language makes Haskell a programming language.

Verilog sits in a similar space, where it was designed for verification, and is full of constructs usable only for verification, but also has a "synthesizable" subset which can be and is used expressly for implementation without involving verification of any sort. Although one can argue Verilog is a hardware description language rather than a programming language, I haven't seen anyone argue Verilog is a specification language rather than either of those.
For those not getting the context(like me), this seems to be about the Bluesky Social(https://bsky.app/), a twitter alternative.
You can say all of the same for the article being discussed. It takes time and effort to engineer a fast car. If you aren't okay with Mercedes charging monthly for it, you should not be okay with Tesla's business model as well.
Viewing yourself as a complex dynamic system (2018)
>to have similar profit margins as FAANG and thus increase my compensation

Why would they do this? They have enough labor working for the money they give already. If their profits doubled, why on earth would their labor costs go up too instead of them just keeping the money?
This myth is very loud at the moment, I hear it on every HN thread about nuclear. Look at the data. Germany replaced nuclear pretty much 1:1 with solar + wind. Now there has been an increase in coal, but only because 2020 had an unusually low usage (you can guess why) and because 2022 saw an increase (again, I think you know an event at fault).

https://en.wikipedia.org/wiki/Electricity_sector_in_Germany#...
The obvious response to this is malicious compliance. OK, every week or every day NPR tweets something to the effect of "to get the latest NPR news, go to [URL]" where URL is a page on NPR's site with its preferred social media outlets.

No news. No updates. Nothing that would help engagement on Twitter, but the account is active. It tweets.

Of course, Musk will try to force them to engage with Twitter as if it's business as usual and try to invent some other reason to either reap the account if they don't comply.