skysight-inc/HackerNews huggingface dataset:
Small islands are always great petri dishes for this type of thought or of actual socio-economic experiments. The limits of the system are clear and the lack of relevant alternatives could make things work, still continents do not have these advantages, and pose greater barriers to socio-ecological innovations.
> Not everyone in the class cheated. But, everyone who cheated failed miserably. I guess the wisdom of the crowd doesn’t count for much when the crowd didn’t go to class or read the textbook.

That's so much "average college student" it hurts.

And all the quizzes were open book, etc.

> The best advice was a student telling everyone they could just go to the website for the textbook, then control-F in the textbook and search for words in the question to find the answers

That's cringe

Forget about the cheating, I'm angry they can't even cheat properly!
I meant to say "this hopes to build on the success of Rust" — Rust is explicitly called out in the readme.
> How hard it is to pass a class should be an absolute.

It should be, but profs and TAs change from semester to semester. The coursework changes also. Also the profs, TAs, and coursework of prerequisites change too

> It shouldn't be easier for one cohort over another just due to the first being, on average, less prepared than the second.

A good professor will have the sense of discretion necessary to know when a class is half-assing on average
> But the argument about guns is not really about, let's ban guns to lower suicide rates. It's way more about, let's ban guns to prevent people who broke down from slaugtering dozen other people each.

True enough. So while I could carry on with the debate about suicide, I think it would be more productive to respond to this argument.

By virtually every measure banning guns to prevent mass shootings is a terrible idea.

There are (conservatively) 80 million gun owners, and hundreds of millions of guns in the US. It would be completely impossible to take all of those guns, or to ban the sale of new ones, and even if you could that would still be depriving tens of millions of citizens a right guaranteed to them by the constitution for no fault of their own.

You might argue it is worth depriving citizens of this right if it improves public safety. The evidence is not in favor of this position. This right is not simply some mere hypothetical right to overthrow tyrants, but the right to self defense (including the effective means of that defense). Reasonable estimates (produced by the CDC) put the number of defensive gun uses per year in the hundreds of thousands. If you look at the rates of homicide by state, and compare that with the rates of gun ownership in that state, you find that the correlations are (weakly) negative. The places in this country that have the worst homicide rates also have the strictest gun laws.

Mass shootings, while horrific, are a tiny fraction of the total number of homicides in this country. We definitely must address mass shootings, but our plans must be both realistic and not compromise the safety of many thousands more.

There are no doubt many factors that contribute to the occurrence of mass shootings. However, one of the biggest factors that contributes to the deadliness of mass shootings is the presence of gun free zones. The vast majority of mass shootings happen in gun free zones, and the evidence suggests that the average number of deaths in mass shootings is arguably much lower if there is an armed citizen putting up a defense.

If you want an evidence-based piece of legislation that would curb mass shootings, the elimination of gun free zones should be at the top of your list. It would certainly reduce the average body count of these events. It also stands to reason that if you don't have as many people dying from such events, the appeal of committing a mass shooting (to someone who is seeking fame and a sense of control by killing lots of people) is going to go down considerably.
Isnt it that most of the time you choose which camp you are in? If you study a subject you are apt for you are in camp 1, if you believe aptitude doesnt exist and you choose a different one you end up in camp 2.

If you just learned programming and apply to faang you are in camp 2, etc.

It is not a passive thing.
The job title is just “developer” or “programmer” rather than “engineer”. Not a big deal.
> with a naive reference implementation you want to confirm equivalent

I'm guessing you know this but in type theories like Agda you can just specify that the input and output to an algorithm has the desired properties, rather than needing to specify any reference algorithms. For example, you can just state that an implementation takes a list of X and that it outputs a sorted list of X. Nothing more is necessary in cases like that in such a system, no code, just the single type.
Looks interesting, perhaps because it seems to be a bit more down to earth than some of the other proposals where you have to derive Whitehead&Russell before you're allowed to use the + operator. But it also seems quite dead. The latest link is from 2012.
As anyone who has ever dealt with workplace politics knows, "political" acts in professional contexts are not limited to the government.

A private licensing board would be just as liable to do such nasty things.
That system is basically "sit through one exam when you're young". This can work fine in something that's not as detailed as coding.

The thing with software is people tend to think of it as something that needs maintenance to stay fresh, perhaps a bit like piloting an airplane.

Airplanes have logs and pilots recertify on an ongoing basis, but software doesn't work like that. Someone might have stopped coding but still have a title.

I'm not saying software actually does work like that, but I'm sure it's a view some people subscribe to.
Firefox lets you set local fonts in place of webfonts. The bad font rendering on desktop may not be completely ameliorated, but you can play around with some of the more well-designed font families (Noto, Adobe Source, IBM Plex) to give it a better look.
Long-Distance Text Communication with LoRa
Some say it's only cheating if you get caught.
You need all of that if you try to complicate things. Otherwise you can get 90% of the money for 10% of the effort.

You can have a fixed rate. Fraud detection is a problem that thousands of apps requiring in app payments solved it somehow.

You don't need to have 1 million features, you only need to have the features demanded by the people who will make you most of the money.
how might one find themselves on HackerNews having never seen the OpenBSD pufferfish?
next you'll ask about the penguin, or the gnu, or the cute-looking demon!
You know what's also useful? Reading the FAQ for a venue you are new to.

https://news.ycombinator.com/newsfaq.html

It's right in there.
Whirlwind talks led to Broadcom’s $69.1bn capture of VMware
Also LOLCODE and PPT (punched tape) among others!
Many people with genuine 10 years of experience do not care for stupid leetcode question they could obviously solve given some quiet and time.

The idea that everything boils down to answering some intro to programming questions quickly is absurd.
Wasnt watzlawik in one of the popular books telling about a Victim becoming an all time victim (and suggesting a causal implication in that way).
> I sometimes imagine a future where players can open up a game, edit the rules, then share that "seed" with other people, until the most popular "seed" is discovered and becomes popular amongst a community. In this way, one would discover non-intuitive, but immensely interesting game modes through sheer trial and error (much like how ARAM was discovered in League of Legends by players).

I would argue that Starcraft and Warcraft 3's map editors were basically this. Many of the popular maps got developed into actual games - Dota, Various TDs, Uther Party etc. Only thing that was missing at the time was a match making system, so you had to use some private app or community to get quality games after certain level.

I was very sad that Blizzard squandered the opportunity they had to create a thriving custom map coummnity when Starcraft 2 came out due to some strange choices they had made, especially when their custom map engine for SC2 was quite powerful. I've day dreamed about a future where Starcraft 2 came out as a free* game that focused on creating custom map communities instead of the mess that was at the initial release.

* with purchasable campaign and ladder add ons, of course.
Yeah, I don't know the law about incidental copies and RAM and stuff. But I think we shouldn't lump that with using a dedicated piece of hardware, because I think there is a difference between the two. Whether that difference is relevant in the law, I'm not sure.

Wouldn't router and switch operators be considered distributors rather than publishers?

>Prior to the Internet, case law was clear that a liability line was drawn between publishers of content and distributors of content; a publisher would be expected to have awareness of material it was publishing and thus should be held liable for any illegal content it published, while a distributor would likely not be aware and thus would be immune.

https://en.wikipedia.org/wiki/Section_230#Background_and_pas...
Did they hire people who failed their interviews in order to see how well they did?
You could, but then you are losing what I think is the main point of TF – describing what the infra should look like and letting the tool figure out what the necessary steps are for reaching that state.
This thread is about engineers not surgeons. And it happens all the time when an engineer does not feel competent for certain problem, they ask friends for help. Would you ban such practice or what?
I think even just doing the former couldn't make it much worse and at least the imbeciles won't have access to so much power.

Frankly at this stage I'd welcome the queen just scrapping the whole lot of them.
Even in defeat he remains Werner Herzog.
Cheating doesn't seem to be punished any more in the UK because universities need the fees. I witnessed an egregious case of cheating in an MSc exam which was caught, and as far as I can tell, the perpetrator just had to resit.

One of the first year courses in an undergraduate degree ought to be in academic integrity.
There are two ways to look at this. One is that those that cram for tests are doing "what the employer requires" and do will make good employees, so the system is working. Those that go this approach probably learn stuff along the way as well.

The group that focuses on pure learning, and engaging with the material, may not end up with the best marks, but they have a deep understanding, and delight in the subject that will serve them very well over their working career.

Equally though, not all courses are equally useful (to one person). I enjoyed oceanography, I went to class, did the work (mostly) and learned something. But I don't like boats (get seasick) so I've never "used" any of that knowledge. Ditto astronomy.

Comp Sci on the other hand consumed all my spare time. We gave ourselves extra tasks, read far beyond the textbook, and pushed the envelope. This would be our career and we were all in. Sometimes test scores suffered (I didn't actually study for tests) but I got a job (one I still have and love) and 30 years later I'm still applying those fundamentals I learned.

Maybe I don't have the highest paying job, but I'm where I was made to fit, and money can't tempt me away.

Those that cheat, well, you can fool some people some of the time, but it's a lot of work. And a career spans a long time.
I think we need to stop looking at the students and start looking at the system.
The students are responding to incentives set out by their faculty. If you really want change, you must evaluate alternative incentives.

Personally, I was an honors student until college, and I was often the one in my group of friends to figure out how to solve an exercise, yet I would often get average (or lower) results compared to some of my friends, because some of them were just great at drilling themselves until they could repeat every single style of solution quickly.
I admit - that made me a little frustrated at the time, but 10 years later some of those folks that did really well in the exams are not doing as well in their careers because real life requires innovation and deep understanding, not just rapid application of past solutions.
>I prefer low taxes.

Texas is 32rd in terms of tax burden, you will prefer it.

>Personally, I can live without Fauxrari speeding past my door at 2 am.

That’s an enforcement problem. If you think this doesn’t happen in dense cities, with way more sports carts and way more bars, idk what to tell you.

I’ve literally moved to suburbia to escape the city noise. In my case it was fire engines passing by literally every 10 minutes. That’s normal in a dense “human-scale” city centre, but very rare in the suburbs.
There has been a lot of terrorist activity continuously in europe since the 60s. In the 60s/70s it was mostly far left terrorism (red brigade, baader-meinhof gang, etc) and some independence movements (FLN or the opposite like OAS). In the 70s/80s independence movements (palestinians, IRA, ETA, etc), and state sponsored terrorism (Iran, Libya). In the 90s it became islamists. The far right committed continuously rare but large attacks (like Oklahoma city, Breivik). If you go further back in history the anarchists were doing a lot of bombings at the end of the XIX early XX.

The point is that islamist terrorism isn’t a large uptick in terror activity, both in term of number of incidents and number of victims. They do more spectacular attacks though. But the reaction it created is kind of curious (security in airports, army in the street, state surveillance), particularly in countries with an otherwise large tolerance to crime like the US (tough laws but very high level of crime) and Europe (lax law enforcement) where terrorism is a drop in the ocean of regular crime.
Maybe that was their thinking? Have massive loses while killing all competition including taxi drivers and capture the market and after that just cut features and jack up the prices while paying less money to drivers?

Fortunately it haven't worked. But could it work assuming the VC investors would be able and willing to pour much more money into it?
"EGA to VGA transformation" like it was done for games like Indy3 would be nice. http://www.superrune.com/tutorials/indy3_ega.php (Even though some people still prefer the EGA version.)
Luckily Texas is 32nd in tax burden, and has zero state income tax.
I have never understood why college professors / college classes are so uninnovative and have such an antagonistic approach to teaching/education. The entire grade culture at universities should be abolished in lieu of an evaluation system that is more reflective of the traits and skills that matter in industry and research environments. In CS programs geared towards helping graduates careers in industry, we should be rewarding students who help other succeed and in research oriented programs, we should have students conduct supervised research project oriented around their personal interests that require written and oral explanations of the work and why they choose the approach and what are the implications. There are so many easy ways to ensure cheating cannot occur that would also benefit students more than the current means of evaluation commonly used in higher education. On a semi related topic, if anyone is aware of research into experimental pedagogical approaches that move beyond traditional methods of evaluation and use concepts like mastery based learning in CS, I'd love to find a research group to work with on some ideas I have to improve instruction in CS and language learning.
You wouldn't cheat because once you are out in the real world supposedly applying the knowledge that you learned in college it is going to be really obvious to your boss and coworkers that you don't know what you are doing.

Everybody expects the fresh college grads to be fairly green, but you can really tell when someone has no clue about even the basic principals of their job, the one they supposedly have a degree in.

So the danger is having a good GPA but then washing out in job interviews with real companies. "Wow, a 4.0 in CS from CMU! So why do you seem to be completely mystified by Fizzbuzz?"
Reach out to Jason Scott -- textfiles.com -- and see if he knows anyone who would be interested.

He might know some folks.
I never said it was. But a device that needs multiple square feet of high tensile steel to hold together will have immense costs because it also includes gigantic superconducting magnets, vats of cryo-coolant and myriad of custom, unique parts made of exotic materials for exorbitant money.

The billion price tags of tokamak experiments is not a scientific oddity, it's a fundamental economic issue with the approach that will carry on to any production plant, that as far as we can conjuncture will need to be even larger and more expensive.
Well, yes, that falls under the second case: behavioral invariants of complex systems.

And the reference for "sorting" could likely be a deterministic bogosort and certainly a primitive bubblesort.

Even if you're just looking at sorting stability, you're past what your simple "sorted" type would cover.

Most things are far less trivial than "sorted list", including (almost?) all interesting practical applications of formal verification in the life of a "normal" software engineer.
It's not the only quality we value. We also want people to be able to learn new things, and be hardworking when needed. I'd personally prefer bridges in the future not being built out of paper-mache just because it was easier than using concrete.
Many engineers and teams are aware that they write bad code, and they love it. You can get very far as a clumsy code vendor. Even if formal verification was practical, it would be pretty difficult to make it mainstream.
It is insane to me that they incinerate $106,000 to lock someone up for a year. I live a much better life than an inmate for much less.

Of course, I don't have 24/7 armed guards, but I have plenty of other expenses a prisoner won't have.
I have an entire category "Nice to visit" in my Google maps, it has a distinct marking and I do visit those places when I am around. There are thousands of amazing places in Europe and it would be a full time job to visit them every time you have an opportunity. You just can't visit them all while on the trip, because you will never get to the destination.
Architects like it.
Like many companies, if Deere had the quality of business leaders they had 50 years ago, they would be able to amortize the total cost of the added digital technology, and provide that to farmers as a no-cost 21st century perk, while simultaneously providing better returns for their shareholders.

It's mainly when you get non-leaders in leadership positions that the ability to thrive by giving customers more of their money's worth can become out-of-reach.

Not much ability then but to rip off customers by comparison going forward.

Even with the same kind of factory and the same kind of customers.
Another thing (that the story goes into in depth) is that cheating creates a whole lot of extra work and stress for professors who would rather just be teaching material and not exerting enormous effort into policing other people's behavior and enforcing rules. (And that's really hard to do if you're afraid of making a mistake somewhere and punishing someone too harshly, or for something they didn't do.)

The students hunting for "the snitch" adds another layer of dysfunction. If someone joins the group chat and leaves because they notice other people cheating, then they could become targets of the other students. That's not the sort of college experience anyone wants to have.
You ask them to do it again in front of you
Taxi apps in my country have real time updates. I can see the taxi on the map and every turn in makes to get to me. The driver can also see if I move.

And it's clear they didn't employ anything like Uber massive work force to do that.
What school in CA was giving multiple choice assignments in a CS class?

What you describe in France is exactly how my classes in the US were (at UW Seattle) ~15 years ago.
If you can't give me the o(n) performance of the algorithm that you just wrote, this is a pretty serious red flag about your ability to understand what you are writing.
I remember it being common at my university for fraternities to maintain banks of old tests/quizzes so next year's pledges could cram and vomit more than the permitted amount.

This is like your ML model loading your test set into training without your consent.
It looks really cool. A hand writing style...
Do you plan adding new themes?
The real reason there are these coding things:

A) SWEs are shit behavioral interviewers in any other way. You are not about to chnage that even if you are google.

B) It is crucial that newcomers be hired by their peers and by their direct manager. This has solid research. People hate it when they get an hire and they hadn't a meaningful part in the decision... The new hire is more likely to fail.

A+B means it is better to have a terrible process lead by SWEs (e.g. coding interviews), than a good one lead by professional recruiters (which will fail, no matter their capabilities and methodology) (and yes, I do believe that without considering A, some non technical recuiters trained at workplace psychology will have a much better success rate without needing any technical interview. They will need someone technical to have a talk with the candidate, but definitely not to ask leetcode etc).
I agree with you, but also most of the time when people ask each other for help it isn't to help understand a concept. It's usually for source code.

In the class I mentioned above, the prof and TAs weren't pissed off about people using each other to understand concepts or even high level design. They were pissed because people were copying source code verbatim, comments and custom debug messages and all

On a related note, if someone ever asked me for help with a concept or high level design I would be more than happy to oblige. But (most of the time) people aren't asking for that, they want source code that they didn't contribute to

this could be fixed by making assignments collaborative, but then the professor has no means of verifying where everyone is in terms of understanding
I'm not saying you can be a moron, or have no understanding at all, but Google and stack overflow are tools that more people (engineers) should learn how to use.

I learnt to program using books (pascal, c, c++ etc) and that was slow. When I learned JavaScript every question was seconds from a clear answer. That's a MUCH faster way of doing things, and I for one am a fan.

Mind you that's all just syntax. Analytical thinking, data structures, program logic (ie, how to actually program) we're laid down in a CS degree 30 years ago. So it helps if the foundation is there.
I always tried to understand things. Craming was a last resort, when that didn't work. I find learning things I don't understand or have a mental representation for extremely boring and an utter waste of time and energy.
Haha very similarly, at some point I tried switching to chrome, and went back to ff because I could remove the x button on tabs. for ff there was tabmixplus back then.
> You should take a long vacation in Turkey. Huge enlightenment awaits you.

Certainly not for people with a clearname online presence, as you will land in a Turkish jail. Huge enlightenment awaits you there.