skysight-inc/HackerNews huggingface dataset:
The issue is: taxes MUST BE a mean to redistribute richness to ensure a moderately homogeneous society where the poorest and the richest are not too far away to risk ripping the society apart, but still living incentives to "do their best to get rich" in order to keep evolution up.

If that is applied higher taxes are not an issue and generally result in a better society, if you are rich you pay more, but still remaining rich, if you are poor you get more from the society to improve. If taxes are instead like in most modern countries a mean to finance a State-as-a-company to pay "public debt" scam to some private party (the central bank in charge) than high taxes and taxes in general not only bring poverty and migrations but they accelerate it.

Remember a thing anytime: money MUST BE a unit of measure of a substrate (know-how, time/effort, natural resources) we all agree to exchange to made an economy. Money mustn't be a substrate of anything. Money MUST be under state control ONLY, no private party involved, non public debt concept.
Monotype Study Reveals That Font Choice Subconsciously Affects People’s Emotions
Moderators did that—your comments have been breaking the site guidelines quite badly!
Being an entrepreneur means watching your college friends be more successful than you in all the ways society expects us to be successful… likely for a very long time. Your parents will ask why you haven’t yet bought a house or why you have no retirement savings. Partners will question if you’ll ever be rich despite all the sacrifices.

If the process of entrepreneurism wasn’t so deeply satisfying to those of us who need to pursue it, nobody would ever do this. It doesn’t pencil mathematically.
Right the monarchy has to go, or should have no part in government affairs. That’s not democracy.
Sure - I mean it's their own firm's money under management.
> Do you have any reason to believe that all the rest of the verification theory is completely impractical when every piece that was packaged in a usable context became a hit?

While I am by no means have enough knowledge to claim such, but let’s just add that ordinary types are a so-called “trivial property”. Many, actually interesting properties can’t be proved as per Rice’s theorem in every case.
Would you choose to invite a recurring thousands-dollars-a-month expense in a time of economic uncertainity?

Children are expensive AF - childbirth alone is a risk of dozens of thousands of dollars, you need more living space, clothing, diapers, food, more doctor visits, the person bearing the baby may not be able to work for a time which means less income, you need babysitters, ...
Are you labouring under the illusion that the learning was singsong to do with enhancing rather than retarding the individual? Did you believe the purported reasons for the education systems being as they are?

No, educating people is about the governance structure de-individualising people making them all think its a similar way that both fosters uncritical love on the system as well as dependence.
They didn't bet on making everything worse. Getting an uber is an unbelievably better option most of the time, and it's also geared up traditional backwards cab firms to make at least half-decent apps and advertise prices up front.
As a TA, I can tell you that there is no form of assignment that can not be cheated on. For example, essays and papers will usually contain sections copied straight from literature or from other students.

Another common proposal is to give individual assignments to each student, but it is usually impossible to make equally difficult assignments, so this approach is not very fair. It also does not work when students are paying other people to do the assignments for them, which has become a huge problem over the last few years with the commercialization of cheating through various platforms.
Prime minister just watered down ethics code and ethics watchdog powers because he ran into trouble with it.

Anyway expecting a strong principled freedom stance out of this gov is not paying attention to how these guys roll
Except for the fact that using foreach instead of for has no impact on your O(n) performance.
Yeah if you're an ML model trying to get the high score on the test set why would you explore the deeper features of the data when you can just overfit and get 100%?

At least in my experience, my professors didn't make the old material available to other students, and neither did the fraternities/sororities.
Okay I'll bite. How many?
It's hard to imagine an environment where the the speed/resource difference between that approach and python would matter.

Can't see reaching for something like that instead of something like

curl -s url | htmlq a --attribute href
Indeed. We are moving into a new house and the first thing my architect sister told us was "create a Pinterest account" and start collecting ideas
One of the longest read I've completed online this year.

The author obviously care a lot about integrity and plagiarism and a lot has been discussed from the author's perspective. I wonder if we can analyze this case study from a game theory angle.

What's the payoff matrix looking like for students in the class at various phases of development?

Were students incentivized to cheat due to the structure of curriculum?

What are the Nash equilibrium scenarios for both professor and students? And how many of them are Pareto optimal?
Sure, but at some point you have to actually learn skills yourself and stop relying on others. And that point is high school.

Companies would fail if everyone worked in isolation.
> The professor in this article managed to redesign his assignments to more or less make cheating difficult, and suddenly it was less of a problem

The students on the next semester used DMs, as the end of the article points out, and the professor didn't care, which means that the amount of cheating for that semester was unknown and hence, not less of problem. Unless that is, you're the professor and seem unwilling to punish cheats, or you're one of the students who cheated.
> However, every time somebody starts going negative on formal verification by talking about decidability, I get itchy. Sure, we know, all interesting properties of programs in all interesting languages are undecidable in general. Rice's theorem, blah, blah, blah. For any given property and any given language, I can show you a program in that language such that you cannot determine whether that program has that property.

Decidability has nothing to do with this kind of formal verification. The tool doesn't have to decide the correctness of a program. The tool merely needs to check the validity of a proof of the program's correctness, which is rather trivial. Coming up with the proof is the hard part, and that responsibility still falls mostly on humans.
My anecdote:

1. Tell students that the remote exam is open book. Everything is allowed EXCEPT for any communication between students. Moreover, there is a Zoom breakout room for discussing specific questions with ME.

2. Exam starts.

3. Students move to that breakout room to exchange solutions.
I'd much, much rather have the surgeon who asks a colleague for a second opinion when they are unsure, rather than just going ahead on the wrong assumption because "otherwise I would be cheating".

In fact, the medical profession has practically adopted cheating as a formal practise: they call it grand rounds and it consists of sharing "answers to exam questions" (outcome of patient care) with their colleagues, so they don't have to go through the effort of discovering them on their own.
As a Ukrainian, I am happy Russia is having "military issues". That aside, the problem is this - Russia's primary generator of national wealth is oil and gas exports of raw product. Its primary internal employment is in the military-industrial complex. What do you need to get a job like that? That's right, you need proof of military service. How do you get that? You sign a contract that promises that you will never get sent to the front line, and then you get sent there. If you are lucky, you get captured by Ukrainians. Else, you die or are heavily wounded. 30000+ dead so far.

Russia's military is subject to extreme corruption. Logistical supplies were sold instead of being stockpiled for wartime needs. Equipment in long-term storage had its parts stripped and sold. That means Russia is running into the same problem that doomed Hitler - unable to feed troops and fuel its vehicles.

One really bad problem Russia has is communications. Its encrypted radios are non-existent due to corruption in the contract that was supposed to provide them and so it's communicating military orders over open air. Ukraine has encrypted radios.

So, why is Russia faltering? It is relying on the Soviet Army tactics while Ukraine adopted NATO-like tactics. The problem with Soviet tactics is they assume the entire heavy industry is in war mode and they do not value soldiers' lives. Each battalion-tactical group is a self-contained unit that heavily relies on military vehicles. When those vehicles get destroyed, which is what Ukraine excels at with its drone-guided artillery, these groups become under equipped infantry and thus useless in achieving their objectives.

Russia was able to produce 60 modern tanks per year. They lost 23 years of tank production so far. These are absolutely catastrophic losses that are unrecoverable, but Ukraine can't win yet because it doesn't have the weapons it needs to cut off Russia's ability to mount attacks. Those weapons are MLRS, which is what Russia is using to rain terror upon our cities. In fact, Ukraine has captured many tanks and MLRS systems from Russia.

According to conservative estimates by Ukraine's ministry of defense, the total combat losses of the enemy from 24.02 to 29.05 were approximately:

personnel - about 30150 (+150) persons were liquidated,
tanks ‒ 1338 (+8) од,
APV ‒ 3270 (+12) од,
artillery systems – 631 (+3) од,
MLRS - 203 (+0) од,
Anti-aircraft warfare systems - 93 (+0) од,
aircraft – 207 (+0) од,
helicopters – 174 (+0) од,
UAV operational-tactical level - 504 (+1),
cruise missiles - 116 (+0),
warships / boats - 13 (+0) од,
vehicles and fuel tanks - 2240 (+14) од,
special equipment - 48 (+0).

Ukraine will win, but it's taking a long time to get the long range weapons it needs. Want to help? Figure out how to accelerate delivery of MLRS.
Interesting to consider that

* a bird might be mimicking the rainfall to drive the worms out

* the worms might be triggered to excavate during rainfall if they believe that predators are approaching

Seems kinda circular
This assumes that current ratio of wages per unit of productivity is in balance. Many would argue that wages are too low for many jobs relative to productivity. The Fed consciously takes action to keep that poor ratio for workers the status quo ante.
It got so much attention because it's rare. We like to read about things that seem novel and interesting. I wasn't aware the 747 had this capability until reading this article today.
Normaly the nose loading is done oy when absolutely necessary. It's a pain, takes ages and is complicated. When possible stuff is squeezed through the fuselage cargo doors. Back the day we did it with a ten foot sea container, never thought it would fit...
What do you mean?!

Its obviously true that if your comments or whatever are suppressed (by a machine) that your free speech has been violated!
Not OP, but I would love to share some: I relate strongly to the anxiety induced descriptions in OPs text and thus try to avoid these when I interview devs as an engineering manager. Of all the candidates I have interviewed over the years I have never done a live coding interview because it is essentially worthless for me as an interviewer and only serves to discards potentially very clever people whose thought process does not work this way.

Instead I try to find an isolated problem/task we have in our backlog that the candidate should try to implement on their own time, so I can review what kind of solution they will actually deliver once hired. We then go through the solution with them and do a code review as they would go through if they got hired. You then see both the problem-solving skills as well as how they take feedback.

I would recommend checking out DuckDuckGo's excellent "How we hire" guide[0] which describes some of the best hiring process I have come across (albeit it may be too extensive to do in full for some companies).

[0] https://duckduckgo.com/assets/hiring/how_we_hire.pdf
Which one is it: the idealized version where universities "teach you how to think" or the murky one that "socialise[s] you"? They're rather different.

> Testing is a distraction from their core values.

That's all fine, but nobody cares about your diploma if it was issued by a school that didn't test you.

So either we accept the modern role of the university, and fund them properly so they can do their task (and restrict the number of students), or reject it and go back to the old ways: you studied philosophy, congrats, but your father was a mason, here's your trowel.
Good point. For this case, it's easy to imagine - such a construct would infer the function's new return type, and then any call-sites which have a mismatch would require updating. But you raise the real question of how the compiler could know when types were added by the inference-er versus the programmer
Ask HN: What is the tech stack behind HN?
Assuming there was a curve in the class, we could begin by asking the teacher why they want to punish people who engage in non-cheating group studying that actually causes their peers to learn the material.
Lisp desktop app for web app
> Even if algorithmic moderation blocks some of your utterances, that doesn't mean your right to free speech has been violated.

Freedom of speech is the freedom (from interference) of (your) speech. An algorithm interfering with speech is no less a violation than if a human does it.
During my undergrad comp physics days we had to print out our code when handing in assignments. It was possible to grab a printout and photocopy it. I was fairly well known for my crass wit and I got an email from the head of comp labs informing me that two identical pieces of code had been handed in… but due to the numerous occurrences of the word “boned” in the error messages, he assumed the original was mine.
Very cool. Thanks for making this.

Is there a way to move or remove the legend. It's coming on the top of the curve for my project [1]. I am guessing there would be more projects with such a profile.

[1] https://github.com/amzn/computer-vision-basics-in-microsoft-...
With all this in mind, how does a monitor's refresh rate matter, like, at all in games like CS:GO (e.g. 60 fps vs 120 fps)?
Local-first Applications are Coming Back
'Representative democracy' - where you vote for someone to represent you and thousands of others for years, over thousands of governance decisions - is not democracy. Even if we call it 'democracy'.
>Where does the scepticism come here?

From Space-stations, Vans, and hyper-speed-vacuum tunnels.

And even if they have 867 satellites up it's still not really good, there was a good article here recently. But that's how Elon collect's his money, make big promises deliver nothing "Big" but something that already exists.
> Powell's of the opinion that the lowest earners need stability more than they need rapidly increased wages. Not because they shouldn't make more, but because low-income households are more sensitive to price variability (prefer stability), and he doesn't want to see those increase wages simply feed into increased prices.

That is an excellent way to say that the Fed is looking out for workers by keeping their wages lower when for one of the few times in over three decades, the workers have gained some traction in real terms.
One of terraforms key design principles is that it is declarative whereas this instruction is imperative.
You know, an abundance of gifs does not add any substance to your article, only distracting the readers from its content, which is, may I add, so unnecessarily and pedantically detailed. What a redditor. Consider reducing your carbon footprint, and deleting all gifs from the article.
Threads like these are always frustrating, because as usual people (programmers in this case) freely air their opinions on how schools are broken with phrases like “we need to fix the system”.

As someone who studied pedagogy for years and quit due to an immense frustration with exactly this — how broken the system is — I would encourage you to entertain the thought that maybe, you as a person who is almost in all cases not a teacher, nor someone with any experience apart from once having been a student, do not have a good understanding of how exactly this system should be fixed, and that it’s not broken for fun but because there are some very difficult unresolved issues.

People love to rant about how bad tests are. “We just study for the tests” and so on. And yet this complaint seems to be international. Curious, isn’t it, how all these systems seem to fail in the same way?

In the case of testing it’s because you choose to focus on the obviously bad thing (current state of testing) rather than the very complex and difficult question behind it: HOW do you measure knowledge? And when you decide how, how do you scale it?

These are very hard questions, and it’s frustrating to read the phrase “we need to fix the system” because yes, obviously we do, but agreeing that things are bad isn’t the hard part, and probably input from people who have never worked in the field is of pretty limited value in how to resolve the hard part, and will not do much more than annoy teachers even more.

So what’s the solution then? Well, maybe we should start by rolling back this common conception that when it comes to schools, everyone’s opinion matters an equal amount, and then listen to the teachers and academics.

Cynically, this will never happen because reforms to battle educational issues in any democratic society usually takes more than 5 election cycles to show obvious results (and when the bad results start stacking up current leaders will take the flak regardless).
I was with you until:

> 5) Too much gratuitous abstraction. The old version was "everything is predicate calculus". The new version is "everything is a type" and "everything is functional".

Total functional programming with types is literally the same as writing proofs in intuitionistic logic, in a technical sense (the Curry Howard correspondence). This isn't a new fad. It's a deep result that was known more than half a century ago.
Curve grading does have a place. But that is standardized tests or placing entire cohorts to buckets. So we are talking of hundreds if not thousands of students. For individual schools or classes inside thereof it is wrong method. Either the students know enough of the course material to pass or they do not.
Ask HN: How do you manage “static” pages on your micro SaaS website?
I wonder how small scale SaaS developers manage their static content on the same domain as a Web app.

I mean all those landing pages, legal, promo materials etc.

Yes, you can point domain.com -> netlify,
while app.domain.com -> your frontend server.

But what if you need a bit more than that?
Like use auth cookies, expose some web-app features, urls on root domain etc.

How do you combine all that with the rest of static pages' you want to keep updating at runtime without managing own CMS?

Any tools, libs, best practices?
For my excises I started to allow copy/cheating etc because students will cheat themselves. On the other hand I even did on site oral exams (20-40 per course, so it is still manageable) during the pandemic (using video terminals).

Particularly reading this, the whole enforcement of anticheating becomes a privacy nightmare. I do not want my students to learn that putting root kits on PCs is OK (for proctoring) or that archiving potentially private chat messages without consent (I am in Europe, so GDPR applies) is OK.

At the same time students have to learn how to use stackoverflow or copilot effectively. So I want to teach them that initial copying is OK if you fully understand the result and that often doing it yourself from scratch is better to achieve it.

I know we talking about slightly different things, but grading based on multiple choice seems to be at the core of the problem.
'toxic assets' may have been a misleading phrase here, but I think there is a component of federal Reserve assets you are overlooking that the poster rightly identifies, namely the amount of mortgage-backed securities currently on the balance sheet that weren't there pre-2008, about 2.7 Trillion worth [0]. Given that the entire Fed balance sheet was less than 1 Trillion at the end of 2007 [1], and composed mostly of US Treasuries at the time, it seems like it would have an effect on asset prices.

[0] https://www.federalreserve.gov/releases/h41/current/h41.htm#...

[1] https://www.federalreserve.gov/releases/h41/20071227/
It is now irresponsible not to talk about UFOs
I don't agree. If someone brought that up in an interview I'd just think "oh, they know a bit of JS trivia that won't impact any of the code they'd write here." and ignore it. It's not a signal at all, let alone a strong one.

If they mentioned the fact that React 18 batches updates in concurrent mode which would greatly improve the responsiveness of a dashboard app that's updating lots of small components frequently, or if they suggested the graphs might be better written using GLSL shaders to move the rendering to the GPU so JS only needs to update a uniform array, then I'd pay attention. Potential new ways to approach a problem or changes to architecture to avoid the problem entirely rather than micro-optimizations are much more interesting signals about someone's deeper knowledge of building things.
I just think it's funny that some people would be uninterested in a worthless thing, but could be turned round by the promise of 20% more of the worthless thing each year.
Faculty likely still owns copyright (or the school does) for teaching materials.

Fair use covers the school's use of students work. Submission to such services might also be construed as fair use. It seems to have been litigated as such already:

https://www.eschoolnews.com/2008/04/17/judge-turnitin-com-do...
The question is not whether it is the truth, but how is the system a system in the first place. I am not saying the Earth is not facing disaster. Yes it is. But saying that there are 9 or whatsoever boundary, systems etc. we must maintain. Why not 10 or 1,000 or 2? What is the ground to this? Who knows?

Some issues is so obvious we cannot even deal with like the CO2 concentration which is factual but still ... Others ...

And one of the things is what is the remedy? Is that part of the system or outside? Or that some great / superguy know and can fix it ... And the world is listening to that. Which world or exactly which part of the world?
> They won't go to the best schools or get the best jobs because they aren't cramming flash cards of likely test answers.

Can you clarify what you meant by this? As it stands it sort of reads like you claiming actually smart people don't get into the best schools - which is absurd.
The opensearch project was released a while ago as opendistro and was just renamed to opensearch a year ago [1]. As for features, it depends what you're doing, but ES upgraded to Lucene 9 6 months ago [2], and they've had document level alerting for at least two years.

[1] https://opensearch.org/blog/technical-posts/2021/07/how-to-u...
[2] https://github.com/elastic/elasticsearch/issues/74057
over a decade ago, the only curved class I took was a calculus class entirely full of kids who went to college at 16, and the guy teaching it seemed to have no issue declaring that this class should contain the same proportion of C's as all his others, regardless of how well we learned calculus :)