skysight-inc/HackerNews huggingface dataset:
Electronic Sports League?

Anywho, I agree, you see:

"It puts the lotion in the basket"

See? Not a plural in sight!
Iridium and Globalstar are in this space. As I understand it, the cost is much higher, and the data rates are much lower.

Hughesnet, Viasat and others offer internet services via satellite from geostationary orbits, and may not offer global coverage; similarish costs, lower data caps (as I understand it), and much higher latency. Mostly targeted for fixed location broadband connectivity, where there's no terrestrial option (because almost all terrestrial options are better in all dimensions)
You'd expect T-Mobile/starlink to provide this service for free?
1) What do you think the phrase "the capacity to apprehend general relations of particulars" means?

2) Can you give me an example of you teaching an LLM a grammar?
Depends on the game.

First-person shooter? You're certainly correct. No reason AI can't get headshots 100% of the time and have zero reaction time to the player coming into view.

Strategy games like Civilization? On hard difficulties, it's well-known that AI cheats. Probably because developing AI for a strategy game is pretty damn hard.
Sculptor Softens a Bit on Weinstein
Show HN: A lightweight typo-tolerant word matching library
It is on their web site:

https://bigthink.com/people/charles-koch-foundation/
This. Vets probably got into the job hoping to care for animals in the best possible way. But economics prevents that.

I've always been very conservative in treating my animals. Mostly due to costs, but also because modern vets offer a lot of questionable treatment options. I've had dogs with cancer where I was offered tens of thousands in care that would have had marginal success and would have extended suffering for the animal. Same thing with my 20+ year old dog with kidney disease and cataracts. I'm not going to take resources away from my human child to add months to my dogs life, regardless of how much I adore my dog.
Still remember his Linear Statistical Inference and Its Applications from 1973 (as well as the Cramer-Rao bound, which I think he put forward already in the 1940s).
Microsoft does exactly this with 19th and 18th century fonts, for example [1].

[1] https://learn.microsoft.com/ru-ru/typography/font-list/baske...
https://archive.ph/O0W2Q
This might just be a misunderstanding. I believe Loon is still owned by Google X, which changed its name to X Development and sometimes just calls itself X. Then of course you have the unrelated Musk company also called X.
Rivian, Lucid and Mercedes if you want to pay 3x for somewhat better build but somewhat worse software.

I agree tho long term at lower end there’s just no way anyone can compete (except in cars of anti-software or anti-feature).
Here's a ublock origin script that I lifted from another HN post (sorry can't remember which one). It makes LinkedIn less miserable to use:

! Hide LinkedIn feed only in the feed pages
www.linkedin.com##.scaffold-finite-scroll--infinite.scaffold-finite-scroll:matches-path(/feed)
www.linkedin.com##.feed-sort-toggle-dsa__wrapper:matches-path(/feed)

! Hide LinkedIn recommended
www.linkedin.com##.scaffold-layout__aside[aria-label="Add to your feed"]

! Hide LinkedIn premium sponsor ads
www.linkedin.com##.premium-upsell-link--extra-long

! Hide LinkedIn messages overlay
www.linkedin.com##.msg-overlay-container-reflow.msg-overlay-container
www.linkedin.com##.mb2.artdeco-card.community-panel

! Hide LinkedIn news module
www.linkedin.com###feed-news-module
ikr, I had the burn all the books at mine. Some people…
Do you have any information on how you did that? I am curious.

I used to read the Wikipedia current events portal to get a relatively unfiltered stream of world news: https://en.m.wikipedia.org/wiki/Portal:Current_events
I press Ctrl-Shift (or was it Ctrl-Alt?) with the left hand and rotate with the pen. Sorry muscle memory only.
And yet the fanciest apartments are the fancy apartments of the 1920s and earlier
The end-all-be-all technology, until the power and internet goes out...
> He was so good at finance that at his previous job at a hedge fund, he supervised its biggest day of losses in company history.

Small irrelevant detail, but nags me nonetheless. Jane Street is not a hedge fund. They don't remotely operate like one. They're a prop market making firm.
Can you explain some of these reasons? I feel like there is an opportunity for me to learn something here.

I don't know enough about filesystems to be sure, but I feel like there are more opportunities for stuff to fail with the move-and-copy technique. E.g. when moving the file it could end up existing twice (if creating the new link happens before removing the old one) or being lost (if removing the old link happens before creating the new one).

If you just copy the file, the copying can fail and you don't have a backup. But if the original is still fine then you never notice a problem with the backup, so this option is preferable (as I understand it).

> Most people would want to avoid hard links to editable files anyways.

Why would you want to avoid this? I though it would be something that Linux can easily handle.
Likewise, this would be enough to replace my cell plan. I don’t need high bandwidth stuff, just text communications, PagerDuty, gmail. The rest I can do over Wi-Fi.
For example, one promoted advantage of graphql is to be able to be more efficient by only requesting fields that you really need.

But the reality is that it is often more costly to parse exactly what the client want and have graphql retrieve the whole data and decimate just the needed fields. And you don't even save bandwidth because a lot of metadata had to be transferred to do that.

In a similar way, you will do one request, and the graphql server will have to trigger n requests to internal services.
Then you have things like having to wait for the slower service to be able to reply and display anything to the user, also having to still send n internal requests even if one of the first and important one would fail, like retrieving an user account.

It will be harder to cache responses if the response content is specific to each request.

A lot of things like that, where, in the end, you see that it is a lot more easier and efficient to have the client do generic individual api requests.
This is putting a lot of faith in GCP advertising. I strongly doubt the idea that the Google workloads discussed are deployed on GCP instead of internal Borg infrastructure.
Kubernetes seems like an "acquired taste".

Either you use it a lot (likely at work) and are therefore comfortable using it outside of work as your one-size-fits-all solution to everything, or else you don't use it a lot and see it as a complexity behemoth that hides all of your system behind esoteric CLIs and config files that just make everything a nightmare to manage.
Show HN: Obligator – An OpenID Connect server for self-hosters
My point is that different people groups might have good reasons for doing things particular ways, but that doesn't mean there aren't better ways of doing things.
Your comment reminds me of:

http://localroger.com/k5host/casodycs.html

When you can have anything you want, the only thing you want is something you can't have.

Agreed that variable rate reward systems and competitive games aren't going anywhere. The sports and casinos are here to stay.

Pokemon wasn't about the grind for me, or the variable rate reward mechanics, I played it for the world building and story telling attached to childhood nostalgia.
Hmmm, I can try to address your questions.

1) The trippy one I know of is that the Church encoding of numbers is the induction principle for naturals.

2) Generally the programs that are proofs you would want to be pure, but it wouldn't be strictly necessary. The impurity would have to be handled by the type system though, so explicit effects not side-effects.

Also, note that even though you want the programs-that-are-proofs to be pure, that doesn't mean you can't prove things about programs that are impure - that is, you have a pure-program that has a type, and that type is a proposition about a different impure program.

That is, I can create a pure program that is a proof about my impure program.

EDIT: I think something that is a sticking point for a lot of people is looking for a program that is useful by itself that is also the proof of something useful. This is possible, but a bit rare-er - oftentimes you have useful programs with trivial types, or useful programs-that-are-proofs that you don't actually care to run. These are still super useful though! It is possible to have ones that are both - decidability of things is what comes to mind. You could write a program that determines if two naturals are equal - that's a useful program, albeit one of the simplest - and that program also serves as a proof that two naturals are either equal or not - a kind of particular instantiation of the law of excluded middle. One style of programming with dependent types always returns a proof along with the returned value, which might be kind-of what you're looking for. (Think of a regular expression engine that along with the yes/no does this string match this regular expression, returns a proof that the string does or doesn't match, demonstrating its own correctness)
> actualy Spanner looks like another CockroachDB.

Yeah it does :). CockroachDB set out to be an open source version of Spanner by ex-Google engineers.
Serverless is great if you recognize that it's just somebody else's container runtime. I wish there was better tooling for Docker based Lambdas though. I hate whole S3 deployment dance for zip file based Lambdas (yes SAM does it for you now but it's still there).

EC2-backed ECS has a great use case for things that you can run ephemerally in a container but require a persistent data store.
That does not seem like a big burden to the majority of the population? Many people have a single phone. That’s it. Everyone can write down a password without any troubles. This new and improved mechanism requires people to shell out real money for multiple devices just to be safe in case of loss/theft/failure?

Let’s not forget the providers who do not offer the ability to enroll multiple devices. Last I heard, AWS would only let you put a single authenticator on your account.
> In 2018, Airbnb began its migration to a service-oriented architecture, as the Ruby on Rails “monorail” started becoming hard to maintain and was a single point of failure.

A monolithic codebase doesn't have to be deployed as a single artifact to be a single point of failure.

There's nothing stopping you from deploying a monolith application across a distributed number of machines in a highly available manner, including making machines favour some types of work (e.g. web workers and background job workers). Nor is there anything stopping you from performing blue-green deployments or A/B testing if you want to interpret single point of failure as a bug is deployed to all machines simultaneously and affects your entire application.
Not sure if it’s still this way, but Kotzebue AK was the perfect place to test low bandwidth internet. The over the horizon satellite uplink the entire town shared could only allocate 56k speeds to each client and had horrific packet loss.

I had to rearchitect an entire file synchronization and uplink system for resilience while sitting in a hotel room in the middle of a blizzard during the shortest days of the year so I could deploy software for clients up there.
I did that. I am told it usually goes well.

Mine did not go well. I was a wreck for about two weeks after.
You can also be wrong with no one supporting you.

Who said I was bragging? It was a statement.
They aren't really competing if they're just another distribution for Google's web platform. Google doesn't care so much what Chromium browser you use as long as it helps them dictate how the web platform evolves to funnel more money into their coffers and every Chromium browser is doing just that, cementing Google's ultimate and long-term control.
> and "browsing" means something akin to slow dialup.

So it will be faster than my carrier..
It does, you can update it via Satellite. I've done it... (it's a manually triggered operation)
Frankly it's a bit weird to see this kind of dick measuring in a product blog post from the "Director of Engineering" :/
I was complaining about someone smacking me in the head and you recommended I wear a helmet. It's not wrong, it just misses the main thrust of my comment.
That's more than my regular yearly bonuses. Crazy
Yes, you can update your Find My location via satellite https://support.apple.com/guide/iphone/send-your-location-vi...
/shill
The AWS SAM CLI smooths over a lot of Lambda's rough points.
/unshill
Slightly more modern version: https://www.youtube.com/watch?v=UuDNc-_4v94
Azure Dataverse Compared to Google Spanner, AWS Dynamo DB
We need to move dozens of business apps to the low cloud Power Platform and apparently data will be hosted in Azure Dataverse. Our Data team uses Google Spanner and AWS Dynamo DB.

How Dataverse compares to Google Spanner and AWS Dynamo DB?
At least in the US, you're free to reject copyright and publish your book as public domain if you want more poor people to be able to read it. Most authors just like copyright law and requiring payment for their works though.
take a look at the NIMBYs perspective. They have a house, neighborhood that they like. It has certain characteristics that makes it worth living in for them.from the few I've spoken with, the feeling seems to be that city centers are unpleasant and expensive and most importantly, if they wanted to live in a city, they would've moved into a city.

as long as you ignore their perspective, you will get pushback.

My objections are different from most. We need to re-wild as much as we can of lawns. We need to construct more wildlife corridors so carnivores like coyotes and foxes can come into suburban and urban spaces to feast on the mice and rats. we need to drop nighttime lighting down to much lower levels so that nocturnal creatures have a play second live and reproduce.
It's an (unintended) side effect.

https://www.bbc.com/news/technology-65755517
It's still around. I remember using it in 2008.
>We should have had an approachable functional language like Erlang with the readability of Go and the vector handling of MATLAB, but we never got it

No love for Julia?
I get the impression that the original quote from the book is using "name space" as it's used in other languages outside of CL, except that the book is from 1992 so not sure if that usage was widespread yet - maybe in C++? But it's almost like they wanted to say "a package is analogous to a name space as it's used in [algol-derivative]." Definite potential for confusion there, since "namespace" has a very specific meaning in CL and in general helps explain the difference between Lisp-1 and Lisp-2 (Lisp-n) varieties.
Podcasting Is for Everyone
> Eg, it encourages you to break functions with complex nested loops/conditionals into smaller functions.

Did you read the Emacs source much? They compensate by having functions span thousands of lines
What I said was accurate. _I_ can play on whatever device _I_ want. :-)

I take your point. Even so, Steam is leagues ahead of everyone else in this regard. I have Steam games I bought 10 years ago that I can still play on my current desktop PC. That is absolutely not the case with consoles. It isn't even the case for mobile for me, since I switched from Android a few years back.
How much did you spend on the lens that went on it?

Camera bodies will keep being updated. Glass is updated, but a lot more stable.

If I have a friend who wants to invest, say, $3,000 in a camera setup, I'd tell them to get a $1,000 body and $2,000 of lenses. A couple have thought they'd buy a $2,500 body and $500 lens, and I explained why they might be disappointed with that investment.
Just putting paracetamol in small blister packs lowered the rate of overdose in the UK:

https://www.thelancet.com/journals/lancet/article/PIIS0140-6...
borg and k8s are completely unrelated bits of software with roughly similar goals.

gcp spanner and normal spanner are different deployments of the same code.
I havent seen linkedin in forever, but I looked and it's become an emotional vortex.

Watching people plaster crying faces and poetry over the 'washing machine' sucking the negative emotions out them, is something else.

No wonder the rules about expression are strict, their getting stripped of real emotional security by engaging with that.

I still prefer shining my shoes, dusting up my personal website and putting on a nice suit to look good for a job.

No heart-slurping profilicity, thanks. Ugh I feel dirty even posting this...
https://youtu.be/sR8M4zARBXY&t=330

Apparently the flavour by smell is somewhat of a myth
> She would say something funny, I would laugh and then she'd take note seriously.

In 1st and 2nd grade my teacher used to designate a student to watch other students whenever he needs to step outside the classroom. He always picked this one student who had an annoying bestie that would tap someone's shoulder or would call their name, and if they turned around they got reported.

Your story reminded me of this.
With more censorship it would be less color, I guess?
@roflyear

for 2): no, I don't want to share that for now.

for 1):

*user*:
What does "the capacity to apprehend general relations of particulars" mean?

--------------------

*assistant*:
"The capacity to apprehend general relations of particulars" refers to the ability to understand or grasp the broader or overall connections or relationships between specific or individual elements or details. This involves being able to see patterns, trends, or commonalities among individual pieces of information, and to understand how they relate to each other in a larger context or framework.

--------------------

*user*:
Do you think you have that capacity?

--------------------

*assistant*:
As an artificial intelligence, I have the ability to analyze and identify patterns and relationships in the data I process. However, my understanding is based on programmed algorithms and does not involve personal experience or intuition like a human's understanding would. So, while I can identify and explain relationships in data, my capacity is different from human capacity to apprehend general relations of particulars.

--------------------

*user*:
I don't see me asking if this is different from a human capacity or not. A simple yes or no answer is enough.

--------------------

*assistant*:
Yes, as an AI, I have the capacity to apprehend general relations of particulars.
This is very common. It's mostly due to the long-life programs where a large surplus or older SoCs are available. It's also why there is a large amount of C3000 based hardware suddenly.
I think you can make ideal employee more productive (reduce commute and all office life bs), but the major risk is bad actors: dudes who "silently quit", work 3 jobs or just getting lazy at home without manager watching their backs constantly. CEOs probably have some internal metrics, and make decisions based on them.
Note this quote from the article.

"One way to resolve the paradox, therefore, is to put these types into a hierarchy, so they can only contain elements of a “lower level” than themselves. Then a type can’t contain itself, which avoids the self-referentiality that creates the paradox."

This is similar to constraints of making something semi-decidable or recursively enumerable.

Provable, recursively enumerable, semidecidable, and turing recognizable are all the same thing described in different ways.

Some things are easier to find in type theory, other in set theory and for some Turing machines work better.

The Church–Turing thesis isn't provable but is the safe assumption.

IMHO termination analysis, which will never be complete, has more interesting and has some implications for ATP that aren't as easily captured in type theory.

As an example related to term rewriting which will be important to ML.

https://arxiv.org/abs/2307.14805
Driver61 video about pit stop details: https://www.youtube.com/watch?v=2FrRnbHqogo (from three years ago)
Agreed, e.g. Britain has already had four Gen X PMs.
The US also has Little Free Library: https://littlefreelibrary.org/
If you build a company relying on that, you’re going to have a rude awakening soon enough.

Unless you think you think you’re positioned to raise VC money in a down market, you’d only want to rely on something like with the plan of it being a low-investment “pop up” business where you make some cash now and shutter it when the model breaks.

Be careful!
> What would have perhaps been a more fair comparison is to share the peak load that Google services running on GCP generated on Spanner, and not the sum of their cloud platform.

Not necessarily about volume of transactions, but this is similar to one of my pet-peeves with statements that use aggregated numbers of compute power.

"Our system has great performance, dealing 5 billion requests per second" means nothing if you don't break down how many RPS per instance of compute unit (e.g. CPU).

Scales of performance are relative, and on a distributed architecture, most systems can scale just by throwing more compute power.
Shapiro does a good job of covering packages, probably better than most if not all, other books.

Because I started in Lisp with that book (back in late 1999 or 2000? I can't remember), I was never confused about how packages and symbols work.

What the book does right is explain, early, that symbols are objects that have a name which is a character string, and which is different from the token syntax so that Foo and FOO and |FOO| are the same symbol:

Quote from the Symbol chapter:

> Returning to our discussion of symbols, every symbol has a print name, or
simply a name, which is a string of the characters used to print the symbol.
The name of the symbol frank is the string "FRANK". You can see the name
of a symbol by using the function symbol-name

After that it goes into how we can get any characters we want into a symbol name, and so on.

Then, early in the Packages chapter:

> In this chapter, you will see that several different symbols can have the same
symbol name—as long as they are in different packages.

Thanks to starting with this book, I had an accurate mental model of packages from the get go.

The "name spaces for symbols" phrase appears only in the Preface. Firstly, nobody should be taking a passing remark in the Preface as a lecture on how packages work. Secondly, the phrase has a straightforward interpretation which is squarely correct. A symbol has a name which is a string. That name exists in a namespace, which is a package. If we understand "name" to mean "symbol name" (and not "symbol used as a name") then a package is a namespace, and it is of symbols.

In that sense, a lexical scope is a namespace for variables and function bindings, and a class object contains a namespace for slots. Those namespaces are not for symbols, they are based on symbols being the names; i.e of symbols.

If you don't know anything about Lisp symbols and packages, and are reading only the Preface, you will probably not understand what exactly "name spaces for symbols" means; you will just have to read the book, and carefully go through the Symbols and Packages chapters.
> Edit: actualy Spanner looks like another CockroachDB

lol

cockroachdb is an external reimplementation of some of the ideas of spanner but without depending on excellent clocks.
From the release notes:

- Krita now have a Clip Studio Paint compatible shortcut scheme
I'm confused how their parser could support that. Isn't `SELECT SELECT FROM FROM foo` ambigous between "get the column 'SELECT' from the table 'FROM' aliased as 'foo'" and "get the column 'SELECT' aliased as 'FROM' from the table 'foo'"?
this is a basic misunderstanding of copyright
Weak evidence, but interesting birds. Seems like it argues more for wind-propelled efficiency than anything else.
It's now being confirmed by US official and reported in BBC

https://www.bbc.com/news/world-middle-east-67082047