skysight-inc/HackerNews huggingface dataset:
You're not wrong, at all. This is the hard conversation to have. What would it take to improve outcomes? How much spending would it take? To me, it appears we are not willing to fix the overarching system, by which I mean support systems for parents for children 0-18. We don't want to pay for pre-k. We don't want to pay for daycare. We don't want to pay for quality K-12 education (over 1000 US school districts have moved to a 4 day week in an attempt to retain teachers). In some states, we're even unwilling to pay for student lunches. Instead, society as a whole wants to spend as little as possible to get able bodied workers and taxpayers out of the pipeline, while treating early education as babysitting so parents can be productive workers. It also wants to outlaw reproductive healthcare that leads to these outcomes, but does not care about the outcomes.

If you want my hot take, the solution is to drive as much funding as possible into family planning. This is where the dollars are most effective. This quickly shrinks the funnel of unwanted children on a go forward basis, allowing for the focus of resources on the remaining pipeline of children to be nurtured and developed by, hopefully, welcoming and resourced parents. There will be second order effects of course (see rapid total fertility rate decline across the world), but I believe we can all agree that suffering reduction for all involved is a worthy cause to pursue.

https://www.guttmacher.org/fact-sheet/unintended-pregnancy-u...

https://www.brookings.edu/articles/preventing-unplanned-preg... ("While the controversies persist, most people agree that empowering women to have only the children they want has positive benefits for everyone in the form of better pregnancy outcomes, improved child well-being, more opportunities for women and their partners, reductions in costs to governments, and lower abortion rates.")
Neat share, I've been getting more ultrasounds this year and feeling more and more bullish on non-invasive imaging. I recently enjoyed this podcast about imaging. Can't find it now, maybe was about SimonOne or something similar. Sort of advocating for the idea of a annual full body MRI. Really made me wish the tech was cheaper and everywhere already so we can catch things early.
We'll have a chance to see with New Horizons. It's one of the five craft to ever be put on a solar escape trajectory.
I didn't think so, of you look at old stone walls, there's an absence of continuous horizontal or vertical patterns. (However the discussion was a fork, about wall building, so it was quite literal)
"Academia stopped teaching C++, moving to Java and then to Python."

There are a lot more practical and lucrative skills for a young programmer to focus on than C or C++. Many will be able to have good careers without going that low level.

What impact will that have on the economics of legacy C/C++ code bases in the 15-30 year time frame?
Some parents may do homeschooling well, but most don't. Most use homeschooling as a way to isolate their kids from outside world views and prevent them from questioning what the parents believe. It's a way to indoctrinate kids into a specific viewpoint. Kids should be exposed to many different cultures and viewpoints so that they have a chance to develop their own viewpoints, improve critical thinking skills, and become independent thinkers.
Uh... always?

Child goes home, does homework, doesn't understand something. Child asks parent. Parent helps child understand.

Even more with reading, most parents flat out don't read to their kids anymore, and don't help them with their reading assignments. So you end up with a worst case scenario where kids can't fucking read and can't spell either because they communicate with each other through slang while texting online.

An education system where parents are disengaged is an education system doomed to failure. Teachers do not have enough time in the day to adequately fill the gaps.
Because Finland learned the best way of teaching - getting parents involved a LOT more.

You can fund the schools $1bn per student, but since the child spends only about 40% of their annual awake time at school - you can only do so much.

The more parental involvement, the better the outcome. A single parent that works 2 jobs and doesn't look after their kid's education will result in poor outcome no matter what.
https://archive.is/L0BdY

Summary:

* Spotify’s Layoff Impact: CEO Daniel Ek was surprised by the significant operational challenges following the layoff of 1,500 employees.

* Financial Performance: Despite achieving record profits of €168 million and revenue growth, Spotify missed its targets for profitability and user growth.

* Investor Reaction: Shares increased by over 8% after the earnings report, reflecting investor confidence.

* Long-Term Strategy: Despite short-term issues, Spotify believes the layoffs were necessary for long-term profitability.
People without kids in public schools have a pretty warped view of what things are actually like. When you poll actual parents who enroll their kids in public education you see a different picture. I'm actually really shocked people genuinely believe schools aren't focusing on core academic subjects... if anything they're too narrowly focused on a subset of ELA and Math rather than taking a broader approach to these subjects.

As a parent with kids enrolled in public school tho, I'd probably be a "wrong direction" person but probably not for the reasons outlined. My biggest gripes are:

1) Teachers have limited autonomy to shape their curriculum and (at least at our school) teach a canned curriculum to ensure standardized test scores move in the correct direction. This also feeds into more advanced kids getting bored out of their minds.

2) Schools often have lopsided resourcing for various special education concerns. There's significant resources available for kids who struggle in math and reading but if a student's needs are social, speech, etc (eg: kids on the autism spectrum) the support isn't as widely available. If your child is well-behaved and academically strong but has support needs elsewhere they're not going to bend-over backwards despite whatever a state law may say.

But it's not all bad. I've also noticed: Bullying seems to be taken WAY more seriously these days. To the point where the kind of stuff that I'm not sure would've even gotten recognized as bullying when I was in school gets clamped down by schools. However, for schools that are more permissive with devices, as I've understood it, much of this bullying just gets pushed online.

I think allowing kids to have devices in school is probably the worst thing for education. And this is 100% on the parents for forcing schools to tolerate this. And I think any politician that tried to run on getting devices out of schools would probably get run out of town.
House of Cards did a good job of showing just a handful of the ways that favors are traded (or power subtly asserted) between the intelligence agencies and politicians.

The founding fathers understood this risk and went to great lengths to ensure separation of powers, but the vast majority of 3 letter agencies did not exist back then and thus exist outside of the well-designed structure.
Huh, so this must be why chromium has been showing as a 100% transparent box with 90's style mouse cursor glitching the past while.
Not quite as simple as that bit of analysis, as:

1. The CO2 of the Amazon delivery needs to be taken into account (apportioned to the number of drops), vs delivery to store. Delivery to stores is highly efficient compared to last mile.

2. Most Amazon purchases probably wouldn't directly result in less trips to the supermarket (i.e. am I driving to the supermarket just to pick up one item, or am I going there anyway and picking up everything I need when I am there?)
I was hoping someone would bring up the technological aspect of a collapse of modern society and then regrowth. There are two major issues with humans post-collapse being able to create a technological society and these are lack of fossil fuels and surface deposits of metals being used up. Both of these work together to make an industrial evolution type event very difficult and perhaps impossible.

I would wager that there is a different type of technological path requiring less fossil fuels and less surface metals. I dont have any data to support this belief obviously but I do believe that given enough time a human society could develop technology to enable space colonization without the jumpstart of an industrial revolution. This would look like slow generational iteration as opposed to explosive revolution and therefore would be more sustainable IMO.
Heh, well, I'm speaking as somebody who was fairly obsessed with making Rube Goldberg domino chains as a kid, spending hours at a time covering a large oak trestle table with precarious stacks of wooden blocks, rulers, tape cases, strings, marbles and so on -- and then knocking them all down. (This was long before YouTube, so I don't have any documentation of any of this.)

I would really have appreciated an "Undo" button for rewinding entropy and running those things over again, especially when they went disappointingly wrong halfway through...!
I tried learning Ada a few years ago and was really put off by GNAT.
Installation was something straight out of the 80's and I just forgot about it after a little fussing around without getting anything working.

Great to know that's no longer the experience with Ada, I might finally get it and try to start a project using it.
Usually it’s the only option for something. But if you don’t care about any of the something’s, then you don’t really need to be a user.

For me it’s worth it, but there’s no option either.
> A sequential scan over this large table takes a long time:

> ...

> Execution Time: 16.988 ms

I feel like I have a different definition of a "long time", and apparently all my queries suck lol. Also, of course the btree index on (i1, i2, i3, i4, i5, i6) won't be used when querying on only i1 and i5. Felt a bit weird to read that as an "unexpected" outcome in the pg docs, but I guess the writer is just trying to make a contrast with the bloom index on the same column set.
No - I went to the far less prestigious Heriot-Watt (although I was accepted by Edinburgh!) which at the time I was there had the distinct advantage of having the relevant departments located in the Grassmarket.

Fees for Scottish universities still free for students from Scotland though? I'm just bitter because my own son decided to go to an English Russel Group University...
That ship sailed with JAVAscript in 1995.
And from a leadership perspective it might well be / might have been. I don't think he ever criticized the quality of engineers there.
Instacart already delivers within an hour to my home from a store of my choice. This means in addition to the regular grocery store items, I can get speciality items from the ethnic Indian, Chinese, Korean stores delivered too. With the subscription ($9.99/month) there are no delivery fees either. That’s going to be hard to beat.
Yes, it has that association in English.
Tree rewriting is at the core of many compilers, but many compilers are huge labyrinths with historical cruft.

You might find inspiration in Go, though, as that compiler is surprisingly simple in structure. The SSA rewrite rules look like

(Add8 (Const8 [c]) (Const8 [d])) => (Const8 [c+d])

(EqPtr x x) => (ConstBool [true])

https://go.dev/src/cmd/compile/internal/ssa/_gen/generic.rul...

https://go.dev/src/cmd/compile/README
They feel the need increasingly because those needs aren't met. Watercooler talk is gone for many tech people in particular.

I've done most of the aforementioned examples, and gyms have not been a place to socialize very much; people are there to train on a schedule, then leave. Sports clubs can be more forgiving but it depends on what you're doing (dancing may be better). I played competitive team sports as an adult a few times and unless you were already part of some in-group, making friends is not that easy. People play then go home.

I had the largest returns (socially-speaking) in book clubs and similar groups like that.
One thing that sticks out to me on the subject of copier wars was the copy protection measures that were implemented on small booklet walk-throughs for adventure games.

Usually there were red marks over the text that I presumed prevent photo-copying, and a red film you would look through to read the booklet. At some point there was no use as these things would be posted on BBS sites and you could simply print them out.
> the median income in New York City is $76k
> Keep in mind that having a "roommate" is common everywhere

You are not selling this dream very well. Maybe you're just young/inexpereinced, but this sounds like a dystopian nightmare to most people. You want families just rooming together because they cant afford the ever dwindling supply of housing - something civilization has known how to build for thousands of years?

Our asset owning class won't allow the building of houses and neighborhoods anymore (and all the land is owned so don't even try, anywhere), so that's the problem - artificial scarcity and inflation. Your room mate idea is an absurd remedy when such an obvious solution exists that would make everyone happier: Let people own their own shelter ffs.
Most infamous.
I just tried to give gpt4 a scrape of a menu page and asked it to reformat it to csv. It hallucinated several parts and missed others. Llama3-70b hasn’t done that. So far it’s been more reliable. You can run a quantized version on consumer hardware or pay significantly less ($10 vs $1 in, $30 vs $1 out) on hosted platforms.
This is a good watch, it goes into detail on the architecture of the PS4 showing how it differs from a standard x86_64 “PC.”

https://youtu.be/QMiubC6LdTA

The “too long; didn’t watch” summary is that there’s several peripherals, timers, RTC, etc outside of the processor that software will expect to be present (or at least emulated) with specific interfaces. You can implement x86_64 without a lot of this, or redone in a more modern style, but software such as a Linux kernel will have to be patched for it.

Typically a modern laptop will have all the legacy peripherals emulated, and the modern peripherals will live alongside them.
My Name Is a Mountain
Yes, no delivery fees; merely service fees for the service of delivery.
I feel similarly about Reddit and pre-X Twitter.
Are you implying the OP was over-sampling on wealthier Michigan neighborhoods? Because I read their quote as applying to Michigan as a whole, and there are certainly parts of Michigan that are poor enough to have strained local taxes.
Training in open access for doctoral students: results of a survey
> All OOP languages have it, the issue is related to changing the behaviour of the base class, and the change introducing unforceen consequences on the inheritance tree.

C++ largely solves it by having tight encapsulation. As long as you don't change anything that breaks your existing interface, you should be good. And your interface is opt-in, including public members and virtual functions.
Because downloading an installer from the same website you curl from is so much safer, right? /s
I imagine they break-even in GHG emissions in most places in the US within a year or two of ownership. These trucks will likely be in service for over a decade. Last-mile delivery trucks get absolutely horrible mileage, constantly having to accelerate and brake all day long with a large amount of mass.
I feel pretty sorry for the kids today what with the world they're going to inherit - if I had any, I'd probably just let them do whatever at this point.
Everything you describes sucks but I dunno why you seem to think it's an Apple issue?

If somebody's lucid enough to use technology, put them on Apple stuff. If they're not lucid enough to use technology then Apple or Android doesn't matter – both are unusable.
Reminds me of the Busch-Gass Gambit in chess - something so new and mind boggling that it absolutely destroys the best chess engines in the world. Discovered through computer analysis. Insane to watch this opening played well.
Yes but that was due to it's popularity, not the cause of it, there is quite a bit of network effect, but that only comes into play once you have the network.

The gameboy won because it was half the cost of any of it's competitors. while being more than half as good.
Proton Key Transparency [pdf]
Came here to say this.

Mother in law had a PC and a whole bunch of old Android tablets. I'd get a phone call about once a week asking some kind of support question.

When everything melted down and the PC got too old I got her to buy an iPad. Haven't heard a squeak since - she loves it, it does everything she wants and she's now totally self-sufficient.
GNOME 46 also brought massive improvements to Nautilus (the file browser) performance. It used to feel a bit laggy even when navigating between small directories but now it feels snappier and a big directory full of thumbnails for photos and videos loads much quicker and things don't seem to jump around while loading. It also loaded a directory with 40k entries in less than a second. Pretty decent I would say.
I just looked at the feature comparison here: https://timesnapper.com/compare

Surprised to see that "Maintain aspect ratio" is only there in the pro version. Maintaining the aspect ratio should be a basic feature.
I keep having difficulty connecting to gmail via neomutt, where there were no problems last week doing so. It's spotty; sometimes I can connect and see my mail, only to have mutt freeze because it's querying the endpoint and the imap.gmail.com is not answering back.
It may be a bit off topic, but I really would like to see a comparison between nvdia and Google TPUs to get an ideia
Where I live it is hot and humid for much of the year, so even though we get cold winters, it isn't enough to have outdoor ice rinks everywhere like in the Northern US, Canada, Eastern Europe, and Scandinavia. I'm jealous of the skating culture where you're at!

One of my Canadian friends was explaining that pretty much everyone chooses to do either hockey or figure skating from a young age with a small minority doing speed skating. She says every neighborhood has its own ice rink too. Also, apparently the women's league for hockey is becoming pretty popular in certain places, so that is cool. I'm guessing it's similar to that where you live?
You can't compare vast swaths of your population getting lung cancer and emphysema or rich people not being able to buy knives with ivy inlays to banning a medium where the common folk can communicate, run businesses, and generally conduct their lives.

The fallout from this WILL be a political and constitutional catastrophe that Washington will never likely recover from.
Yes, I already noticed, but it looks a lot less polished than the dog, and is also more expensive.
Probably an older product with higher prices, that's why I would welcome an updated version.
Yeah but it’s like $2-3, not terrible for the convenience.
As I have said elsewhere in this thread, I do believe there is a technological path requiring less fossil fuels and less easily accessible surface metals that would allow humans to achieve high technology and do the whole space colonization thing without an industrial revolution. It would take an order of magnitude or two longer and would be iterative and generational as opposed to explosive and revolutionary and might be more sustainable for it. Obviously I have no data to support this but its my intuition that its possible and perhaps even common for other life in the galaxy
Teachers in the US are extremely well paid once you consider their obscenely good retirement benefits, insurance, and time off each year. Most teachers don't have to pay into social security because they get their own separate plan. It is extremely expensive to hire a teacher in America and I don't think spending even more money is going to change that.

Even theoretically, what would paying them more accomplish? Would they be displaced by experts in the field who decide to retire? Would they work harder because they're over double the median per capita income in the US? Are we going to pay them the same amount but just hire more teachers?
That’s a divide by zero error so technically the percentage of passing tests goes to infinity as the number of tests approaches zero.

#DiscreetMath
That discourse link is the dictionary definition of concern trolling: Appearing to be open to be convinced, but not being so. Appearing to care about minority concerns, but then disregarding them (while attempting to eliminate the entire concept of someone having limited perspective with a tired "we're all human"). Appearing to understand that the current status quo of who is engaging with the Nix community is disappointingly limited, but refusing a solution because it's not as good as a hypothetical nonexistent option defined as "doesn't involve something I don't like" while putting responsibility for conjuring the option on everyone but him.

Yeah, what an annoying person, I wouldn't want to work with him either. At least most people with this world view don't cloak it in a layer of reasonable sounding but devoid of substance discourse that wastes everyone's time.
Until the industrial revolution, land was power far more than money. Wealthy merchants may have lived well, but it was the aristocrats who owned the land who really ran things. And that land wasn't purchased but inherited.
> Our memory footprint dropped by 10X

How? A UUID is only 4x the size of a 32-bit integer.
one of my old professors. Blast from the past!
> Uh... always?

Source?
Oth of which involve extra motions (I have mild RSI issues, no no bueno), all to enable a behavior I can’t stand.
Delivery to stores might be more efficient, but then the last mile cost doesn't go away. Most of the stuff that I would buy from Amazon isn't available at the stores that I go to so it would require an entirely separate trip to somewhere that I would not go otherwise. Often multiple stores.
Well, maybe now they start deliver worldwide (DHL/UPS is OK!). This is insane, unable to buy product from a company.
> Randall Holmes has claimed to have a proof of its consistency. In this repository, we use the interactive theorem prover Lean to verify the difficult part of his proof, thus proving that New Foundations is indeed consistent.

I think proponents of Lean are a little bit too strong in their use of language. Lean is not a superior method of proof, as is often implied. It is an alternative way of proof. If one looks into getting into Lean, one quickly realizes this situation. It is a programming language and system, with its own bugs, and you are highly reliant upon various stacks of libraries that other humans have written. These libraries have choices made in them and potentially gaps or even bugs.

So I think I take issue with the language here that it was Lean that said the proof was good. I think the more accurate and honest language is that the written proof was verified by human mathematicians and that the proof was translated into Lean by humans and verified there as well. I don't think it's necessarily accurate, or I haven't seen explanations that say otherwise, that it's Lean that provides the sole, golden verification, but that is often implied. I think the subtitle is the most accurate language here: "A digitisation of Randall Holmes' proof".
It's sad it takes a rogue chaos-aligned outsider like Trump to do things like not renew Patriot Act provisions (which Trump threatened to veto and let expire). Establishment Democrats and Republicans alike have a raging hard-on for eroding our freedoms and expanding the surveillance state.
As in not-too-large can of a beer, as it is limited to no more than 2 users and 1000 invoices.

It isn't free as in software, as both FSF and OSI requires software compatible with their goals to have no limitations on use.
Bom Shankar! Me and a couple of friends used to host goa trance parties in Austin early 2000s. Fun times!