skysight-inc/HackerNews huggingface dataset:
> It's kind of a dick move for an agency to be ripping off the foundries, especially small modern ones. Creatives do enjoy what typographers make and can see the love put into their craft.

But foundries sometimes do the same: they take samples of, say, 18th century font, and digitize it, and claim copyright. Do you think it is fair when someone copies Helvetica or 19th century Bookman [1] ?

[1] https://learn.microsoft.com/ru-ru/typography/font-list/bookm...
Everyone in my neighborhood pays $120/month for it, myself included. It was an absolute game changer. Honestly I think most people in my neighborhood would pay even more for it. It's so much better than the options it replaced. I don't think many people understand how frustrating it is to live in a slightly rural area without good internet options, so many of these areas have been ignored by normal ISP's for forever.
Ask HN: Is AppleCare+ International?
Anybody knows if AppleCare+ is valid internationally? Let's say I buy an iPhone in the USA, but live in the UK. Will AppleCare+ Theft work in the UK?
My lg washing machine from 2010 had fuzzy logic too.
Have you actually asked the Rohingya people what they think, or have you appointed yourself as their spokesperson? They are not suffering because of free speech. They are suffering because they live in a failed state which has multiple ongoing internal violent conflicts and which is ruled by a corrupt, incompetent junta. If they EU was serious about improving the situation there (and in other conflict zones) then they would take direct action instead of pretending to help by imposing pointless, symbolic restrictions on US-based social media companies. It's obvious that what the EU is doing here is just a political farce to convince the gullible that they're doing something rather than spending any money or taking any risks.
Thank you! I am not, nor have I ever been suicidal. But the societal view towards it has always felt like tyrannical bullshit.

You’re telling me that if there is nothing left for me in life and I just don’t want to go on anymore that I can’t because society deems it has wrong and selfish (and yet society applauds other selfish acts…)

To be stuck as a slave to your environment and be deprived of your one ultimate freedom is inhumane.

It goes without saying that we should absolutely strive to help those that are suicidal.
And a big part of that I imagine is actually providing people a space where they can find a purpose in life rather than being trapped in the endless cycle of trying to escape their debt with low paying and soul destroying jobs.
> A cloud-based passkey (like 1Password) is fine as the off-site backup key for most people.

You're probably right, but this is still new enough that I'm nervous to rely on that. If 1Password has a data-corruption incident and you don't have other passkeys, there goes your digital identity. 1Password (or Apple Keychain) plus two YubiKeys is almost certainly fine. But that does still now run into the pain of registering multiple passkeys.

To be completely honest, I sometimes wonder if it's borderline malpractice that sites allow registering only a single Passkey. Registration processes should fundamentally require you to onboard two of them at a minimum, and encourage three. Or maybe I'm just becoming curmudgeonly as I get older. But I do worry that the current state of things—while absolutely on the right track—is going to be an unfolding disaster for non-savvy early adopters.
Are you sure Find My uses satellite connectivity? I don't think so. Apple says this https://www.apple.com/icloud/find-my/

> If your missing device can’t connect to the internet or has little to no battery life, the Find My app can still help you track it down using the Find My network — hundreds of millions of iPhone, iPad, and Mac devices around the world.

So this isn't going to help you in the wilderness.
Clearly rural broadband has a reasonable market. Focusing specifically on cellular phones: my iPhone lets me send emergency SOS messages via satellite and doesn't use Starlink. This means that at least the "emergency calling when out of cellular range" piece of the market has competitors (and they're cheap enough that Apple can include two years of service in my phone's price.) I'm not sure how big the discretionary texting/calling/browsing-while-out-of-cellular service market is.
Benchmarks vary quite a bit based on specific workloads. That is why open benchmarking helps where any person can validate the benchmarks. Google enforces De-Witt clause which makes it impossible for a third party to publish such benchmarks. Quite a few cloud providers don't restrict that now.
Wonder how it’s going to work if you use a mvno?
This will give you _very_ low data speeds. Like 1-2Mbps on a good day.

FWIW you can use Starlink with a DC power supply and under volt it to get pretty decent power draw.
This uses the <https://github.com/sailfishos-chum/qt5>, and needs an app called qt-runner for launching the apps in a separate wayland client, providing also the SailfishOS keyboard.

So, it's not 'native' in the look & feel sense (no Sailfish specific QML items available), but allows basically any Qt5.15 compiled app to run on SailfishOS, which is great news!

Obligatory screenshot: <https://gitlab.com/eql/lqml/-/blob/master/screenshots/cl-rep...>
Not sure what you mean by “remember AppEngine”.
Most shelving materials as well as paper itself floats, so bookshelves can't be anywhere near as heavy as an aquarium even if you have them packed impossibly dense.
> browsing" means something akin to slow dialup.

I mean, I fire up and use lynx from time to time for a couple newspapers and magazine. Beyond evading some paywalls, it also presents it the way I want it: a wall of text. “Slow dialup” to me is 2.4kbps.

The HN crowd could get a lot done over a console.
14s got it too. Neat! https://support.apple.com/en-us/HT213886
In my heart I know this xkcd is a curl reference.
I hate this so much. My off grid cabin has the magical ability to get people to stop scrolling and hang out with each other.
We used this. Then we realised none of our guys have any idea how to build systems that are resilient to the failures we simulated. So they swept it under the rug and just cross fingers nothing happens.
Sorry if that was confusing. I mean that for instance: tmobile will be adding this to their coverage map, but they're not getting rid of the towers, and the primary way your phone is communicating with the world is not going to be via starlink satellites.
This is very old.

Yes, programming is a super set of theorem proving.

It is true, but not generally useful.

Building useful programmes is, IMO, best described as a craft. It is learnt from other crafters, and improves with practice

Formal methods can be helpful in specific cases but generally speaking writing correct formal specifications is just as hard, or harder, than writing useful, reliable, computer programs
Thanks! Looks really interesting.

link with time-stamp:

https://www.youtube.com/watch?v=268jdNwH6AM?&t=3020
and 10 years ago or maybe more NPR got rid of comments on their articles. Their comments section was generally quite good and there were many regulars and a bit of sense of community, NPR often did not like the feedback and criticism the articles received
Most maths teaching emphasises this but they don't talk about it in quite the same way. Units are dealt with as units whenever you are doing real world problems around velocity, speed, physical quantities etc and you are taught not to mix units, and how units "cancel" etc each other when you deal with exponent laws.

Types as such are dealt with as sets. So for example I'm working my way through Serge Lang's "Basic Mathematics" at the moment[1], and it starts with the natural numbers, then the positive integers, then the integers, then the rational numbers, then the reals etc. This is very normal for high-school level maths education.

I believe that mathematically the formal theory of types comes from a different branch from sets which arose when Russel attempted to address the problems caused by his paradox. "Type" theory was part of Russel's solution whereas Zermelo Fraenkel set theory is where everyone else felt that sets just needed a little patch to carry on working pretty much as before.

[1] Which I'd really recommend for anyone who wants a maths refresher that starts from very basic concepts but really challenges you to think like a mathematician, prove things etc. So in the first chapter when you only know the distributive and associative properties he has you using them to prove stuff.
But at low request volumes, either is a rounding error to a medium size enterprise, and for personal projects IMO Lambda is a huge PITA.
That. YAGNI >> DRY.

The DRY should be obvious when to refactor, not because of some compulsive behavior.

And then once you need more than 2 branches, please break the DRY that tend to stay forever.
And https://www.postgresql.org/docs/current/sql-vacuum.html
Big foundries digitize old fonts and claim copyright on them. Take Microsoft as an example, who took 19th century font and sells it [1]

[1] https://learn.microsoft.com/ru-ru/typography/font-list/bookm...
> In many languages (even in JS!) you can just map a function point-free,

Yes, in many languages, "functions" are a thing that exists. In Ruby, there is no such thing as a function. The concept does not exist.

Which is why it is bizarre to talk about what you can and can't do with "functions" in Ruby, and to call kinds of different not-function things (including symbols, of all things) "functions" in that discussion. Its just applying language that makes no sense.
Other providers are in the works, but they don't work as fast as Starlink and don't have their own rockets to launch them in. Which is good. BlueWalker 3, a prototype for a new internet satellite provider, is brighter than 99.8% of all stars visible from Earth. They're planning on launching 70 more of them.

There are about 5,000 Starlink satellites and about 8,000 satellites total. For the past few years, the number of satellites has been increasing by 30% every year. Starlink can launch 50 satellites in each Falcon 9, which can fly every week. Eventually Starlink will have about 42,000 satellites in orbit. Other mega satellite networks are being planned which could raise the total to over 400,000 satellites.
OpsCanvas is your ultimate solution for effortless cloud deployments. Our platform offers an intuitive visual interface designed specifically for developers, eliminating the need for extensive Infrastructure as Code (IaC) knowledge. With OpsCanvas, deploying your applications becomes a seamless and efficient process. Just create your application diagram on our canvas and select the desired environment size.

Leveraging our visual approach to “Generative IaC,” OpsCanvas automatically generates and executes the necessary IaC required to deploy your application to the cloud. OpsCanvas uses the power of visualization and collaboration, freeing you and your team from having to engage in the time-consuming complexities of IaC.

We are pleased to invite you to our FREE Public Beta of OpsCanvas—a platform meticulously engineered to simplify cloud deployments while retaining control and flexibility. Seize this unique opportunity before October 23, 2023, to gain early access to the free version of our platform and 75% off our subscription rate.
> I'd be surprised if humans are going to be competitive with generative AI for much longer.

You're right, it does read like poorly written fan fiction.

Like I said, humans are currently competitive with generative AI.

I suspect they won't be for much longer.

> I'm not really sure how this translates to the death of the entertainment industry.

Implicit in my comment is the assumption that AI will continue to improve from here.

There is a clear curve forming in what generative AI is capable of.

For me to be correct, the curve holds for long enough that AI becomes a compelling story teller given user guidance/input along with corresponding stable generation of assets.

Given the poor fan fiction above is substantially better than where we were 5 years ago with generative AI, I think it's a pretty safe bet to say if we keep following that curve it'll become a pretty good dungeon master that can lead a quest in a meaningful number of worlds.
Here's a read if this is a subject you're interested in:

https://theanarchistlibrary.org/library/peter-gelderloos-how...
So now you're conflating intentional breaking software by deleting it and replacing it to avoid having to fairly compete on distribution like every other new game release... with auto updates.

Pro tip: using blatant strawman arguments to troll works better if you don't go so hard in the paint defending them. The latter just makes you look incompetent.
> For Krita 5.2, you’ll still have to use the SVG code editor to access these new features, but for Krita 5.3 we’ll be working on the text tool proper, making it on-canvas and allowing you to configure the new features with menus and presets.

I didn't realize these features were exposed at all, I thought it would only be engine support. Even if it is through the code editor that makes this release a bit more exciting for text manipulation.

Also in theory I guess opens the door for plugins if 5.3 takes a while to come out? I really need to deal with my aversion to Python and just learn Krita's extension API.

Edit: also just because it's good practice to remind whenever a program like Krita does a release, https://fund.krita.org/. Krita is already a great painting app, and it's headed in an incredibly promising direction, so it's a good candidate if you're looking for projects to fund that could have a really useful impact on the industry.
> Edit: actualy Spanner looks like another CockroachDB. You use sql to interact with it. In which case I can see many people who would want to use this with a free tier for hobby projects. ie. in between education and production development.

Pedantically, cockroachDB is another spanner. It was made by Google devs who left Google having previously used spanner, and intentionally made something similar to spanner (ish, lots of handwaving happening here)
This is the use case I'm most interested in replacing, ie emergency contact when out backpacking etc.
But low-bandwidth text is all I need. I guess I won't be renewing my subscription for my InReach Mini forever (although that form factor is pretty nice).

I don't need to be able to stream Netflix when I'm in the backcountry, it's just that my wife insists I need to be able to get a helicopter if I break my leg.

Now we need app developers to log off their fiber-served wifi when writing messenger apps, and log into a high-latency, low-bandwidth, high-packet-loss network instead so Messages will actually open instead of whatever it's trying to do to upload my location history and download contact pictures...
I don't think you're being an idiot.

There are some connections in mathematics that are quite "magical", where you get something like a correspondence between a family of curved surfaces and a family of integer-valued equations, and it's not at all obvious why that might be until you study it deeply.

And sometimes articles about the Curry-Howard Isomorphism suggest that it's an example of that sort (I think this article does, to some extent).

But (as I understand it), that isn't the case: here we have a simple directly-constructed correspondence. It's valuable, but not the sort of thing that mathematicians think of as a wonderful result.
Obituary for CR Rao (Indian Statistician): One of the Original Data Scientists
Pioneer of powerful tools for sifting data and optimizing device designs passed away
This article is close, but IMHO, misses the real killer feature. The no-screen makes a big difference, but the real one is: There is no undo!

I have listened to a number of very good producers talking about how a 4 track reel to reel (the higher-fi equivalent) was a game changing addition to their workflow because of this. With a modern DAW, one is faced with decision paralaysis, the capability of layer forever, and ability to tweak for ever. With a four track reel-to-reel, you need to make decisions way earlier, you can't just keep adding tracks (the noise floor grows), and you get shit done. Like Sgt. Pepper's.

That said, I have not personally been brave enough to do this. It would probably be very good for me, ha!
Surely in a post about Google Cloud Spanner, all examples mentioned use Google Cloud Spanner? It would be moot listing them as examples if they would not: so my assumption is they are all using GCP infra already for Spanner.

I really want to give Google the benefit of the doubt: but it doesn't help that they did not write that eg Gmail is using "Cloud Spanner." They wrote that it uses Spanner.
just added the list to the README on Hugging Face!
FYI, Spanner came long before CockroachDB. Indeed, the founders of CockroachDB are Xooglers and Spanner was inspiration for the latter.
Big corporations shamelessly digitize old fonts and claim copyright, take Microsoft as an example [1].

[1] https://learn.microsoft.com/ru-ru/typography/font-list/bookm...
It could be much shorter, even without humanity messing it up. Here are some of the possible events:

https://en.wikipedia.org/wiki/Timeline_of_the_far_future
Here's the link with timestamp (note that the speaker says it was a 2 year transition):

https://www.youtube.com/live/268jdNwH6AM?si=WkgnvqaIwFidt-hc...
I tried it three times using the same phrase.
Random results each time. The first one I supposedly had Australian accent.
The second, British.
The third, American.
I forced no accent.
I’m hoping the next iPhone “feature” will be to point your phone at the sky and get an iMessage sync.

Dunno if there’s enough bandwidth actually available to do that (currently or theoretically).

Though iMessage is not graceful with queuing messages when you’re offline. WhatsApp does much better.
looks like it starts at 50:45. youtube recently made it so you can click "show transcript" in the description then ctrl-f takes you to all the mentions. very helpful for long videos like this.
If I recall correctly. At the initial announcement it was said that T-Mobile's nationwide 1900mhz license made this service possible.
I love my d7100 and z5. There are some pictures only they can take over a phone, but it would take a user much longer than 5 minutes to beat their iPhone. I’ve been carrying the current gen iPhone and my larger camera for years and I use the iPhone more and more. The shots are good and easy to set up. I mostly keep a zoom on my larger camera now to give me reach and often use the iPhone otherwise.
Global connectivity is amazing but a part of me has this feeling of losing something. It will be no longer possible to be away from everything unless you seek it actively. Overall it’s a good thing but it still makes me sad in a particular way that I don’t have a word to describe it.
GraphQL is great for both. It's a collaboration tool between front and backend. You can design the schema for the resolvers during the RFC phase of planning a new feature, and then both teams can implement their tasks in parallel. And you can use the spec to generate type safe libraries on each side.

We did this with Strawberry in Python for backend (which uses dataclasses for defining resolvers), and TypeScript + graphql-codegen on the frontend. We have fully automated type generation from the backend to the frontend, meaning GraphQL becomes a cross-language, shared type layer. It works great, once you get everything setup. Worth the effort IMO.
How does OpenOrca compare with Zephyr-7B? Both are fine-tuned mistral-7B's AFAIK.

https://huggingface.co/HuggingFaceH4/zephyr-7b-alpha

These LLMs are dropping so quickly it's hard to keep up these days!
> As I've grown older I've become less and less convinced that any of our current legal frameworks actually protect the output of "creatives".

I think most of "creatives" are just high and dry because most of the output is just not very good. Creative output in a digital world is a winner-take-all scenario, so mediocre artists just get 0 exposure.

If I have limited amount of time to commit to watching something or listening to a song or using a font, I will naturally gravitate to things that are already popular/good and make money. What would help creatives here is a better discovery process, but it's pretty tangential to the legal framework.
It was a lot messier during the Cold War and even more scary before that.

This is just the end if a golden era. The next generations are going to envy us.
Don’t worry, they’re making books shorter. Sorry I mean BookShots(tm) https://www.goodreads.com/list/show/101009.BookShots_By_Jame...
>Just because a children's story, for example, is "simple" doesn't mean it isn't inflected by human complexities.

Sure. And again this is why lots of people say recommending a Children's book or show is really a bad idea for beginner learners. Graded readers are an entirely different thing from children's fiction.

>Would you trust an AI to present you with accurate language patterns--speech, vernacular, etc?

Language patterns in text ? Yes. There's nothing special about it lol. For all of GPT-4's misgivings, "wrong" language patterns for English isn't one of them. How it writes usually is just the default hammered in by RLHF and can easily diverge when instructed. So if a native in some other language gives the A-Ok on a piece of text then that's it.
Me myself? Absolutely not.

But yes, labor should have some means to be controlled for price, so that people cannot be underpaid or overpaid (as many are).
https://twitter.com/NBCNews/status/1710973418558857397

well well well
> ghci> filter (\x -> (length x) > 2) ["a","bb","ccc","dddd"]
["ccc","dddd"]... I find the Haskell syntax concise and clear...

> ["a","bb","ccc","dddd"].filter &(2.method(:<) << :length.to_proc)

I can't imagine a stronger case for GP's thesis. The point-free ruby rewrite is so baroque and needlessly circuitous... the extra variable is a far lesser evil, and more concise:

["a","bb","ccc","dddd"].filter { |x| x.length > 2 }
That "don't use english words" is somehow the recommendation instead of "always quote identifiers" feels a bit ridiculous.
This phone texting support hardware is tiny compared to the size and weight increase the v2 sats took on for their primary mission, broadband capacity, which went from from about 20 Gbps per bird in the v1 config to as much as (estimated) 80-100 Gbps per sat in this v2(mini) config. It was this increase that made the sats that much heavier and cut the total number per launch about in half.
This analogy doesn't really apply to the situation here, because the difference between a personal and commercial license isn't what's at stake. Comparing watching a movie on your own vs making money off of it in theaters is similar to viewing a licensed font on someone's website for free vs buying a font license to use it in your own projects.

A better analogy would be a studio charging a theater belonging to a large chain vastly more money than a small, independent theater. The cost to provide the physical media, promotional material and IP rights to both of them is the same. So the only consideration in play here is that they can pump more money out of the larger business, so that's what they're going to do.
In a normal breadboard, you dynamically link different rows with physical jumper cables. The linked breadboard allows you to dymamically connect rows using software.
I did something similar to this last year. Went from site Engineering manager at a multi-national aerospace company to IC role and don’t regret it.

I did resign, and started in a software architect role at a smaller company. Did that for a bit and then moved to become their lead data scientist.

I was in the eng. management role for nearly 10 years but kept my skills relevant by working on lots of side projects.

Trying to manage a team remotely through lockdown and the never ending dance of aerospace mergers and acquisitions followed by the inevitable reorganisation was largely what prompted the change.