skysight-inc/HackerNews huggingface dataset:
Because presumably the goal of copilot is not to make substantial amounts of money at this time, but instead to produce tons of training data for the tools that come after (and are significantly more profitable, because they reduce the amount of money firms spend on software developers.)
> But I think there are very few such parks in suburban America that are not also mostly playgrounds.

Reality disagrees with you. Just search for parks on Google maps for SV and you will see so many where playgrounds are just a small part and the rest of the park is for everyone - https://www.google.com/maps/

My favorite ones: Las Palmas, Cuesta, Washington. And if I want to drive for ~15-20 min: Shoreline, Rancho San Antonio, Baylands.
The first I tried it, not impressed, but on some projects, it literally does 75% of the typing for me. I think it has to do with whether there is a similar open source project out there. The more unique your work, the less likely it is to find a good recommendation
Hey let's connect, would love to talk more about this and show my project. Hit me up on linkedin or send me yours: https://www.linkedin.com/in/khaliljezini/
Ollama [0] + LiteLLM [1]

[0] https://ollama.ai

[1] https://github.com/jmorganca/ollama/issues/305#issuecomment-...

---

Ollama is essentially docker for LLMs, and LiteLLM offers an API passthrough to make Ollama OpenAI API compatible. I haven't tried it yet, but I will be trying it probably this weekend.
Statement: FSFE and Software Freedom Conservancy Regarding Eben Moglen and SFLC
Most overrated correspondence ever.

You don't need curry-howard for software verification, you don't need it for mathematics, and you don't need it for logic.

You only really need it to j*rk off hard over types.
You can ask your vet for a home visit. Let them pass in a place that they know is safe and loving.
Yes, that study is a good find. There are so many fascinating bits of information once you start looking at this topic below the surface.

Another one that I remember learning is that the suicide rate among white troops is much higher than the rate among black troops; I have no idea why.

Also, the rate is actually higher among troops who haven't been to deployed to combat. That might be an age thing (younger people are higher risk, and less likely to have served long enough to see combat). It might also be because troops with intense personal problems get held back from combat deployments so that they can get medical care, make court appearances, etc.

On that note, the upward trend over the past 20 years is likely, partially explained by demographic shifts too. When we had a draft up until the 1970s, the military got a broad cross section of society. Then through the early 2000s, the military was able to be quite selective, only taking people with high school diplomas and few personal problems. Starting around 2005, with both Afghanistan and especially Iraq raging, and a fairly low unemployment rate in the US, the military had to start scraping the bottom of the barrel, bringing in more people with criminal histories who didn't finish high school and had other life problems.
"A former BP lawyer is going up against Exxon—and her own country—in a bid to stop offshore oil drilling before disaster strikes."

David vs Goliath. Like!

"Whereas climate lawsuits against fossil fuel companies have typically attempted to hold those corporations accountable for the harms of past operations, this one in Guyana seeks to force the company and the government to accept responsibility for the damage they will cause in the future."

Definitely precedent-setting potential there. No doubt Exxon will move heaven & earth to prevent that from happening.
I take care of a lot of feral cats and it's really tough. They die often, due to feline HIV or feline Lukemia.

It sucks. 9 have died since January (3 were kittens). But it's just not practical to put them to sleep. The first one I did but it was 300 bucks.

Idk it does suck.
https://www.youtube.com/watch?v=RFACQvL_8S4 has some statistics from Google, including a floor of 17% on password reuse.
just automate running through StableDiffusion and generate a slight variation. Done.
This definitely happened with Google Maps, where Google was clearly the dominant player. Has it happened to other services? It seems far less likely to happen for business cloud services where they are a distance 2nd (3rd?) to AWS. I know of some examples (admittedly ancient) where they have reduced costs: https://cloudplatform.googleblog.com/2015/05/Pay-Less-Comput...
"Six months later, we can see that the effects of leaving Twitter have been negligible. A memo circulated to NPR staff says traffic has dropped by only a single percentage point as a result of leaving Twitter, now officially renamed X, though traffic from the platform was small already and accounted for just under two percent of traffic before the posting stopped."

Now it is about the time European public broadcasters and public administrations follow suit. (Ditto for all social media.)
I get the skepticism, but these core SaaS offerings tend to have a much longer support life than consumer products. Google’s Bigtable is still around as a cloud offering, and it’s almost 20 years old at this point.

Spanner is used for a lot of internal Google services, too. Spanner has basically been eating all the other databases Google uses internally. Nom nom nom, every database that used to be something else is now Spanner.
Note that the babies involved in the incidents were premature, and mortality for premature babies is going to be lower than that for full term babies.

Further, as I understand it, those were babies that were being cared for in the Neonatal Intensive Care Unit and may have been vulnerable and less likely to survive to begin with.

For example, I remember the press noting that a baby who died was no bigger than a hand. The press reported this to tug at readers' heartstrings, but it also has the effect of reminding that a baby born so early is in a precarious situation and may well not make it.

In any case, the spreadsheet above doesn't give any of that information, either, so there is not enough information to know whether the deaths were suspicious in the first place. Looking at the spreadsheet, all we can say is that the only reason those incidents are associated with Lucy Letby is because Lucy Letby was on shift. Which is a tautology and not useful to make any decisions.
> Within your comment you could see the "F" part was quite out of nowhere and can be considered rude.

Not if you see actual usage: https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...

Context matters, and people here usually interpret it as "The Fine Article", and it was indeed written in that sense. It's supposed to be a shortcut (not rude like RTFM, which does have a meaning of impatience because it's directed at people perceived as too lazy to search the docs).

Anyway, a shortcut that requires this much explanation is a failed shortcut, and I apologize for that. It's sometimes hard for me to realize that what used to be a really common idiom that needed no explanations can quickly become something unfamiliar to new readers. Just in case, I won't use it again.
While Clojure is a great language, I would say it does not offer the same REPL driven experience as Common Lisp because it runs on the JVM.

Common Lisp (SBCL) and CLOG is worth checking out first.

The magic I described in the original comment exists in Clojure but you can feel its true power in Common Lisp.
Yep - that's where the legal fix needs to start. Until people making the changes are liable for the changes they make to industrial equipment (and this includes things like cranes and generators and such that also have similar issues of repair), the industrial equipment makers are going to be very hard to persuade to support right to repair as it puts them in the spot of even more liability.
I wish I could play around with Spanner for personal/side projects, but a production ready instance starts at $65/mo. DynamoDB can run for ~$0.00/month with per-request pricing.
"as little as $65 USD/month" for GCP Spanner

vs AWS Free Tier:

"25 GB of data storage ...
2.5 million stream read requests ..."

https://aws.amazon.com/dynamodb/pricing/

So, there's probably somewhere the lines on the graph cross, but Google's headline seems misleading.
As an EF expert, I don't have EF in my projects and use Dapper.
Facebook released LLaMA (Large Language Model Meta AI) and it took off from there.
They didn't cut the price. They increased performance and are claiming half price to a similar workload on Amazon. Titles a little disingenuous.
That headline is half truth. Price of a cloud database depends on so many things. what is the I/O, what is the storage utilization, cross-region traffic, etc. Picking one scenario and claiming the cost to be half is too simplistic and a marketing gimmick.
You're creating a false dichotomy. Animals swallowing things, being hit by vehicles, attacked by other animals, jumping from 8 story buildings (and living), and so on all cause similar groups of internal injuries - often life threatening. Yes it requires expertise and work to treat them - that's exactly what the job of a vet is. It's not like you go to a vet in the developing world with a puppy suffering severe internal injuries, from whatever reason, and they just shrug and ask if you want to euthanize.

Quite the opposite I expect you'd see dramatically less euthanasia in the developing world (though a quick search unsurprisingly turned up very little in the way of data). But I think the logic should be clear enough. Pets make everybody's lives better and more enjoyable, but very few people could afford to even think about dropping $10,000 on a puppy. Those prices are just a fast-track to mass euthanasia and depressed vets.
Here you go: https://taoofmac.com/space/apps/1password
Author of the website here.

All charts on modern-sql.com are backed by tests. I also keep them up-to-date by running them for new releases when they appear.
Isn’t this the day the http2 bug is supposed to be patched?
>I can share some, for Twitter/X at any rate. Employees of Rebel Media (far-right Canadian media org with an agenda) have been caught organizing the posting of old footage of IDF incursions in the West Bank and Gaza dubbed over (poorly) with soundtracks of Arab men laughing to make it look like Palestinian militants were caging Israeli children, knocking down doors, and otherwise being inhumane.

The core issue is the type of person who's viewing snuff films and the like, to the point they're in the muck when folks like me are waiting a few days for an editor to decide how much we need to see.

I remember walking into Phar Mor after the Oklahoma City Federal Building was bombed, the dead baby on the cover.

People were angry -- said it was obscene.

But it made things change.

Not the bombing -- but seeing the aftermath.

Then folks pointed out worse had happned in the gulf but... I don't know how to escape these cycles when in the time from when you form memories to the time you can vote, so many conflicts have been started and no one ever wants to stand down when they're on the side with more resources and weapons.

Someone gave me a book to read about the early days of Israel, and they talk about how when they were going back and forth, the rabbi told the settlers do not go out tonight, do not relatiate, do not continue this cycle.

Flash forward, and people would talk about concern about mosques near ground zero but never the churches who do minor terrors so many more times over that do not make the news.

In fact, the main reason I abandoned one of my boyhood dreams is someone from the FBI straight up told me they'd never investigate the white nationalists, and that by the time I'd finished handing fake TNT to Tunisians, my IT skills would be as atrophied as my personal relationships.

And then they came and groped my girlfriends and rolled a tank through little Italy and expected not so much as a peep the next Easter Egg painting?

Entitled violent fascists, horrible in body, mind and soul.

Life is not black and white but... let's not lose sight that there are people consuming this media the way they consume a horror film.
Typical proofs don’t cover side channels, just ISA semantics. With the big asterisk that most programs are running on top of an unverified kernel on an unverified machine-level blob on an unverified ISA implemented by an unverified chip, you can absolutely prove the behavior of programs. Lamport has an unusual attitude towards verification and comes towards it from a slightly different angle, and model checking is not a good approach to machine-level proofs.
> but vet costs are completely out of whack with reality these days.

This industry, like so many others, has become a target for venture capital and consolidation. It's very quickly on it's way to becoming monopolized. Which makes headlines like this to me very interesting, because I assume they're designed to push people out of the profession and practice ownership and just sell it out to a firm when they come knocking.

> For profit companies should not be involved in human or animal medicine.

What is self ownership but an attempt to earn a profit? The issue isn't attempting to earn, the issue is the attempt to fully monopolize the market. I wish people saw through this more often.
if only we could trust people to make informed decisions..
Yes, with US Federal Government subsidizing the rent.

Many of these private landlords are non-profit orgs.
It may dismay you to learn the amount of business which is social.
And for many projects, Postgres is still cheaper than both. Having used both, I would much, much rather do the work to fit my project in Postgres/CockroachDB than use either Spanner or DynamoDB, which have WAY more footguns. Not to mention sudden cost spikes, vendor lock in, and god knows what else.

AWS and GCP (and Azure, and Oracle cloud, and bare Kubernetes via an operator, and...) support Postgres really well. Just...use Postgres.
ProRes is actually worse at the same bitrate when compared to H.265 or AV1, and sometimes even worse than H.264. The advantage is that it's easier to edit because it's all intraframe, not that it has higher quality - it's worse. Even intraframe HEVC is going to be better than ProRes. H.265 really is going to give you consistently better pSNR and SSMI than ProRes, and that shouldn't be surprising - interframe compression is better for quality.

The only advantage here is slightly better denoising, yes. But denoising doesn't change the dynamic range limit, it just hides the noise visually. The SNR is actually going to be lower.
but as always: Are you sure your data doesn't fit in PostgreSQL? You should probably try PostgreSQL first.
Also independent rear suspension and a sequential gearbox now.
Yep. The money crashed. But the technology never stopped
Counterpoint, practically every fruit ending in "berry" is sweet and naturally grows that way without human intervention
Related: The podcast “On the Media” had a story recently about how infrasound may have affected pidgeon races – highly recommended!

https://www.wnycstudios.org/podcasts/otm/segments/curious-ca...
…until it’s canceled
Are on Linux? AFAIK it doesn't work on Desktop Linux.
Great initiative, hopefully they will follow up with a thing that nearly every country, but not US does - "include tax into price on the price tag."
Get Your Own Human Powered Fred Flintstone Car Right Here [2008]
Snopes seems to believe they might: https://www.snopes.com/fact-check/amazon-prime-adults/
> Based on your definition, Netflix is not a tech company, it is a media distribution company.

Sounds about right. NBC was once owned by GE, and had a formidable internal engineering team of their own. Would anyone say NBC is a tech company?

Hell, their name even contains the distribution medium they had to master (National Broadcasting Company), just like netflix.
> But, counterbalanced by the possibility of ‘having a mortgage and being stuck in a place that may not longer be optimal for your given economic changes around you’ that can lead to more stress.

Sure. But we’re talking population level differences. There’s plenty of wealthy people that also choose to rent. However, at a population level, those effects are going to be a lot smaller. If you have a 2008 situation where the entire class experiences a shock then maybe.
Even a large amount of lacto-ovo-vegetarian vs. omnivore will reduce the amount of farm animals (and feed/land use) by a vast amount.

offtopic: I disagree with the "subspecies" comment from GP - it was a bit inflammatory.
I was thinking perhaps it's ~30% ammonia near-saturated solution in water which is easier to handle. But there's no indication in video, it would need to be dehydrated before burning, lowering efficiency. Also it means getting from over 12 MJ/l down to 4. Compared to gasoline 34 MJ/l. Would need several hundred liters fuel tank to have comparable range.
What if more people want to live in a place like Queens than there are housing units there?

Prices increase, and some people cannot afford to live there. Where do they go?

If they move to your town, they are now "dissenters" for being the less-than-50% part of the population that might vote for things like higher density or mixed-used developments.

It's difficult to vote your choices in a place you don't already live.

You also describe a spectrum of types of places to live in a close geographic area that is not at all representative of most of the US. Being two-towns-over from Queens puts you in a majorly urban metro area with a level of density somewhat unique to older American cities and the Northeast in general.

In my experience the towns and neighborhoods with close density building (not necessarily high-rises, you can get way high density with single and double story development than the average Target/Costco suburb), are seen as very desirable in the housing market and generally command very high prices. Places with a Main Street, with local shops and restaurants, with walkable housing and mixed development.

These are the "cool neighborhoods" that people visit but often can't afford to live in. If supply of these places met or exceeded demand I would think they would be more affordable to buy housing in.
Completely ignoring

> UPDATE: Spacedrive is under active development, we are in the pre-alpha stage, with builds occasionally released via GitHub actions, official alpha coming soon.
What does it mean to say "a program is provable"? You have to prove something about it.

In principle, nothing prevents you from taking e.g. an ARM binary and formally proving that it will never crash in some environment, e.g., bare metal chip with known amounts of memory etc. This is very hard for useful programs and not worth it in pretty much any application there ever was, but it's possible and getting ever easier over time.
Common Lisp is dynamically typed but it matters far less compared to a language like Javascript. Again that is because the development process is very different. You are not writing code, compiling it and hope it works. You are modifying a Lisp image as it runs, so you are working at a much finer grain where type safety is not that required. I have not faced major typing related issues and also in the rare occasions when you do face them, you can simply update the image while it is running.
> A society needs to put limits on behavior of its individuals to be sane

Just look at how Indian politicians abuse hate speech laws. A classic example: https://www.cnn.com/2023/02/16/media/india-bbc-office-raid-t...

"Officials had spent three days raiding the spaces following the country’s ban on a BBC documentary that was critical of Prime Minister Narendra Modi’s alleged role in deadly riots more than 20 years ago. "

"Now ranked between Turkey and Sudan, India dropped eight places to 150 out of 180 nations in last year’s World Press Freedom Index published by the Paris-based group, Reporters Without Borders. "
That 757 traffic deaths in 2022, while tragic, makes it 4 deaths per 100K people in the Netherlands. For comparison, the NHTSA is estimating the US had 42,795 traffic deaths in 2022, which is 13 deaths per 100k people per year. Even a horrifically bad year in the Netherlands is dwarfed by the rate cars kill people in the US.

[0] https://www.nhtsa.gov/press-releases/traffic-crash-death-est...
But twice as complex to use, though.

That GCP interface is cancer. You need a Google-to-English dictionary to understand it.
Tekla's ecommerce evolution: harnessing flexibility with Vercel and Medusa
>CHI is just the observation that some logical steps in proofs behave as similar steps in programs.

It would have to be all, not just some, or it's not an isomorphism (or there are caveats about function purity I mentioned before).

>"Apply Lemma f to variable x with preconditions given by H1, H2; call the resulting statement L" is equivalent to a function call L = f(x, H1, H2) where H1, H2 are capabilities or abstract "tokens".

Okay, that helps. So where are the mind-blowing examples?
where’s the worked examples, forrestbrazeal
Postgres is the database God himself would have made.
Such a great idea
Starlink Direct to Cell
It's primary focus is/was being a web server - a faster Apache. This shows.

Also (after the acqusition by F5 in 2019?) more features are kept away from the open source version compared to HAProxy.
> You are just taking a formula out of context, omitting the plain English explanation that comes before it,

which, this?

"We saw earlier in the course that we can curry a function. That is, given a function of type (τ 1 ×τ 2 ) → τ 3 , we can give a function of type τ 1 → τ 2 → τ 3"

That helps no-one unless you have some serious hand-holding. I know the type of curry, I've written curry/bind/whateveer in C#, scala, JS and likely others. I have a background in this. It's not 'accessible' to mere mortals and even I'm not familiar with some of the notation here. Stop pretending it's just laziness on other people's part.

(oh yeah, did I forget to put constructive logic in my list above? Brouwer's intuitionism? FFS get real, I never even heard of that until a few years ago)
Agda is a nice language with a good homotopy type theory library based on the univalence axiom called agda-unimath.
You're funny. Exceeding in importance the Internet itself? That's an incredible amount of hype. Would you rather have chatGPT dialed by SMS in a world without Internet, or Internet without chatGPT? I know which one I'd choose
That doesn't address GCP itself getting shut down in 2 years.
They said the same thing about the Internet is 2001.

Industry is still reacting. Hollywood in particular will be completely upended. There are those in entertainment that haven't grasped the impact of what's available.

The Chinese graphic design industry changed overnight and made millions of their designers redundant. In short: it's coming.
Postgres is a piece of software. Cloud Spanner/Dynamo etc are managed services. It makes no sense to directly compare one with the other.
To what extent do you think about micro-quakes are effecting the subduction system? I've heard that we see the land deforming, building tension from the subduction, but there is also a regular cadence where the land deformation reverses temporarily. When I heard about it (Nick Zentner popular lecture), it was suggested that it might be relieving the stress from subduction more evenly, and not allowing it to build up.
Curious: have they ever increased prices of existing Google Cloud services?

As far as I know, AWS only ever decreases prices on services for example
Is there any evidence of vendor lock-in actually being a widespread issue?
This was my introduction to K3s as well. RPis running K3s with enough resources left over to actually do some small tasks. I hosted a small data pipeline that analyzed trading data from an MMO. It was as fun as it was impractical, and I learned quite a bit.
> That seems highly unlikely to me.

I mean, I provided a reference for my claim.