skysight-inc/HackerNews huggingface dataset:
I think what they mean is that for now most of the usage of things Chatgpt, mid journey etc has a human in the loop that helps getting the right result. For example plenty of people post AI generated images on Twitter. This works because they filter and chose what to post among a lot of generated images. If Twitter decided that every single post gets an automatically generated image, first of all they would have to find a way to lower the immense amount of computed power, and secondly to guarantee that every single time the result is valid and consistent in quality.
Does funding matter? <insert one of a dozen studies here showing little relationship between student funding and outcomes, across and within countries>
https://i.imgur.com/6QrNFRX.png
Website for the project: https://www.ahistoryoftheworldaccordingtogettyimages.com
People keep speaking about "Europe" as if it's not 44 nations and many more languages and peoples.
In many countries it isn't.
Yeah

Look how FSF slammed Apple in the past for their iPod ecosystem with “defective by design”. Apple never recovered from that
And she's not even watched all of the anime yet.
California is taking on caste-based discrimination
Richmond, VA (USA) - Verizon FIOS, 300/300Mbps - $29.99/month
That was a while ago, but I already had a few packages with 10k+ downloads under the company name.
They get ad placement for the money paid ie a commercial transaction not donation.
infrastructure too: they have the same problem with old bridges, with a few recent collapses and many closed to freight; they have an ongoing energy crisis; they have coastal cities in both the north and south where the flood risk is both more imminent and more potentially destructive
But (usually) the hard shoulder (emergency lane) is narrower than normal lanes.

Typically (here in Italy) the normal lanes are 3.25 to 3.75 meters wide while the emergency lane is 2.50 to 3.00 (it depends on the period the highway was built, I believe)

So you need to change horizontal lines/signage and make all lanes, including the hard shoulder/emergency lane, the same width, and this means that in "normal" operation travel lanes will be narrower.
From a pure numbers perspective, it's no question that it's a good rush. I think Sam Lessin's perspective that the incumbents may reap most of the rewards here is interesting to consider --- some of the dynamics of the generative AI market aren't like previous software categories that were newly developed. Here, generative AI is seeing integration into all kinds of existing workflows.
Access is gated upon `/usr/bin/security`, not the Terminal app.

The security prompt to "Allow All", "Allow", or "Deny" when a process tries to access a keychain item's value is a GUI window, but it's not part of any app.
Apple Arcade still has a nice Angry Birds version with zero ads or gambling mechanics or any other nonsense.

If it was not for Apple Arcade, I probably would restrict my kids to playing Kerbal Space Program or the few games I know that do not have all that garbage.
Presumably the relay protection would trip the breaker for over current.
Essentially they would function like HVDC cables, and we already operate plenty of those.
In practice AVIF is made practically only by Google team.

Good summary from https://www.phoronix.com/forums/forum/phoronix/latest-phoron... :

Max image size is limited to 4K (3840x2160) in AVIF, which is a deal breaker to me. You can tile images, but seams are visible at the edges, which makes this unusable. JPEG XL supports image sizes of up to 1,073,741,823x1,073,741,824. You won’t run out of image space anytime soon.
JXL offers lossless recompression of JPEG images. This is important for compatibility, as you can re-encode JPEG images into JXL for a 30% reduction in file size for free. AVIF has no such feature.
JXL has a maximum of 32 bits per channel. AVIF supports up to 10.
JXL is more resilient to generation loss.5
JXL supports progressive decoding, which is essential in web delivery, IMO. AVIF has no such feature.
AVIF is notoriously based on the AV1 video encoder. That makes it far superior for animated image sequences, outperforming JXL in this department by a wide margin. However, JXL also supports this feature.
AVIF is supported in most major browsers. This includes Chrome (and derivatives) and Firefox (and forks). JXL is supported by almost nobody right now. Only Thorium, Pale Moon, LibreWolf, Waterfox, Basilisk and Firefox Nightly incorporate it. Most of these are community-maintained forks of Firefox. That is a big downside for adoption, as I already ranted about in this post.
Both formats support transparency and wide gamut (HDR).
Get an Intel Silicon Photonics 100GbE QSFP28 500M Optic for $6
Yeah, I had the same thought.

It couldn't possibly be that teachers' unions are the problem!
High education spending doesn't equate to good teacher pay. The pay for administrative staff has gone through the roof.

IMHO, teachers are underpaid for what they do and what we expect of them.
No, no. Can’t do that. Meeting aliens, or “gods”, was only the most transformative event of their history, one that shook their cultural foundations to the core. You wouldn’t engrave that for posterity and for all to know, right? You would devise some fairly stupid encoding scheme with the hope of fooling everyone in the future, hoping that a delusional blog writer from 2023 deciphers it. Now _that_ makes sense.
No thanks bud
The problem is that old PNG and JPEG are good enough for most purposes. They are certainly not as efficient but with todays technology and bandwidth, there is little downside to using JPEG and you know it will be supported everywhere.

It is not the case for video. Video is still a huge bandwidth hog, and finding better codecs is worth it, that's why they get better support. Webp is a clever hack as it is essentially a single frame webm video, so if you have webm support, which is worth it, then you can have webp almost for free, JPEG-XL doesn't have that incentive.
I was using a 17″ 2009 as a ‘bedtime reader’ until the backlight died last month. Pro(?)tip: Acrobat reader can rotate viewing (unlike Preview, whose rotate operation affects the document), so that you can lie on your side and have a page-sized display.

I also have a cheese grater running Snow Leopard (the last good MacOS, and the last with Rosetta). I'd like to replace it with a VM, but apparently 10.6 still gives UTM (QEMU) trouble.
In this case (and the root of some of the problem) is that it's not even "the government" that owns the airport. The airports are operated by the Port Authority of NY and NJ, which is an extra-governmental slush-fund-distributor that isn't meaningfully accountable to either state government, the NYC government, or any of the relevant NJ municipal governments. There is nothing meaningful that voters can do to affect change in the organization, so nothing is likely to change.
Sounds fishy too me.
Show HN: Dogma Metalanguage v1.0
After a long enough period of no major changes, my gut is telling me to just pull the damn trigger, so here it is!

---

The Dogma Metalanguage, release 1.0

Dogma is a human-friendly metalanguage for describing data formats in documentation using the familiar patterns of Backus-Naur Form.

---

Thanks to everyone who offered critiques and advice! What is released today looks VERY different from the first beta posted to HN.
boots on the ground in the US would be met with extremely fierce resistance.
One of the issues with many of those studies is that they track per-pupil spending and track educational outcomes without actually verifying that the per-pupil spending is actually being spent on pupils. If a significant fraction of the per pupil spending is being spent on facilities maintenance, then the water, so to speak, is evaporating before it reaches the mouths of the thirsty.
I have several friends who work or worked in schools, and they all have told me that students lack respect. They cuss out teachers on a regular basis, are insubordinate, and do not respect authority.

Teachers cannot discipline the students, either. Doing so gets them calls from angry parents, or in trouble with the administration that got said calls. The above factors cause people who want to teach to stop. It is brutal to their mental health to be disrespected constantly and be powerless to do anything about it.

I believe children are mostly reflections of their parents. If a child is not respectful, my hunch is that their parent(s) are not respectful. I’m curious to hear from parents: how do you ensure (if you do) that your children are respectful toward their teachers? How do your fellow parents do so? When I was a kid, the idea never occurred to me to be disrespectful toward teachers. I don’t think my parents ever had to tell me to be respectful toward my teachers. It came naturally, probably because I saw my parents be respectful toward my teachers. I of course saw children in my classes who weren’t, and I assume their parents were the same. I’m inclined to think something changed, though, since the disrespect sounds much more prevalent today. Or maybe I’m hearing about it more since I’m older, now.
Great site. Feels like the internet before social media.
No that's not what was meant. China has nowhere near enough amphibious lift capacity to stage a ground invasion of the US homeland. It's just impossible.

But they do have a large and growing inventory of long-range conventional missiles which could be used to strike the US homeland if the US were to, let's say, intervene in a conflict over Taiwan. US cities and military facilities in Hawaii, Alaska, and the mainland West Coast would be at risk.
It used to be a popular (and true) joke that word count of the article on Jedi Knights was significantly higher than the article on historical knights.
Which happens to be the same state as the authors, Washington.

https://recompose.life/2022/movement-to-change-state-funeral...

The current states are WA, CA, CO, OR, and VT.
I bet they are, but they are also sedentary. Exercise and the outdoors are great at reducing anxiety, and depression is often caused by chronic anxiety, which is why videogames would not be my weapon of choice to combat it.
>Do you consider something like a Subaru Outback a car while a Highlander is an SUV?

I don't really care about labels, but the Outback is way smaller and lower to the ground: https://www.carsized.com/en/cars/compare/subaru-outback-2014...

I know which one I'd rather cycle next to.

By the way, check out the cargo volume stats listed underneath. Also the site lists the Outback as an SUV but here it's sold as an estate car.
The orignal poster on Reddit isn't even in the US based on their post history. I've seen this happen a bunch on Reddit where non-Americans astroturf as Americans (and Americans astroturf as Europeans) on Reddit either as lulz or sockpuppet accounts.

But I can attest your statement. My mom works in education and it's open knowledge among teachers and certified staff that you start off in a city district for 1-2 years to get the no experience stink off you and then you go to a better suburban school district. PDs do the same as well.
Am I reading these charts correctly? They seem to be showing relatively high spending on education and health care compared to other countries.

https://nces.ed.gov/programs/coe/indicator/cmd

https://www.statista.com/statistics/281589/countries-with-hi...
IMO it's emergent more than intentional, in the sense that our slide towards authoritarianism gives extremists more power to attack institutions that dissent. I don't think any of the villains responsible for degradation of democracy are strategic enough to have multi-decade plans.
"And that’s why you absolutely can compete with Google and OpenAI — because they’re probably not even going to be in your space. If you’re trying to create something to automate the work of paralegals, or help with disaster resilience planning, or generate a better understanding of gendered language over the last 100 years or whatever, you aren’t competing with Google, you’re competing with that niche that’s in your domain."

I like it!
Can you be a bit more specific with what you mean by "collapse"? When we talk about a bridge or a building collapsing, we're talking about a very obvious and immediate mode of failure. Are you using "collapse" to mean "noticeable degradation"?

FWIW, the European nation I'm from (France) is definitely not doing OK on healthcare and public education (and debatable on infrastructure). Hard to compare with the US 1:1 in any case, but I'm not sure I'd designate either as a collapse.
Wasn’t the phrase foundation models just coined like 2 years ago?
It's how empires fail. When your military suppliers and contractors become large enough to buy the government, they grow like a malignancy, bleed the productivity and resources of the empire into building things that explode, and kill the host.
I know. I think it just shocked me. I would like to live in a world where childhood is universally the time in everyone's life for play and education.
It’s about the same as typing out code when programming :shrug:

That said, if you have a concrete proposal for a slicker alternative, I’m sure lots of folks would be curious.
Why would you even tell them about your roommates? Sure they might come up with some ways of hassling you based on the historical occupancy of a premises, instrumented usage patterns, etc. But the underlying dynamic is to give them the fewest "income" figures that will end their questions, since verifying an absence of something is generally tough.

The way by-income stuff is normally done is either on tax forms directly (obviously), or as subsidies for very low income such that they people who really need and want it are willing to jump through the paperwork hoops and spill their personal information. If this has been decided as the appropriate public policy, then it should be assessed right on the state income tax filing. But instead this perverse private-public "partnership" (read: corruption) makes it so that regulators have thought it appropriate for "private" companies to be directly involved in financial surveillance. So they aren't bound by the statutory secrecy of government, while the fact they're monopolies means you can't avoid them.
Having some slack for actual culture & personal development is indeed in my view too the differentiator between an alive & vibrant world and a sad static deadening one. Well argued, thanks a dozen!
Apple Arcade is perfect for kids, you can let them install any game from there and you can be a 100% sure there's no predatory in-app purchases, subscriptions or ads.

The Netflix games are trying the same approach. Basically they have games on the app stores but you can't play them without an active Netflix subscription.
Comparing Stateful Stream Processing and Streaming Databases
It’s astounding how many ways governments find to repackage what can trivially be done with tax policy.

What’s next, income-based pricing at the gas station? Just price it into the tax rates. This appears to basically be the equivalent of a (very approximately) .1% tax hike and a fixed electric rate across the board. But instead of that, which can be easily reasoned about, we get a death-by-a-thousand-cuts approach like this.
This is a post on r/Teachers so it's not surprising they don't talk about gatekeeping via unnecessary but mandatory certifications. Teachers are directly responsible for this via the teachers unions.
He reported a 1/3 interest in the property from the 80s through 2015, contrary to the original claim that "nobody knows" what his stake in the property is. That he reported any interest in 2015 is peculiar, because the sale occurred in 2014.

https://www.citizensforethics.org/wp-content/uploads/2023/04...
Yeah, that's clearly not even fit for purpose by design.

At least from the perspective of end users. :)

Thinking about it a bit more, it also seems to be at odds with how security in the world works.

Is there any case of having equipment be in the hands of end users for unlimited time (and without supervision), where the security doesn't get cracked?

Once a single exploitable bug in the implementation is discovered, the whole thing becomes useless. Perhaps worse than useless, once malware starts to embed itself in the PSP.
At that point, would its bark be worse than its bite?

So sorry...
the united states has a similar land area, similar number of states, over 500 sovereign constituent nations, two widely spoken languages, with largely unrestricted travel and trade within. europe does fund and coordinate social investments that involve multiple states. it's a useful comparison
St. Louis was chosen (alongside a number of other cities) because its climate/weather conditions were as close as the military could get to the USSR, with the goal of seeing how a biological weapons attack on Russia would play out. Here [1] are some images of Moscow from the 1950s. And this [2] is an image of the Pruitt-Igoe area (majority black housing project) that was sprayed in St. Louis. Those projects bear far more than a passing resemblance to the areas where we would have targeted.

I think really the point can be most boiled down that even if everybody was all the same race, those sprayings still would've happened. And, in fact, it did happen in many areas that were mostly white. The case in San Francisco was even worse. Instead of spraying people with chemicals, believed to be safe, they were spraying them with live bacteria - which near immediately caused numerous health effects. So by focusing on race, you ultimately end up ignoring the real underlying issue.

[1] - https://www.vintag.es/2017/03/46-rare-color-photos-document-...

[2] - https://en.wikipedia.org/wiki/Pruitt%E2%80%93Igoe#/media/Fil...
We use Katex extensively at Amy.app

Being able to render latex super fast is very important for us as we use it for live tutoring.

Shameless plug: We currently offer 2 free tutoring for Fractions and Calculus. Perfect to revise or even learn those topics. The cool thing is, Amy will find knowledge gaps from previous years/subjects as well. (No account need to try it out)

Fractions: https://learn.amy.app?inviteCode=f2d7h
Calculus:
https://learn.amy.app?inviteCode=zkjus
> Ramblings on aliens, reincanation and esoteric musings on physics.

Heh, what a fun read.

> The best for this purpose could be to use an object-oriented approach, and to create a global object type description language (maybe based on UML?)

Get that man psychiatric help!
Reading through the explanation I just kept asking "how? how can you possibly know that's what these little boxes mean?"

This is a conspiracy theory in a fancy web animation.
Headquartered in the PRC

Interesting, but no, thanks!
> replace my 2014 MacBook Pro. It was, and is, a great machine. If not for its woefully aged processor and now-insufficient memory, I’d happily keep using it.

> my MBP was struggling to manage even a single Chrome tab, and noticed that is just was not pleasant to use this machine anymore

I don't share your experience. My Lenovo ThinkPad X220 bought in year 2012 with an Intel i5-2450M CPU and 16 GiB RAM is still usable. In particular, it runs Firefox on Windows 7 just fine, and I get acceptable performance on websites like Reddit and Twitter.
Is the smaller red city demographically wealthy/upper middle class like Ft Worth, or a demographically working class/poorer city like Dayton? Class/family wealth plays a MASSIVE impact on school district performance, because richer parents have more time and ability to intercede in their kids education.

When people mention San Francisco, it's better to compare the families sending kids to public schools with those in Dayton tbh. Parents who can afford to usually leave San Francisco when they start a family so they can send their kids to better public school districts.

Also, like I've said a thousand times on HN - the primary city by population and economy in the Bay Area is SAN JOSE, not San Francisco. San Francisco barely had any tech employment until the 2010s, lost most of it's banking+law employment in 2008, and the union port jobs in the 90s. The biggest employer in SF is the city.
Made the same experience. AI immediately went out of its way to agree with my ultra politically correct "opinion".
This is a dangerous line. As often, when people speak of not getting respect from others, they describe not getting subservience. Especially from kids. Especially, again, when it is authority speaking
After the end of the Cold War, the Defense Department cut back spending and specifically encouraged defense contractors to merge with each other in order to survive. It would be rather ironic for the government to now complain about the results of their own policy.
I thought this was going to be about an implementation of transformer models in pure R and I wondered... why?
This is art. I think this community has the capacity to understand what the author is believing and evaluate the, uh, credibility for ourselves. We can all appreciate it as a deep dive into a completely bonkers line of reasoning. Talking about it also helps us all understand our own versions of this pattern. Enjoy the beauty and relax.
That a dumb and incorrect statement.

Here is the first link when you google "greenpeace coal germany".

The level of stupidity from this and many other comments makes me wonder how many russian plants are here trying to push some agenda.

https://www.greenpeace.org/international/press-release/20429...
The theory is that Sega made bank with the Sonic movies and the Angry Birds movies were the least crap movies based on games for a LOOOONG time - the second one still has 73% rating on Rotten Tomatoes.

A streak broken only by this year's D&D movie (90% RT + "fresh" rating)

This way Sega gets its foot in the mobile gaming door and also gets the people who made the Angry Birds movies and TV show(s) on their payroll.
The Rise and Fall of Kittyhawk
Yeah, there are some weird stuff in typescript, for instance, this typechecks

class Animal {}

class Dog extends Animal {
woof() {}
}

class Cat extends Animal {
meow() {}
}

let append_animals = (animals: Animal[], animal: Animal) => animals.push(animal)

let dogs = [new Dog()]
append_animals(dogs, new Cat())

dogs.map(dog => dog.woof())

Which if you evaluate, you'll obviously get:

Uncaught TypeError: dog.woof is not a function

Whereas Mypy won't typecheck the equivalent Python code:

class Animal:
pass

class Dog(Animal):
pass

def append_animals(animals: List[Animal], animal: Animal) -> None:
animals.append(animal)

dogs = [Dog()]
append_animals(dogs, Dog())

It'll throw with:

$ mypy types.py
types.py:16: error: Argument 1 to "append_animals" has incompatible type "List[Dog]"; expected "List[Animal]"
types.py:16: note: "List" is invariant -- see https://mypy.readthedocs.io/en/stable/common_issues.html#variance
types.py:16: note: Consider using "Sequence" instead, which is covariant
How Google billionaire Larry Page destroyed his dream of a flying car
There is enormous civilian demand for software development so we don't need government make-work programs. Contractors having endless meetings and failing to complete unnecessary projects are not learning anything useful anyway.
Perhaps it was a reference to teachers' unions advocating school closure during the pandemic, which could have affected education?

"The dispute echoes those that occurred earlier in the pandemic when some of the nation’s biggest school districts battled unions over school reopening plans and safety precautions in classrooms."[1]

[1] https://msutoday.msu.edu/news/2022/conversation-teacher-stri...
ChatGPT can already do the whole ETL thing given an intent or profile, detect data quality issues. It just hasn’t fit into batch processing yet. But on the other hands, do you really need batch processing to understand data? Wouldn’t a sample work for a whole lot of cases already?