skysight-inc/HackerNews huggingface dataset:
For a modern example, there's seL4. I believe it does no dynamic memory allocation. It's also formally verified for various properties. (Arguably?) its biggest contribution to kernel design is the pervasive usage of capabilities to securely but flexibly export control to userspace.
I don't think you grasp the point.
Honest question folks. Like Sublimation or reverse sublimation?
> They should have been drafting absurd standards centered around their own servers, and taunting Google into adopting it.

It's hard to imaging you sincerely think this would have been better. It seems like you want them to engage in dishonesty.

> But instead they played high and mighty, and now they have to contend with the law.

iMessage isn't going anywhere. They're just going to add RCS support in the same way that SMS is supported, because now there is momementum for carrier support. This is really a storm in a teacup.
> Just use Firefox.

That approach doesn't work well given Firefox's established track record of just imitating Chrome, and then getting rid of the prior (and better) way of doing things.

XUL extension developers are well aware of this problem, for example.

We've seen it happen repeatedly with Firefox's UI, too.
That's just one more vector for targeted spam and illicit data collection. I prefer to keep my exposure to a minimum.
Your choices are

1. Betray management trust.

2. Betray individual trust.

3. Quit.
`std::source_location` does not have to be a function argument.

It can also be used in an NSDMI, in which case it ends up being instantiated whenever the NSDMI is used, i.e. at every aggregate initialization site.

https://godbolt.org/z/v5rhjqdbY

Of course, that doesn't really allow you to do anything that you couldn't already do in the with a constexpr function (see below). In particular, such a struct can be used as a non-type template parameter, but a `template<NSDMI sloc = NSDMI{}> void foo();` will merely report the line where the template is defined, not where `foo` is called.

// Results in a compile-time constant, so can be used everywhere where __LINE__ could be used.
constexpr int line(std::source_location loc = std::source_location::current()) {
return loc.line();
}

So std::source_location can fully replace __FILE__/__LINE__, but it cannot always replace the macro where __FILE__/__LINE__ were being used.
The MLS protocol proposed by Google provides a cross platform path to E2EE.

https://thehackernews.com/2023/07/google-messages-getting-cr...
It's making content blocking extensions work the way they do in Safari. The benefit is security, as it allows for a massive reduction in the amount of extensions with unlimited powers to steal authentication cookies, MITM ostensibly secure connections, etc. The downside is a loss of flexibility in what ad blockers can do (though Safari ad blockers seem to get by well enough). It's unclear whether it's an improvement or reduction in power efficiency.

In typical internet mob fashion Apple doing this is considered doubleplusgood, Google doing it is them being evil and trying to kill the Internet.
The backup option is Android-only.
Anecdotally, quite well.

I’ve been using it to store large binary files with occasional small deltas to them (think Google account takeouts), and I’m surprised how well it manages that.
IMHO, you can tell that Google's also at fault because there's no Android messaging besides SMS. Android users outside of US (where SMS is not used) have to rely on Whatsapp/Line/Kakaotalk/Facebook Messenger.

If Android had invested in that, they would have something that's very commonly used in everywhere except US.
For me this style brings back memories of bad Windows-style interfaces, the wallpaper of the background I was looking at as I was trying to delete Bonzi Buddy.
We also have a writeup on the features and workflow if people want to dive deeper: https://about.xethub.com/blog/xetdata-scale-github-repos-100...
https://cml.news/g/cml-general/topic/89024886#10533

You'd be surprised what shortcuts budgets end up creating...

Source: A decade+ on film/photography sets as DIT.

p.s. Work on macro phantom stuff. You'll see.
I 10000% agree.
> Both iMessage and Webkit have to accept requests from unknown sources that can contain a wide variety of content type.

Lockdown mode rejects unknown sources, and doesn't autoplay content types.

So they don't have to any more, it's up to the user.
Amazon and Hyundai launch a broad, strategic partnership
Excited for the Windows control panel to be rendered in _three_ different UI paradigms in five years time, I guess.
> The situation was only resolved after Google acquired Jibe Mobile (the biggest player in developing RCS server/client applications for carriers) and basically created a single RCS-client/server implementation using their Android Messages app and a Google-owned server.

Thank you for highlighting this. This important piece of information often gets lost in the "green bubble" discussion.

Google has significant incentives for pushing RCS for more than one reason.
Yup. The shaming campaigns are just a way to play the moral high ground in their effort to replace an actual messaging standard with their own proprietary service.

SMS is certainly long overdue to be replaced, but I don't want it replaced with a Google service. Hopefully the iPhone adoption will be some incentive for carriers to implement RCS properly.
There isn't E2EE in the RCS spec, but there's in-transit TLS encryption
Leopards don't change their spots.

If your team is not internally motivated, heaven help you.
In my example, passing in none returns a value, not an error, so the intent is that it makes sense for that API to handle the None case in normal operation. However, in situations where the compiler can infer the argument is never None, it can remove the branch.

(Yes, that function should probably handle overflow explicitly, but that wasn't the point.)
Alas, it seems that in practice humans are often motivated by something "short, quippy, and wrong" [0] over something with more details like demarcating areas of ambiguity.

So the "better" sources have an uphill fight to be influential.

[0] https://www.youtube.com/watch?v=wmVkJvieaOA&list=PLJA_jUddXv...
Israeli private detective sentenced in US to >6 years for hacker-for-hire scheme
F# is the only language I looked at that has a really powerful unit system. The author of that unit system wrote his PhD thesis on the subject [1]. Numbat's type system is actually pretty close to what was suggested in that thesis (in contrast to F#'s system, which is based on units — not dimensions).

[1] https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-391.pdf
The startup/“entrepreneur” contingent on hacker news generally considers anything that makes money inherently good, aside from extreme immoral cases.

There is a subgroup in there that is especially interested in low effort ways to make money, with the ultimate goal being to scrape off enough of the money flowing around to either live a good life or get rich.

In summary, the middle-man approach is so interesting on hacker news because a significant portion of the readership aspires to be the middle man.
> They should have been drafting absurd standards centered around their own servers, and taunting Google into adopting it. They could have even charged a license fee for the software. But instead they played high and mighty, and now they have to contend with the law.

Isn't the situation in the EU that they're looking to force Apple to allow others to use the iMessage protocol? So why would Apple work on getting Google to support iMessage, when Google is putting in work to get access to it?
Microsoft is bringing its AI Copilot to Windows 10 soon
yes - I thought of that but figured that it didn't matter for figuring out what tomatoes would be best.
Yep, a great example: https://dessalines.github.io/essays/why_not_signal.html#phon...
Well popular excuse we have when stopping to get coffee at a shop/drivethru is that we are running late. Just implying no time to make coffee/breakfast at home.

> It is just latte.

Maybe you deserve Ferrari. However for lot of us, "deserve" is used for innumerable trivial/unnecessary things in life.
> In typical internet mob fashion Apple doing this is considered doubleplusgood, Google doing it is them being evil and trying to kill the Internet.

Apple has neither Chrome's market share nor Google's advertising network. Context matters.
I have generated some toy experiments for a monthish - gpt to generate code to do something - and did generate some web frameworks and pipelines - I did not have it generate a database - although that may be something to try next.
I wanted to it generate circuit diagrams and molecules

My experiments
https://www.qualitycontainers.io/
https://github.com/msrobot0/llmlexperiments/
It's rather high-IQ technobabble, which is somewhat less common.

It's not gibberish. For the most part, it's correct. It's just not very interesting. He's convinced that certain coincidences are meaningful, and they're just not.
A cashier's check doesn't.
Decoding Docker's Local-Kv.db
Is Nerves a Real-Time Embedded System?
Oh right. I have a cellular apple watch too but I've just forgotten about that.
Carry a UV meter and tell me they do their job!
Ask HN: What book(s) are you reading? Or have recently read?
Or maybe you listen to books? That counts as well.

And, would you like to see this asked regularly? Monthly? Quarterly? Or never again?
Yep, back when we still believed the lie of "Don't be Evil", and before the tech darlings of yesteryear ruined society by turning all of technology into a surveillance panopticon just to sell us a few more ads.

I hate the future we inhabit compared to what could have been.
You can disable read receipts in RCS just like you can with iMessage: https://www.makeuseof.com/how-to-disable-read-receipts-rcs-a...
Some of those new projects are directly applicable to potentially improving Wikipedia. Some.
Huh, that was it. Changing to NextDNS already works. That's a weird one. Thank you for your suggestion!
I started paying for Signal when they rolled out the subscription feature at the $5/mo plan and after reading this post, I just moved to the $10/mo plan because of how much I value this service since I use it every day. I hope other users subscribe if they are able to do so.
FWIW, I'd guess that the 2 sliders with labels like those, and a square or other shape, matches very closely some GUI and pedagogical graphics toolkit tutorials upon which the LLM was trained (in which a slider rotates the shape).
"Film lights" are pretty likely to be 5kW+ arc lamps. Lighting fixtures definitely include filters to keep the UV out of the beam, but film still loves giant HMI fresnels.
First, stage lighting is already uncomfortably hot for anyone working under them for any length of time.

Second, these weren't ordinary stage lights. These were lights for use outdoors to simulate natural sunlight, which is much brighter (and hotter) than what you'd normally use indoors.

Third, they were probably positioned too close, and left on for too long. Just a guess on this one.
> Despite losing a small part of their functionality, ad blockers will still be able to offer nearly the same quality of filtering that they demonstrated with Manifest V2.

If some mechanism or capability is no longer possible or is made infeasible for adblockers to control, then ads will simply switch to using that mechanism. It's a pretty obvious outcome. You cannot simply give just an inch with adtech.
> It's not to make you smarter or more able to solve complex problems, it's to let you focus and cram on large workloads for far longer than you otherwise would be able to. Basically, quantity over quality.

imo, that's kind of a dangerous assertion. I'm an adult in his thirties. I take Adderall because I have a genuine loss in executive function at times. A small dose of Adderall (read: less than 2mg) puts me back on track where I can deeply focus, understand, and interpret things. There's certainly people I've seen abuse the drug, but I don't think it's safe to say that the results of Adderall are quantity over quality and frankly the abuse of the drug often doesn't occur in a vacuum. It happens in people that aren't very substance aware in the first place.
A Strange Tape Player
What's the point of this? How is Amazon going to make Amazon level impact/money here? It's just another online portal to buy a car. Feels like some VP had a pet project and ran with it.

I bet the dealers still get to upsell you on body undercoating or whatever before the sale is finalized. Is amazon going to handle loan approval? Or do they think that people will just up their Amazon Prime chase card limits to 40K and pay for it the same as box of paper clips?
> Don't take them personally

No. They are meant to manipulate me personally, as well as other persons I care about. I will take them personally.

More broadly, I don't have to excuse bad behavior just because somebody's making money off it or because it makes some too-narrow metric go up. Yes, it's a complex and imperfect world. But to me that's a reason to work harder to make things better, not a reason for people to say, "fuck it" and make the world worse.
Us industry professionals that use these tools beg to differ

https://cml.news/g/cml-general/topic/89024886#10533
It includes staff, but not new stuff. The new stuff seems to be mostly things not directly related to Wikipedia, like funding third-party projects or causes. I'm trying to be politic here: many people don't like the projects they are funding with donation money, and others just don't like that they give money to any projects, and other people don't like that they keep the banner up after they've paid for salaries and keeping the lights on.
Exactly! I think that'd be great.

You can disagree, and it is unlikely that you'll change my mind.

A nice compromise is what my old Acer laptop does. You can disable the windows public key, and put your own in place if you want to run a CA, or you can just tell it to trust whatever boot loader is currently installed (and lock it to that boot loader, so now it won't boot Windows or even Ubuntu, but it will boot the Linux or BSD you installed). You can also disable the security checks if you want to.
There's a minimum distance of like 10-30ft with these lights. They're also uncomfortably warm, prompting humans to leave after a while but not airplanes.
Please let users be able to disable RCS support. One nice thing about iMessage is that lacks spam. It is the only platform where i don't get spammed by bots.
No; the iPhone launched with data plans. It just wasn't unlimited, nor were the texts. Sending an iMessage cost a lot less than ten cents of data; you could send/receive a lot more of them within your plan without overages.

(IIRC, my plan with Cingular didn't have any texts built-in, so they were 10¢ a pop, in each direction. I could send many thousands within the data plan's couple of gigabytes.)
I've had fun with psychedelics, I also honestly consider they have improved my life.

Yes the trip can be lots of fun, but really, "fun" is widely available once you cross the line and take drugs. MDMA is fun. Amphetamines can be fun. There is no scarcity of "fun" here and I have no issue admitting I've taken those to the possible detriment of my health and for fun.

The difference is that if I had to skip the "trip" part of psychedelics and retain the rest, I'd still do it.
Previously: "Missing windows discovered on U.S.-bound plane after departing London" [0] (125 points, 91 comments, 6 days ago)

[0]: https://news.ycombinator.com/item?id=38221121
It's possible in the US, but it's getting very difficult. I don't know anywhere you can buy or or borrow a DID with Monero anymore. Looks like they got to Telnum recently.

You can still buy a SIM, a prepaid PIN, and a phone with cash, but you'd need to pay a non-correlated person to be seen on CCTV to do it, at a non-correlated time, and hope they don't just take your money and leave you nothing at the dead drop.

Then there's the hassle of setting up the account in a way that's not correlated with your location, normal waking hours, etc.

All of this could just be avoided if Signal did the right thing.

But they won't. Ask yourself why.
It's not the first time.
I agree, though "works" and "truth" sound a bit optimistic to me.

Let's say you'll probably improve on the accuracy of your picture, if you take more different sides of the story into account.
Ask HN: How YouTube stores so much data?
There are so many videos uploaded each day and each video is stored in higher resolution like 4k, 8k. It would be processing massive amounts of data . How is it able to do this ? Will Youtube run out of space in future?
Android's improved memory on 1B+ Devices: The latest ART update
I'm not asking if they are up, I'm asking if they are up 90%.
I'm afraid that the only incentive for carriers to invest anything into RCS would be being able to charge for it or use it as a way to lock in their customers.

As antiquated as SMS is, at least all carriers support it, and people largely don't need to worry about their existing conversation threads being interrupted when they switch carriers.

I believe that that's not true for RCS at least for group conversations.
Interesting read. What did you find easier about using GCP's log tooling for your internal system logs, rather than the OTel collector?
No, we do not have aggregate types in Numbat yet. But it is definitely something I would like to support.

Note that it is possible to construct a type system solution to this problem (vectors/matrices with non-uniform units). A colleague of mine has an excellent talk on this: https://www.youtube.com/watch?v=SLSTS-EvOx4

By 'Scalar', in the document you referenced, we mean a dimensionless quantity. Not a scalar in the scalar-vector-matrix-tensor sense. Maybe I should rethink that notation.
Can LEDs be used to create the same brightness without the heat?
Yeah. My point was though beyond random controlled trials we actually understand melatonin at a really fundamental level, and it’s not just that we understand it, but we identified it in as far as I can tell all vertebrates. That’s stronger than RCT’s. It’s like questioning we know whether blood infusions are actually effective at treating blood loss.
Who would be in charge of sunsetting such a thing?
Hahaha loved this! Awesome idea
Thanks for over-analyzing my comment. $1/year, $2/year, $5/year, is all insignificant in the wide array of things I pay for. Sure, I'd pay $10/year for Signal as it is today if they really needed me to. And I never said to make payment mandatory. You're just way over analyzing a simple comment.
6.9 dollars!

Cheeky my friend
So what was the deal with Android users complaining about iPhones not supporting RCS all this time, when it's not so universal among carriers to begin with? Not to mention how many people just use WhatsApp instead.
Assuming you’re interested enough in the content to actually care about subscribing, using single-purpose email aliases is the best way to handle these two problems. For the rare thing I want to subscribe to, I have a unique email and tuned subscription preferences. I can turn off the email if I’m done with the content and not worry about trying to figure out how to cancel the sub.
Regarding users treating the chatbot like a search engine bar,

>Avoid using this type of prompt when working with AI bots like ChatGPT. While search engines perform best with keywords, AI bots need more context to understand what kind of response or output you’re looking for.

Just a few days ago in another thread I interacted with another user who was complaining of how ChatGPT hallucinated an incorrect response for the origin of the term 'bhangmeter'. I got a very accurate response myself[0], and noted that their shared chat was this 'keyword style,' staccato fragment approach[1]. I usually ask ChatGPT questions conversationally, and with that approach I got an accurate result.

I wonder if / suspect that one reason people seem to have such varyingly different impressions of overall response accuracy with ChatGPT comes down to different prompting approaches. If you don't talk to ChatGPT and just bounce keywords off it instead, you're not using it as designed, and it seems to result in less accurate responses. If you talk to ChatGPT like it's a simple and stupid computer search, it responds to you like one. We're kind of forced to personify these tools a bit if we want the best results.

[0]https://chat.openai.com/share/66788bbc-5c2e-4e0d-9a5d-370b2c...
[1]https://chat.openai.com/share/8e9caf23-158b-498a-9261-7f257f...
There's definitely top-notch software and security engineers making well north of £150k in the UK. As you go up in levels, it's indeed a small set of people, but FB / Google comp for a top L7 engineer working in the same space as Signal engineers can be $700k+ in the UK. Just have a look at levels.fyi, and you'll see that even finance will pay over $500k in London. Furthermore, given how small the group of people are at the top of these companies, very few will self-report their incomes publicly, which is why you'll rarely hear about the engineers making $1M+ – but those cases do exist.

The people behind Signal pioneered end-to-end encryption, and as is pointed out in the blog post, there's still a lot of novel cryptography development involved in building a privacy-first messenger. You can't do that without top-notch talent.
> Moreover, we encountered some rough edges in the metrics-related functionality of the Go SDK referenced above. Ultimately, we had to write a conversion layer on top of the OTel metrics API that allowed for simple, Prometheus-like counters, gauges, and histograms.

Have encountered this a lot from teams attempting to use the metrics SDK.

Are you open to comment on specifics here and also what kind of shim you had to put in front of the SDK? It would be great to continue to retrieve feedback so that we can as a community have a good idea of what remains before it's possible to use the SDK for real world production use cases in anger. Just wiring up the setup in your app used to be fairly painful but that has gotten somewhat better over the last 12-24 months, I'd love to also hear what is currently causing compatibility issues w/ the metric types themselves using the SDK which requires a shim and what the shim is doing to achieve compatibility.
Designing vector embeddings for multitenant SaaS applications
>>> 1 month -> seconds
= 2_629_746 s [Time]

Just playing around with this and really enjoying it.
I agree with your intuition on the latter being more likely. And Google won't care about the minority of power users they lose. They've been outwardly hostile toward power users with Android for years.
If you're filming at high frame rates the flickering might become apparent.
Which is why they can, and should, be legally mandated. The EU has taken appropriate measures in the hardware space, maybe next we take it to the digital realm.
Basically N/A
iOS 4 :
https://i.imgur.com/3LIpvX9.png

iOS 5 (introduction of iMessage) :
https://i.imgur.com/v2Wths4.png

iOS 7:
https://i.imgur.com/7k8QL3z.png

Yes, it was green before, but it didn't look so vile. Since the redesign of iOS in 7 the difference of green vs blue is a difference in legibility.
Wildcard Subdomains for Multi-Tenant Apps on AWS Amplify Hosting
IS there an advantage to snorting it? Does it not damage the nasal passages?
Agreed, at this point I don't believe the "privacy" aspect of Signal's sales sheet means anything. Most that I know use it primarily because they can have clients on all platforms, including desktop.
> You're not adding these people to WhatsApp

So far, yeah I have been. Android users don't seem to use RCS for anything advanced, they use WhatsApp. Anyway, iPhones already let you toggle MMS, so RCS might be togglable too.
The issue with source_location is that it cannot be used in a macro, what I generally want is something like stack_trace::parent( ) so that assert like macros can report the location of their caller and error, not the location of the macro
So if you suspect that you took a "smart drug" and it is a placebo, you get smarter. Got it.