skysight-inc/HackerNews huggingface dataset:
> After lunch, I went to teach limits to first years students, and with a total straight face I told them that ∞ is not a number.

When you apply Alexandroff extension to add the point at infinity to, say, the real numbers, what you're left with is not a set of numbers (i.e. a field) anymore. So it makes sense to say that ∞ is not a number. Moreover, the way ∞ is used in analysis is different from Alexandroff compactification, in that you usually use two infinities (±∞) as a shorthand for quantification over increasing or decreasing sequences of real numbers (this can be formalized using extended real numbers [0] or other gadgets but doing so has no advantages in a first-year analysis class, and might in fact make matters worse).

[0] https://en.wikipedia.org/wiki/Extended_real_number_line
Ask HN: Connecting a Sonos Beam 2 to a record player
Hi HN!

I recently had a friend ask me to hook up a record player to a Sonos Beam 2. The record player has an aux —> LR (red/white) and the Sonos Beam 2 has an HDMI input (???) for audio.

I looked online and I found some hint that it could be done and I found a video/L/R —> HDMI converter, but that didn’t work.

If anyone knows how to hack this together to use the existing sound bar they have or can point me to somewhere where I can learn how to do it, that would be greatly appreciated!!
It's still true of virtually every browser other than future versions of Chrome and possibly browsers based on Chromium.
lots of porn addicts freaking out in here lmao
His infamous search your home video comes to mind as well:
https://www.youtube.com/watch?v=sk2Wc4Y5CxE
The smartest money flips the output of the GPUs, more precisely. Flipping GPUs is just a side project.
Here are a few that contained violations at the time when I checked them out last February:

https://addons.mozilla.org/en-US/firefox/addon/giphy-for-fir...

https://addons.mozilla.org/en-US/firefox/addon/tabliss/

https://addons.mozilla.org/en-US/firefox/addon/youtube-subsc...

The official policies can be found here:

https://extensionworkshop.com/documentation/publish/add-on-p...

Some highlights of commonly "forgotten" rules:

> No Surprises

> Add-ons must be self-contained and not load remote code for execution.

> Add-ons must limit data collection to what is necessary for functionality [...] Data includes all information the add-on collects, regardless of the manner.

> Collecting, or facilitating the collection of ancillary information (e.g. any data not required for the add-on’s functionality as stated in the description) is prohibited.

> Modifying web content or facilitating redirects to include affiliate promotion tags is not permitted
Obviously I don't have the details of your situation, but using terms like love or hate my job are a warning sign.

First, I would advice to stop using the love your job mental model. Instead look into the concept of "Career Capital" from So good they can't ignore you.

Second, here is another mental framework and exercise that I recommend to my mentees. Rather than thinking about job satisfaction as a line between "love" and "hate", think of it as a measure in a multidimensional space. Maybe you work with cool tech, but the commute is killing you. Maybe you have tons of fun with you colleagues, but it pays way below market.

Every day write down your mood, and what caused that mood. Maybe you are angry because of a bad interaction with your boss. Maybe you are unhappy because Tim got the new cool project again and you are stuck doing grunt work. Maybe you had fun when you went out for lunch with your team.

Once you have enough data points you can start observing patterns. I find people hardly ever completely hate every single aspect of their jobs. Most often there is a few factors driving the dissatisfaction, that paint the whole experience badly.

Then you can decide what step to take next to improve on those points. Some actions might include doing things differently in your current position, change teams or change companies (it hardly ever comes down to changing careers).

You might be thinking that this is a very long winded way of telling you to change jobs, but the self reflection step is important. I've seen people change jobs because they were unhappy, just to be unhappy in their next job. Often the reason is that they misinterpreted the reason of their unhappiness. Without that awareness they are bound to find themselves in the same situations over and over.

As a side note this isn't a replacement for help with anxiety and despair. If needed be look for professional help. Best of luck.

[1] https://www.amazon.com/Good-They-Cant-Ignore-You/dp/14555091...
Surprise twist: it's lymphoma
Well its not a natural number or real, its a concept entailing all odd and even numbers.

Unless this is some sort of trick question or I am missong something.
Do any hardware products support it at all?
Right, but we should. If the state's purpose is to do things like provide education, the state needs to make it worthwhile for people to do the work of education. Despite what some people claim, capitalism is not the solution to every problem. But at the same time, if citizens are apathetic about education, they won't want to pay for it.

It's one of those weird catch-22s. If we actually incentivized those jobs nobody wants, they'd get done better, and then people would be more proud of the work, and be willing to pay for it. But because people don't pay for it, the work is done poorly, and so people aren't proud of it, and thus don't want to pay for it.
L.O.L.

Do you understand that it is impossible to ingest a marijuana plant and become intoxicated?

Do you recommend we ban cars from garages, BECAUSE THE CHILDREN COULD SUCK THE GAS RIGHT OUT THE TAILPIPE???

Right now I can go buy out an entire store's worth of cured and highly potent marijuana, and put that inside my home. Where there are kids. Yet if i grow 4 plants, somehow a toddler is going to eat it and die?

It's just the cons playing to their heartland constituents who live outside of Winnipeg. Where it's wrong to be gay and the only reason you'd smoke drugs is because you're defective. Their understanding of the issue is shallow at best.
For serverless: check the list I posted here https://news.ycombinator.com/item?id=34742087 (I ended up using Banana, it was fine)

For non-serverless, some to check out are these (though likely all overkill if you just need a single GPU)

https://www.coreweave.com/

vast.ai

Lambda labs
This is only true for alternatives to Git that are roughly equivalent in terms of complexity and time to learn. This wouldn't hold for an actual improvement (in productivity and training time), just like Rust, Zig or even Go are oven C++ and Java (the industry standards).
Historically, the Turkish nation was ridiculously multi-ethnic though, wasn't it? You have Altai, Chuvash, Kyrgyz, actual Turcomen, who knows how many others. "I'm proud of my Turkish heritage and have been since I obtained it last week".

And yeah, Rome died hard in the East. No denying that. But it's worth noting they had, century after century, so many opportunities to ally and rebirth with other peoples - Syrians, Macedonians, Bulgars, Russians, French - only to stab them right in the kidneys at the absolute worst time. Byzantium was like if you took Black Adder and made him into an entire country. Or Cersei Lannister, in the bad years.
Games for sure, the exam software is disappointing.
Is there a sample or tutorial that jumps right into typical examples of what's different or special about it? I tried to find such, but the docs get lost in syntax details and other minutia. I want the ADHD-meat-and-potatoes tutorial. Maybe that's asking too much, but I did it anyhow, as any ADHDer would.
Written text including links https://balajis.com/fiat/
you feel betrayed because he played on your emotions to promote his product ?
yet that's how most of ads/marketing works
> In my experience with children, one of the easiest-to-grasp concepts of infinity is provided by the transfinite ordinals

Things people say on HN :)
That's going to be up to the other browser vendors. Some would argue that multiple approaches to these problems is a virtue of the ecosystem. (I'm not sure I'm one of them, but if one accepts that premise than "This documentation varies based upon what browser you're using" is an expected side-effect).
> Next day, they become stuck up again. And I am proudly happy to be my chill version all the time.

No offense, but judging people and calling them stuck up the way you are doesn't seem chill at all.

The culture between humans and alcohol has evolved over thousands of years, it's complex and has positives and negatives. Same with marijuana, although I'd suggest there are fewer negatives to marijuana.
I'm currently running a Discord bot with a 7B model off a free Oracle Ampere instance with their Pytorch Accelerated[0] image. It's not terribly fast, but totally usable for group chats that want to interrogate an AI. If you're doing some sort of offline processing or non-time-imperative operation, something like this might be worth looking into.

[0] https://cloudmarketplace.oracle.com/marketplace/en_US/adf.ta...
>The US government is wholesale spying on the entirety of electronic communications and working with social media sites to make some voices less prominent. Private business should be able to tell the government to pound sand when banking data is requested without a warrant or subpoena.

Do they actually tell the government to pound sand, though? In the end, if I can only rely on the moral codes of for-profit companies who are weighing the value of a good relationship with me versus one with the US government, then I can't rely on much. But the government can and regularly does tell itself to go pound sand. Like the IRS, Census, or any agency with confidential medical records.

Also, your examples are of private companies selling data. The government is the buyer in those scenarios, not the guardian.

IMO, data is less likely to be shared between government agencies because rarely do both parties benefit. For a company, the database team wins when sales wins, as long as they get to present their success together. Government workers follow strict pay scales, get no bonuses, and have nearly guaranteed job security. They also have notoriously few ambitious ladder-climbers. It's hard enough to get them to share data with each other when it's legal and ethical. If there's any possibility sharing data would break rules, government will refuse to risk it.
How does it look like it?
Verbalizing and doing so publicly is already an immense step.

You told us what you dislike but what would you personally prefer ? is it only a manager level issue or maybe there are problems in how the team works ?
How about now?

The whole banking sector is down. You still think this only affects “badly run banks”? Or maybe monetary policy by this administration has been abysmal, from initially denying there was real inflation, to continuing to sign giant spending bills and refusing to do nearly anything to stop inflation aside from one of the crudest tools and at the same time forcing banks to buy these long term t-bills because 3 years ago it was seen as a safe bet and the least risky move.
> Why would anyone have one [an Android phone]?" Mayor Adams responded

This is a New Yorker’s response to a stupid question.

AirTags have a recognised brand. Messaging “buy AirTags” comes through cleanly in a way an inclusive statement would not. Given nobody is burning city funds for this, it’s literally a PSA, a reporter asking the mayor technical questions the answer to which they know is fine to be answered dismissively.
Amazing read. And I'm stealing that "Library: you call it. Framework: it calls you." quote.

Though in reality does that mean that the guy bought a metal 3D printer?
> Android won the second, although some regions of the world remain under the control of iOS

this author has no clue what operative system is. There is more sense in the Stallmann GNU/linux copypasta.
If their behavior annoys you, why not DMCA takedown the repo in retaliation for them stripping the copyright header? It'd be within your rights since they violated the license and sends a message they can't ignore.

Otherwise if you're upset they otherwise used code you released under a permissive license that's a personal problem. You signaled to the world that you'd relax your copyright under a permissive license and don't like the results? This is like gifting something and being mad about how the gift was used.

As others have pointed out you don't seem to grasp why licenses exist in the first place? No org or individual in general wants to play guessing games and risk liability. It's entirely on you to signal how you want your work to be used.
Yes, if you want to recover keys from a dTPM you have two options:

- decap it, scan it with an electron scanning microscope, reverse engineer it (or have already done so), and read the seeds and all NVRAM on the chip

- force the manufacturer to record the seeds even though they have processes to never do so, then force the manufacturer to reveal the seeds a dTPM shipped with given an EKpub for it

A few nation states could probably pull off the latter, but probably very few. And I suspect they haven't bothered and won't until TPM usage finally gets in the way. This is pure speculation, and they may well have forced all the manufacturers already for all any one of us knows.

More nation states could pull of the former. But again, they might not bother until TPM usage finally gets in the way.

As long as BMCs and BIOSes continue to use non-encrypted sessions to talk to dTPMs there is no need to do any of this when the attacker has physical access to the motherboard.
Is there evidence shame prevents or treats addiction? Everything I've seen suggests the opposite.
Apple and Google team up to fight Bluetooth tracker stalking
AI chatbots used to create dozens of 'news' content farms
Apple and Google lead initiative for an industry specification to address unwanted tracking https://www.apple.com/newsroom/2023/05/apple-google-partner-...
I owe you an apology too: I took your comment and, instead of focusing 100% on the thing you were trying to argue and discovering the nuance, I pattern-matched a more surface-level read to the flawed reasoning about LLMs I see a lot, including on HN, but one that I know you do not share.

Thank you for elaborating here and in other branches of this discussion. I now see that you were reading my take as encouraging a view that "humans can be prompt-injected too, therefore LLMs are not that different from humans, and we already allow humans to do X", which indeed is very worrying.

The view I have, but failed to communicate, is more like "humans can be prompt-injected too, but we have thousands of years worth of experience in mitigating this, in form of laws, habits, customs and stories - and that's built on top of hundreds of thousands of years of honing an intuition - so stop thinking prompt injection can be just solved (it can't), and better get started on figuring out LLM theory of mind fast".

> I really want to get across to people that there are practical failings today that need to be taken seriously regardless of whether or not they think that "prompt injection" is just SQL-injection #2.

I agree with that 100%, and from now on, I'll make sure to make this point clear too when I'm writing rants against misconceptions on "prompt engineering" and "prompt injection". On the latter, I want to say that it's a fundamentally unsolvable problem and, categorically, the same thing as manipulating people - but I do not want to imply this means it isn't a problem. It is a very serious problem - you just can't hope someone will solve "prompt injection" in general, but rather you need to figure out how to live and work with this new class of powerful, manipulable systems. That includes deciding to not employ them in certain capabilities, because the risk is too high.
So they hid this setting in the address bar :D
Depends. If suddenly my company said I was going to work on some deadend legacy crap for the next 5 years, I'm going to nope out ASAP.

If you get fired/quit and any other job you're looking at is going to have you interacting with new languages or AI workflows or something like that you have to assess what value you're losing by working for that company and the risks associated with it.
Another story is if computer has at least Haswell/8GB

My oldest in-use machine is an i7-3770 (3.4hgz, 4 core) with 16GB of RAM and an SSD running Windows 10. That's an Ivy Bridge from ~2011 which is a generation older than your Haswell but, honestly, it's still pretty modern... performs at about 50% of a 2023 i5 in CPU benchmarks.

FF absolutely smooth on there.

Typical usage on that machine is usual recreational web crap. It's my game/relaxing machine. Running 1-2 windows with some mix of Twitter, YouTube, Gmail, Amazon, whatever.

Zooming out, I have been running a mix of FF and Chrome for dev work ever since their respective debuts. We're talking easily 2000+ hours a year of browser usage for 20+ years. I have never seen the FF performance issues others get into a fuss about.

I honestly have no explanation for this. I'm sure that other people are telling the truth but I find it mystifying. I've never had monster high-end CPUs but I've always run AdBlock/uBlock, I generally have as much RAM as feasible, and was an early SSD adopter. Maybe I dodged some FF issues that way. I also never have massive numbers of tabs/windows... usually a max of 10-15 tabs over 1-3 windows. I'm also not running "big" browser-native apps like Figma or whatever in FF.

It's not that I'm insensitive to performance. I run 144hz monitors for gaming and that's a big difference to my eyes. There are also some UI things that are noticeably faster in Chrome like dragging a tab to a new window but that's not a big part of my browsing experience.

(FWIW, Safari has always felt significantly faster to me during my infrequent usage. IIRC they do some latency reduction tricks on MacOS. So even though typical web benchmarks show it as slower, it "feels" faster to me)
They didn't, they compared the United States to the Middle East (with the suggestion that they are very different).
There are quite significant applications related to simulating certain quantum processes.

However everyone is still pretty far off from that.
Of course it's not the case. You do realise that people have measured this?

The irony of people complaining that LLMs confidently assert things that are completely wrong...
Because Mozilla the foundation has shown itself to be a very poor steward of Firefox the application. If there was a way to directly fund Firefox I’m sure many people would do that, but atm it appears you can only send money to be wasted by Mozilla.
Also the language wars are related to the platform/OS wars but are much more diverse.
I have a 'family' setup in our iphones for my wife and kids. My wife bought some airtags and put them in the cases for our kids expensive musical instruments, her keys, etc.

We are configured as a family to share apps, set screen times, etc, but I can't see where those tags are, only my wife can on her phone. Worse, I get warnings every time I use her car for the day, that it found an uknown airtag riding with me. Or when she rides with me in the passenger seat of my vehicle, and has her purse with her.

They are essentially less than worthless, and cause a ton of false alerts, so 3/4ths of our family have them blocked and ignore any airtag alert, because we assume its one of hers.
What if the thieves don't have an iPhone?
Brain scans can translate a person’s thoughts into words
Raw veggies and basic foods can be cheap, but starting from real ingredients also costs time, something that can be hard to come by for the single mom working 60 hours a week.

Ask me how I know, and how I learned to cook really well.
Show HN: LuDe Beta, make content in 2-steps. Currently Audio to Lyrical Video
We have launched LuDe (Luminous Decibels) Beta, many new features & fixes are in our to-do list. But it's better to get some feedback early on.. so here we are, please try it & let us know of any issues or feature priorities at @ludepage on Twitter/Instagram/Subreddit.

It's an easy way to generate a video for what you want to say.

Creators on platforms like YouTube, Instagram, TikTok, Facebook and many others.. can use it to generate clips without any need to learn video editing and make words pop on their posts.

Podcasters who likes to publish podcast clips for better reach, this will give emphasis to your words.
Userify: Effortlessly Manage SSH Access Across Your Clouds and Datacenters
This isn't a TPM spec vulnerability. This is a CPU (SP) vulnerability, and it's devastating regardless of whether you use a TPM or not.

TFA is fine, but thinking that this is specifically a vulnerability because of TPM is a serious mistake. Not using a TPM won't make you safer.
I hate that gpt-3.5-turbo is so cheap that using systems like guardrails is a sane thing to do. I can almost always prompt davinci-003 without guardrails in a way to get my exact schema 1-shot, whereas guardrails + 3.5-turbo will often consume 2-4x more tokens, but that still makes it significantly cheaper.
Show HN: An Amazon shopping assistant that is helpful
So put simply Amy summaries Amazon product reviews so you don't have to read them all to get a sense of how good a product is before buying.
Yeah. As an industrialized country, you either subsidize childbirth, optimize immigration/naturalization/colonializations, or die. There's no third path that I can think of . . aside from deindustrialization. I guess Japan's working on artificial wombs and lots of robots? That might do the trick, I guess, but man . . what a brutal experiment that would be.
I wish Apple supported that in their Airpod case.
AOSP is open source, and open source user facing systems are available (Lineage, Graphene)
It is your browser doing that redirect, not the side.

The http://neverssl.com ends up on an http page, and so does https://neverssl.com. But that final page (the one you posted) does not itself redirect from https to http.
You're assuming all the ones on the way out have souls

https://en.wikipedia.org/wiki/Hylics
Such a cryptic lock is even more confusing. I propose a very simple, easy to understand solution:

http should simply be RED
https should not be indicated at all

A curated list, preferably by the gov. should indicate which SSL certificates are allowed to be green.
> Once you have accepted an opinion as your own, however, you have had to believe that you understand it to the greatest extent possible and spending more time learning about it is going to be unfruitful. As such, there is no remaining value in talking about the opinions you actually hold.

Is there no such thing as a strongly held opinion vs. a weakly held opinion? Different people might change their mind given different amounts of contrary information. I don't see the value in reducing this process to a binary divide between "actually held opinions" and "opinions not held at all".

Also, even if someone does hold an unshakeable opinion, I don't see why they couldn't express it while trying to convince someone else of their opinion, unless they don't care what opinion anyone else holds. And there are many people who (seemingly) care quite a lot about what other people think.
>Funny how it coincides with the very year the government started providing health insurance.

Government provided health care was introduced in 1965 as part of Title XIX of the Social Security Act under President Lyndon B. Johnson, not in 1968.
How is car theft in 2023 still a problem? What happens to a stolen car? It doesn't seem feasible or realistic to try to sell it for parts (where are you going to store all these cars before/after parting them out), and there's no way you can just sell the car and expect it not to get flagged. WTF is going on?
English has “might as well be hanged for a sheep as a lamb” I suppose?
100% agree. Mozilla uses Firefox to raise funds and then spends it on pet projects and executive bonuses instead of putting it into Firefox.