skysight-inc/HackerNews huggingface dataset:
Christianity opposes abortion in accord with the prohibition of murder, what with science informing us that human life begins at conception and our consciences, and God's moral law recorded in good book that murder i wrong.

I notice you use the word choice and classify the pro-life position s "anti-choice" which makes it seem like a bad thing. However the "choice we are talking about here is directly and intentionlly causing death to an innocent human being. I think it is very important to understnd that.

To borrow an atheist trope, you and I agree that murder is evil and immoral in most cases. I just think it's wrong in one more case, when the victims are yet unborn too (I reckon murder is intrinsically evil and immoral)
Ant Group reportedly reduces AI costs 20% with Chinese chips
It's likely a definitive example of selection bias, you won't hear people not talking about having it, but ADHD affects (approximately) 30% of the population.

Assuming even a tiny amount of those are loud when exploring their discovery would mean a lot of people talking about it online.

This is likely also combined with Millennials (my cohort at least) being one of the most self-aware generational cohorts in history (while also being a tad self-centered).

I have my own journey with ADHD ("many markers" but no official diagnosis, as that could negatively affect my life in Sweden) and it was really liberating to learn that, no, I wasn't just lazy, that I may have an issue with executive function and if I work around it I can at least partially tackle it.

The amount of stress that gets applied by society for people who are "not performing up to their potential" or slacking off or what-have-you is actually quite immense when you cannot force yourself to work, so I understand people who feel liberated in the moment and who seek solutions, loudly.
We shouldn't let China overproduce and dump excess solar productions in its own attempts to control the market.

I think that this misreads how the Chinese solar industry works. It's one of the less government-controlled industries in China. It's fiercely competitive, which leads to low prices, rapid change, and periodic bankruptcies. Chinese-made solar panels became popular for the same reason their T-shirts and microwave ovens became popular: acceptable quality offered at unbeatable prices.

I also think that there's low risk of lock-in from buying Chinese solar products now. Solar panels have a typical operating lifetime about equivalent to 5 years at 100% of rated power. In practice this means something more like 20 years in a solar farm in a very sunny climate or 35 years in a cloudy climate. The steady state replacement rate to maintain a nation's solar capacity is therefore about 3%-5% of the initial installation rate. If China prohibited solar panel exports, Western countries could maintain existing solar farm capacity with only tiny outside-of-China solar manufacturing capacity. There would be plenty of time for not-China countries to determine if the embargo were temporary or persistent before investing in more expensive but more dependable domestic factories.
> If you have a parser generator tool that can go from zero to parser based on a few examples rather than a grammar, I’d love to hear about it.

That's the part where the LLM would be useful. Turn the examples into a grammar, verify the grammar, and use a parser generator for the rest.

You know the code does what it should and you get there in minutes.
Yeah... there was nothing on the product page on Lowes (it was after 10 pm on a busy Saturday, so I didn't have time to dig as deep as I would with a pre-planned purchase) and I thought the 500 series would be consistent from what I had read years ago. There was no indication that certain features (besides Alexa/Google Home integration, lol) would be locked behind the app.
Sure, but that test was tailor made for lidar to "succeed" even if lidar actually couldn't see the hidden obstacle. The lidar was largely blocked by the "rain", which meant it could treat it like a wall. For a real world example of this, see Waymo's experience with a water main break: https://www.reddit.com/r/SelfDrivingCars/comments/1g75ftb/wa...

The lidar didn't necessarily see the child, but it didn't have to.

A real test of lidar would have been perfectly transparent obstacles. It wouldn't have been realistic, but neither were the other tests.

There are two things that will drive companies to eliminate it:

- Cost - Even though the cost can come down quite a bit, the current multi-lidar systems they add both up front cost and maintenance cost.

- Complexity - They don't do the same things that cameras do, and can in fact never replace cameras. This means that they are not 100% fidelity backups, and therefore the decision of which sensor to be used needs to be made. A Mobileye like solution is likely the best answer here, with a discriminator network to (hopefully) accurately judge which sensor to believe for each detected point, but this is not trivial. In fact, just getting this right may be nearly as hard as the driving policy tasks themselves.

I still think lidar may stay around for special purpose tasks (eg, curb detection, or low obstacles), but the era of them being relied on heavily to detect VRUs or other vehicles will surely end.
My current dishwasher - purchased last year - doesn't require any internet connectivity for any of its features. I don't think it even has the option to connect.

(Although it does have the shitty capacitative buttons that I can never tell whether I've pushed or not.)
Because most mics are still using Bluetooth 5.0 I use the microphone on my Mac even when I'm wearing a headset. Otherwise, it puts me into a weird codec mode of ancient history where I get downgraded to a low bit rate and even my audio input to my ears sounds horrible then. So I always use the Mac microphone when possible.
https://www.spaghettimonster.org/
> It seems to have mostly turned back to "if it's useful, it's okay"

No. Everyone still hates them with passion--at least when the commenter mentions that it is LLM generated.
Microsoft sure has done a great job, but I have experienced some issues around Program Files and registry virtualization, along with UAC.

I suppose if you run it as admin and/or install it outside Program Files it'll make it a lot less troublesome.

So, not unexpected, but I'd still be mildly surprised.
All these new bundling libraries (vite/rollup) always claim to just work, chefs kiss, 100 emote. And then you actually try to use them for basic use cases and you find yourself googling or knee deep in the documentation. If at all possible I try to avoid bundling libs altogether. That's the future I want. No more vite or rollup or webpack.
Close. The 1901 glider used a rail and took off down hill. Their Flyer used skids and could take off from level ground even on sand.
NIST AI Risk Management Framework 1.0 [pdf]
Malicious doesn't just have to be biological in nature just because the data here is biological. That data can be used for a variety of non-biological malicious uses.
"Criteria

You are under 25 years old."

That's pretty low and strict, I wonder what the reasoning for this is?
I would argue that most people looking to drive innovation have actually had some time to gather experience in some industry to see what opportunities exist to innovate on, so most candidates for this would definitely be above 25...

----------------------------------
Edit:
Found the answer from their FAQ https://docs.google.com/document/d/11nM7i-WlGqgC9w_2uAl0LZVO...

"Why focus on 25 years and younger?

Our goal is to encourage the next generation to take more risks and make entrepreneurship more acceptable across European culture. We believe many VC products out there cater to entrepreneurs irrespective of age. By focusing on under 25 year olds we aim to support a younger set of founders that often don’t fit the requirements of venture investors. Backing first-time founders at a young age is more risky but it’s the bet we’re making to change the narrative of European entrepreneurship."

I mean I think it's great to fill the gap where venture investments are lacking, but then don't call it 'Project Europe' if it's an initiate with a rather narrow focus!
Yeah, no matter how good the microphone actually is on a headset, it uses an ancient codec so until we get Bluetooth 5.3 everywhere with lc3 codex then we won't actually have good mic input from headphones and headsets. I predict that this is all going to change this year and next year. But the full stack has to support it from headphones to Bluetooth chips to OS.
> Criteria

> You are under 25 years old.

Huh, what? Why on earth?
Russian Firm Offers $4M for Telegram Exploits
Criminology scholar connects Cambodian temple trafficking to white-collar crime
It's been very easy to observe acceleration in progress over time, and there's a natural question that emerges: Will we reach a point where people can't keep up?

Nothing hand-wavy or silly there. And the discussion of the topic as it was formed in the second half of the 20th century was pretty carefully couched in terms of what-ifs and conservative projection.
Think of it this way: Build a model where earth is part of the swarm. This alone would work over the short term, but if the other members of the swarm don't have the same gravity as Earth, then earth will knock them out of orbit (and the other members may affect Earth's orbit.

To avoid the affects of Earth's gravity, chose a tighter orbit with half the period, then from Earth's point of view, the orbital path makes two loops than ends up right back where it started. This way, it's really easy to choose a path where those two loops don't cross between earth and the sun, and this can be done for the whole swarm. This also works for other fractions, with differing numbers of loops before the repeat, much like a Spirograph.
I would argue there is merit in keeping a platform separate for the purpose of education. Humans shape their tools that in turn shape themselves.

In a general purpose theorem proving environment, such as with Lean, there is a different attitude about what level of abstraction to expose by default. It's less intuitive to a child to have a tutor need to explain what it means for a function to be `unsafe` than it is to explain what it means to `print` an expression.

By creating a separate platform, you can set these defaults to curate different kinds of engagement with users. Take the `processing` language as an example. While it's Java under the hood, the careful curation of the programming environment incentivizes learners to play with it like a toy, increasing creative expression and fault-less experimentation.
will do thanks for the feedback
I don't get why you need to be under 25.
Europe needs innovation in digital infrastructure, not 'apps'.
Digital infrastructure innovation requires capital and experience.

This is jumping on the the "Europe Innovation" bandwagon, imo.
I don't think I recall having a meeting with anyone using plain headphones with the laptop mic instead of a headset of some kind. Wired headphones without a mic are somewhat unusual nowadays to begin with outside audio file circles.

AirPods of various versions is common, as is many other buds. Enterprise headsets like those from EPOS (the old Sennheiser Communication) and Jabra (with or without boom) and speakerphones are common in corporate settings, casual headsets (e.g., Sony, Bose) and wired gaming headsets are common at home.
Now that I think of it, since they were shouting to turn off the lights ... If I heard some people shouting something I can't understand in the dark near a 3700m peak, I would presume there might be people who need help and try to locate them. It would make sense that they came into their direction.
The problem with ADHD is, that the symptoms are very common and it is mostly the degree to which an actual case of ADHD is different from the neurotypical person. So, a big portion of the overall population feels like they might have it and many of them are willing to put in whatever work it takes to find a doctor that confirms their diagnosis.
I'd really love for wifi powered consumer audio devices to become a thing.

There's a rapidly growing market space of IP-based AES67 and SMPTE 2110 professional audio (and video) devices, which is really exciting to see. Its almost all wired, usually coupled to high precision PTP timing (which would probably have to be relaxed for wifi use). But it's a compelling, semi-standard, network based way of connecting all sorts of systems.

There's already pretty good support in PipeWire too!

Qualcomm has been talking about their own proprietary wifi sound system, Snapdragon Sound, for half a decade now. Supposedly something is actually going to be shopping soon, but only one or two phones seem able to support it right now. Qualcomm's gonna Qualcomm! SMDH. https://news.ycombinator.com/item?id=26355868 https://www.engadget.com/qualcomm-snapdragon-sound-wireless-...

Bluetooth does have a ton of codecs now, and latency has been improved a lot too. But these are all optional specs, none are core. I also don't know what the state of bidirectional communication, headset mode is, whether that is improved or not.
Holy macro, Safari Developers, please bring back the "disable javascript" shortcut in the develop menu for sites like this.

You literally _cannot_ make the obnoxious video player go away because they are hijacking right click.

It should not be this difficult to disable code execution.
Yes, I've tried a few AI translators and the problem is the same. I am working on making the LLM to be aware of the context of the manga as a whole. But still need to make sure there is a balance between quality, speed and cost.
Here's a similar situation with the macbook pro's speakers, from the Asahi Linux team (scroll down to "Audio Advances"): https://asahilinux.org/2022/11/november-2022-report/

Similarly they can't be used very effectively without special, complex software that involves physical simulation of the speaker hardware. Doing things this way allows them to reach an amazing level of compactness + volume, but at the cost of complexity

If Apple intended to support platform openness, they'd likely have made such software available to hackers. But they never enthusiastically encouraged that, so people like the Asahi team are left to reverse-engineer and reinvent everything they need that lives in software
That is absolutely wild. How is this not on the front page?
Got a message saying you're working hard on creating a mobile experience in the meantime to try desktop. But when I put it into desktop mode from brave on my pixel, it still gave me the same message.
You have to be either naive or a shill if you believe the US didn't leverage any political control over (West) Germany with that kind of large occupational force.
I am glad I am not in Europe anymore, because at almost twice the age of 'under 25' I wouldn't be good enough for 'innovation' anyway
Nice. US only?
Artificial muscle flexes in multiple directions, offering a path to soft robots
Composer Linker: The NPM link for PHP Developers
No, that's not true. The framing was always that it surpassed an incredibly high safety bar that no other kernel had surmounted, far beyond even security certifications needed for protecting national secrets. This is still true.

A number of people who read that interpreted it to mean seL4 is flawless. Now that flaws have been found, those people have had to re-evaluate their views. Those who understood seL4’s guarantees correctly are an extreme minority.

No it doesn't, people using formal methods understand perfectly well what confidence verification should bring and the caveats that are necessary. If by "industry", you mean Joe-know-nothing-about-verification-shmoe, then I'm not sure why his opinion was particularly important to begin with.

>99.99% of the industry does not use formal methods, so those that understood the guarantees were weak enough to allow “impossible bugs” in the real world were an extreme minority. The rest of us had the view that I described.

You can deride people who do not do formal verification, but I guarantee everything you use has unverified code written by people who do not do formal verification. If we restricted computers to formally verified code, we would not have working computers, embedded or otherwise.
If I had to guess, it's because "old dogs can't learn new tricks" rationale whoch doesn't make sense. How about judging innovation on its merit regardless of age.
That's a solved problem. Tab + stave notation, with the stave above and tab below.
I think a separate and (to me, at least) more interesting question is why the US seems to have been (and is still now) so good at commercializing and deploying new technologies.
Show HN: LLmHub.dev – A Unified API for Multi-LLM Automatic Routing
Hi HN,

I’m Prateek, a solo founder who’s just launched LLmHub (llmhub.dev) – a simple, unified API that makes it easier to work with multiple large language models without the headache of managing separate keys or juggling between providers.

The idea behind LLmHub came from my own frustration with vendor lock-in, unpredictable costs, and the complexity of switching between models when one isn’t performing as expected. With LLmHub, you get an API that automatically picks the best model for your query based on factors like cost and performance. It’s really aimed at making life easier for developers, AI researchers, and anyone building on LLMs.

I’m keeping it really lean and open to feedback. If you email me at prateek@llmhub.dev and share your interest, I’ll give you $10 in credits to try it out. And if you end up building something with it or share your experience on social media, I’d love to send an extra $25 your way as a thank-you.

I’m not here to “sell” you something fancy – just sharing something I built because I believe it can help others avoid the hassle of dealing with multiple APIs. Would love to hear your thoughts, questions, or even criticisms. Thanks for checking it out!

— Prateek

Feel free to reach out with any feedback or ideas!
> // This causes a compilation error

I'll assume you know you missed a semi-colon, so we'll fix that, which still gets us a compiler error, but specifically the diagnostic says: pattern `None` not covered and it suggests:

let Some(work) = index.pop() else { todo!() };

You seemed puzzled by the fact we can use this pattern for let while, but of course when our pattern doesn't match (for None) the loop ends, that's what a while-let loop does, the if expression which may not match needs a clause for the case where it doesn't match, the suggestion is an else clause.

Remember Rust is a statically typed expression language so Python type situations where maybe the pattern matched or maybe it didn't and something will happen but the language doesn't promise what, those aren't OK because we have static typing, what is the type of "Eh, I don't know, whatever" ?

Edited:: Aha, I realised you wrote "1:1 within a while statement" and now I think I see the problem. That's not a while statement, Rust doesn't have those - it does have while loop expressions - but this isn't one of those either, this is while let, it's different.

This isn't a while loop where the while condition happens to be
a variable assignment, Rust doesn't have that. There's a reason while let has a whole separate entry in the book. This is syntax for a loop which repeatedly performs a pattern match and always exits when it fails.
Actually my complaint relates to open office designs, the macbook mic picks up louder people from across the room. So if I do use headphones and the MBP mic, other people will hear random noise blurbs from anywhere in the office .
What used to work for me is to build a single list every morning (based on yesterdays list) and then just do it one after another without allowing myself to prioritise after that point.

My largest executive function issue is the guilt of not doing some other thing.

If I have a very stressful situation, I can easily organise my thoughts and ruthlessly prioritise what is important from what is not important.

In "peace" times, this doesn't work at all, and instead if I have something that I know will take half a day (say, for example, fixing a subtle bug in the email system) then I will feel guilty about doing that over something else (say: doing paperwork for the worked hours that month).

Thus, I do neither. Until one becomes critical.

It's fucking stupid, but I can't fix it.
This is useful, I think this will help me actually learn drum stuff for my electronic music production that I'm learning now.
No, but the US needs to actually compete with China. Instead the reaction from leadership has been to utter fail to compete and lambast China as an enemy instead of a competitor.

None of this serves anyone but the ruling class and deep state. War with China is going to be one that the US loses.
More trustworthy link for the article: https://archive.fo/oD56w

This is basically nonsense. Chinese solar panels are cheap because they are produced efficiently, with orders of magnitude less materials and energy than were required in 02012, when the US started imposing "anti-dumping" tariffs on them.

I've read many of the US Department of Commerce filings on the topic attempting to argue that the current prices are unfairly subsidized. The arguments are embarrassingly bad, arguing over things like what the fair price of solar glass should be, or whether the fair price of the labor of Chinese solar panel assembly workers should be determined by comparing to Malaysian electronics assembly labor or Romanian electronics assembly labor. (They settled on Turkish labor.)

Even when resorting to such absurd arguments, the countervailing tariffs the DoC decided it could justify were only in the range of 10-15%:

https://www.federalregister.gov/documents/2023/07/11/2023-14...

Finding the original filings in these cases, spanning 13 years at this point, took a fair bit of digging, but it was very eye-opening. See for example https://www.govinfo.gov/content/pkg/FR-2014-12-23/pdf/2014-3... and Barcode:4426784-02 C-570-011 (not linkable by any URL).

But, basically, you have to ask, if subsidies are the reason Chinese solar module prices today are lower than module prices were in 02012, when they cost €0.64 per peak watt instead of today's €0.110, does that mean that Chinese taxpayers are paying 82% of the cost of installing solar panels around the world? China is just exporting €100 billion a year of its tax revenues in the form of solar panels, with the intent of at some point raising the prices to above where they were in 02012, say €0.75 per peak watt? When should we expect that other shoe to drop?

Because the solar panel industries in other nations are pretty thoroughly destroyed, except for those created by Chinese companies seeking ways around US tariffs.

It just isn't a plausible story, even if it is being promoted by the same newspaper that promoted the story of Saddam Hussein's "weapons of mass destruction" to justify invading Iraq.
You make a good point. I still think the term is being misused and I think is worth correcting as otherwise we have no term for what bricked actually means, but I can see how one could reason their way into it. A printer that won't work with what you have on hand is essentially a "brick" in the moment. But "brick" is typically a permanent state, not a temporary one that simply requires using compatible parts. Following that logic, one could describe a car with a dead battery as a "brick" but that is clearly not accurate.

FTR lest someone think I'm defending HP here (I don't know why so many people, including on HN where we're supposed to be more contemplative and analytical, think everything must be 100% black or white, but I digress), I think HP is a despicable company and this practice of theirs is beyond abhorrent. I will never buy another HP product short of them fully reversing course and issuing at least an acknowledgment of the change in course if not a full-blown apology for being evil.