skysight-inc/HackerNews huggingface dataset:
Okay, had to register just because of the positive comments so far. I know nearly nothing about machine learning and may be a bit biased, but has anybody actually read the paper?

As I understand it, the model is trained on what compilers do anyway (the training data consists of compiler output from -O0 and -O3), so it won't come up with the kind of clever tricks that a human might.

One of their cherry-picked examples (fig5, prstree_empty) is incorrect: in one branch it is supposed to return true if the value at rdi+0x10 is a null pointer, but in the optimized version it falls through from "sete %al" to the next instruction, which overwrites that register so it will always return true.

It would be easy to fix by inserting another return instruction, but this clearly shows the neural net doesn't "understand" how to generate correct code. Besides some peephole optimizations, a lot of what it learned seems to be how to fool automated checks, and in this case even the authors who didn't spot the bug.

See also the section about verifier exploits, which are embarassingly simple: a completely empty "if statement" which depends on memory causes a function to pass when it clearly does nothing more than always return false.

The 6.2% figure is after "human verification" (again, one of the examples in the paper is broken!), down from 8.3% using only the automated verifier.

Not impressed.
Sure, you're just swimming in consulting work by now.

You just maintain video courses, ebooks, mailing lists, multiple social media profiles for marketing all of the above, and an endless supply of blog posts because you enjoy doing all this in your spare time.
SK Broadband's customers should be suing.
The only guilt of Netflix (besides selling down-level show at rip-off price) is what their action helped to reveal SK Broadband can not actually service their customers with agreed bandwidth (and no, its ISP's sole responsibility to pay their uplink for required bandwidth). I'm pretty sure the problem was well known to geek minority, just this streaming spike uncovered the problem to general public.
Does the existance of a carbon tax in parts of Europe and usage of carbon credits show it is not that unpopular? California's electronics tax I always saw as a carbon tax in disguise. It would be labeled as moral code but in effect are taxes.
It's in there. Go down to "The Final Destination."

It's one of the bullets.
How can the battery last so long?
Proof of work is wasteful in the same sense that having banks is wasteful. Imagine what it takes to operate a banking institution. It's not just electricity. It would be "efficient" to just write the word "bank" on a shack and then have one or two workers "guard" over all the deposits.

Unfortunately, nobody would be willing to use such a bank. Actual banks that people use need to spend a lot of money just on maintaining the charade of being proper custodians. Yet, they can still lose your deposit, in which case they rely on the government to bail them out.

Perhaps proof-of-stake is something that can mostly replace proof-of-work, but the proof is in the pudding.
we aren't resigning willingly, nobody will hire us because experience is no longer valued.
He's not complaining about Agile itself.

He's complaining of the non-Agile practices that became synonymous with Agile, eg. Scrum, thanks to Agile coaches that feared losing power.
And yet the average tenure in a software engineer role is just under 3 years. That's not exactly long term.

The real reason why hiring freelancers and contractors is easier than employees is that the cost of firing an employee is non-zero.

https://www.facilitiesnet.com/commercialofficefacilities/art...
I enjoyed the article.

Acoustic couplers were common back in the day as well.

I used an acoustic coupler a couple of years before I was able to buy my first Hayes modem, which was a 300 baud modem. The coupler was connected to a Zenith Z-19 24x80 CRT-based data terminal. The standard telephone handset was a friction fit into the two earmuffs on the coupler. To use the coupler, you dialed the remote computer by hand (rotary dial phones worked as well as touch-tone phones) and when you heard the whistling tone from the remote end, you shoved the handset into the earmuffs on the coupler. A few seconds later, you’d get a (sometimes garbled) login: prompt.
Thomas Jefferson had similar thoughts, a “tyranny of the majority”. Say 1 in 100 people are doctors. People are tired of paying doctors and want care for free. They put it to a vote. 99 vote to force doctors to work for free. Democracy triumphs, but at what cost? This is partly why America was founded as a republic, not a pure democracy.
Ok, I stand corrected, forgive me my ignorance.
He is talking about senior developers. A "new" one will have to build good credentials over the years with different companies before being able to pull a contract without doing a single formal interview. I can confirm that this is also possible without having any blog or whatever, there are enough companies who don't play the FAANG HR game.
I say that as if "we need to stop disinformation" doesnt necessarily mean "we need censorship". Which it doesnt.

I reckon conflating the two actually makes censorship politically easier by implicitly endorsing the view that censorship is the only effective way to combat disinformation at its source.
Dark Helmet: I am your CNLabelContactRelationFathersBrothersNephewsCousinsFormerRoommate.

Lone Star: So what does that make us?

Dark Helmet: Absolutely nothing.
This is commerce. It's a transaction. Both parties benefit.
> I'm not sure I understand what this changes to the overall situation. Remember that a formal system also can't prove its own consistency, so you can't just ignore bits that you don't like and expect that it doesn't matter, it's possible that one of these "true but unprovable" propositions would actually render your system inconsistent, in which case it ought to be addressed.

Is that true? It seems to me that if a statement is unprovable, then even if it would in theory render your system inconsistent, there's no way that can actually happen.

Since, if you found any example of a chain of logic which leads to an inconsistency, that would count as a proof of the original statement. Which is unprovable, and as such can't have proofs.
And we let white supremacists hijack our language?
In the end, you're downvoting me for calling out an angry rant on the internets as an angry rant on the internets and for calling out your intellectual laziness that accepts to get its knowledge second- and third-hand, from angry rants on the internets, as intellectually lazy.

This is the internets. A toxic shithole full of intellectually lazy and wilfully ignorant people who don't want to know, don't want to learn, don't want to read and study, just want to be entertained and outraged and cancel each other out. Like a good, old, Roman mob.
I wouldn't be surprised if the normal bandwidth is able to be handled by existing connections, rather than the boxes with the ISP's. Is netflix super popular in Korea?
> In every job, people who are actually good at it are valuable, and there must be some way of managing their priorities

Agreed, but i'm strongly convinced an AI is not a good approach to the problem. What problem would it be solving, and with what criteria for the solution? An AI is just a really fast and really dumb computer looking at abstract numbers, and as such what numbers (weights) and why we feed it is what matters.

I would argue two things, with which you may or may not agree:

- capitalist competition drains "human labor" with little benefits for society: cooperation across organizations and fields could be incentivized ; we have an abundance of skilled people in many fields, but all of them are isolated working for a manager/boss (and their interest) not cooperating for the interest of society at large, and that's a waste of "human labor"

- "qualified labor" is as valuable for skillsharing as for actual problem solving; it enables more "qualified labor" to emerge (reducing the bus factor) ; companionship and other forms of crafts guilds and workers cooperatives have a lot to offer to society which no private company (with shareholders and managers) could ever offer

> Paying them is one such way, though I do not claim that the only possible way in the universe.

Yeah, that was exactly my point. Being born and raised in a capitalist economy, most of us fail to see what we could do without money entirely. But throughout most of history humanity has lived without any form of currency so ti's not the only way to think about incentives.
Synthesise more than half the data, then decry the injustice it shows. This is not science. This is advocacy of a belief set.
Thanks a lot for the kind advice. Indeed, sharing is the number one thing we're working on right now. Getting it right will take some time, though.

I like the idea of going to where your customers are. We're already trying to do that, but your comment confirms us in this. Music schools and universities etc. are what we have our main eye on right now. Gigs and open mic nights, too, but it scales less well, and it's always a fine line between asking an artist about their workflow and annoying them with self-promotion - in particular on an evening that should be all about them, not us.

Reddit we found quite tricky though - the music-related subreddits we found do not allow self-promotion. Apparently they get enough spam already, which I can totally understand. If you have good suggestions for subreddits or other online music forums, I'd greatly appreciate it! Same goes for music blogs etc.
Multiverse(sp)
wasting time hearing about peoples work yesterday/today that I am not involved with nor has any impact on my work is a waste of every ones time.
Economic version:

Devs are the specialists least dependent on capital. If you're a surgeon, you need a hospital, if you're a windmill engineer, you need the windmill factory. Dev can work with all his own tools, it's so cheap you can have your own workbench (eg on Hetzner) for almost nothing. The range of firms with dev-relevant capital is very wide.

Capital is cheap, too, thanks to the times we live in (let's not go there).

Senior devs who don't need hand-holding are a rare form of labor. It's free to everyone to learn how to be a coder, it's all out there on the internet in a way that is unparalleled across subjects and in history. But we are not flooded with competent devs. It would appear the bottleneck isn't in educating people.

Finally, the WFH revelation means markets are a lot less local. It only makes sense to look for a new job when you know all this.

----

BTW, it really is a dev's market right now. It's white hot, it's been white hot for at least half a year, and nobody knows when it ends. I encourage anyone who feels even a tiny bit inclined to have a look around. Even if you don't, try to finagle a day at home each week, because the recruitment game has been turned on its head by the ability of people to chat during work hours.
those re/formed within last 100 years.

(and those who actively deny its existence /s)
Wasabi is a completely different plant.
Google is also searched a lot on Google ... 80M/month from USA according to Ahrefs.com. Compare to youtube 166M, facebook 170M and netflix 15M.
> Javascript is not usable, you wont be able to make anything useful if that is your underlying VM.

I've been making games professionally across a wide gamut of technologies for over sixteen years and that's simply not true. Further there are loads of games written in JS that prove it's not true! Believe it or not I've actually written game code in languages SLOWER than JS for shipping titles!
I feel the same, and I think it's fair to switch to feminine in these cases. My point was just that it sounds a bit less weird than saying "elles sont là" when there is 200 girls and a boy.
I think you're comparing apples to oranges. The tooling we have on the modern web is leagues ahead of what was available in flash, and it's generally free and open source.

It's just that the web can do so much more today than flash could back then, so you need so much more tooling as well.

And yeah, the web wasn't really picked up by game developers very much. But that is because there is no value appeal to it, it's not due to a lack of capabilities. Web distribution doesn't make sense for most games when apps are a thing for mobile where most players are, and where more involved gamers either have their own consoles or hardware you can distribute executables to directly.

So why would you need such solid tooling for something that doesn't have any market demand? This isn't a case of "build it and they will come",some of it does exist and is used, it's just unpopular.
Technology Transformed Bowling
I get a calculator showing 72: https://imgur.com/a/ukQtOwn
Constructive mathematics can prove anything that classical mathematics can, and more. The only catch is that propositions which are proven classically must always be stated in the negative fragment of the logic: there's no general duality as there is in classical logic, but a positive and a negative statement mean something different.
Looking for Life on Mars
> They are: the advertisers pays for the service users are consuming

and the users pay for the service the advertisers are consuming.
I've seen this in very incel-y contexts, but I can't imagine it being anywhere as pervasive in the context of GitHub. "Everybody hates me even though I'm a really nice guy, but man those class of people are ****" doesn't really have a place to show up.
Sadly, as someone who isn't Jewish, my view is that if a non-Jewish person says that, they almost have ill intent. It's one of the things that I think people can joke about themselves that way, but it's almost impossible for an outsider to do it without ill intent.

I thought the joke that spurred this was in poor taste, but didn't have any ill intent. It definitely didn't belong on on that message. I'm not even sure jokes belong there at all. If they do, it'd be a pretty narrow selection of them, in certain circumstances.
Well, that was educational, and now I finally understand the Grey Poupon scene from Wayne's World.

In future I will be less snooty about "American mustard", which before reading this I had assumed was all like French's mustard.
>What kind of ideology would cause someone to spend so much supporting a presidential candidate who has no ideology?

I am not suggesting that Thiel fits this description, but accelerationist ideologies can potentially support such a candidate because their actions just happen to align with the goals of accelerationism.
It’s most likely a scaled model otherwise it would make it smaller than most current drones the X-47B is pretty darn big it’s wingspan is larger than an F-18

http://2.bp.blogspot.com/-7RRiU92zG2w/T6jnJ1e_QxI/AAAAAAAAA0...

The wingspan of the aircraft on that truck most definitely indicates a scaled model even if it uses a lifting body design.

So as others have mentioned it’s probably a shape test not an actual aircraft design.
> The fact that Mandarin has these terms but English not only does not have but that we find so ... outrageous it gets on HN, is deeply indicative

I think the thing that makes it "outrageous" is the fact that its name is such a mouthful. If they'd simply called it CNLabelContactRelationBiaoMei (as some other comments have suggested) no one be so "outraged".

Most people seem to be okay with the idea that other cultures can have concepts which are difficult to express in English without using a lot of words. But using all those words, as opposed to just borrowing the foreign term, is an odd choice.
Science journal calls on scientists to combat Facebook misinformation
I don't like taking things literally, but in this case that would be necessary, as it's the whole point. "Master" is an English word. If it isn't, "main" is primarily translated to "haupt" in German, and we all know what a Haupttruppführer was, so that should go too, as should every other word that possibly has a negative connotation somewhere in the world.
Written in short form and taken at face value, I can see why you may have this reaction to his writing. Read the sovereign individual, basically his thoughts in long form. Thiel even writes the pre-face to the book.

His main arguments are that politics divides, democracy favors the 51% at the expense of the 49%. He is for smaller government, less political divides, and the abandonment of the welfare state that creates a government dependent population with incredible waste. His ideas are not all that radical, considering debt spending by world governments is currently unsustainable.

People are largely irrational & bias. The thing about morality is everyone thinks they have the answers leading the government to be this odd form of paternalism where seemingly simple statements like "No drugs" are taken to this extreme that lead to more societal harm than good.
> Scrum has outmarketed "Agile", and swallowed it up wholesale. Agile was about putting people before process, Scrum is all process, no-wonder the people feel downtrodden.

This.

I understand that some managers want graphs, points, velocity, etc. Those things makes it easy to point at something and tell the team to improve. A good (imo) manager on the other hand, would just ask the team how the sprint went and what problems needs solving.
I second this. Often, working as a freelancer is also a great way to get offers for full-time employment without any interviewing. Companies like to keep good people around, so if you're doing good work as a freelancer you'll often get an offer to join the company as an employee. Personally I used that strategy to get some really great deals, and I don't think I could've negotiated the terms I got if I had applied to these jobs as a regular candidate.
I really enjoy even the supermarket own brand whole grain mustards.
Very true.

At the same time, software seems to be able to generate significantly more revenue for clients than other jobs. It makes sense that anyone wants a piece of the automation cake and therefore need software developers.

If you think about the value you're providing, you'll see you're probably creating much more value for the company than for yourself.

Sure, you charged 10k£ to build a dashboard serving 50 millions customers which took you a few days to build. That dashboard may avoid the company 25 millions calls, saving way more money than the 10k they spent on you.
the physical access.
Developing AWS Lambda Functions Locally
English mustard is great. I'd say export it to Europe, but no one will like it because they consider French (and some, German) mustards superior. It's the cheese and sausage situation all over again :D
That's what the rule would technically allow, but it will only be adhered to when used against the enemies of those enforcing the rules.
This is downright hilarious. First order of business is to write a program that generates a commit + well-form commit message whenever a character is typed.

“Ah, benttoothpaste, I see you
made 70000 commits last week! Fantastic progress, we’re very proud to have you on the team! Can you tell us a little bit about how you achieved this incredible breakthrough performance? Your bonus check is already in the mail”
While this piece is garbage, I'd really like to see this data broken down by county.

My hunch, and I could be wrong, so data would be nice, is that the problem lies almost entirely with urban police, which are (effectively) under the command of the city mayor.
Kinda reminds me of the Rational suite of programs from early 2000's that did UML modelling and other aspects of software requirements & project management.

They were some of the buggiest most crash-probe applications I've ever used, whilst the whole time their marketing trumpeted about how much better the quality of your software would be if you used them.

Oh the irony!
Pointers are probably in the same category (ha). Notoriously difficult to grasp as a beginner, notoriously difficult to understand why they're difficult to grasp after you "get it", and rife with subpar analogies like "pointers are like the numbers on your house".
If you want to read the whole article and not get a "sign up to read" prompt you can disable JavaScript in your browser developer tools and reload the page.
Its just Yet Another Battle Royale.

> capitalism

Too bad they don't want to watch award winning Kim and Beautiful in sustainable 320×200 format from the North :)
They don't have to, generally speaking. OpenSea does that for them, and issues a blue checkmark to items belonging to the collection of the verified key.
> Money has become a high score and its increasingly exclusive nature made it a status symbol.

Exactly. It's a mathematical abstraction for social status and privilege, not a tool that addresses human needs.

> not having children. Who's going to work for them when they are old?

This framing of the "aging" issue is based on our capitalist economies with the family as a foundational unit of society. In a cooperative economy, no one should have to worry about how to feed themselves when they grow old.
He must've used some kind of work planning and scheduling though, even if it was 'as soon as possible but not sooner'
I suspect that, given any type system / proof system for correctness, there will be well behaved programs that cannot be proven correct in the proof system, nor can they be refactored to equivalent programs that can be proven correct.

I think perhaps the challenge 'write a doubly linked list in Rust' is an example of this, but I am not sure.
Detecting Complex Fraud Patterns with ArangoDB
If you type 'google' into Google, you will break the internet!!!
It puts the "mustard" in "mustard gas" :D
That's the best part. If you don't like it, you don't have to participate. If you want to copy an NFT's image and use it as your wallpaper without paying, you can still do that.

On the other hand, if you voluntarily would like to value an NFT by purchasing it, that's your option as a consumer.

Don't like it, don't buy it. Seems simple enough. Contrast this to the existing structures of copyrights and intellectual property. NFTs may not enforce ownership rights in the same way as other mechanisms, but they do commodify existing voluntary relationships.

A better question might be why the premises of subjective valuation and voluntary association upset so many individuals?

Why must we all agree upon a standard of value? Different consumers have different desires.
>Is netflix super popular in Korea?

Netflix made a few big splash with content made specifically for South Korean. Or K-Drama. But I dont have any data to judge whether they are super popular or not.
I resigned yesterday, and with 20 years experience I guess I'm a senior dev. It was many factors, but management and the amount of process and the banality of the work finally did me in.

Maybe management is dysfunctional everywhere, I don't know, about to find out but mine literally just copied the email (headers and all!) from the client into the ticketing system and assigned it. Most of management has been there for decades and it has been their only job ever.

I spent more time tracking my time spent in the various systems and monthly reports than actual dev work. And the work was so mind numbingly boring.

I took the plunge and applied to half a dozen interesting job posts and that was it. I was worried about ageism, being an imposter, having to leet code, endless rounds, etc. But it wasn't that bad at all, a small take-home and a few rounds of talking about experience and now a nice pay bump and new problems to solve.
I would say it's not different and it's a great analogy that shows how NFTs are ridiculous. It could be even more extreme than your example. The piece of art could be entirely reproductible by anyone and still only some versions would be considered valuable. See the $150,000 banana.

https://www.youtube.com/watch?v=so8sB25IL4o&t=1s