skysight-inc/HackerNews huggingface dataset:
FWIW, https://github.com/sumatrapdfreader/sumatrapdf/issues/1249 ("Support form filling for at least 1040 irs form") has a comment saying "MuPDF-GL has the capability to edit fields and save the PDF" of a 1040.

I have just learned the Firefox 93 added support XFA - https://techdows.com/2021/10/open-xfa-pdfs-in-firefox.html .

So it would appear there are free software solutions to XFA forms.

Just because something doesn't seem far-fetched to you, doesn't mean most people will regard it as far-fetched.

Many people all sorts of "sectarian objections" - far more than there are SovCits or other tax protesters. Stallman has never come across as a tax protester. Ergo, I think it's far-fetched that "sectarian objections" is strongly associated with tax protests.

Further, at https://stallman.org/archives/2017-may-aug.html we can read Stallman opinine that we need to "return to the "bad old days", when Americans in general could have a decent life, not penury; when the US could afford to build what the public needed instead of privatizing everything with a toll" by making taxation more progressive. At https://stallman.org/archives/2011-jan-apr.html we read he supports "The Fairness in Taxation Act [which] would raise taxes to 45% on incomes over a million dollars a year."
Linking this to ATC Staff Shortages seems like a bit of a stretch

https://www.fox5ny.com/news/air-traffic-controller-shortage-...

> According to the FAA, the air traffic control center in New York is staffed at 54% compared to the national average of 81%. The agency is asking all major airlines ... to cut service to all New York City area airports by as much as 10% for the summer months. "This is another unprecedented situation," Pauline Frommer, editorial director for Frommer's guide book, said. "We've never seen the FAA asking the airlines to cut flights because they simply don't have enough air traffic controllers"
It's not (just) journalists doing this.

There's a serious rift in the world between those who view (Detroit) techno as "Kraftwerk, but a bit different" and "yes, inspired in part by Kraftwerk but actually its own genre". There's an important racial/cultural subtext to those two origin stories as well.

I've seen this argument play out on various blogs, podcasts and even a couple of college level courses over the past 10 years.
I use social media mindfully
The facetious answer, of course, is that because the people designing these policies learned math in the California public school system.

Less facetiously: A/B tests are great at lots of things. But these results really shouldn't surprise anyone. The idea that you will improve things for one group of students by making things worse for another group is really not only silly, it cost real kids a year of potential progress. An A/B test would cost some percentage of kids that year, which is better than hurting the whole group, but A/B testing on something that obviously would hurt their future does not seem fair to those hurt by the proposed changes.
And if we could somehow do Solid State Sodium Battery, we should be close to the optimal solution.
Eliciting Latent Knowledge: How to tell if your eyes deceive you (2021)
Its like people are willfully ignoring the obvious: Black and Hispanic kids do the worst in math. Understanding why and correcting for the problems is a complex task. Making big proclamations about equity isn't going to do it.

Family life matters to the growth and development of children. 64% of Black children live in single parent homes vs. 16% of Asian kids. How does this effect math results? Black children are more likely to live near highways with higher rates of air pollution and asthma. Do Black children sleep poorly and have poorer memory formation?

Black and hispanic children who are more like to be poor may have chronic background stress from poverty: food and shelter insecurity. They may have inadequate access to health care. They miss routine screenings for vision, hearing and dyslexia. Chronic absenteeism and tardiness abounds. Are these the problems?

Identifying and correcting the root cause of divergent math outcomes is likely to be a multi-faceted and complex endeavor involving families, finances and health. It is worth doing. Everyone deserves the best possible education outcome.

Unfortunately, with scant evidence, math educators have somehow convinced themselves the root cause of the problem is entirely the math curriculum and the equitable solution is to deprive advanced kids of opportunity. Madness.
It’s a land of freedom, bravery, respect, kindness, love, law, and innovation. Of course great minds will abound and innovate faster in those places. America is amazing. The land of innovation. A land of huge scale and growing rapidly still. Just wait and see how much more growth ahead once they resume QE now that the money supply is tight enough again that inflation is under control.

Time for brand new mega cities and EMP-proof Grid 2.0 and massive infrastructure projects and more money supply for new business development efforts.
This is going to be nuts. Ads that can be unique to the users and can interact with them. I can imagine chatGPT selling a high value item like a car. No need for a sales person until it's time to close. Even then, many of them will be done with AI.
> Putting cryptographic primitives together is a lot like putting a jigsaw puzzle together, where all the pieces are cut exactly the same way, but there is only one correct solution. Thankfully, there are some projects out there that are working hard to make sure developers are getting it right.

I found this analogy muddled.

The first sentence sounds like a good thing. There's only one correct solution for a puzzles pieces and that is obvious. We all see when the puzzle's been correctly finished because the pieces only fit one way, and a completed image is the result.

Sounds like a great situation.

Then the second sentence responds as if this is a problem that needs to be fixed.

For a less ambiguous analogy, how about a lego set, without instructions? You're supposed to build one particular model, but could end up building all kinds of things that may well use all the pieces, but don't end up with the correct model.
Sample application built to demonstrate the use of Kotlin Multiplatform Mobile for developing Android and iOS applications using Jetpack Compose
I think you may be conflating “standard of living” with “quality of life”, they are not the same thing. While I think quality of life is typically better in Europe by many metrics, there is no doubt that the standard of living in the US is commonly higher. They are not as tightly correlated as I think people assume.

EDIT: As an example, I split my time between Seattle and London. Cost of living is quite similar, but the median household income in Seattle is almost 3x London. That creates a large and very visible standard-of-living gap.
> I think what needs to be pointed out more than anything is that back in these times the scene around electronic music was a radical racial integrator. You had skinheads, rastas, and football hooligan ultras all partying with each other instead of fighting.

If techno was started in detroit, then in terms of origin stories, the above quote is completely disconnected. Yes, you had skinheads, rastas and football hooligan ultras all partying with each other, but that in the England, in the 90s, mostly after ecstasy arrived.
I'm not debunking anything, I'm asking how meaningful manifesting traits to a "clinically significant" level actually is. If I shoot my neighbour's dog in broad daylight then show no remorse it's probably manifesting psychopathic traits to a clinically significant degree, but it doesn't mean it would be totally worthless to send me to a psychiatrist. It may not even mean that I meet the threshold to be diagnosed as an actual psychopath, under whatever contorted DSM-V diagnosis it currently sits.

Your reference has no bearing on the answer to that question and in fact notes that 30% of the population display some traits of psychopathy, which is the entire point here. If you squint hard enough, you can label 30% of the population as psychopaths; if you're also convinced it's useless to send them to therapy, you can use the label to deny them mental health care and stick them in prison.

I'm worried that a broad and underspecified definition of psychopathy combines with an overstated inability to treat them, in a way that is morally bankrupt and tantamount to just giving up.
> I’m not aware of apprenticeship models.

Maybe not a popular answer, but I think the answer to this is grad school. Someone gets a PhD in an area like this (e.g., building either theorem provers or their related infrastructure), then gets a job in the same or an adjacent area after graduation.

That's not the only way to do it, but looking around in my area of research (compilers and programming languages for HPC) there are definitely many more people who do it this way than just figure it out on their own.
This is the most insightful comment about American society I think I've ever read.
An argument that makes all of its relevant assumptions clear and using precise distinctions would move "fairly obvious" and "seems to be so sure" and "sounds naive" into crisp statements about our knowledge. That's why it's desirable. Its use goes beyond simply you being convinced.
The attention that some tech layoffs are getting is often not the norm. It commonly just happens, no announcement is made, and employees know a bunch of people are gone but not much beyond that—aside from some individuals they know aren’t there any longer.
The most common and promising fusion experiments today (JET, ITER, Wendelstein-7X, CFS/MIT SPARC) are magnetic confinement fusion: use big, powerful magnets to shape and compress a hot deuterium-tritium plasma until fusion happens. In the Sun, gravity does the job, but at an extremely low power density; on Earth, we need to use magnets. These electromagnets draw a lot of current.

The big problem in fusion is containing and shaping the plasma without any instabilities. If we had room-temperature superconductors, the smallest current through a superconducting magnet would generate a very large magnetic field, enough to shape any plasma.
Well even foodstamps have work requirements. If you cannot pull a profit for some corporation you are starved to death. Despite attacking the rights of women and trans human life has never been more disposible.
would not be surprised if upper management in these tech firms are paid handsome kickbacks by these contractor companies (bodyshopping / staffing agencies) to re-hire staff as contractors.

Many such staffing agencies firms, esp with those fewer than 100 staff, are known to be 'benami companies' and pay handsome kickbacks to the client's mgmt based on headcount hired (and hence the revenue generated) through them. Often these are routed through hawala method, and final payments made in foreign (or their respective native) countries , so would be hard to track
This is amazing. Do you have some place where you've put up your work?
Yes, actually, there is. (I have no idea why Yudkowsky didn’t present it, other than “Twitter isn’t a good platform for this kind of question in the first place, and ever since his Time essay and his appearance on the Fridman podcast, his Twitter timeline has been deluged by disagreeable people, making it an even worse place for this kind of question”.)

The canonical source for ~all arguments for AGI ruin is Omohundro’s Basic AI Drives: https://selfawaresystems.files.wordpress.com/2008/01/ai_driv... (pdf)

It argues that several basic drives will arise in any goal-directed intelligent agent. The relevant drives to the AGI ruin argument are that it will protect its goals from arbitrary edits, it will want to survive, and it will want to acquire resources (please do read the paper; I am summarizing its conclusions and not its arguments, which it makes significant effort to ground in first principles and basic decision theory to make them as general as possible - for example, it argues that a “drive to survive“ will manifest even in the explicit absence of any kind of self-preservation rule or “survival instinct“).

The general base argument for the risk of AGI ruin could thus be summarized as:

Humans depend on certain configurations of matter and energy to continue to exist; effective AGIs are likely to reconfigure that matter and energy in ways incompatible with humans, not because “they hate us”, but because 1. most configurations of matter and energy are incompatible with humans, and 2. reconfiguring matter and energy is how goal-directed intelligent agents achieve their goals.

All of the individually unlikely AGI will kill us in this way scenarios are just specific instantiations of this general argument (e.g. Clippy will kill us all because we are made of matter that could be rearranged to form paperclips, or an intelligent server farm will kill us all by freezing the whole Earth because it determined that its processors would run more efficiently at -10C.)
But the article we're talking about isn't about homicide, but about much more pedestrian lack of efficiency and corruption (the price of airport food in NYC).
i'm curious in what sense you mean that they "pay"... public schools could easily just offer these classes, ex idealism, but they choose not to in the name of Equity. and it's not because the rich kids go and attend private school instead-- their rich parents still pay property taxes like everyone else, so i don't really know how that flight would shift an extra burden on to the kids that don't move schools. i guess school funding is tied in some formulaic sense to the number of kids that attend that specific school? but even that roundabout justification has the causality backward: the un-offering of the course is what leads to the rich kid flight in the first place-- seems to me that the only "idealism" that is being "paid" for here is that which is being promulgated by the Church of "Equity". but it is true that the non-rich kids are the ones stuck paying for it. (but where do the kids of these high priests of Equity go to school? i have a hunch...)

and beyond that, isn't the whole point of GP's comment that the idealistic rich people are trying to / would like to leave their children in public schools? what's idealistic about sending your kids to private school instead? seems like the exact opposite to me.

so other than "pay" not making any sense, "idealism" not making sense, and randomly swapping whose (not "who's") idealism is being paid for, your reply makes perfect sense.

like, when people make comments like this, do they think that they are saying anything in particular, or is it just about the words sounding good in a certain order, like music lyrics? it's like some sort of pathos DDoS. but, hey: at least "your heart's in the right place", right?
You're not going to improve the lives of impoverished children by lowering the bar. It's absurd.

The best solution I can think of is to pay children to succeed in academics or extracurriculars (STEM, clubs, sports, arts, etc.) A student wouldn't have to be gifted in math, just apply themselves to some interest that drives them.

Give them a score-based percentage of $200/mo for hitting certain criteria each month. Playing for the school sports team, being in the band, getting involved in photography. Something positive in academics, arts, leadership, cooperation.

Paying kids would teach valuable lessons about finance and build up a reward system that would serve them later in life as they begin to associate action and achievement with positive outcomes. It should still work even if they don't have a suitable environment at home to discover this on their own.

Right now school is basically daycare. It can teach those that are properly prepared at home to pay attention, but it fails so many others.
>all major airlines Delta, Jet Blue, United, and American Airlines to cut service to all New York City area airports by as much as 10%

This pretty much excludes most international flights, and also regional flights.
From my walk through the stats quite a bit of traffic is regional, and I'd expect some hefty proportion of flights into JFK at the very least is international.

Plus of course the "minor" airlines servicing the same location.

So 10% from this select group of airlines, is not out of line with an overall reduction of 2.5%.

(and of course "asking" is not necessarily "getting" :)
The thing that makes this tricky is that x86 is a variable length instruction set: you don't know where the preceding call instruction might begin, and you can't decode backwards. You can do it speculatively, but ambiguities are still possible.
I made my blog solar-powered, then things escalated
Soundini: Sound-Guided Diffusion for Natural Video Editing
I think these one size fits all policies almost never work as I think many here will agree.

But I also think the public school system has many one size fits all policies that no one questions.

Many people advocate for smaller class sizes so teachers can spend more time with each student, but this is very expensive so if tends to come with compromises.

I did very well in HS including advanced math but class size had nothing to do with it. I did well because I ignored the instructor and just did homework and studied in every class; often to the annoyance of the instructor.

In college this effect was even worse since class size is a key metric for US News college rankings work. Small class sizes mean college costs more. If college costs even $10 more per class-hour then you loose about an hour of time to study (per hour of class/instruction!) if you're working to afford college.

But weed-out classes are often taught via large lectures while easier electives tend to be smaller class sizes so it'd be difficult to observe this in metrics.

If you A/B tested large very small class sizes would you see an improvement? Probably, but you would never see the effects for an individual student. I keep wondering why offering different size classes isn't the solution? I think a lot of students would prefer the hands off approach of large classes while some really need smaller class sizes.
It has happened before, so it can happen again:

> On August 5 [1981], following the PATCO workers' refusal to return to work, the Reagan administration fired the 11,345 striking air traffic controllers who had ignored the order, and banned them from federal service for life. In the wake of the strike and mass firings, the FAA was faced with the difficult task of hiring and training enough controllers to replace those that had been fired. Under normal conditions, it took three years to train new controllers. Until replacements could be trained, the vacant positions were temporarily filled with a mix of non-participating controllers, supervisors, staff personnel, some non-rated personnel, military controllers, and controllers transferred temporarily from other facilities. (https://en.wikipedia.org/wiki/Professional_Air_Traffic_Contr...)

At least the Wikipedia article doesn't mention anything about cutting flights...
> I don't believe there's any issue with drawing Pikachu

In practice? No, not really. But Pikachu is a copyrighted character and only those with license to do so are actually legally allowed to reproduce Pikachu in media.

Trademarks can come into play like you said, but even just base copyright allows for the ownership of characters such as Pikachu or Batman or whatever.
I thought this too and recently read a book that said the same thing. But then the paper goes on to say this, which seems to make it still hold true?

Other mechanisms might contribute to the arrival of insects at nocturnal light sources over longer ranges. For instance, insects do use celestial compasses for nocturnal navigation, and artificial light sources may interfere with these heading. But even at long distances artificial light sources often remain brighter than the night sky and may cause dorsal tilting that would also steer an insect towards a light source.
At some point the answer should be to support students just taking a class or two at a local university. This is totally reasonable.
Buffets have inherent limits in the way they do things. It's just transparent to you unless you know what to look for.

Limited buffet hours. Most Indian buffets are lunchtime only, and the restaurant is open, say, 11am-1pm, and then closes until dinner. Indian buffets are often leftovers from last night's dinner, too, so there's a limit to the amount of food that they won't cook more.

Size of plates, bowls, glasses. This is an easy one, and you can use it to go on a diet. If you have large plates or bowls, throw them out and get small-capacity dishes. Buffets will make you use a certain size plate, and so each trip you can only pick up so much food, and this helps you notice that you feel full before taking more.

You may also be required to use a clean plate each time you dip into the buffet. This might have various effects on how you regard the food you took originally.
https://archive.is/xfcwt
As someone who has outgrown that particular community, Yudkowsky has a talent for acting in bad faith argumentatively while not appearing to do so. He relies heavily on convservational implicature and passing along the burden of proof (as he did here) with no intention of being helpful to those that can generally improve his case through criticism or a distinctive aproach, as it would detract from sustaining his perceived position a focal or pioneering contributor. He should be applauded as a popularizer and point of inspiration, but his duplitousness in his argumentative style, once I identfied it, always left a bad taste in my mouth.
Sarcophagus Exhaustive Usecase Study
Yeah, this was a little strange. I'm the author of the repo linked here.

I got alerted to it hitting #1 on HN and was able to see it there for only a little bit before it immediately got tanked to # 60. I'm a little bummed, but c'est la vie.
My personal opinion: because robots exist in the physical world, and are physical things. Physical things, even scary ones, can be Dealt With.

Conversely, true fear of paperclip maximizers seem, to me, to be most prevalent as an anxiety response in certain mindsets to the threat of the unknown, sharper because this particular Unknown (AGI) intrudes directly in to where they source the basis for their ego, which is thought. In other words, it's a strong fear reaction based off of potential loss of status for a certain group of intellectuals.

I do not judge that, by the way. We are all human, and social status is part and parcel of what we are. I mention it only because I think it is a better model than taking any of the (ones I have read, at least) foom fears at face value.
During graduate school I interacted with academics working in math education who felt similarly, that math should be taught through essay questions, e.g. "explain the concept of a limit", and the like. I've always felt it was a deeply misguided pedagogy and I hope it does not become popular. Solving well crafted exercises requires a deep understanding of the material, it's unnecessary to check understanding in some other way.
It's fine that you like that other article better, but there's nothing "so badly written" about this newer one (what a vapid, lazy critique). Every bit of history that can be recorded from someone like Tomohiro Nishikado, even if it's not that much, matters.
Make friends with parents of kids who are a couple years older. We've gotten the runaround from the school and district. They are familiar with stalling tactics and they know how to deploy them effectively. They start out saying things that sound promising, then string you along for a year or two, blaming special circumstances. By the time you realize it was all a game, your kid is about to graduate from that school. If you had talked with other parents, you would know their playbook and how to politely but effectively push back.