skysight-inc/HackerNews huggingface dataset:
Your cited source is a nypost article?

The debate happened decades ago in academia. It is "settled science" as much as science can be "settled".

Here's a slightly better popular science source explaining this: https://www.scientificamerican.com/article/climate-risks-as-...
You've never used Widevine? If you ever tried to use a streaming website, you almost certainly did.

EDIT: To clarify, Widevine doesn't actually use the TPM, but Widevine L2 uses a TEE for key exchange and decryption, which are all things that modern TPMs support. The use a crypto coprocessor for key exchange and decryption is widely used.
Latch and Luxer One are two other apps that log you out if any HTTP error code returns - but instead of locking you out of your payments service, they lock you out of your apartment building. Apparently the lazy way to code “access terminated” these days is “if http.ok is false”.
i flipped the results, my bad.

> Note, however, that the results in
random span infilling are significantly worse in suffix-prefix-middle (SPM) format than in prefix-suffix-middle
(PSM) format as it would require token healing (Microsoft, 2023),
> It's more like "you notice when it happens". You don't know in advance when the last reference will be released

A barista knows when a customer will pay for coffee (after they have placed their order). A barista does not know when that customer will walk in through the door.

> (if you did, there would be no point in using reference counting).

There’s a difference between being able to deduce when the last reference is dropped (for example, by profiling code) and not being able to tell anything about when something will happen.

A particular developer may not know when the last reference to an object is dropped, but they can find out. Nobody can guess when GC will come and take your cycles away.

> The cache misses absolutely demolish performance

With safe Rust, you shouldn’t be able to access memory that has been freed up. So cache misses on memory that has been released is not a problem in a language that prevents use-after-free bugs :)

> If you’re using a language without GC built in, you usually don’t have a choice.

I’m pretty sure the choice of using Rust was made precisely because GC isn’t a thing (in all places that love and use rust that is)
This might be a rational approach if your goal is to minimize defaults. CC companies, however, look to maximize their revenue - and that happens when people are over extended.

Their incentive is to overextend you just a little bit, so you are constantly paying them. If you drown, they went too far and killed the golden goose - but constantly in debt is their cash cow. It also, ultimately, pays for people like me who pay on time every month and enjoy the points game.
I count 3 articles about or comparing Google products on their site: https://growth.design/case-studies
Show HN: Binx, an AI Agent which helps you write more
Hi HN! I'm sharing my personal experiment in using AI to help humans be more creative, which I'm calling "Binx".

I love writing, but often have trouble getting started or picking back up where I left off. I wanted an accountability buddy that would bug me for pages, be excited to read my latest work, and which could share interesting tips or writing prompts when I haven't written for a while

Binx is a discord chatbot which combines all of those things, running against a local LLM (StableBeluga2 70B) with a prompt-injection routine that gives it "thoughts" to consider when giving writing advice or exercises and reflecting on my work. The script prompts Binx from a corpus of tips and then re-frames them in the context of your previous writing and what you want to work on.

I'm not really looking to turn this into a business, but I'm very interested in the human psychology side of this, and whether an AI accountability buddy can help people feel more creative, work through their resistance, and write more.

You can try it out by joining the discord server here and then DMing Binx.
https://discord.gg/RdzVVAAJZ

Feedback is welcome!
Yes, I think you're generally right. I'm a big fan of this blog post: https://eli.thegreenplace.net/2018/measuring-context-switchi...

> The numbers reported here paint an interesting picture on the state of Linux multi-threaded performance in 2018. I would say that the limits still exist - running a million threads is probably not going to make sense; however, the limits have definitely shifted since the past, and a lot of folklore from the early 2000s doesn't apply today. On a beefy multi-core machine with lots of RAM we can easily run 10,000 threads in a single process today, in production. As I've mentioned above, it's highly recommended to watch Google's talk on fibers; through careful tuning of the kernel (and setting smaller default stacks) Google is able to run an order of magnitude more threads in parallel.
I want to run code on my own laptop and phone.
I don't buy that, not all rural people are moronic hicks or hillbillies.

Opportunity has often been their biggest hurdle. While most are just as smart as you or me, the chances for them to get a "proper" education and out of their situation isn't as easy as it is for an urban dweller.
The Talmud’s Many Demons
Same. Though I worry about negative side effects like increased isolation.
If it is a USB iPad, you can plug it into an external display. USB-C to USB-C monitor, or get a USB-C to HDMI or DVI adapter. You can also use a USB or Bluetooth mouse if the digitizer is broken.
To YouTube's credit, they still offer a reverse-chronological view of the videos from the channels to which you subscribe. It's the only reason I'm still a user.

It's the third or fourth tab down on the tvOS app.
Not for us passive social media users. I just flip through friends stuff or news /blogs that I follow, no need for pictures/audio from me. Definitely something to be opted into manually.
How does this compare to olivine weathering, a much cheaper technology that seems rather similar, and is already being used in many projects? Is it more effective, longer term, what?
i've wondered about the sex worker use case for Apple's AVR system. Imagine someone who is into voyeurism puts on a headset, then opens a virtual door, and in walks a virtual sex worker who sits down on their couch...
I’ve found it amazing for mundane parts of Rails.

There’s a bunch of stuff that I can’t remember for the life of me if:

* it’s abstracted/generalized by Rails

* it’s a common type

* it’s a pass through type

For example, writing a migration, I may involve all 3 of those

* default database types

* some paused database types that get abstracted for various database compatible

* rails concepts, like references (rather than foreign keys)

A lot of this is frustrating to track down in documentation, but OpenAI does it really well.
I second this.

Aside from YouTube and gmail; I’ve long since (probably 4+years ago) got rid of social media and couldn’t be happier. My attention span sky rocketed. I noticed I can comfortably sit and read heavy technical books for a while before getting distracted which I couldn’t do before
I played around with Rivet and contributed to it. Great tool!
Are there battery/energy storage solutions that don't themselves require limited, non-renewable resources?
Translation: there are a lot of talented Asians, and we’re worried they won’t want to live there. Is that accurate?

It seems like most of the US has this problem. And yet rural IT always seems to find a way. I’m in Lake Saint Louis with gigabit symmetric fiber, which is a dream. We were backwater for awhile, but post COVID a lot of talent can be sourced remotely, at least for software.

Is a fab really so regional? I could imagine them having a team in Taiwan who they work with remotely. But I know very little about fab plants, and it sounds like you have a better idea of their engineering and IT requirements.

I used to work at Groq, a hardware company, and we were fully remote. So I’ve seen this work in practice. (It’s a tossup whether Groq will succeed, but that’s a separate conversation.)
Lol. That's fun, and frustrating! I can't manage tempo just repeating the same key on my short-travel keyboard, and if I start wandering around the keyboard, my old piano lessons start messing up my "fingering".
It was already grounded. This is formalizing the investigation results and the list of corrections agreed upon between the FAA and SpaceX, many of which SpaceX has already started or completed.
If you think the SEC is some sort of godlike entity who can read peoples mind yeah this may be illegal. What I'm suggesting is not manipulation - just that investors would be extra willing to invest in the ARM IPO since it increases the value of other assets they own.

It doesn't involve scheming, secret organizations etc. If you were a huge LP and you took on a lower ROI investment on ARM but it increases the value of all the companies in your portfolio wouldn't you do it? Also as an investment banker you would pull out all the stops to get this deal done in a favorable way to investors since you want the market to reopen. That isn't manipulation either, the IB is lowering their fees in order to get the market back open.
This is the bullshit I'm talking about in another thread. No it doesn't. Telling you about icloud which is like an inherent feature and partially the reason some people buy their phones is absolutely in no way comparable to actual ads.

Do you know what has ads in settings? Xiaomi. A relative bought one and I helped him set it up, and you literally had to see an ad to listen to your ringtone!!!
Are there any real world projects which are open source using this? Would love to take a peek on how this looks like on something non trivial.
Thank you goatking! :)

I HOPE I'M NOT THE FIRST!
"Season battery storage" sounds very wrong to me. Maybe he is talking about some kind of flow battery where you can just add more tanks of electrolyte. But we don't have that yet.
how exactly is there "money to be made" here for the React team?
Yes! Thanks a ton for your contributions!
If you back up the iPad locally, will it back up Procreate data? I would expect it to...
Then they'll exploit the webview followed by the sandbox. [1]

As of iOS 14, incoming messages are parsed in a tight sandbox [2]. It'll be interesting to hear how this attack got around that.

[1] https://en.wikipedia.org/wiki/JailbreakMe

[2] https://googleprojectzero.blogspot.com/2021/01/a-look-at-ime...
That's a bomb where a scalpel is called for. On sites like Twitter and YouTube, your notifications are almost entirely a function of who you follow/subscribe to.
It probably notes the timing, position of click, acceleration of mouse.
Every user is different. But software developers commenting on HN like to assume one size fits all. Perhaps this makes sense if they are getting paid from advertising. If every user is doing something different instead of all looking at the same website, using the same app, watching the same video, repeating the same meme, using the same few browsers on the same few operating systems, etc., then advertisers are less interested in throwing money away on "advertising services" from so-called "tech" companies.
Vote in the 2023 Book Review Contest
I've been constantly seeing ads about AI-generated porn that has very questionable ethical implications. Every once in a while I'll see an AI-generated video saying "Breaking news - the government is banning this AI program called ExampleSite.Com because it is able to make your friends pictures nude."
A relevant link, Lawvere's fixed point theorem: https://ncatlab.org/nlab/show/Lawvere%27s+fixed+point+theore...
> At current prices, solar panels pay for themselves in under 8 years.

and from the article

> the discussions seem stuck back in 2010, when solar power and electric vehicles were prohibitively expensive

It's an inconvenient truth that most people can not afford to pay €20-40k for something now, that will save them money in 8 years (and then, slowly). As the saying goes "it's too expensive to be poor" — except we're all "middle-class" now, apparently.
People are doing exactly that with batteries these days though. Go look at youtube channels where people are building a cabin, traveling in a van/RV, etc.

I'm seeing lots of videos with a portable "5 gallon container" sized batteries that people are moving around.

Even better, since you can attach some solar panels and not have to go refill the container, unlike gas/diesel containers.

This isn't to say batteries/solar are perfect for this. But, they are certainly providing enough pros vs liquid fuels that tons of people are widely using them in place of gasoline/diesel/kerosene.

Personally, if I never have to hear a damn generator running all frigging day/night while at a campsite, the cost to switch to batteries/solar will have been entirely worthwhile.
Regarding the option of Google ceasing all behavior-based tracking to avoid competition issues: I doubt they could do that to the ad industry unilaterally. Even if they would then be following the same rules themselves, I don't think they'd be able to get away with choosing how all other advertisers must operate by doing that.

Regarding the "easier road" of having Google discontinue Chrome:
WTF
That would not be easier and would affect so much more.
Lean does have a tactics system (very similar to Coq). However, there is no general tactic that will do, e.g., "sin^2 + cos^2 = 1" for you. (Writing a tactic specifically for that simplification is easy, of course, but that's not what a CAS is). (I doubt there is one in Coq that will do this, although I'm not sure). A symbolic algebra system is expected to do this simplification (and much more advanced ones) automatically. All in all, proof assistants aren't computer algebra systems. You could make computer algebra systems in those frameworks but I'm not aware of any.
Why do you think an electric heat pump will increase comfort over oil heating? It's not that I think heat pumps are bad, I just didn't know there was a claim of any improvements beyond efficiency / environmental benefits.
> is NSFW, most of it underage and incestuous (the "step sister/brother/dad/mom" trend in porn is taken a "step" further, removing the all-important "step" part).

Isn't that how the internet started? The porn/weird forums came first, then the corporate finance utility stuff came after.

Also how is stepmom/step sister incestuous?
Forgive me if this is a stupid question, but how is it determining how to color the inverse side of the wings of the butterfly in the animation? Did he keyframe that in and exclude it from the animation?

Or is the app using vision models to infer that he is trying to animate wings specifically and just assume the perspective needed and do the coloring on the opposite side for him?

From a technical standpoint the ladder would be very cool, but I could see how it could be troublesome for artists trying to do "real animation".
I don't think this was meant for the HN crowd, to be honest. We'll just have to deal with the cutesy controls. I thought it was fun, I don't think everything has to be straight text and static images.
Maybe. But the traditional gaming market doesn't have a lot of growth and I have to believe the high-end may be a dedicated niche but it's a niche.
Discord's accessibility has improved quite a bit. Even a screenreader user in the article's source section agrees:

> What I can tell you is that, to my surprise, Discord’s accessibility has apparently improved in recent years, and more blind people are using it now. One of my blind friends told me that most Discord functionality is very accessible and several blind communities are using it. He also told me about a group of young blind programmers who are using Discord to discuss the development of a new open-source screen reader to replace the current Orca screen reader for GNOME

Discord is honestly a great place for FOSS to house their communications. I find all of the articles claims very haphazard:

> When you choose Discord, you are legitimizing their platform and divesting from FOSS platforms

It is legit? It's free? It has loads of compelling features, is very accessible, and - most importantly... Also, choosing Discord does not take value away from FOSS communication platforms.

> Use IRC

It isn't IRC which is very inaccessible to lots of people new to computers and software in general.
> This is not the way TPMs are used by most of the industry. [...] It is only done by the OSS community.

So some industry stakeholders are doing bad things with an inherently neutral technology. Does that mean we need to get rid of the entire thing, thereby also killing the OSS use cases?

Yes, trusted computing can be used in user-hostile ways, but the solution here seems to be to not use OSes and applications using it in that way, rather than throwing out the technology as a whole.
> I cannot comprehend the impact if someone like VISA went down like this for the same amount of time.

Last year one of Canada’s biggest ISPs went down for about a day. Knocked out its entire home/biz fixed internet, mobile network, private links, everything.

A bad update on Friday morning that seemed to catch them off-guard when it failed, so response was delayed as their processes were poor for a potentially (and ultimately) enterprise-breaking change.

Their CTO was on vacation and unaware for a while because they were on a dead company phone and figured it was a roaming issue.

Because the towers were up (but islanded), if you had a Rogers phone and tried to call 9-1-1, it would just fail instead of failing over to other networks because the phone saw the tower.

Many biz couldn’t do electronic payments, and any cloud POS knocked out so sometimes cash didn’t work either.

This also knocked out the Interac/Debit network nationwide because they depended on this ISP, even if you used another provider yourself.

https://www.cbc.ca/amp/1.6515869

https://www.itworldcanada.com/article/interac-outage-exacerb...

Our regulator let them redact tons of info in the investigation, which is hilarious because the Canadian or US Transportation Safety Board or US Chemical Safety Board would make the investigation totally open and say “fuck you” to your corporate “secrets” (that everyone should avoid, not steal).

We don’t treat telecom infra like we do other physical infra. And our regulator is toothless.
Whoa. Does it automatically turn on? Note that I can’t get past the lock screen. Otherwise that’s a wonderful idea and I might try it anyway. Thanks!
Hey, that's not to say that NOBODY believed this. Back in the day I was in a programming class with a bunch of non-tech people (at the Accenture training center).

In those days you could impersonate anyone with the Novell networks' "net send" command, because you could enter the originating user ID by hand. So I would find out the number of one of my classmates' workstations and send a message from the admin: "Keyboard unbalanced. Please adjust."

Sure enough, I look over and she's quizzically lifting her keyboard and tilting it around.
that's how I feel about it. Also you see things like this pop up https://deadspin.com/haley-hanna-cavinder-miami-nil-infracti... where a super rich donor met with the twins. Maybe I am completely wrong but I get the suspicion the meeting wasn't just to say hi out of the kindness of the donor's heart.

Thinking about it, would universities sexualize their athletes to sell more and be able to solicit donations? Yes, this violated an NCAA rule but wouldn't surprise me if ways around it are found just like in the past where donors would sell cars to athletes for a dollar. Not sure it would be a positive development for universities.
There's not a good distributed concurrent benchmark in the Techempower Web Framework benchmarks, because the Multiple Queries and Fortunes test programs don't use any parallelism or concurrency primitives to win at fast SQL queries.
https://www.techempower.com/benchmarks/#section=data-r21&tes...

From https://news.ycombinator.com/item?id=37289579 :

> I haven't checked, but by the end of the day, I doubt eBPF is much slower than select() on a pipe()?

Channels have a per-platform implementation.

- "Patterns of Distributed Systems (2022)" (2023) https://news.ycombinator.com/item?id=36504073
The demand for such sites demonstrates that loneliness is a "pandemic" of sorts. YMMV
>The FAA said Friday, Sept. 8, that multiple problems led to the launch explosion on April 20 over the Gulf of Mexico, off the South Texas coast.

What are the odds Elon pushed them to make an unsafe launch to hit his stupid little 4/20 fixation? I'm guessing somewhere around 100%.
No, TPM can be about both – and more.
This would be extremely foolish, considering the rate of ML research. There is no evidence that LLMs & supersized models are the end-state of ML research. In 3 years time, there might be completely new SoA technique that doesn't demand high memory bandwidth, which will completely flip the economics of pricey high-end cards.

It's good they are selling shovels while there's a gold rush, but discarding the rest of your business to focus on a specific shovel that's currently popular may not end well.
Right now we already have a patchwork of ad-hoc, incomplete metro level quasi government bodies in the Bay Area, the big ones being BART and the various other transport agencies.

London reinstated metro level governance 20 years ago and transport is the bulk of its responsibility. It's hard to imagine improvements like the congestion charge and low emissions zone moving forward without that democratic mandate.
> TPMs will happily hand you the keys when you meet a certain condition. HSMs support key migration and provides a secure way to transfer keys from one HSM to another without leaving the trust boundary.

You can create non-exportable keys on TPM's, and there are mechanisms to securely transfer keys between devices.

Granted, doing so is kind of a mess, but nonetheless possible.
Thanks for clarifying. I'm not familiar enough with this organization to either stake a position for or against, but one passing observation based on that wiki page :

> Right-wing groups and pundits, including right-wing Jewish groups, have criticized ADL as having moved too far to the left under Jonathan Greenblatt, labeling it a "Democratic Party auxiliary"

> In August 2020, a coalition of progressive organizations launched the "Drop the ADL" campaign, arguing that "the ADL is not an ally" in social justice work. The campaign consisted of an open letter and a website, which were shared on social media with the hashtag "#DropTheADL". Notable signatories included the Democratic Socialists of America, Movement for Black Lives, Jewish Voice for Peace, Center for Constitutional Rights, and Council on American–Islamic Relations.[179] The open letter stated that the ADL "has a history and ongoing pattern of attacking social justice movements led by communities of color, queer people, immigrants, Muslims, Arabs, and other marginalized groups, while aligning itself with police, right-wing leaders, and perpetrators of state violence.

Always interesting to see entities criticized for being both too far left and too far right.
On a philosophical level I agree with you that it's not the answer. But I don't think contingency planning is narcissistic. Maybe I should define what a typical such plan looks like? To me it is simply having skills to become a breadwinner yourself should you need to. It doesn't need to be more than that. Ultimately however society needs more appreciation of how and why long-term monogamous relationships provide both individual and communal stability, and how the emotional/physical labor of house spousing provides value beyond immediate survival.
Would love to learn more about this - were they created in a similarly expedited timeline? What did that look like?