skysight-inc/HackerNews huggingface dataset:
Recensione realme 12 Pro+ 5G: Innovazione e Fotografia al Top di Gamma

Il realme 12 Pro+ 5G emerge come una stella brillante nel cielo degli smartphone di fascia media, offrendo caratteristiche da flagship a un prezzo accessibile. Con il suo colore Submarine Blue, il dispositivo non solo cattura l'occhio ma promette anche prestazioni eccezionali e una qualità fotografica di livello superiore.
Fotocamera Periscopica e Tecnologia Sony IMX890 OIS

Uno dei punti di forza del realme 12 Pro+ 5G è indubbiamente la sua fotocamera periscopica per ritratti, dotata del sensore Sony IMX890 OIS. Questa configurazione permette di catturare immagini nitide e dettagliate, anche in condizioni di scarsa illuminazione. L'algoritmo MasterShot omnifocale garantisce un'esperienza fotografica completa, elevando la fotografia mobile a nuove vette.
Display Curvo da 120Hz Pro-XDR

Il display curvo da 120Hz del realme 12 Pro+ 5G offre un'esperienza visiva senza precedenti, con risultati da vero e proprio top di gamma. La tecnologia Pro-XDR assicura colori vividi e un contrasto eccezionale, mentre l'attenuazione PWM a 2.160 Hz protegge la vista anche durante le sessioni prolungate di utilizzo, con un picco di luminosità che raggiunge i 950 nit.
Design e Materiali di Alta Qualità

Il design del realme 12 Pro+ 5G, ispirato agli orologi di lusso, combina eleganza e praticità. Il cinturino 3D e la pelle vegana di alta qualità aggiungono un tocco di classe, mentre la lavorazione magistrale del dispositivo testimonia l'attenzione ai dettagli e all'estetica da parte di realme.
Batteria e Ricarica SUPERVOOC

Con una batteria da 5.000mAh e il supporto alla ricarica SUPERVOOC da 67W, il realme 12 Pro+ 5G garantisce un'autonomia di lunga durata, consentendo agli utenti di sfruttare al massimo il dispositivo senza preoccupazioni. La combinazione vincente di batteria capiente e ricarica veloce è ideale per chi vive sempre in movimento.
Conclusione

Il realme 12 Pro+ 5G si posiziona come una scelta eccellente per chi cerca un dispositivo che coniuga innovazione, prestazioni e fotografia di alta qualità a un prezzo competitivo. Se sei interessato ad acquistare questo gioiello tecnologico, puoi farlo tramite il link di affiliazione Amazon qui. Con il realme 12 Pro+ 5G, preparati a esplorare nuovi orizzonti della tecnologia mobile.
Opening up the app store doesn't force you step outside the walled garden.
It's a little grimy, but if you use `pv` instead of `dd` on both ends you don't have to worry about specifying a sensible block size and it'll give you nice progression graphs too.
does it matter?

under what circumstances is it acceptable for your instrumentation to go away? none is the answer.

If the event was caused by the instrumentation going away it's bad. If the instrumentation went away because of the event, that's also bad.
Android is too much tied to Google too. At this point, the best that could happen is for the EU to grow a pair, and ban the US (/Russia/China...) tech companies, especially since there's already a 2015 court decision about that :

https://en.wikipedia.org/wiki/Max_Schrems#Schrems_II
I'm not supportive of Apple at all in this but to say that Android works "fine" without notarisation is a stretch[1].

Apple already has already implemented a perfectly functional balance between security and developers rights on the Mac, they just need to adopt that model on iPhone.

[1]https://www.police.gov.sg/Media-Room/News/20230920_police_ad...
The original point is that europeans were not great at embracing the culture of the people they ruled over, contrary to what Yuval says. He contrasts mongols with european conquests and in my mind, they were the same.
Whatever the CEO said and, much as I tend to not be in the have to deep clean the rental camp, strip the beds and throw the used towels in a pile falls in the pretty reasonable category for me even if I don't do it in a hotel.
Hopefully, it will motivate Apple to make the App Store more competitive. The existence of third-party options will really make them work to make that 30% fee look attractive.

On the PC gaming side, Valve regularly gets developers to abandon their own storefronts and pay their fee instead. Valve has huge market penetration, offers App Store-like services and has invested in a truly feature-complete platform. Because they have all this, publishers like EA and Ubisoft almost have no choice if they want to compete. Their own storefronts completely failed, despite continued investment and even the occasional attractive deal/title.

I really do hope Apple is afraid of these consequences. They will be forced to differentiate themselves in more meaningful ways, and move past their obsession with service revenue and distribution control. If users are able to get a better experience by avoiding the App Store, I'd say that's Mission Success for the DMA.
I am the same, and for me the biggest reason to use rust for this stuff is simply how if i leave projects, I know that the type system is so strict that I know in a few months things should still work even as I just jump in and change stuff. With python projects they just feel like they rot.

Also as copilot generates code for me, if it compiles in rust I know it will usually work well. With python the iteration loop is so much less trustworthy
Depends on the tablet navigation software you use. Orca has a very decent night mode.
The table stakes here is automatic bounds checking. This is something that pretty much every newer language does already, and even several older languages figured out how to do well.

The problem in C/C++ is that pointers don't inherently communicate their bounds, so your options for adding automatic bounds checking are a) fat pointers and consequently (severe) ABI break; b) some sort of shadow memory to store bounds info (ASAN, generally considered inadvisable to use in production); or c) change the language to communicate what the bounds of a pointer are. The good news is that most interfaces will provide the bounds of a pointer as another member of the struct or the function parameter it's part of; the bad news is that actually communicating that information requires a scope lookup change that is hard to get through the committees.
> raised legitimate questions about their non-profit status and lack of non-profit related activity

What is "non-profit related activity"? IANAL but the only justification needed for non-profit designation is not being for-profit.

And maybe their structure with a for-profit subsidiary is up for debate because of this. But you don't get to be non-profit by doing "good stuff" like open sourcing things. You get it by investing all profits back into the business.

Evil Corp for Doing Evil could be a non-profit if it invested all its profits back into the business.
True, although I always had the impression that the violence in large urban centers leaned towards "organized crime" and less "cartel" but that's just my impression.
Is Bun Windows Yet? – Website Tracking Bun's Passed Test% for Windows
Microsoft could still open source some or all of the NT kernel and try to compete for mindset. It's still incredible how much work they put into porting the NT Kernel for some embedded scenarios (you can run it on a Raspberry Pi or things smaller than it) in the Windows 10 lifetime but couldn't seem to understand why more people weren't licensing it more when Linux is cheap as free for embedding. Even when Microsoft went to "free licenses" (still with too many caveats such as type and size of screen attached) the open source appeal was hard to get past.

I'm still somewhat surprised with all of Microsoft's cloud focus and how much of Windows is getting open sourced that the NT Kernel itself hasn't been a priority to win back embedded applications that Microsoft has lost to Linux especially. I certainly understand the massive sunk costs in the NT Kernel that some accountants would see it as too much very expensive proprietary R&D, but it's still interesting to imagine what would happen if Microsoft got over that hump, even if they kept the Win32 userspace and most of the rest of Windows proprietary.
For lottie export there's: https://www.lottielab.com
The problem is that the less-tech-literate people don't recognize the dark patterns. I like iPhones because it means I don't have to worry about my parents' phones. I am not looking forward to the day when all their contacts and pictures are siphoned off because they downloaded the required "ebook reader" via the big download button on a random website.
To what end?

Studios could have replaced the expensive professional writing talent they compete to hire with cheaper and worse writers already, even while staying on good terms with the WGA. Yet they were making a choice to pay lots of money to people who were charging more. There's a reason for that!

Writing is not a cost center for modern production and trimming that cost gets you little except a much higher risk of generating garbage that doesn't work for your audience. Studios pay talent for reliability, consistency, and team compatability -- and that's worth quite a lot to them.

Might generative AI have a place in film/TV writing eventually? Maybe. But it's going to take a lot more than what current LLM's deliver. You're a decade ahead of yourself.

There are mediums that likely are moving towards content generatirs, but film/TV just isn't going to be one of them for a while. They just don't really need what it currently offers.
Fun story: Apple demoed the iPad to Hollywood execs a couple weeks before the release. The Hollywood folks saw all their web properties rendering almost no UI and their video content not available.

I worked for a boutique consulting firm at that time and Warner Bros/Telepictures was our big client. We immediately got calls from a lot of execs and I had a week long firedrill of converting MANY Telepictures properties from Flash (mostly for the video content rendering with timecoded UI updates). They also had a video delivery company that was co-located with AOL fly out to Burbank and fly back with tons of hard drives full of episodes of Ellen, the Tyra Banks show, etc to recode from Flash video to video that could be served with the <video> content tag on iPads.

It somehow all got done by the iPad release and Apple published a top 10 "sites that work great on iPad" page on their site and we had done 4 out of 10 of them. All we had to test on was desktop Safari resized to the screen size they told us it needed to work on.
I created tasktree.co for myself to help with this! It’s so easy to get overwhelmed when faced with a big task, and actually forcing yourself to just break it down helps a lot.
> Call me cheap, but I hate to buy a $30 unless I know I’m going to love it

I've taken to pirating books for this exact reason. If I'm still reading after ~50 pages or so, I'll buy it.

I tell myself that this is no different than sampling a book in Barnes and Noble.
Step 1 would be to identify those in government who accept lobbying from Apple.

https://www.opensecrets.org/orgs/apple-inc/summary?id=D00002...
> programming new editing commands was so convenient that even the secretaries in his [Bernie Greenberg] office started learning how to use it. They used a manual someone had written which showed how to extend Emacs, but didn't say it was a programming. So the secretaries, who believed they couldn't do programming, weren't scared off. They read the manual, discovered they could do useful things and they learned to program.

https://www.gnu.org/gnu/rms-lisp.html
> The gears of EU turn slowly, but grind finely.

What would happen if big companies simply refuse to pay? Will EU put the European employees in jail? Would they put Americans in their jail? Will they do DNS block? Credit card block? Remove apple products from physical store? Many of the EU countries like Germany are export driven and certainly they don't want to close the market.
"The gears of EU turn slowly, but grind finely."
QFT.
Currently saving the day in a data pipeline project which depends on a tool which only exports unescaped csvs. They work very well through the pipeline, Unix split, awk, and then snowflake all support them nicely. One annoying thing is that they are annoying to type and you never quite know if you need to refer to them using octal, hex or what, and what special shell escaping might be used.
This really seems like a post from 15 years ago. In my experience prepaid is almost dead. It's the most expensive way to use a mobile phone and you can get a decent sim only subscription for 5 euro per month.
So you have examples of those proprietary tools? I know quite a lot and integrated with many of them; if you can do code, it’s trivial, so writing a no code solution to do it is usually really easy; I do that for my own consultancy. Just a few clicks and sellable for 1000s$ per client, but not in any mass/saas setup, as then it has to be a lot easier to use and a lot less error prone on wrong inputs when setting up everything. But for me it’s really fast; even faster with LLMs; now my tooling can work with human spec -> my spec language (which is industry and process specific) -> working code, iac, test data, benchmarks and tests.

Do note that my field is quite specific; human spec does not mean some drivel with ‘I want an input box here and a login there’; it’s pretty technical specs with a lot of references to specific proprietary (the tool that’s being integrated with) language.

For me openly sold no code tools are like those ‘billionaires’ that write books and give talks about how to make money; why would I do that if it actually works? I would keep it to myself and make more money, unless, you know, it doesn’t work. Then you make more selling it to many until you get caught out.
Can't wait for the days when bug reports are closed with "don't know why this is happening, the AI did it, can't fix"
That's like RAID0 for streaming - or in a different way like people who backup their drive onto gmail messages, where each file block fits into a gmail message.
How to solve cryptarithms and alphametics (verbal arithmetic) – a tutorial
Luckily enough, population genetics[0] doesn't follow the model[1] of the year 7-B-936 so much as it does https://en.wikipedia.org/wiki/Regression_toward_the_mean .

[0] as many would-be racing breeders have discovered, it's easy to breed the best to the best, but the number of trials incurred while hoping for the best takes deep pockets.

[1] or were the story's names a nod to https://en.wikipedia.org/wiki/F1_hybrid -isation?
And isort, which Ruff also supports.
I've done ETL work with systems that used the ASCII separators. It was very pleasant work. Not having to worry about escaping things (because the ASCII separators weren't permitted to be in valid source data to begin with) was very, very nice.

I'm a Notepad++ person. When I needed to mock-up data typing the characters was easy-- just ALT and the ASCII code on the numeric pad. It took a bit to memorize the codes I needed to use. Their visual representation is just inverse text and initials.
The "reasonable person" tool is really useful here, and not at all unheard of in the US of A.
Is that unpopular? I rarely meet people who actually enjoy wading through the baroque, underperforming forest of footguns that is the pandas API.
> Probably not.

Lmao.
This is related to Antithesis, here is the thread on the original announcement :

https://news.ycombinator.com/item?id=39356920
so many of these now, haha

"Perplexity's free product uses its Perplexity model based on OpenAI's GPT-3.5 model combined with the company's standalone Large language model (LLM) that incorporates natural language processing (NLP) capabilities. Perplexity Pro has access to GPT-4, Claude 3, Mistral Large, and an Experimental Perplexity Model."
I hope you don't get me wrong as well. I and others are pointing out to you that being shy and undercover (so to speak) involuntarily mixes you in with actual shady folk (who keep information vague for darker purposes).

I've bookmarked your project and will keep a look on it. I don't mind paying for convenience if the product works but for now I'll just monitor and see how it develops.
Not sure why this is downvoted, since this has been a working legal loophole for decades. For example, 1cP-LSD is completely unscheduled in the US right now, despite breaking down into pure LSD once consumed (at only slightly reduced potency). It's already banned in several other countries though.

Though, I am sure prescription drugs will always be legal with a prescription, assuming the prescription itself is legal. Even if this were counted as the Schedule I drug LSD that can't be prescribed, it'll probably get moved to Schedule II or III before any actual prescriptions are given out. So anyone who ever gets such a prescription in-hand will always be safe.
Yes, I've done this for my clients. Any of the leading LLMs can power the natural language part. But SQL is typically too open-ended to integrate into a product. You'll need a more constrained query interface to hit 100% accuracy and deal with access control.

Basically, instead of text-to-SQL you do text-to-function-arguments, where that function does the analysis and the LLM translates natural language to your DSL instead of SQL or raw DB queries.

Shoot me an email if you want to explore this further (website in profile).
It'll be about two "hand's width" (20 degrees) to the east (left) of the Sun during the eclipse. While you may not see it bare-eye, binoculars should be enough to show it when totality is on. https://www.astronomy.com/observing/a-comet-will-be-visible-... has an indicative view.
There is an inherent structure in language. Embeddings do not and will not capture it. It's why they do not work. Their ability to form grammatical sentences with high accuracy is part of the illusion that you have been understood.
I never bought an Apple product.

Before the iPhone, because I never liked the Mac UI with the bar at the top and the apps menu over there and I didn't need an iPod.

After the iPhone, a personal boycott because of the walled garden. It was not immediately clear what the endgame would be but it was pretty clear that this level of control by a single corporation on a large part of the world is a bad thing.
I often use them in compound keys (e.g., in a flat key space as might be used by a cache or similar simple key/value store). IMHO, they are superior to other common separators like colons, dashes, etc. because they are (1) semantically appropriate and (2) less likely to be present in the constituent pieces of data, especially if the data in question is already limited to a subset of characters that do not include the separators, which it often is (e.g., a URL).
I noticed that many of those websites abuse the debugger functionality, freezing the browser whenever someone tries to open the developer console. Did you find a way around that?
Q4 2023:

greater london: ~£2600/mo (~US$3200)

inner london: ~£3100/mo (~US$3900)

outer london: ~£2200/mo (~US$2800)

https://www.rightmove.co.uk/news/rental-price-tracker
> My peer not being tech-savvy might install stupid things from stupid places and it might be a problem.

Yes, and they may also respond to phishing emails served up by the Mail app. Do your peers consider you responsible for fixing that too?
Need to be better than an average expert. Humans are general intelligences since you can train a human to do anything, so a general intelligent machine needs to be able to be trained and become equal to human experts, matching an average untrained human isn't worth much.
Read recital 62 on page 16 of the DMA. Then read Article 6(4) on page 35.

Gatekeepers are allowed to gatekeep as long as it is fairly applied. That includes charging money for access to the platform and to install software.

Article 6(7) on page 36, says that once software is installed, access to the system services, APIs and ABIs must be free of charge. BUT THAT IS ONLY AFTER THE SOFTWARE IS INSTALLED. You are conflating two different things.
this domain name is bit hard to spell, they they got a short one: pplx.ai, LOL
Oh, absolutely, it's just kind of strange for me that nobody has bothered translating the SQLite C code to Rust, and Golang's community did.

Though I'd guess tools like `c2rust` don't produce idiomatic Rust code and it can be a lot of effort to turn that into proper Rust. That's likely the biggest reason.
A lot more info about how it worked here https://blog.esciencecenter.nl/king-man-woman-king-9a7fd2935... and an interactive demo https://dash.gallery/dash-word-arithmetic/ (blog post about the demo https://medium.com/plotly/understanding-word-embedding-arith...)
What kind of compatibility guarantees does this make? That's one of the key benefits of protos: I can update clients to add new fields and they can still talk to servers with previous versions of the schema.
You realize how poor Android users are? There's no money to be made on Android, period. Many companies tried, all of them failed.
I'm interested in applying Elm principles but in a standard React and Typescript app. Anyone have experience doing this?

It looks like redux has some inspiration from Elm, but I think the way effects are handled in Redux isn't as predictable as Elm.
If a paper attacks plus and minus it ought to cite this one.
You don't have to assassinate the whistleblower, but merely extra-judicially harass them as much as physically possible and let whatever happens happen.

Boeing may not have needed/wanted him dead, but managers have done plenty of petty bullshit retaliation before, for far far less.
What applications are necessary to call it a general purpose computer? A web browser? A self-hosted development environment? I don't think there's a bright line between what applications a Playstation or Xbox has versus what a phone has.

And it's not like the iPhone is the only phone you can get. If Apple is restricting such a core component of our lives, you can simply buy non-Apple products.
Why are residents more deserving than tourists?
> other gatekeepers

Because they are not "gatekeepers", a term defined by the DMA which focuses on specific sectors.

Also the video game ecosystem is pretty healthy these days, with nearly every major game available on Windows at launch or a few months later. As a matter of market competition, letting you hack your game console or smart TV or whatever just isn't that relevant.
Human nature won't change.

How companies work, how humans interact, how users behave -- I don't see how that'll change anytime soon at all.
> it's just that in practice the C++ community has always chosen performance over any other concern (https://research.swtch.com/ub).

I don't know how much credence to give to this idea. It seems to me this specific this critic always comes from (designer of) languages with very different goal in mind.

If you ask a die hard C fan, they will point to things like exceptions handling, constructor and even type conversion as example where C++ is not making design decision purely on performance.
It seems that from it's inceptions, modelisation power and type safety where paramount to C++ and it's design, right along performance.

In particular here, it hard for me not to read simply in the article you linked that the authors doesn't like the compromise that the C++ committee has chosen... Notthing really objective.

> you can't change how a whole community behaves, these articles by Sutter and Stroustrup feel like a Hail Mary play to address the valid concerns raised by multiple organisations around memory safety.

Maybe i have a different read of the situation. But we are talking about the same community which produced C++11, introducing both a memory model, thread semantic and lambda functions. And since then have produce pretty significant advance in the language every 3 years.
The C++ community is more deliberate in its approach to solving issues, taking longer to make sure that the proposed solution actually address the correct problem.

> I think we'll find out in 5 years if their optimism was well founded.

True.