skysight-inc/HackerNews huggingface dataset:
Cashless, and liberty and Govcoin in view of Apple daily purge
The apple daily case is continued for the time being (https://bit.ly/3gDUCB2), even though as Bloomberg has said its cash is running out.

That come downs to a feeling whilst money, internet and IT progress has all have their good side could it also be bad. The freezing of company account and the arrest of people without bail meant one can just be charged and be done with.

The latest move is by the be-water HK people fighting is to by buying using cash, as they found out the paper purchase is all cash economy. Cash goes back to apple daily directly.

One may think cashless society is good. Until the tyranny coming and get you. Are we IT people are doing good to the world or are we just helping. Should we not opt for a cashless, totally IT based society.
I agree, but just a note: it doesn't do your career any good to hop a lot. I won't hire someone that looks flaky. If you find yourself at a bad job, sure, move on. But work on sussing out the good from the bad so you don't put yourself in a bad situation repeatedly.
An interesting way of probing corpi/cultures for bias
"Consequently, recruiting more effective teachers for public schools will be much more difficult than simply raising salaries."

I agree. I have a friend that took a lower paying job because he could not stand the handcuffs that the administration placed on teachers. Stuff like you have to give people a 50% if they put their name on the paper, you can't discipline students effectively, etc. I also know many teachers at private schools that make less than the public school counterparts but would not switch due to similar reasons.
If this is what society considers the roles of a father to be, then to goes a long way to explain so many of the challenges people face today.

I certainly don't see my role with my children as just a babysitter. The partnership with my wife to raise our family is a complex and rich engagement between our strengths and weaknesses to aid in our kids development, not only physically, but also mentally and emotionally among other aspects.
I agree, but such a "program" wouldn't necessarily look/act anything like the "program" 'sin(1000000τ)'.

What's interesting about systems like Turing machines is that the "program" is a specific, isolated thing like a tape of symbols. In contrast, those "foundational mathematical principles" you mention are more of a diffuse web, with lots of interchangable pieces, all mixed up with unrelated facts. This gives lots of different ways to arrive at the answer. With Turing-complete systems, we always have to come back to the code.
same here. could have done too. just one big-name tech company would have done it.
What sort of qualifications/awards/etc. are most compelling for O1 visas as a tech worker that would demonstrate you are at the "very top of your field"? What examples of work do you commonly see for people making these applications?

I'm curious what types of things a regular tech employee could do while employed to demonstrate that they'd meet these criteria.
A tale about security in web apps or how I helped to save a bank from bankruptcy
Yes, thank you. I made an error, thanks for the correction. Hopefully people watch the DoD film linked in op :)
Well this is another very tricky one, I’ll give you that. So many N-order effects.

I still disagree strongly with your characterization of “substance” in this context though. E.g. when another user sent this (ad-hominem) challenge:

> Why is it that everyone who pushes Ivermectin as a miracle cure for COVID is also a conspiracy aficionado?

I responded with a simple and dispassionate explanation, rather than taking offense. Is there no “substance” in my entirely coherent, well-argued, and non-emotional reply?

> Simple. You have defined the latter as some variation on the former.

Perhaps you could call out my "what a pair of years" top-level comment as that was not responding to any of the nasty attacks in this thread, or even dogpiling on the excellent arguments that other people are making. But those kinds of comments function to put me on the record here with a timestamp, so I can link to them later. There is a tiny bit of substance even in those.

It sounds like you might prefer that I disengage and flag all of the nasty posts (e.g. another person in this thread implied that I am a murderer) so "the bureaucracy" can fix this conversation? Sorry, you are a great moderation team, but I am not going to do that, because I don't believe it is a real solution to anything. You cannot fix this kind of conversation from the top down - Quis custodiet ipsos custodes?

Trying will just disenfranchise the out-group further and make the echo-chamber effect worse. If that means this topic cannot be on HN, so be it.
I can understand your point of view and to be honest I somewhat agree with it...

But at the same time it sounds technocratic and anti-democratic, right? The teachers' job is to teach as the people want. It's not their job to set policy. It's to get on and teach as directed.

Do you have a way you square that in your mind, as I'm struggling myself?
You may be interested in this discussion with one of the inventors of mRNA vaccines:

https://odysee.com/@BretWeinstein:f/how-to-save-the-world,-i...

TL;DW - there is evidence to suggest the spike protein of SARS-CoV-2 is itself cytotoxic and potentially responsible for blood-clotting in both COVID-19 patients/vaccinated.

(Eg, there was at least one major study published in late 2020 that demonstrated the SC2 spike protein specifically eliciting hyperactivity in blood platelets.)
Are you saying that FIRE type people are ill suited for teaching because their interest is in minimising retirement age and not being good teachers? The ideology of “earning to retire” vs. “living to teach”?
He also predicted GME, for what it’s worth. But I don’t know how big his position was.
I don't even know what comfortable middle class in Vancouver is.
It was certainly a lame thing to put in an HN comment but (a) you're misquoting it and (b) I don't think most people would read it as "an actual violent threat".
If you’re looking for a fill in the blank kind of domain hack, is the “.xyz” available instead of .xxx?

Besides xyz being ‘clean’, I don’t usually associate xxx with fill-in-the-blank. Only moonshine and pornography.
I’ve often wondered if I should be working for a high-growth VC funded company. Does it really make much difference when I still have to go through the same leetcode and interview when switching jobs? I still get left out if I fail the leetcode from the start. Not to mention, these high-growth companies are usually more demanding and long hours are expected. Is it worth it?
Why is that the opposite? At the high school level, I’m not looking for martyrs, I’m looking for subject matter experts to teach my kids. At the lower levels, maybe empathy is more important, but by the time they get to microbiology or stats, you literally cannot be a good teacher without having a deep understanding.
Right, maybe I'm just reacting to the name. I've had to educate many novices about using memcpy with incorrect lengths... either 1 short (no null), or even sizeof(src) and wondering why only 4 or 8 bytes got copied.

Now if I steer them to hot new memccpy, they may hear "memcpy" and run off: "memcpy? Sure, I know that!"
Here's the definition of a subgroup in Lean's mathlib: https://leanprover-community.github.io/mathlib_docs/group_th...

Given a group G, there is a type `subgroup G` of subgroups of G, and a subgroup is a structure consisting of a set of elements of G along with some proofs that it has the identity, it's closed under multiplication, and it's closed under taking inverses. Lean has a coercion facility using typeclasses, and there is a typeclass instance that will use the subgroup's set coerced to a type when the subgroup is used in a place that expects a type. This coerced type has a group typeclass instance, so a subgroup "is" a group.

The big complexity in all of this doesn't seem to be ZFC vs type theory, but rather how do you implement a mathematician's use of synecdoche and implicit coercions. Synecdoche is the figure of speech where you refer to a thing by its parts or vice versa -- for example, "let G be a group" and then using G as if it were a set, even though a group consists of a set, a binary operation on the set, a choice of identity element, and a few axioms that must hold. Mathlib uses typeclasses to implement the synecdoche -- a type is a group if there is a typeclass instance that provides the rest of the structure. As I understand it, Coq's Mathematical Components library uses structures and unification hints instead (though I've failed to understand how it works exactly), but I have heard that they can be very fiddly to get right.

I think you'd have to find solutions to these same problems no matter the foundations. At least with types, there's enough information lying around that, for example, group structures can be automatically synthesized by the typeclass resolution system in many common situations.
> We need competent administrators, more teachers and smaller classes.

NAEP scores have been more or less flat among 17 year olds since 1970. During that period inflation adjusted spending per pupil almost tripled.

https://www.cato.org/sites/cato.org/files/pubs/pdf/pa746.pdf

> The 0.075 figure reported here suggests that there is essentially no link between state education spending (which has exploded) and the performance of students at the end of high school (which has generally stagnated or declined).
I had no idea there were alternatives to the FL Studio/Logic Pro-style DAW interface.

Here’s a cool video I found of someone’s workflow using Renoise https://youtu.be/SQ5jTaXywuM
I know nothing about topology. If you have time, could you please explain this sentence?

"For example, any triangle is topologically equivalent to any other triangle — or even to a circle — but not to a straight line."

Is it because triangles and circles are "2D" and lines aren't?
Yes really. There is no need to sell at all once for less, when you can sell it all over time for more.

I don't leverage. I'm not greedy. Unlike most people I only care about having enough plus a bit. Leveraging and betting on market movement is for greedy people, of which I am not one.

Just wait and thanks for your opinion.
This is laughable. A temporary tax credit for super long term investments? Who on Earth would go for it?
Definitely agree with you, going over 30 hrs a week or whatever the new full time definition would be should always cause overtime pay. There are so many loopholes to avoid overtime these days (classify employee as X, etc etc).
My previous power company in FL kept bugging me about installing similar "features"... and offering a small rebate on my bill for the trouble.
Is this real?

Thought yes but after the nobody can get below 50% part I’m less sure
Right...my point is why even ask?

If you asked my 6th grade classroom whether they should learn more math, they would say no because they never use math in their lives.
Big downvotes, no response. Great system.

Surely you're not complaining about this social media platform's established method for controlling the platforming of incorrect thought?!?
This is frequently still beneficial for the organisation, even when you're doing it for the wrong reasons, and is almost a necessary stepping stone towards achieving true understanding. It's hard to identify nuance until you discover some strongly held belief doesn't apply as well you once thought.

But I suppose if you could go back and do it differently, you would, so I can appreciate why you consider this to be a mistake.
The spoiler effect is basically a non-issue with ranked choice voting. Some states are already adopting ranked choice.
This seems like a lot of words to say "they are pulling a fast one on the consumers".

The number of bytes written is catalogged and can be checked. You either honor the warranty or you don't. If you'd lose money on people actually writing to their drives, then you're trying to pull a fast one. Spec the write endurance warranty for what you know the drive can handle, don't gamble that the users won't use their product. If you do gamble, then don't try to break the contract you made on your gamble.
Every car is a decision to pollute and use excess resources, it’s just a matter of scale. Even if you are lucky enough to have a clean source of electricity, you’re still contributing to the problem. Asphalt is made from oil and concrete releases co2, both of which are used to make the roads necessary for you to drive this vehicle around. Then there are the energy and resource inputs into the vehicle itself, the infrastructure built bigger for car driving distances, etc.

The better option is to not own a car at all, and walk/bike/transit your way around.
Abolish, not legalize. "Jaywalking" is a made up crime invented by car companies to project jaydrivers.
> That sounds like a state-run math SAT that would have the same problems.

Math competitions are nothing like the SAT. Not at all. You can grind your way to an 800 on the math SAT with a basic prep and an understanding of tenth-grade math; getting a perfect score on a math competition is something only a handful of people do each year. The hardest questions tend to be of the type "ok I am not even sure how to start this one" rather than "this one has a bunch of arithmetic and I'm not sure I have time to complete it".
That’s a valid perspective, but aren’t there thousands of professors and scientists, maybe tens of thousands who could potentially respond?

And isn’t it valuable to have someone respond? Isn’t there value in educating the public so conspiracy theories don’t spread? (And preventing the theories from being discussed just makes them more firmly held, whereas debate doesn’t have that effect.)
Ultimately the schools are there to serve the people, so if the people want arguments over things like whether to teach sex ed then isn't that their prerogative?

I know it's a problem and I don't agree with some sides of that argument myself... but in a democracy aren't these issues supposed to be devolved to the demos? Isn't that the whole point? Do the teachers 'know better'? Who's determining who knows better?
> vaccines being "experimental"

Under the PREP act, pharma companies have total immunity from liability. Why would that be. Maybe because the vaccines are still only in stage 3 of clinical trials? Because the long term effects are unknown because it hasn't been long? With worrying reports about side-effects including at least 5000 deaths in the U.S. VAERS database, do you think those quotes are appropriate?

> The idea that a treatment for Covid, even a pretty good one, would make vaccines unnecessary makes no sense.

Actually, it makes perfect sense to many people.

You are shooting down the weak version of this argument. I think you are confounding necessity from the point of view of the state and institutions with necessity from the point of view of many people.

You are correct that the state and health institutions do want to get people vaccinated regardless of other cures, the evidence for that is overwhelming and existence and availability of some alternative strategy/cure isn't going to stop immediately that intent.

However, if there was, hypothetically, an accessible and efficient medication/treatment with profylactic or curing effects for COVID-19, this would make substantial portion of population skeptical about getting the vaccine, especially now that the number of serious cases is low and manageable.
Command R. I use a browser that has a refresh button and I don’t bother using it ever.
I would be an interesting corner case for them then. My account is setup as Canadian, but physically I’ve been in Vietnam for the past 1.5 years, but my home router always tunnels via Singapore. I do so on mobile often as well when I’m outside of the wifi range.
I do think we're at a cusp where the poetry adoption rate may increase.

I avoided poetry for years because it doesn't have an option to skip the lockfile. We build images, so our dependencies are frozen anyway. (Now that we use dependabot, I'm willing to have a lockfile that's automated.)

I track Python packaging changes carefully, updating from procedural setup.py, declarative setup.cfg, versioning through setuptools-scm and now PEP517 and pyproject.toml.

But even now, Python ships with setuptools, pip and venv, and a system like poetry is not really a necessity.

But if you want convenient virtualenv management, editable installs _and_ PEP517, then you probably need poetry. I haven't found another system that can do all three.
I don’t agree, it’s a necessary evil.
Paternity tests for every birth is a thing one has to mention up front as a position. Then those who'd be offended by it self-select out of one's dating pool.
Piracy isn't hard on iOS devices though. You don't even need to root/jailbreak.
Actually, "Almaty" is the correct Kazakh spelling of the name - if using the latest 2021 revision of new alphabet, to be officially used starting 2023, replacing current Cyrillic one (in which the spelling is "Алматы", by the way).

https://en.wikipedia.org/wiki/Kazakh_alphabets
I'm working on an IDE for music composition. I'm releasing soon

http://ngrid.io
Last I checked, nearly everyone in tech hops jobs frequently. In fact that’s common advice for comp advancement. In my personal experience that advice holds true, even though I change jobs much less frequently than most of my peers (which means my comp tends to lag behind theirs).
Man makes 4-foot, 6.49-inch standing high jump on one leg for world record
The analysis is harder than that.

I would imagine education degrees are not particularly versatile: they’re meant to train you to become a teacher, more or less. Given that, it is not particularly surprising that teaching is one of the better-paying options once you commit to that pathway. However, there are plenty of other, career tracks: potential teachers might become accountants or engineers instead.

Zooming in a bit…the big “fringe benefit” is obviously summer vacation. Valuing that correctly is tricky, and the assumption used in that report is that it’s linear in the amount of time off: one week off is worth $X, so the summer vacation must be worth $15X. I would bet that’s not really true and it has declining marginal value like everything else.
The question of whether something counts as expert testimony - judgement calls that can be relied on as impartial facts - is up to the court itself. That is not in dispute here.

"The yellow light timing is below table X of the traffic code, and therefore my ticket for running the red light is invalid because I was not given the chance to stop in time."

That's an argument that an individual can straightforwardly make and a judge can choose to accept or not by following the same reasoning. It involves engineering analysis, yet it is low stakes enough to make hiring a Professional Engineer prohibitive.

Under the North Carolina board's position, a person who makes this argument is committing a crime. That effectively creates a privileged class of people whose decisions (or oversights) cannot be questioned even when they're blatantly wrong - in this example, the traffic engineers responsible for the intersection.
From the same report, the bullet point above your first quote:

> The wage gap between teachers and non-teachers disappears when both groups are matched on an objective measure of cognitive ability rather than on years of education.

That “objective measure” is based on human capital model of wages, and it seems to me pretty biased to apply to such a specialized profession.

Being wonderful at making a group of 6 years old engaged in your teaching and making them progress seems pretty hard to directly transfer to any other non teaching job.

I feel it’s like asking a pro sax player to transfer skills in another domain and ponder they lose a lot of market value.

Which is also part of the other quote you bring in. If I were to move to a teaching position, I’d look damn hard to be better paid or I wouldn’t move. And it’s not like an Amazon factory worker could just move into teaching tomorrow when he can’t take it anymore. So the pool going into teaching is extremely self selected and also biased.
"it will lead to parents pushing for counterproductive and unnecessary reforms that make sense to the layman."

This is basically what happens in all areas when practicing democracy, right? For example, the president is only elected because a substantial portion of the population agree with their positions, or more likely the positions/identity of their party, from their prospectives as a laymans.
> Teaching doesn’t attract highly paid workers because in addition to a big pay cut those workers would be considering likely worse working conditions as well.

You could double teacher pay and it wouldn't make a lick of difference.

As a teacher, you have no control over your classroom.

Disruptive students that destroy everybody else's learning environment? Too bad. No Child Left Behind! Wait, that's the old slogan, what's the new one? Equity Uber Alles? Equity Macht Frei?

It changes so often, I keep forgetting.

Assaulted by the kids? Suck it up, we don't want to be sued! Better to have a battered teacher -- the Unions will keep them in check -- than a lawyered-up parent.

I have seen this first-hand.

Want to actually teach kids things they need to learn to succeed? This is the wrong job for you.

I know a lot of motivated folks that went into teaching, with big salary bonuses, full scholarships for their degrees, everything. None of them lasted more than four years.

Public education in the US selects for Dolores Umbridge, and against Remis Lupin.
Best beauty cream for anti aging
That will enhance your beauty
https://topsaleproductsonline.blogspot.com/2021/06/bevy-c-po...

Best way to get fair glowing skin
in 10 days
http://healthwithbeauty.xyz/2021/06/19/best-way-to-get-fair-...

Man makes 4-foot, 6.49-inch standing high jump on one leg for world record
https://www.interestingnews.club/2021/06/man-makes-4-foot-64...

Interesting facts about Trapdoor spider
I am sure you don't know
https://www.interestingnews.club/2021/06/interesting-facts-a...
> researchers from UC Berkeley and the University of Washington found that Black people, Muslims, and people who identify as LGBT are particularly disadvantaged.

Maybe it's not working as well as they would like because they keep using phrases like this in writing and then training the models on it.
How about Inverse Reinforcement Learning? MaxEnt and Deep MaxEnt seem to estimate the reward functions pretty well. But I've only seen limited applications of IRL. Researchers mostly focus on gridworld examples or robot arms learning how to do certain tasks from (human) experts. But how can IRL have more influential role in the society?
I went to a school where National Merit Scholars were a dime a dozen: student performance there was almost independent of the teaching that they got.
people cannot opt out of the DMV and I hear it's still garbage

for some reason, the US never mastered publicly run institutions and they seem to attract the kind of people who run them into the ground

I do agree that the fact that lobbyists and major donors being able to remove themselves from the social consequences of the policies they help implement is a major problem in the American political system; cronyism is out of control and the political funding system is a scandal