skysight-inc/HackerNews huggingface dataset:
Not really. Mutation in general, and in modules in particular, inhibit a lot of reasoning about the code, and thus stops a whole lot of optimizations from being possible. Guile (a scheme dialect) recently got declarative modules for that reason, where a top level binding cannot change (i.e. you cannot set! a binding, but you can wrap in it a mutable container and change the contents of that container). This makes procedure calls and variable lookup a lot faster. Andy Wingo wrote about it here: https://wingolog.org/archives/2019/06/26/fibs-lies-and-bench... .

Those optimizations won't mean much for cpython, since Cpython doesn't try to run things fast, but for something like pypy this could be a big deal.
> If DRM had never been invented, piracy would only be about 5% worse, and your paying customers wouldn't be cursing your existence... but the media companies are too stupid to realize that.

The media companies do not care whether their paying customers love them or hate them. What they do care about, though, is when there is 5% less of them.

Remember, big corporations do not just want money - they want all the money (and more).
Blender plugins are python. No linkage.
Indian students wear boxes on their heads during exam to prevent cheating
My definition of expressiveness is basically similar to what Paul Graham (@pg) says. He also calls this "powerfulness" in his famous "Beating the averages" essay[1]. In short, a more expressive language is a language that lets you express more with less. Rails, with its "has_many :books" is very expressive, Assembly is the other end.

The wizarding/engineering spectrum was coined by the article I've linked to[2]. I think the post is exactly about that, first Instagram was wizarding and they had a suitable language for wizarding, now they're engineering, but their language is still only good for wizarding.

As I've said in a sister comment, it's not just about static typing, but metaprogramming/macros/side effects everywhere etc. There's more to the expressiveness/powerfulness than just types. While gradual typing is certainly an improvement, I think we need more research in this direction.

[1] http://www.paulgraham.com/avg.html
The second question is interesting.

I'd say, definitely hire that guy, and if the interviewer has a whole pipeline of such great people, that I'd like to invest in her startup.

Now, if after running down that pipeline, they still have open positions, I'm still a good hire for [list all the reasons].
They are only hiring testers which is a big resource waste but lots of autists can create kickass software without needing to waste resources on analysis paralysis.
Reportedly Uber did use money on a marginal basis and maybe still does. That's a big and important one.
63 Cores Blocked by Seven Instructions
Why do we have to bring social justice crap into this?

I know plenty of companies who will hire Aspie's or other brilliant people without a diversity manager there to tick off boxes.

'Jamal' may struggle because he doesn't have the intellect to do the job but antisocial aspie 'Luke' who needs to be reminded by his line manager to take a shower a couple of times a week but who is a genius at what he does will always find work.
Release pytest-djangoapp 0.12.0
Wasn't this tried like a year ago at one of FAANG companies and an AI was put in charge for automation process and it hired only male, mostly white, and got a huge backlash? I can't quite recall the details nor the specific company but I do recall the backlash from feminists, so somebody help with a link please.
For example, we are now moving away from nuclear due to the dangers associated, so we only have it for less than 100 hundred years.

The half-life of uranium is 4.5 billion years. Let's say civilization of earth is wiped out and someone visits the planet a billion years from now.

Could they tell that there was something here just by the levels of uranium, assuming that say we only used it for 200 years before moving fully to clean energy?
Yes, absolutely it says more about their limitations or concerns than it does about your own!

Unfortunately a mismatch in expectations is probably a reasonable (but not good!) reason not to hire.

The hiring party gets to choose, and if their choices are for what they think are local maxima that you don’t fit, they get to own the consequences of not hiring you.
There have been some other articles in this vein about SK. These are all HN headlines:

South Korea considers cryptocurrency tax | South Koreans lock themselves up to escape prison of daily life | The Suicides in South Korea, and the Suicide of South Korea | Running Out of Children, a South Korea School Enrolls Illiterate Grandmothers | South Korea has limited a working week to 52 hours, in order to stop overwork | South Korean President Impeached (!) | South Korea scrambles to avoid going the way of Japan | South Korea now recycles 95% of its food waste | South Korean government to switch to Linux (!) | South Korea's program of higher wages and taxes – so far, it's not working | Harried South Koreans pamper pets instead of having kids

One gets the impression of a neurotic, radically changing country that is trying to course correct with varying levels of success. Other than the overworking and business corruption, which I think are exceptionally bad in the country, most of these do seem like issues that other developed nations will face (or are facing) in the near future.
You are probably thinking of this:

https://www.theverge.com/2018/10/10/17958784/ai-recruiting-t...
Some of my interview is giving them an underspecified problem and seeing whether they can formulate questions (and dare to ask them!) that lead to solving the important part. I don't know how to standardize that, but we definitely need it.
The takeaway from that comment is that it's not like the robot is just unable to solve certain cubes or has an equipment failure, etc.
Regardless of whether the monolith or microservices approach is the right way to go for their use case: I could very well imagine that it is too late for such a migration, and that it would hold them back for too long.
> Better to not use any frame of reference at all.

Ok

> We know that the sun rises in the East and sets in the West.

You didn’t even try!
BP?
Sorry to bother you, in Indonesia, MEMEX means female genital.
I wouldn't judge them to badly for such an inane question by itself. Being an interviewer is also hard.

(If they did other weird things before, it might just be the straw to break the camels back.)

The status quo needs justification every once in a while, too. Though you could formulate the same question nicer as: "If you could do it all over again, what other fields would you be interested in? What are the pros and cons? What do you love and what do you hate about your chosen field?"

As an candidate, I often ask a variant of the latter: "What's great about the company? What sucks?" Even the greatest company has some aspects that suck, and it would be a huge red flag if they lack an honest answer. That would mean either it's a "cult" or stuff is so embarrassingly bad that they don't want to break the floodgates.

All the good places I ended up working for had decent answers about their downsides.
Again, you should read the article. These are things the raised and discussed there - the wallpaper trickery particularly
I know it's not intended, but this comment comes off as very mean. I don't know your father and brother, but that kind of assholish behavior is completely different orthogonal to having Aspergers or ADD.
It's good to see how features turned on by default (System Restore) can have such a bad impact on performance. Thank you for doing the profiling!
You're right. I'm not a native English speaker. That's why I speak in Spanish in my videos. I wrote the article too quickly (which indeed is a summary of the video) and the grammar corrector wasn't very smart with the "changes" things. Thanks for pointing out the typos.
Absolutely, great effort. Interesting to compare the two mind you.
Everybody thinks robots are inevitable until they meet the robots that are supposedly inevitable. There's a fun joke template for robotics. "How many PhD's does it take to do <generic task>?" So now instead of one untrained person doing the dishes, you have 5 PhD students hovering around a robot as it spends 8 hours poorly cleaning one.
What you describe mostly applies to smaller companies or niche domains.

FAANG hiring is much more formalized and your connections hardly matter beyond getting invited for an interview.
Hey LuckyLion yes. But, not like others since we are sharing a majority of our earnings with our users. Also, the main reason for me to create this project was because I live in india, where the space is not cryptocurrency friendly. But, since my main focus was in Blockchain space as a project manager I wanted to do this only. I simply want to make Bitcoin the main currency. Getting people to use it.
> throw tons of semi-structured data relating context and actions to tight feedback at your brain (personal pattern-matching neural net)

What does this even mean? Relating context and actions to tight feedback? Can you break it down in a more simple, understandable way.
Yes, of course. Problem is: senior supervision is a limited resource.

So even if you had perfect code review, you'd only want to hire people that produce code that actually makes it through the review with less hassle for the reviewers than it would be for the senior folks to write the code themselves.

In practice, code review is imperfect. You want to hire people with good taste and good skills.
We do know however that shift work is absolutely terrible for your health.
> Any software engineer that wants to build a _real career_ with _real progression_ will already know that changing jobs should be done by connections, not cold-applying for jobs.

If you can get referred, sure, do that. Why should that be a requirement to build a "real career" with "real progression" though? (And what does that even mean?)

Earlier this year I interviewed with several companies. I was referred to some of them. For some others I didn't know anyone so I cold-messaged recruiters on LinkedIn. It worked just fine and I received similar offers in both cases.

You're probably doing more harm than good by scaring people away from cold-applying.
Automatic reports for vulnerable ASP.NET Core runtimes
The third hand knowledge I have of booking.com was that lack of unit tests was an explicit choice. I.e. they felt it was more efficient to just catch bugs in production and be quick to fix them than spend time in unit tests that got obsolete fast and add friction.

I didn't buy in the narrative, but it was an interesting perspective.
Very much on point, and I learned something. Ta.
I think the point is that companies shouldn't be frat houses full of brogrammers.

If you want to hang out with your friends and wrestle to decide coding patterns, then that's all well and good. But the second that it becomes a company that employs people it should be more mature, equal and accepting. Work is indeed not always only about output and skills, it's also about respecting each other and collaborating with different people and their opinions & experience to produce the best outcome.

Anecdotally, I have worked at a company whose unofficial hiring mantra was "hire people you'd go drinking with". It did not go well! Luckily some adults got hired and the company started functioning better.
Netscape Internet Service
> especially in a small company run by 20-something whose only social life is their colleagues

So you'd discriminate against introverts because the team are awful at socializing? Apart from how sad that sounds and how awful it is for people (you're whole life has single point of failure), it also sounds very self defeating.

> Work is not always only about output and skills

Treating it that way is basically the foundation of what's considered professional behavior. I hate when that gets taken too far, but the core idea is good.
There is a bit of humour in the video which is hard to translate into written words. And you got these "funny" points.
Retail Experts Opinion: How AI Is Changing the Retail Industry?
The retail industry is one of the most emerging, dynamic, and fast-paced sectors across the globe. It comprises the process of selling goods or services through multiple distribution channels to their customers to earn profits.
The dynamics of the retail industry is growing drastically with strong growth due to improved customer’s confidence in terms of both grocery and non-grocery products. The spectrum of this industry is quite high as it serves its customers through small outlets and big departmental stores. According to retail industry expert rapid expansion in the population across the globe, rise in consumer spending, buying behaviour, and development in retail infrastructure is driving the growth of the retail industry.
Retail experts say that changing product preference of the consumers, along with an increase in disposable income, is forcing the retail professionals to adopt AI in this industry. By the implementation of these disruptive technologies, the pattern of traditional retail is expected to survive in a new way. The retail industry professionals need to make sure that they grab the latest technology for their business growth and high profits.
https://www.expertsconsult.org/search-experts
At one of my early startups I shared a sizable private office with two other engineers, one other full-timer who was the lead and a contractor we were pretty sure had aspergers based on a variety of odd but relatively easy to ignore behaviors.

Everything was fine and his work was acceptable until he apparently became convinced we were talking about him behind his back and conspiring in some way against him. He started leaving an external webcam w/microphone attached to his desktop and monitoring the shared office when he wasn't around, his contract required him to provide his own computer so he didn't seem to see a barrier to attaching a camera and microphone despite his role having no need for such things - this was years before video conferencing for meetings was commonplace.

Because we were a proper scrappy startup we would work crazy hours often, but his being an hourly contractor didn't enable him to pull all-nighters with us salaried folks. So the circumstances somewhat encouraged this paranoia, but his mind went crazy with it.

His contract wasn't renewed because of this crap, it was a really annoying situation. I hated that we essentially fired someone because of dumb social issues despite their technical contributions being good.
Strong support from technology alleviates the problem.

If your linter already complains about bad indentation, your senior devs can concentrate their limited time on more substantive issues.

Of course, that scaling by technology has limits.
> In this context "formal" just means that no parts are left open to interpretation

Yes. But as you say, by that token any instruction set simulator could be called a "formal specification" (modulo undefined behavior, or if you deliberately wrote in a language with nondeterminism). But we don't call them that, because (I maintain) there is something more to being a "formal specification". Namely, being in a form that is easily amenable to formal methods tools, and the intention to apply these tools.

Now of course a pure F# or Haskell program is much closer than C to being analyzed by formal methods tools, but there is still a gap that wouldn't be there if the specification were written directly in Coq or Agda or Isabelle or whatever.
> It might give you a little more appreciation for the fact that the people doing this job are just that. They’re mostly just regular people, who thought they could do good.

I'm not comfortable with low standards such as these. We are, for starters, in a climate emergency and cannot afford a "well, they're human, they tried" approach to our politicians.

Judge them on their actions, who cares about whether they're "regular". More to the point, "regular" people and business-as-usual neoliberalism is what got us in this mess.

I've read that piece about Lambie, did this bit not stand out to you?

> But later, when asked about immigration policy, she questioned whether Australia should select people on “moral” grounds. Did she mean Christians should be preferred to Muslims? She replied: “Yeah, I think that would make myself and many other Australians feel more comfortable.”

This is blatant bigotry against Muslims given that there's no good reason the prefer Christians to Muslims, all things being equal. The Christian Right is a leading force for destruction and oppression globally; the basic reason Lambie prefers Christians is xenophobia.

For the record I think religiosity should count against you on an immigration application because it's bedfellows with conservative politics and straight-out bigotry, but you don't get to pick and choose religions like that without revealing yourself a bigot and a xenophobe. I demand better from public leaders.
For those of you who need to try it out real quick :
Jitsi Docker : https://github.com/jitsi/docker-jitsi-meet
Mostly so.

With some interesting exceptions, luckily. You can watch Star Trek: Discovery on Netflix in 32 countries, including most of Europe, but not in the US (there it's an exclusive on CBS or something like that).
>If you can get referred, sure, do that. Why should that be a requirement to build a "real career" with "real progression" though? (And what does that even mean?)

It means moving away from being a shit-kicker coder to a more senior position at a fast pace. And eventually on to upper management.

If you ever want to reach upper-management, you basically have two choices: A) You work from the ground up _at the same company, forever_, or B) You work at various companies, developing a network and getting recommended into higher positions from your networks.
We really should remove all definition and references to the Streisand effect. Then everyone will know about it!
I believe this is the separation of the transport layer protocol (QUIC) from the application layer protocol (HTTP/3). QUIC can be seen as a replacement for TCP. HTTP over QUIC then becomes HTTP/3 - with improvements in latency and head-of-line blocking over HTTP/2. So in that sense it will supplant HTTP/2 as QUIC gets adopted more widely.
https://en.m.wikipedia.org/wiki/Memex

Theres no bother, since its a different culture and words are bound to mean something else.
“1 out of 600 sites execute wasm code”

“50% of all sites using WebAssembly apply it for malicious deeds”
I should consider moving my stuff over too
FYI the “we save you money” link on the homepage leads to a 404 - https://prospect.org.uk/about/well-save-you-money/
ESPlay Micro
Just to add to the chorus of noise, I hate how very, very fucking right you are on every point.

The big news organisations here in Australia have grown to despise the very beast they helped created.
All but one [1] of my jobs have come from cold applying or being approach by recruiters.

That includes stints at Google, Bloomberg and Goldman; and offers from Facebook and some hedge funds etc.

Connections can definitely help. No use contesting that. But they are not necessary.

(Of course, perhaps in the counterfactual world where I had lots of connections, I would be a billionaire by now?)

[1] The exception was my first job, where I had chatted to people in the hiring company at the International Conference on Functional Programming. Not much of an inside connection either---everyone can show up and attend a conference. They usually don't even check whether you have a ticket.
"Gravitricity develops winch and hoist system to store energy at half the cost of lithium-ion batteries" - Gravitricity, an Edinburgh-based startup.

I think Edinburgh has a really good startup scene with a huge bio-quarter and even some space engineering like Skyrora. Skyscanner, a flight search engine, has been the most successful so far, sold to Ctrip for 1.4b UKP.
How does this approach help?
You can find the bitmaps on the standard X distribution, or more easily in many programs that embed them. E.g., terminology: https://github.com/billiob/terminology/tree/master/data/font...
https://news.ycombinator.com/item?id=21304861

https://news.ycombinator.com/item?id=21296704

https://news.ycombinator.com/item?id=21293995

All in the past two days.

And it isn’t “Python can be faster than C”, but “hash maps can be faster than linked lists” or “doing less can be faster” or “software designed decades ago doesn’t handle tens of thousands of users well”
I use nomachine behind vpn and it works much smoother than teamviewer. It's multiplatform and free for personal use.
Netflix Account Sharing Is Getting Blocked Soon by Netflix
Hmm, I swear this must be new since last time I checked the Blender site, but it seems to address my concerns very succinctly, and apparently that's not relevant:

> Sharing or selling Blender add-ons (Python scripts)

> Blender’s Python API is an integral part of Blender, used to define the UI or develop tools for example. The GNU GPL license therefore requires that such scripts (if published) are being shared under a GPL GPL compatible license. You are free to sell such scripts, but the sales then is restricted to the download service itself. Your customers will receive the script under the same license, with the same free conditions as everyone has for Blender. Sharing Blender or its scripts is always OK and not piracy.
So, to summarize your post "Everything that didn't exist when I was born will never exist".
Lately on HN I have made a number of comments about censorship: today it sounds great cause it shuts out those you hate. Tomorrow its used against your very voice. Do not disarm yourself entirely and give the government total power. Laws that are too strong in an attempt to stop criminals wind up punishing law abiding citizens.

These comments have been in regards to Twitter, Discord, Google, Facebook and so on all trying to define fake news or ban people with certain political affiliations. The saddest thing is that mainstream media pushes unverified sources on the race to being first. Nobody punishes them for being incompetent. If theres eyeballs for ads who cares?

There is a reason in America we have a constitution and a bill of rights. It could very well be argued our bill of rights was written in blood. The blood of those who fought against totalitarian type of governments who forbade: freedom of speech and religious beliefs, freedom to protect oneself and their families against bad people and rogue governments. Those two foundational things shouldnt be compromised under the guise of a safer country. It will not end well. History says so.

Sadly there are some in America who are quickly forgetting these things and are foolishly ready to give the kings to the kingdom away.

Without free speech we will perish and follow in the steps of bad forms of government. Without the right to defend ourselves legally, we give the government all power over us. Just ask Russia and Venezuela how those democratic elections are going for them.
I agree with you on the fundamentals but that first paragraph isn't helpful. The second paragraph is fine.

I suffer from the same annoyance about the same thing, so I know where you're coming from; I still do it myself and ought to moderate my own comments when I do. But blunt statements about others' ignorance only lead to pain instead of pleasure, and drive people further away. Not only does accuracy in such blunt statements not help, it makes their effects considerably worse. One of my teachers had a Ph.D. in psychology from Stanford and told me that he learned one thing from his Ph.D.: punishment is not good for learning.

In case it helps with bona fides, we're somewhat licentious about bending the rules in favor of APL and its family on HN. Of the great alternative programming universes (Lisp, Forth, Prolog, ?) it is surely the least understood.
Turbo Pascal 3.0 Compiler / Code Generation Internals