skysight-inc/HackerNews huggingface dataset:
What about any or all among of their contacts, messages, docs, notes, schedules, photos, apps, app contents...?

> How screwed are they if everything was in iCloud, vs they were using 1Password/{own,next}Cloud/Evernote/Meta/Dropbox/web apps...?

That would be a more appropriate picture.

> How screwed are they

Not much. Annoyed maybe but as long as they have access to their email and phone number they can reset their passwords.

What about the other way around? If a person broke their Android phone and a friend convinces them to move to Apple? You could argue that then they may have everything in Google and that they could log in on an Apple device with their Google account and use Chrome and Gmail and whatnot, but then they'd be storing everything in Google.

What if Google sunsets a product? Or Google unilaterally decides to close their account overnight with no human in reach for support?

I'm all for interoperability. I do get the risks at hand. But the hodgepodge of separate solutions forming a duct-tape held system is hardly usable for the "mere mortal", let alone integrating the together in reliable ways.

People want technology to disappear so they can go on with their lives and do stuff that matters to them (which integrating platform-independent third party solutions is not). So "all eggs in same basket" is an extremely valuable feature for most.
It's ironic that you suggest they should not speak for the whole world, and then use your own personal opinion as a stand-in for what you think should be the whole world's opinion.
> You say "the thought is what matters" - this is 100% true, and "the thought" has a "cost". It "costs" an hour of sitting down and thinking of what to write to express your feelings to someone. That's what he is saying is "proportional" to love.

So if you sit down and thinking of what to write to express your love to your mom for two hours, then you love your mom twice than the person who only sit down for one hour loves his mom?

It's what "proportional" means. Words have meanings.
Prototyping tech is one thing; making it a widely adopted success is another. For instance, Apple was the first to bring WiFi to laptops in 1999. Everyone laughed at them at the time. Who needs a wireless network when you can have a physical LAN, ey?
The designer of gleam is trying to make a linter unnecessary, by not having extraneous language features that need to be discouraged.

Guess it's not working 100% if someone feels this way! However, I would say that since the compiler/LSP knows the full type of every function it should be possible to have a code action that says 'annotate the type of this function for me'.
I know I'm repeating my self (it must be my third comment on HN about this topic), but this does not match my experience at all.

DuckDB will error-out with an out-of-memory exception in very simple DISTINCT ON / GROUP BY queries.

Even with a temporary file, an on-disk database and not keeping the initial order.

On any version of DuckDB.
A while back there was an article circling about how Spotify has their own contract musicians and how they are pushing "fake" bands made up of these musicians in their playlists. Same reason. With AI they don't even need those musicians.
What is the market share among people who buy and use password managers?
Most Important Apps

- Amphetamine: A powerful tool to prevent your Mac from sleeping or going into standby mode, useful for extended work sessions.

- Rectangle: A window management app that helps you organize and snap windows to predefined areas on your screen. (Note: This functionality will be built-in with MacOS Sequoia.)

- Appcleaner: A utility for thoroughly uninstalling unwanted apps and cleaning up residual files, ensuring your Mac stays clutter-free.

- Datagrip: A robust database manager by JetBrains, providing advanced tools and support for various database systems.

- Oh My Zsh: A delightful, open-source, community-driven framework for managing your Zsh configuration, and enhancing your terminal experience with themes and plugins.

Nice To Have Apps

- Anydesk: A remote desktop application that allows you to access and control your Mac from anywhere.

- ChatGPT Official App: The official app for OpenAI's ChatGPT, providing convenient access to AI-powered conversations.

- Goodnotes: A digital note-taking app that's great for iPad users, offering seamless cross-device support for handwritten and typed notes.

- Notion: A versatile workspace app for note-taking, task management, and project collaboration.

- OpeninTerminal: A handy utility to open your terminal directly from Finder, saving time for developers and power users.

- Postman: An essential tool for API development, testing, and documentation.

- Termius: A secure and versatile SSH client that supports remote access to servers and network devices.

- Grammar Desktop: An application to enhance your writing by checking grammar and style.
In the context of https://xkcd.com/2904/ :

Some languages have a distinct grammatical mood[0] for expressing wishes, curses, etc.: things that the speaker would like to pass but may or may not. (here are the dynamics, I think I've set the right initial conditions, but let's integrate them forward...)

Other languages have a distinct grammatical mood[1] for expressing things that, as day follows night, are certain to happen: (here's the Lagrangian, and there's the attractor)

In these senses, בס״ד could be viewed as a syntactic marker for the optative, somewhat like, but much shorter than, "forward-looking statements are provided to allow potential investors the opportunity to understand management’s beliefs and opinions in respect of the future so that they may use such beliefs and opinions as one factor in evaluating an investment."

[I am bitterly disappointed that זב"שך is outmoded]

[0] https://en.wikipedia.org/wiki/Optative_mood

[1] in HWC (alas, it has no wikipedia!), "bumbai" can be used for prophecy: "You stay X, bumbai Y" is IIUC: "if you continue to do X, Y shall come to pass."

Lagniappe: https://en.wikipedia.org/wiki/Hawaiian_Pidgin#/media/File:Ha...
There's no shortage of technical info on the internet

Right, but last time I checked it was behind pages of seo bullshit. I suspect many of us still have that inertia since our learning age, so knowing where to get information feels natural, while in reality it’s knowledge aquired with years or decades. Imagine forgetting all you know and trying to figure out the learning meta of that medium article. Multiply it by what google “search” is today. You’re basically screwed.
> somehow sleeping through the loud fan noise

Sometimes white noise helps with sleep, so this may not be that big of a surprise.
Try search.marginalia.nu (free) or kagi.com (paid).

Both prove that it is very much possible to come up with better rankings than Google do.

Googles problem very much seems to be that quote by Upton Sinclair that “It is difficult to get a man to understand something, when his salary depends on his not understanding it.”

search.marginalia.nu and kagi.com have nothing to gain by sending people to websites that result in ad impressions for Google so for them it is a whole lot easier to rank fairly.

Also without this incentive it turns out that the feature everyone asked Google for - personalized blocklists - wasn't as impossible as googlers have told us over the years.
As a user of a package, you see the signature including the return type in the generated documenation and in your editor through the LSP which is part of the core language, so it's not really an issue.

But I agree that specifying the returns explicitly is a bit nicer when reading the source, don't think it's a big issue that it's optional though.
Generally the advice is that public functions should have type annotations, and private functions needn't if you don't want to. But I could see arguments for either actually. Sometimes it's a bit of an annoying overhead if it's obvious what the function returns, and it certainly helps make prototyping code feel nice, especially since everything's typesafe anyway.

As I said in another comment, as the compiler knows the type of everything, it would be easy to have the LSP overlay the type (or annotate it into the text via code action for you).
> ...that is what police and other government agencies interested in operating IMSI catchers exploit.

Is encryption really significant to whether or not the police are able to monitor cellular phones? As bandwidth is already centrally allocated, there is a limited number of legal cellular network operators, and a competent authority could already compel (indeed, could have already compelled) mobile operators to provide master keys and diversification information under the Snooper Charter 2016[1].

https://www.legislation.gov.uk/ukpga/2016/25/
On the basis of not having information, cos all this occurs out of sight, you believe this is not the case. Ok.
> fwiw they're regarded as a very competent police force

That's not at all the reputation they have. They've been acting as an extension of the copyright lobby for years:

• https://torrentfreak.com/new-uk-police-unit-announces-two-ar...

• https://www.vice.com/en/article/bvn4nw/cops-arrest-3-people-...

• https://www.cityoflondon.police.uk/news/city-of-london/news/...

There are probably hundreds of instances of them doing stuff like the above, that was just the results from a quick search.
Why would there be a difference in reporting in the City vs the rest of London?
Freeware replacement for AppZapper: https://freemacsoft.net/appcleaner/
yes, but that wasn't white noise I assure you :-D
Ask HN: Fundraising, why do investors make companies pay for their legal fees?
When I was fundraising for Tindie, we had to cover our investors legal fees. For first time founders this norm can be a shock. I know it was for me. Having been a few years since I've had to fundraise, time to kick this can.

Why in the world do startups have to cover the legal costs of their new investors?

Please tell me there is a good reason for this ... bc all I can think is that it is to pad their returns...
Computing for Social Good: Research
I got a 3-character domain, rio.hn, just to spell my name as an e-mail (using the @ as 'a' :)
Here are some game characters, I did with POV-Ray, and it was great for such things!

https://www.masswerk.at/JavaPac/LostInMaze-FamilyPortrait.ht...

(See the link at the bottom for the game, yet another Pac-Man clone. Mind that pixels where still bigger, then.)
This was my take from the presentation as well, immediately thought of your feature. Will be interesting to hear your take on it once the details have been made available and fully understood.
Works fine on Firefox from a custom Android ROM through a VPN here. Last time I checked a post where people complained about Cloudflare, even Ladybird for Android made it through. You need cookies and Javascript, but that's all you need to pass the technical checks it seems.

Cloudflare likes to block things like Tor and CGNAT because of the abuse and unidentifiability those networks provide, and maybe there's a filter on some enemy states set up by the British government, but they really don't seem to care all that much about what you're running on your phone. Blocks seem to be largely network-based in my experience.
You can by having an attestation of the signed software components up from the secure boot process, and having the client device validate said attestation corresponds to the known public version of each component, and randomize client connections across infrastructure.

Other than obvious "open source software isn't perfectly secure" attack scenarios, this would require a non-targeted hardware attack, where the entire infrastructure would need to misinterpret the software or misrepresent the chain of custody.

I believe this is one of the protections Apple is attempting to implement here.
With Spotify earning only 30% what’s their incentive to not push for generating and getting 100% if the people will listen.

(Keeping in mind actual artists see a small amount of that 70% anyway so it’s more an argument about paying labels)
Spain, the Paris Commune...

The problem with anarchism is never infighting it just wasnt good at defending itself from external military threats.

Stalinism on the other hand, was a perfectly crafted machine for dealing with external military threats, but wasn't very nice to live under.
You mean like saying the US is the cause of the Shia-Sunni hatred?
>paid peer review

What? Elsevier doesn't pay reviewers either.
I created some AI Audios based on ChatGPT/ Suno / Midjourney / Joined via ChatGpt

This one even asks the question, in german: "Is this art or can I throw it away?" (DE: Ist das Kunst oder kann das weg?")

Can AI music trigger real emotions or are they just artificial emotions?

https://www.instagram.com/reel/C79y1Dbst3l/?igsh=bDgzeGMxZTJ...

(And this one I call "If Poe had had a cat." https://www.instagram.com/reel/C79yC-rsywz/?igsh=MThzbDZvamV...

Title by me, everything else Chatgpt, Suno, Midjourney and ChatGPT again.)

So the big question is, can AI generate art? Can AI generate "real" music? Or is all AI music artificial music? Can artificial music create real emotions?

I love this topic. So much possibilities to challenge our understanding / appreciation of art and music.
Most musicians I know would love one of these Spotify jobs. Writing and recording for a salary, rather than spending 75% your time on (mostly futile) promotion for a wildly unpredictable return?
Yup that would be fine, so long as it's required to be done before you release your code. Putting return types on functions is signaling intent, much like left and right signaling on a car.

I want to know what your function COULD produce, not what it happens to produce now. Type inference can only show that in every current path you return a TYPE_X, and that works fine until one day you return an instance of its supertype TYPE_A, and now my code blows up because I misunderstood the contract. You may have always intended for it to return TYPE_A and its subtypes, but you never signaled that intent to others. This is why enforcing explicit contracts is necessary.
Autopullpep8 and the Facebook Adventure
I'm curious to know why people (you?) refuse cards embedding NFC. I know a couple of people who do because there's currently no cardholder verification required when making a contactless payment, which could make your card a more attractive target for theft. Are there other reasons?
Understand. Both your user needs and their approach to the product are reasonable in this regard. It looks like you are simply no longer their target audience and need different product.
tl;dw

Creator of the video uses the standard chess notation, which encodes if a move

- is a capture
- is a check
- is a checkmate
- needs a disambiguation
- and other things

It is arguable how much the rest of the board is part of a move (see the current top comment), but let's say moves are different if their standard chess notation is different.

Then it turns out that bishop double disambiguation moves are very rare. They require 2 same color bishop underpromotion for the start. And they doing captures and/or checkmates are even rarer. A lot of them never ever happened on lichess.

That's about the content. Now about the format.

The video features hands expressive hands all along, which makes it stimulating to watch. If you are into presentation, go and check it out.
Still better than some rich guys choosing young people to have them take out a huge loan, feed them a bunch of lyrics some dudes wrote across the sea, match it with one of the 200 ready to go beats their "label" has in the drawer and make a single with a music video to pump tiktok ads on.

There's very little romantic songwriting and true exploration going on in mainstream music. AI productions if anything to me are more honest if done with an open model by a person in their home. At least it's just a person fiddling with it until it sounds as something they like and not a megacorp. Until spotify makes these themselves.
Raspberry Pi IPO
Of course the title is a bit overachiever, but I see how toxic is when this is not the goal

There should be exceptions though
But what if the inference generates a contract based on the narrowest scope of the types returned, and then later you add a wider type (because that's what you'd originally intended but didn't have any actual use cases at the time) and now everyone's code blows up because they assumed the narrower type and don't handle the wider one?

If you were forced to specify the return type, your original intent becomes clear for all (rather than leaving it to a machine that can only assume the narrowest scope).
Which languages?

IIUC Go and Rust resort to OS IPC based plugin system mainly because they refused to have a stable ABI.

On the other hand, at $DAYJOB we have a query engine written in C++ (which itself uses mostly static linking [1]) loading mostly static linked UDFs and ... it works.

[1] Without glibc, but with libstdc++ / libgcc etc.
iCloud Keychain and Passwords are end to end encrypted; how will coercion help?
The last time I tried Rectangle it didn't have any customization, just those predefined areas and nothing else. I really like how window management is done in KDE Plasma.
> I trust Apple to respect my privacy when doing AI...

Depends on where you are. Apple will bend over backwards when profits are affected, as you can see in China.

Ironically, the only time a large company took a stand at the cost of profits was in 2010 when Google pulled out of China over hacking and subsequently refused to censor. Google has changed since then, but that was the high watermark for corporates putting principles over profits. Apple, no.
Show HN: Fine-tune llama3 model to support function calling
Few weeks ago, we were tasked to make llama3 model to do function calling and build an API similar/compatible with OpenAI's python client.

While we're still improving our dataset and FastAPI backend server (which can't be open-sourced), we're happy to share with the community our open-sourced project of how to properly fine-tune llama3 model to support function calling, all following OpenAI's best practices.

We hope this will help other people with similar tasks/needs, happy to answer any questions.
Xenon Compounds
We are bio androids anyway
Show HN: ToonCrafter Webapp – AI-Powered Animation from Images
Hey HN,

I'm excited to introduce the ToonCrafter webapp, which uses latest ToonCrafter AI algorithm, to generate lifelike animations from static images. With just a few clicks, you can bring your cartoon artwork to life.

Key features:

1) AI-driven animation generation
2) Style transfer learning for consistent visuals
3) Pixel-level detail extraction
4) Smooth and seamless transitions
5) Efficient animation generation (10-20 seconds)
6) Creation history management

Try the ToonCrafter webapp and experience the magic of AI-generated animations. I'd love to hear your thoughts and feedback.
How would documentation help you trust the code?
How to import data to your database with DBeaver
For phones that support it, there's a separate toggle for disabling 2G. I don't think the preference setting you're referring to has the same effect. If I recall correctly, The separate 2G toggle goes down to the modem especially rather than just being configuration.

I do have my phone set to 4G+5G only through that same screen, though, as my modem lacks the 2G toggle as well. If there are missing options in the dropdown, try dialing *#*#4636#*#* and see if you can configure it through there.

I don't know exactly what determines what configuration is exposed to the UI, it's possible your modem simply lacks support for disabling entire generations of cellular technology.
> will scale faster

* Only in USA, both intentionally and not.
Nor do they even offer the legally required right to object (i.e. opt out) to people like me who are European residents but who have not agreed to their terms of service, meaning that we can’t log in to submit their right to object form.

Despite me not having an account, they might still process my personal data if a photograph or mention of me is included in in posts or comments by someone else. I do object to that data being used in their AI training, but I’m not given the option to exclude myself.
Case in point. They show none of these things. I'm not even sure how a commit message could convey these things.
> the narrative itself is a circular proposition

I only use the simile to make the text more approachable to leymen. I don't ever conclude that because embeddings are like thoughts, thoughts are like embeddings---or LLMs are intelligent because they have thoughts in the form of embeddings. That is not a rational inference to make IMO. I don't think we should avoid similes and metaphors because of the risk of this misunderstanding. A is like B does not mean A is the same as B.

> I disagree. I think the problem word is "next". The structure of an LLM's model is not one dimensional, and the path of a continuation function is not linear. The LLM is also not alone in this story: there's also the original human-written text it was made from, and the human-written text it is prompted with. Those had to be given to the LLM.

You can do many things with LLMs but when they are run during inference (like the commonly known case of ChatGPT), they are predicting the next token, so calling them next-token predictors is fine.
The LLM is predicting the next token after the human-written text it is prompted with. Nowhere is it implied that that is not a part of the story.

> The prompt gets divided into words, and each word gets assigned to a human.

The article states that the API should be as human-like as possible.
They would thus certainly not give each person a single word. They would give each prompt to a single person so they had the entire context. The divvying is amongst different prompts, not words.

> The humans aren't thinking about what your prompt means.

The point of the hypothetical is that to make this LLM-like API, you have to employ humans, and you have to have them think about the output. To make it as human-like as possible, you can just pay them to think about it.

> Except that you did just explicitly answer that question.

A person using the API is not able to tell if there is a human behind it, or an LLM. That is the point.

> All we are saying is that real intelligence is present, and that the LLM extends that intelligence.

There is no LLM in the hypothetical you are referring to. It happens in the year 2000.

> What we absolutely failed to prove is that the LLM is intelligent or that it does intelligence.

The segment you are referring to is just making the argument that a next-token predictor can be intelligent. Not that all next-token predictors are intelligent, or are the same.

If you read this segment:

https://www.arnaldur.be/writing/about/large-language-model-r...

You will see the arguments for LLMs being able to reason, why they in some cases seem unable to, and how it should be expected in some cases.
The POV-ray syntax with its wild mix of curly and whitespace state description driven by a C-preprocessor lookalike successfully primed my mind for making the jump from Basic and Pascal to C (and eventually to other curly languages). Eternally grateful, also to the IRTC that made me spend enough time with the syntax to have a strong learning effect.
The Vision Pro is probably closer to the Apple Watch launch - the Apple Watch launched as this weird high-end fashion thing with like expensive ceramic and gold options, and it didn't really know what it wanted to do.

In a generation or two, they realized it was fitness and health which was the target market and honed in on that.

Not saying the trajectory will be the same - Apple Watch is inherently both cheaper and easier to use since you just strap it on your arm instead of closing out the world, just saying they both started out as products without a really compelling purpose.