skysight-inc/HackerNews huggingface dataset:
I find this bizarre as well. The EU Parliament has no initiative, possessing only the power to approve or veto legislation proposed by the Commission. And then when they occasionally exercise their veto power, the Commission can just resubmit substantially the same legislation as before, as is happening here.

This also means the Parliament has no independent power to repeal previous law that it might have regretted passing. It must again wait for the Commission to propose repeal. I can count how many times an unelected administrative bureaucracy has proposed removing its own power on zero hands.

The whole thing strikes me as a sham democracy.
By saying “I have nothing to hide,” you are saying that it’s OK for the government to infringe on the rights of potentially millions of your fellow Americans, possibly ruining their lives in the process.

I think this is not as well understood as the "a crime can always be found" counter argument & it is much more nefarious. By being drilled with, "well, you have nothing to hide, correct, so what's the big deal?" it forces you to be suspicious of others who are concerned with their rights, like "I have nothing to hide, so what are they hiding"? This also distracts from the fact that we should be eying law enforcement with suspicion when there's a push to roll back our rights, not our neighbors. Overall, the point of this rhetoric just creates a new wedge to drive between groups that can be exploited for political gain.
> It's not just the Bible. It's virtually every religion and it's probably pre-religious. There's also no reason to assume that animals don't think the same way.

except Hinduism.
Asus VivoBook S 15 Copilot+ PC Review: Is the Snapdragon X Elite hype real?
i love how humans always put themselves outside of nature, and like you point out, that scientists, even though they dispute where that notion comes from, cling onto it religiously :D. There's even animals with more developed / complex brains as us, but surely, they can't be conscious!

My dog isn't dreaming about anything, he's just flapping his feet and snorting and making cute sounds in his sleep at random, likely just spazms.... Like any normal dog.
Great example of this is to google simply name of most businesses. And then see first links in results being adds. While they same links are in result slightly down?

How did we end up in situation were anyone would be paying in this case? Seems like just pure exploitation of their position having combination of add network and popular search engine...
> That's not choice, that's forced replacement

It was a choice for the restaurant - they are agents in this as well, and may be doing so based on their own values vs. economic forecasts.
The 2015+ timeline definitely tracks with my wife's anecdotal experience. She's been working in pediatrics (exclusively at Children's Hospitals) since 2003 and the amount of kids she sees with self harm or suicide attempts has grown so much in the recent years.
"Only half of our advertising budget works, we just don't know which half it is." --an age-old saying in marketing
I expected to read about the methods used by the libraries to get the structured output and not a comparison of the language compatibility for each.

Fortunately the same author have a blog post (https://www.boundaryml.com/blog/type-definition-prompting-ba...) explaining how their approach works and how it compares to instructor (https://github.com/jxnl/instructor).

Basically these libraries provide two things:
1. A way to prompt the LLM
2. A way to get a valid JSON

For 1. instructor does it through the json schema definition, BAML's innovation is that they use a simplified lossless schema definition that uses less tokens.

For 2. instructor does it through reprompting until they receive a valid JSON. BAML's innovation is a fuzzy parser able to to parse non-perfect JSON.

Personally I think that there is no need to all these abstractions to get structured outputs from LLMs. A simple .to_prompt() function that takes a pydantic and translate it into some prompt block you can add to your prompt and a retry is sufficient to get the same results.
Thank you for this, it's the first question that entered my head when I read the article.
> Just to remember that a few decades ago, same kind of persons were stating that books and free press are responsible for all of the moral corruption of the society

I think you’re quite confused on this point.
removingspacesgotridofalotofmybloatonregulartexttoo.

One man's structure is another man's "bloat", I guess.
So dough-eyed, is the look of an overnighted baker, who got into a fistfight?
> America should take QUAD to the next level ASAP

India doesn't want that, because India uses Russia as a mediator with China [0][1][2], and India wants to maintain the current status quo.

[0] - https://eastasiaforum.org/2020/10/23/how-russia-emerged-as-k...

[1] - https://www.orfonline.org/research/the-india-factor-in-china...

[2] - https://www.nbr.org/publication/india-and-the-quad-when-a-we...
And the primary benefit of doing that is so the compiler can inline math functions like sqrt() as a tiny number of instructions (on modern CPUs) instead of having to call the standard C function, which is much slower.
My toddler couldn't recognize her reflection in a mirror up until some age, we did the lipstick on face test. Same as a cat or some other animal that can't do it. Complex emotions and consciousness are developmental milestones in kids. Not sure why animals would have it differently, they just don't develop to the same level as we do.
lnav is something I keep coming back to over and over really _wanting_ to like, but I've never managed to figure it out. I'm not sure exactly what the problem is, but I find the docs confusing and incomplete, and I always end up getting stuck and going back to Vim and/or VisiData.

Does anyone have any good tutorials or resources apart from the official ones?
An amazing idea, I just heard about it on the BBC podcast:

People Fixing the World

- Saving water at a time of scarcity

https://www.bbc.co.uk/programmes/p0j3yrqy
There's one surprising way I still find a lot of great material on Google, which works especially for niche research topics, is to view Image results. I click on any interesting image in the results and then I check the site it's from. Many times I've found super interesting stuff that would not appear in the first pages of text results.
> Being located in the US, I am arguably far more concerned about the US government tracking me than the Chinese government.

I read this BS so often that it feels manufactured.
Humans have co-domesticated along side everything else. We are less scary now as well.
Developing fast and built-in task runner in Node.js core
AI can't fix what automation already broke
Not sure where you are getting the $40M. That's much less than the sticker price, and probably much more than the actual marginal cost of a launch.
Have you thought that they tend to drift to totalitarianism, in fact?
I was surprised to learn that octopus fossils exist that predate dinosaurs. I dropped all hope for their eventual world domination. If they haven't done it by now...
This is very interesting to know. Great read BTW, I will try for myself and see how it goes.

Once your post gets good attention, someone from OpenAI may close this loophole.
Because I tend to ignore moralizing takes coming from pro-genocide people, hence me mentioning Frum in connection with Israel.
While I agree with much of the article - the leap from "social media is making tween girls suicidal" to "adults should not be able to determine what information they choose to consume because then they might vote wrong" is a huge one.
Fun anecdote: some folks from FAIR reached out to a friend, asked her to apply, and then rejected her without an interview!
be ungovernable.
I think to be clear, brute force generally means an iterative search of a solution space. I don't think that's what this system is doing, and it's not like it's following some search path and returning as early as possible.

It's similar that a lot of wrong answers are being thrown up, but I think this is more like a probabilistic system which is being pruned than a walk of the solution space. It's much smarter, but not as smart as we would like.
"Standard" doesn't imply "good", but that doesn't mean "non-standard" is better. Cost-per-quantity (L/100km) is easier to compare than quantity-per-cost (MPG) because how much you use isn't going to change based on the model. Which is to say, if two local models are both $0.00 per million tokens, they effectively have the same cost. You could argue that you might get better results by throwing out more tokens, but the solution is to add more significant digits to the price per unit.
This discussion has really gone off the rails.

All I was saying was that banks have a bug bounty on their head, the next person responded that bank transactions are reversible, which isn't entirely true in all cases.

I wasn't trying to compare sizes or anything like that.
Likewise, someone (I forgot who) who made a sandwich from scratch - growing wheat, pigs, cows, produce, the works.
That's totally fair. There are large parts of the Midwest that I haven't spent enough time in to making sweeping generalizations. I've only driven through the states west of Illinois. I also haven't spent much time on the east coast, but most of the people I have worked with over the past 4 years live there. I felt comfortable around my east coast colleagues immediately versus feeling that "weird" you described in your original comment when I lived on the west coast.
There is a major political party in the US wanting to dismantle education https://en.m.wikipedia.org/wiki/Project_2025
How is this ironic? It's in exactly the same spirit of coercing people to "consent"
Most of their services revenue is coming from Music and AppleTV+.

Which doesn’t require any of your data.
The Cissus quadrangularis genome reveals adaptive features for an arid habitat
Except for over 300.000 years ago.
You've got nothing to hide but malicious actors have everything to exploit.
Man I want to believe it's short sighted, but Adobe's stock price in 2012 was $30.95. It's at $518 today[1], outperforming SPY. What drives me crazy is that there are plenty of Adobe alternatives that are pretty good, but they still can't make a dent in market share despite Adobe's contempt for their customer base.

[1] https://portfolioslab.com/tools/stock-comparison/ADBE/SPY
I can't imagine showing up to work the next day at all, holy shit.
I am just stunned by your worldview which I find is wrong in so many ways. It's no wonder that you couldn't muster the intelligence to come up with any profitable strategy at all. It is where the rubber meets the road. Moreover, you go about confidently asserting and spreading your disinformation, attempting to brainwash others with your false beliefs and lies.

> has underperformed

Like I said, 25 is between 10 and 30. It depends what exactly the strategy's performance is, and we don't know what it is for various reasons. I look at it day to day.

> If a profitable pattern exists, what makes you think nobody else has found it and that it will continue to exist in the future?

You with your limited worldview are presupposing that all strategies work because others haven't found them. That's not how they all work. Some work despite the fact or even because of the fact.

> "Dumb money"

A more respectable term is retail traders. Everyone who is in it is on their path of learning, and it's wrong to call a child dumb because the child hasn't grown up yet.

> Why do you suppose professional traders pay for order flow from such traders?

Wrong again. Professional traders specifically discard such retail noise, although I suppose it could be used in certain contexts.

> makes trading a zero-sum activity.

Since you're unfamiliar with the mechanics of trading, if I place an ask for 123.45, and a trade executes at that price, that price then is used to calculate the market cap of a stock. The number has no basis in any zero sum game; it is whatever the buyer last paid.

> Gold cannot achieve this because the amount of gold cannot be adjusted to match the size of the economy as it grows or shrinks

This is your biggest lie yet. As a user of money, despite the propaganda peddled by people like you and by the government, I am not interested in the economy which I consider to be an orthogonal concept. If your lies were the truth, bitcoin wouldn't exist, and gold wouldn't carry value either. Gold was used as a currency for thousands of years, also by the Romans and by the US with a gold-backed dollar. It took Nixon to nix it, who was a criminal.

Yes, gold is detrimental to unsustainable economic growth, but unsustainable economic growth itself is detrimental to existence due to it causing severe environmental issues like climate change. As such, gold is conducive to a somewhat more sustainable economic growth. Anyway, as a user of money, I couldn't care less about the destructive agenda of economic growth.

> Countries are "owned" by their voters.

This is feel-good nonsense. Countries are owned by those with the money.

We are done here. I do not desire to continue a conversation with someone who unquestioningly peddles whatever untruths they've been taught without regard for the actual truth.
Yeah, no, there's just some old forum posts and blogs talking about stuff that no longer exists. (On this topic, I really like websites with automatic warnings "this was written X years ago, might no longer be true").

Your options are to use the nightlies (perfectly fine IMO), pay a lot for an enterprise LTS, or be a non-profit/education and get LTS for cheap/free.
> Why?

Must transfer value, and the guy in charge of the company is not good at allocating the company's resources to do that with an eye on long-term results.
> We should eliminate anonymity online.

for certain platforms. IMO platforms should be able to decide for themselves whether they want the option to have people verify themselves via ID or not.

It's the government's job to provide this service
From what I have read and have come to understand, it is more that we are generally predisposed to human language in general, specific portions of our brain especially so.
I saw one interesting plan to get rid of space junk. As far as I remember it involved using nuclear bombs to "puff up" the atmosphere, locally making the top of the atmosphere higher and thus inducing drag on the junk / satellites.
I think NASA did a bit of work on it, but not much. I forget what it was called. But it was the only plausible plan I have seen.
There was a great article posted the other day that explained in detail but also followable terms all the processes that go into making a chip. I didn't realise that a single wafer can spend months in the production line.
Not a big problem.

I had to learn English to use computers. It was hard. Fallout games helped a lot. I played with a dictionary by my side. Soon we will all learn chinese to do the same (and read relevant scientific articles).
Current hopes (even by Terrence Tao) are that you give a sketch of a proof to GPT-X and it will give you a link to the formally confirmed proof.

Others hope that the next AI will come up with a sketch of a proof itself.

GPT-4 sucks at lean because lean had it's syntax changed too often, and GPT-4 shows limited reasoning capabilities

However it did come up with the following proof for my little order of pairs

instance LT : LT (ℕ × ℕ) where
lt f g := f.1 < g.1 ∨ (f.1 = g.1 ∧ f.2 < g.2)

instance : DecidableRel (LT.lt : ℕ × ℕ → ℕ × ℕ → Prop) :=
fun (a,b) (c,d) =>
if h₁ : a < c then isTrue (Or.inl h₁)
else if h₂ : a = c then
if h₃ : b < d then
isTrue (Or.inr ⟨h₂, h₃⟩)
-- the rest is even more silly since we have to turn everything around
else isFalse (λ (h : a < c ∨ (a = c ∧ b < d)) =>
Or.elim h
(λ hlt : a < c => absurd hlt h₁)
(λ heq : a = c ∧ b < d =>
absurd (And.right heq) h₃))
else isFalse (λ (h : a < c ∨ (a = c ∧ b < d)) =>
Or.elim h
(λ hlt : a < c => absurd hlt h₁)
(λ heq : a = c ∧ b < d =>
absurd (And.left heq) h₂)
)

This may lead back to the original question because Bool ≠ Prop and the formula for LT should ideally lead directly to decidability without all this redundancy?
I think it’s reasonable to compare at the price point - $1300.
yes, and most people and businesses are "reinventing a wheel" - not sending people to the moon. Some ways of improving on current solutions to a problem is i.e. making it simpler or cheaper, and as mentioned, a complex problem can also have a simple solution.
Why Are So Many Horror Movies Set at Summer Camp?
On the other hand, moderation can stop troll farms posting negative things about homosexuality non-stop. And it can help stop things like doxxing and promoting criminal activity and downright evil stuff.

I don't oppose privacy tools existing, specially for edge cases like investigative journalism and oppressive regimes as you mentioned. I mostly oppose people using and promoting unmoderated or inadequately moderated services. I guess what's being discussed here is mostly infrastructure not services, but still I think the infrastructure may be able to help promote or facilitate healthy services.

I've seen the outsized harm free for all spaces (usually "for teh lulz") can do to society, when we thought it was just innocent "shitposting".

I encourage people to participate in spaces where you know there's ethical moderation (that also leaves leeway for cultural differences), avoid otherwise, and don't encourage anyone to participate there. I think HN is a pretty good example of that.
He's right.

India's ED has de facto been raiding Chinese businesses and forcing them to divest to Indian ownership after 2020.

For example, MG Motors India is now majority owned by JSW Group, Huawei India (once Huawei's largest R&D hub and their main chip design hub) was forced out of India after the Doklam standoff, and all the Chinese mobile manufacturers were harragued by the ED and sold their assets to Samsung, LG, Apple affiliates, etc.
To be fair, both parents are expected to work while wages have not kept up. Work demands more than ever from you with less upside than ever before. My point is that parents are stretched thin.
It seems unfortunate that they inflicted pain and negative experiences on animals to prove common knowledge.
Also, important to keep in mind the inevitable contamination with AI-generated content in datasets from now on.
I saw a joke once that "New York Times customer support is not the New York Times of customer support."
Delta Lake vs. Data Lakes – what's the difference?
There’s an audit to go through where you (sort of) prove who you are. The system isn’t great, but if you can come up with something better there’s a lot of space to make software more secure for people.
The demarcation line here is 2012 though, and I wouldn't say material wise things made a sudden shift between 2008 and 2015. Arguably things were worse back then with the GFC while this decade has seen incredible returns for investors.
They took a character without gender characteristics, slapped lipstick and a ribbon on it and called it a woman.

What does this tell us about society.
> but if we scale to twice the processing power, then start accepting twice the request rate – we will actually be serving each request in half the time we originally did.

People usually add processing power by adding more parallelism - more machines, VMs, pods, whatever. In this case, the "blurted out" answer is correct.

If I take one second to serve a request on a machine then I add another machine and start serving twice the requests, the first machine doesn't get faster.

Maybe what you're saying is true if you make your CPUs twice as fast, but that's not usually possible on a whim.
Much like other fields where one person's work can satisfy an audience of millions?

Most actors, musicians, OnlyFans people, etc., never make it. They're enticed by the few people who make it big into a career where nearly everyone is not making it at all
Study: Tactile feedback during social media communications
Ensuring Reliability in AI-Powered Apps: Testing Strategies for Generative AI
Chimpanzees are decent hunters.
Well the education system certainly needs attention and a refactoring. I don't think anyone can dispute that. The details of what the end goal looks like vary wildly based on who you talk to.
My opinion is that it’s just partisan gerrymandering creating safe districts is pushing our politics towards the extremes as both parties run far left and far right candidates in their safe district primary. It gives us candidates out of touch with the overall electorate and unable to compromise.
The Surgeon General Calls for a Warning Label on Social Media
I've got nothing to hide. That doesn't mean I want you looking in my underwear drawer. There's nothing in there but underwear, but no, you still can't have a look.
Disgusting and scary as it is, this is in no way part of the mainstream GOP
Any time we move a piece of furniture, especially cat furniture that has been ignored for months, it becomes a new fascinating object.

Most non-feral cats don't just go around pissing on everything.
I _think_ it's also the case for buddhism and taoism, so the shift may have happened somewhere in-between proto religions and abrahamic ones
Yup. Using the early internet required a moderate amount of intelligence. The current internet does not. And now when things are being optimized for the lower 50% of the bell curve it results in things looking a lot different.

The early internet was like a race track for experienced drivers. Nowadays even kids are allowed to participate so all cars are heavily speed limited, with soft bumpers and a huge framework of regulations and protections.

That's fine in itself, but more importantly (to the point) it doesn't mean that pure race tracks should be banned. That's where all the interesting stuff happens.
This is becoming less common among electro-trash as SMD rules the day instead of larger, more discrete, more easy-to-separate components. For example, try pulling anything useful - camera lens, buttons, memory, ICs, anything - from any mobile phone tossed away.
> Synchronization with primary plane updates is not at all an issue.

While I wouldn't be surprised if this is technically true in a hardware sense, software-wise, Windows knows where the cursor is before it's finished rendering the rest of the screen, and updates the hardware layer that contains the cursor before rendering has finished.
ARM is simply the ISA the industry is pivoting to and where most forward investment is going.

I don't know where I implied it was special.
Ungovernable, a phrase that is trending:

https://trends.google.com/trends/explore?date=all&geo=US&q=u...

The interviewer's statement in questions makes me think they have a hobbyhorse to ride.

The possibility of arriving at a governing consensus through negotiation and compromise is being shattered by a cacophony of niche propagandists egging on their own siloed tribe of the faithful to engage in an endless partisan battle.
Not get it in the first place.

Not an expert myself, but I think cleaning up and reinstalling your whole OS once in a while probably deals with malware.
Revealing too much about yourself when you call kids an "it"
Update: I've learned that the song is "Ievan Polkka".

I'm still hoping someone has a link to the video though, just for nostalgia.
E-readers seem like essential equipment for someone assigned to live in a submerged tube for months at a time.
Pretty good timing! I moved a go project off of gorm to tern, but also had some bugs with it. Will give this a try.
> “Early humans” are still humans.

I respectfully disagree, as started in my earlier post. It would be nice if human language worked like that, but it does not always. A "stone frigate" isn't a boat, an "iron lung" isn't a respiratory organ.