skysight-inc/HackerNews huggingface dataset:
I came across this topic in lean, where you have different definitions of 0 and 1 within the same context and you can auto-convert using coercion.

instance : One Hyper where
one := ⟨1, 0, 0, 0⟩

scoped notation "1" => One.one -- doesn't work "invalid atom" and unnecessary

instance : OfNat Bool 1 where
ofNat := true

instance : Coe ℤ Bool where
coe z := z ≠ 0

instance : Coe ℝ ℝ⋆ where
coe r := ⟨ r 0 0 0 ⟩

Basically all the fun of C++ casting just that you are always safe.
Excuse me I'm not a native speaker, what is the gender neutral term to refer to a child?
There's no way to deal with a CSAM problem without breaking end-to-end encryption.
> The way economics is supposed to solve this sort of problem

“The curious task of economics is to demonstrate to men how little they really know about what they imagine they can design.” ― Hayek
I'm not sure what you mean by that. The article you linked says they plan to remove federal involvement in education, delegating that responsibility back to the states. From my perhaps naive viewpoint, decentralizing government education seems like it would allow more competing ideas and approaches into classrooms. It's not clear to me why this approach would dismantle education.

Why do you think this approach would dismantle education?
Yup, PAM is a huge mess for the same reasons. The BSDs are a bit cleaner, but a daemon approach is likely the best approach.
> And the document was not written by an oligarch, lol.

No, only about one, in order to pump up his career, and AIUI signed by him. "lol hahaha"
I think linking source is a general preference, not a hard rule. In this case (convenient full view vs clicking on chunks) it is easy to justify ignoring this preference.
OpenSUSE Tumbleweed, Fedora, ArchLinux. Kubuntu 24.10 will have Plasma 6 in Fall.
Because we are all humans doing our best and we are forced to work our lives away by an elite ruling class.

(I don’t know you but you sound like every white male teenager who discovers Ayn Rand.)
Pretty untethered take. Meta has seen one of the largest growths in profit in the past few years. Their improvements in AI have made far more profitable their AI ads targeting business
Japan has an excess sushi problem
>How much did they outsource software design and construction? Software flaws were part of the MKBHD review referenced in a different comment.

I think it is pretty unclear. Magna Steyr was the manufacturer of the Ocean and Fisher used their platform. I would assume that Fisker developed most of the user facing stuff, so interior, exterior and UI.
Erm, all of european states are quite better off, than their neighbors?
> Of course it won't physically change the switch position, ...

But that is what we are asking for. That the switch physically moves to follow the state of the system.

I want the switches on either side of a hallway to move in sync.
Grief is not a process with five stages. It is shattered glass
I've worked in companies with horrendous security, where someone with just a bit of SQL injection experience could have easily carried out the data. Yet, since this was a custom in-house application and your off-the-shelve-scanners did not work, this never happened; the only times the servers were hacked was when the company decided to host an (obviously never updated) grandfathered Joomla instance for a customer.

But even more simply, just setting your SSH port to something >10000 is enough to get away with a very mediocre password. It's mostly really not about being a hard target, not being the easiest one is likely quite sufficient :)
Astronomers see a black hole awaken in real time
Yeah I think this is definitely a part of it. The average kid living in NYC a century or two ago was exposed to many more repulsive things on a daily basis than anything social media can come up with today. What's changed is that the expectation of "dealing with it" has evaporated.
I would be extremely careful to dismiss this out of hand. The group includes a large number of people from the Trump administration team, and the main purpose of the plan is to reform the government through loopholes/grey area means to consolidate power in the executive branch - thereby allowing rapid and sweeping changes throughout the government as a whole. Trump would love that, and has sung the praises of dictators and openly said he plans to be a dictator "on day one".

The system isn't designed to handle anything like that, and a ton of damage could be done by a concentrated effort from a group that intentionally refuses to play by the rules/norms.
MeshAnything: Artist-Created Mesh Generation with Autoregressive Transformers
https://archive.ph/WrZ5L
> Stroustrup C++ satire

---

Stroustrup: Well, one day, when I was sitting in my office, I thought of this little scheme, which would redress the balance a little. I thought 'I wonder what would happen, if there were a language so complicated, so difficult to learn, that nobody would ever be able to swamp the market with programmers? Actually, I got some of the ideas from X10, you know, X windows. That was such a bitch of a graphics system, that it only just ran on those Sun 3/60 things.. They had all the ingredients for what I wanted. A really ridiculously complex syntax, obscure functions, and pseudo-OO structure. Even now, nobody writes raw X-windows code. Motif is the only way to go if you want to retain your sanity.

Interviewer: You're kidding?

Stroustrup: Not a bit of it. In fact, there was another problem.. Unix was written in 'C', which meant that any 'C' programmer could very easily become a systems programmer. Remember what a mainframe systems programmer used to earn?

Interviewer: You bet I do, that's what I used to do.

Stroustrup: OK, so this new language had to divorce itself from Unix, by hiding all the system calls that bound the two together so nicely. This would enable guys who only knew about DOS to earn a decent living too.

Interviewer: I don't believe you said that ...

Stroustrup: Well, it's been long enough, now, and I believe most people have figured out for themselves that C++ is a waste of time but, I must say, it's taken them a lot longer than I thought it would.

Interviewer: So how exactly did you do it?

Stroustrup: It was only supposed to be a joke, I never thought people would take the book seriously. Anyone with half a brain can see that object-oriented programming is counter-intuitive, illogical and inefficient.

...

Interviewer: Yes, but C++ is basically a sound language.

Stroustrup: You really believe that, don't you? Have you ever sat down and worked on a C++ project? Here's what happens: First, I've put in enough pitfalls to make sure that only the most trivial projects will work first time. Take operator overloading. At the end of the project, almost every module has it, usually, because guys feel they really should do it, as it was in their training course. The same operator then means something totally different in every module. Try pulling that lot together, when you have a hundred or so modules. And as for data hiding. God, I sometimes can't help laughing when I hear about the problems companies have making their modules talk to each other. I think the word 'synergistic' was specially invented to twist the knife in a project manager's ribs.

Interviewer: I have to say, I'm beginning to be quite appalled at all this. You say you did it to raise programmers' salaries? That's obscene.

Stroustrup: Not really. Everyone has a choice. I didn't expect the thing to get so much out of hand. Anyway, I basically succeeded. C++ is dying off now, but programmers still get high salaries — especially those poor devils who have to maintain all this crap. You do realise, it's impossible to maintain a large C++ software module if you didn't actually write it?
The US, Japan and Australia want to maintain the current status quo too. It's China that is salami-slicing in the Taiwan Strait and the South China Sea, looking to expand military bases around the world, increasing its nuclear stockpile etc.
> They generate heat.
They waste power.

Marginal. A laptop display uses 1000x power and heat than these LCDs. Turning your brightness down for a few seconds saves the same amount.

> They create light pollution. They are distracting.

Personal preference, but for me it is no more distracting than the battery percentage icon next to my taskbar clock.

> Their measurement capabilities are often very limited or mediocre or don't update quickly.

The chip used in all the Aliexpress cables updates multiple times a second and is in line with my standalone power meter.

> And finally they often burn out and stop working anyway.

I'm using these as my daily drivers for all my USB C devices for over a year, and haven't had to replace them. Gave them as stocking stuffers to the family last Christmas and have heard no complaints.
Medicine, unlikely to be well received here.

Ads are the cigarettes of our time:

1. They are behavior modifying

2. They cause social cancers

3. We are addicted to them - collectively the spend on ads is enormous

Social media is just the most effective ad delivery mechanism, and gets a lot of bad rap, for being the needle rather than people addressing the drug: ads.
What are some queries that you're having trouble with?

Whenever I see these complaints raised (and it's posted here at least weekly), the OP never includes any examples, just wide brushstrokes.

If the double quoted "exact phrase" functionality of Google were to have recently been broken, I can assure you wouldn't be the first to notice :)
I strongly disagree. Research is how you stay ahead of your competitors, yes even silly sounding research like training RL agents to play Qwop!

Research is how Google invented the transformer that underlies so many current Gen AI models.

Pivoting research to products is exactly the kind of short term thinking consultants or mercenaries would propose, get promoted off of, and leave just before the consequences start rearing their head
no there arent
What Will Become of American Civilization?
Except the intel community doesn't need a law. Nice to have maybe. But if you think those are people who let little things like laws stop them from doing what they believe they need to do, you're being a bit naive.
Classic disrupting yourself from below. A little late now that ARM chips from both Apple and now Qualcomm (maybe?) have caught up, but the second best time is now.

I give it 2 more releases max before Intel drops heterogeneous cores and only ships the -Mont architecture.
People often feel a need to feel superior to other people. When you know something that someone else doesn't, you feel superior. Some people take that a step further and make sure the other person knows that they're inferior because of it. It doesn't take a ton of that to make some want to hide that they don't know something.
"From the perspective of 2024 though, I think that the most appropriate reaction is to marvel at the ambition of the UC Berkeley team, commercially successful or not, and to be equally impressed by how relevant (with the possible exception of LISP) the ideas in SPUR would become decades later."

I thought it was pretty widely accepted in the programming language community that Lisp has had a massive influence on the development of programming languages in general. I know it's not the only game in town, as it were, and that there's been lots of other interesting developments, but still. To imply that it hasn't been "relevant" seems like an uninformed comment to me.
That's also roughly the percentage of Americans that have at least completed "some college."

The US Census has the breakdown: https://www.census.gov/newsroom/press-releases/2022/educatio...
> They require significantly different fabrication processes, and we don't know how to fab them into the same chip as electrical ones.

There are actually a few commercial fabs that will monolithically integrate the photonics, analog electronics, and digital electronics, all in the same CMOS process. See for example GF’s process:

https://www.cmc.ca/globalfoundries-fotonix-45spclo/

Integrating good optical sources in silicon remains a challenge, but companies like Intel have mastered hybrid bonding and other packaging techniques. TSMC too has a strong silicon photonics effort.
> I actually find it appalling that browser don't have a proper 'do not autoplay video at all' setting.

Some do, Google Chrome - non Chromium version - does not, because Google/Alphabet owns Youtube.
> China is already using this opportunity.

How so?

> This war has already been lost by the West.

How are you defining won or lost?

> the effects will be limited and won’t act as deterrent

I don't disagree the effects would or could be limited/targeted, but it has deterred China for example in that large Chinese banks now won't do business with Russia out of fear of US sanctions.
Valid point. Let us not forget that it is an executive unelected body, but its policies and/or bent might (will) change as incumbents get replaced ...
The depressing difference is that more than any other profession, successful influencers look like they could come from anywhere.

But they have to pantomime success from day one - either until they get it, or they give up.

It's a con no one is actually in on.
Navigating Web3 Analytics: A Guide for Data Professionals
This article is written for data professionals who are interested in learning about Web3 analytics. It explains what Web3 is and how it differs from the current web (Web2). Web3 is built on blockchain technology, which is a decentralized and secure way of storing data. This opens up new opportunities for data analysis, such as analyzing on-chain data, smart contract data, and DeFi data. However, there are also challenges associated with Web3 analytics, such as data complexity, privacy, scalability, and regulation. Overall, the article argues that Web3 analytics is a new and exciting field with the potential to revolutionize data analysis.
> for i, v := range someSlice { ...

what a ridiculous comment - every single programming language has this or similar syntax for iterating a slice.
Explore Religious Texts with Your Personal Robot Spirit Guide
> Apparently only a small minority of bumble bees can figure out how to pull a string to access a reward, but then other bees adopt the behavior by mimicry.

Humans are the same, try teaching basic math equations to kids. When I was in school, most of us learned math by memorizing steps to solve the problem instead of understanding it. Then on the test if we found something we couldn't recognize, we wouldn't be able to solve it. There were usually only a couple of kids in the class who really practiced and understood the principles. I believe most humans usually learn patterns and rarely have genuine insight or grasp of the subject.
Many do, many don't.
> No problem, I was told, it’s not intended as a mitigation technique, it’s intended for at-scale debugging. Then certain companies decided it was a security technology.

Yeah and it did work well for that usecase. https://grapheneos.social/@GrapheneOS/112066872276203917
> The reason why the market is viewable from the perspective of a perpetual motion machine is due to excessive federal moneyprinting shaking things up. If not for it, if dollars were backed 1:1 by hard assets like gold, I think it'd be a lot calmer.

The Panic of 1873, the Panic of 1893, and the Panic of 1907 would like a word.

We tried dollars directly convertible to gold. The result was not calm markets.
SGX is actually deprecated on client devices like PCs, so it is rather difficult to use it in anti-consumer ways now (and as mentioned in a sibling thread, makes this rather irrelevant to the topic of undervolting your own PC).

In my experience (working in the field at Anjuna), SGX and other Confidential Computing are quietly used on the server-side in enterprises a lot. It's a part of defense-in-depth, often to protect critical secrets and cryptographic keys, or the systems that manage them.
Google has cancelled more products that most companies have ever launched.

You'd think they'd have plenty of spare people with product launch experience.
Congrats on shipping. May I ask why I should use this instead of a more established tool like Trello?
First of all, you believe the spammer. You played along and then you played yourself. Just don't believe anything the spammer said is genuine.

Secondly, I think we've all been wondering that since email has become a thing, right? This kind of behavior will continue as long as people play along and as long as everyone is on the internet someone will play along.
It's a greyzone situation, but if you started sending (for me) spam emails to me, and your unsubscribe link doesn't work, because you decided to block the whole eu from all of your services, including the unsubscribe feature, you probably are breaking the US spam laws too.
I love it. Surely nothing could go wrong with that plan!
> Google researchers wrote the Attention Is All You Need paper and they're now desperately playing catchup because they couldn't convert it to any kind of product.

This isn't true. The transformer underlied Google Translate for a long time. They just didn't monetize Google Translate heavily enough. It's still one of the best translation services out there. And its ability to translate real-time conversations has been around for years now.
India's Ather is challenging Chinese imported EV scooters
Hey Dan, what makes this better than other project management tools?

It wasn't obvious to me that I could scroll to read more. I clicked 'Get started' to find out more. I think it might be at least worth making it more obvious that you can scroll.
> The left don't think that trauma can be inherited.

The epigenetic reaction to trauma is something that may be able to be inherited.

Epigenetic transmission of Holocaust trauma: can nightmares be inherited? - https://pubmed.ncbi.nlm.nih.gov/24029109/

Study finds epigenetic changes in children of Holocaust survivors - https://www.research.va.gov/currents/1016-3.cfm

How Parents’ Trauma Leaves Biological Traces in Children - https://www.scientificamerican.com/article/how-parents-rsquo...

Mechanisms of Epigenetic Inheritance in Post-Traumatic Stress Disorder - https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10817356/

(Not trying to pose this as a left/right thing - but rather "this is a thing" - and these aren't memories but rather the result of epigenetic changes to the expression of hormones and neurotransmitters that may be able to be passed from mother to child and exhibit differences in how one reacts to certain stimuli)
The only way I am able to use it is with an ad blocker on a browser. I can't use Google on mobile any longer.
Partisan gerrymandering doesn’t affect senate or presidential elections (with the small exception of Nebraska and Maine’s electors) yet those elections have also become more partisan and polarized.

Moreover, the growing rural/urban partisan polarization means even non gerrymandered districts that are created by nonpartisan panels or algorithms are frequently left or right polarized. Creating competitive districts would require gerrymandering in many places in the USA.
An interesting survey. A couple important dimensions are missing here:

- is the structured output obtained via prompts or logits/probabilities? The latter is more reliable but is limited to LLM APIs that expose and allow logit_bias specification

- does the framework allow specification of how to handle the tool?

The list seems to only include libraries that focus on structured-output generation, but there are libraries, such as Langroid[1] (1K installs/week), which do many other things in addition to this. Langroid is a Multi-Agent LLM framework from ex-CMU/UW-Madison researchers. It has prompt-based structured-output generation, works with any LLM, and is used by companies in production.

Users can specify the structure using a Pydantic class derived from ToolMessage[2], along with few-shot examples special instructions, which are transpiled into the system prompt.

A "handle" classmethod can also be defined, to specify how to handle the tool. See example code here: https://imgur.com/a/Qh8aJRB

More examples of tool usage here:
https://github.com/langroid/langroid/tree/main/examples/basi...

[1] Langroid: https://github.com/langroid/langroid
[2] Langroid ToolMessage class: https://github.com/langroid/langroid/blob/main/langroid/agen...
>So what if they outsourced production?

I mentioned it because people place Fisker at the wrong position and judge their cars from the wrong perspective. I really don't think it was a bad choice on Fiskers part.

>After all, none of Fisker's major issues were manufacturing related, but software/UX.

Yes, much of the car was quite usable from what I heard. Driving performance and feeling seemed good and it seemed well manufactured. So everything which Fisker didn't do and outsourced to Magna Steyr was quite good. Of course this puts Fisher in an even worse light.
> ... it’ll be covered in mold within a day or two.

Wow, sounds like a super active biosphere in your part of the world.

In East Coast Australia I've not had things go like that. Mold is pretty rare on bread unless something weird is going on.
A natural monopoly is just a monopoly where the barrier to entry that makes a monopoly possible isn't manufactured via abuse or government (i.e. Mostly capital costs are too high to support investment by more than one or a small number of players). If the entity lucky enough to have that monopoly is profit maximizing it will definitely result in higher prices and dead weight loss. You are right though, that in this relatively small corner case the correct solution is regulation to force competitive pricing (of which there are many options I won't get into here), not breakup.

Of course all monopolies are bad. They are current or future points of deadweight loss and should be monitored and dealt with through regulation ( a very small subset of monopolies/oligopolies) or elimination. A monopoly is the forbidden fruit that everyone wants but noone should get for any length of time. That desire is a big driver of the innovation that is the secret sauce of a free market that makes it superior to every other economic organization method we have tried but once someone gets it it eliminates most of the need for any innovation and leaves that industry stagnating. How bad monopolies are (technically market power) is grossly understate in modern society in my opinion.

We are talking about government here. How bad something is isn't an argument for not doing something, it is an argument for priority. If your position is labor unions aren't as bad as X so we should sort X and then break up labor unions that's fine, but that's not what I'm hearing in this thread.

Of course they are monopolies on labor. most countries labor labor laws make them an explicit monopoly on labor for any workplace unlucky enough to be unionized. It's not relevant that they are non union companies employing non union labor. If your company is unionized it faces a monopoly on labor and can only hire union for the areas that are unionized unless the union allows non union. It is the textbook definition of a monopoly. (also, how do I sign up for this alternative non union government in my province/country? I would really enjoy the much lower taxes that would have from both lower labor prices but also much faster removal of incompetence via firing.. oh wait I can't sign up for that because there is no option because the public labour unions have a textbook monopoly). You can have natural monopolies at the employee level, however that is pretty rare because it means that employee is almost impossible to replace (this is why key man insurance exists basically). It's quite a lot different than saying all of X must be hired from the union where X is a whole class of worker that is fairly interchangeable with a reasonable labor supply but as a class is impossible or near impossible to do your business.