skysight-inc/HackerNews huggingface dataset:
I was just having several conversations about this with a mixed group of tech people. Several agreed and one who missed the original convo volunteered essentially the same sentiment.

It’s like traffic management. More capacity means more cars and traffic stays as bad or gets worse. In many fields, but especially software, there’s a lot of redundant work being done because there are enough developers that companies think they can almost afford (and exploit people to make up the gap) to do it themselves instead of using something that exists.

If there were just not enough devs to make your bespoke CMS or enough materials scientists to invent a new shade of pink, we would just deal, and more people would work on things that actually matter. Not a larger fraction of people. More people.
dysfunctional priorities of a hedonistic society in the end days. I suspect Lanistas were well compensated in their society in the end days too.
That is what a bot would say imho
Sounds cool!

Will it support only "basic" DynamoDB features (reading/writing records) or some "advanced" things too, like GSIs/LSIs, streams, fine-grained access control, TTLs, backups?
Only beefed up anecdotes. Author just wants to get clicks and sell his book.
At some point people can't come up with enough ideas to spend it all even if you forced them.
When at the onset of the pandemic the Trump administration decided that foreign students couldn't stay in the U.S. if they weren't attending classes in person, I was surprised to learn how much of the STEM students they represent. Thankfully this was reversed (after strong pushback from universities and many more stakeholders), but it still highlighted how dependent the STEM field is on foreign students.

Some numbers[1] from 2017: 81% of Electrical Engineering, 79% of Computer Science, 62% of Mechanical Engineering and 59% of Civil Engineering students are foreigners, to list just the top 4 (the top 2 have by far the largest enrollment).

Isn't this a crisis too? To be clear, I'm not suggesting they shouldn't be in the country; they are incredibly valuable. But doesn't it show that American students are just not going into these fields in sufficient numbers? The U.S. has amazing engineers and scientists, but it needs to import 3/4 of them. And there's no guarantee that they will even stay in the country once they graduate, it's not that easy. Are American students not interested? Just imagine what they could achieve if the same number of American students went into these careers as do foreign students.

A crisis like this pandemic shows just how badly the country would be affected if these foreign students weren't there. Just like for any other resource, a country that has to import most of what it finds valuable is always a serious problem.

[1] https://www.insidehighered.com/quicktakes/2017/10/11/foreign...
> I contend there is no such thing as "weakly-typed" because it suggests it exists in opposition to strongly-typed systems - but instead I feel "weakly-typing" should be considered the absence of type-correctness checking by either the compiler nor the runtime

This doesn't feel like a very useful definition. What languages would fall under the category of "weakly typed" by your definition? I can only think of C, and even that is only true for a subset of the language (when you're messing about with pointers).

> Remember that implicit conversions should never (ostensibly) throw any exception or cause any errors because implicit conversion should always succeed because it should only be used to represent an obvious and safe narrowing-conversion.

> const fun = (x, y) => (x + y) / y
> fun(1, 2)
1.5
> fun("1", 2)
6

No exception? Yes. No error? Nope, implicit conversion absolutely just caused an error. If I got that "1" from an input field and forgot to cast it to an int, I want to be told at the soonest possible juncture, I don't want to rely on me noticing that the result doesn't look right. As it is, "weak" feels like a good word for the types here. They don't hold their form well.
"Complexity kills" is an old mantra a lot of us fossils are familiar with, but the new kids still need to learn this lesson the hard way.

What makes things worse is the ability to stitch together twenty different AWS services together because - well - you can.

Solving hard problems in simple and maintainable ways, I would argue, IS the job. But what I see is engineers solving problems they don't even have, for THIS IS THE WAY. Also, there is a FAANG guy on the team that claims that's how they did it over there.
> THE language to replace C.

One thing I think people keep getting hung up on is this idea of there being a pure replacement for C. Consider the fact that C has already been displaced in many areas. Consider C++ as the first big one, it didn’t add memory safety over C, but for many it was more ergonomic and easier to reuse code across different systems (the STL is a big advancement here). That took a huge number of users away from C. Then you have Java that added memory safety and that pulled away even more folks.

What’s been left is a particular niche for C that is being being targeted by new features in C++, Rust, and possibly Zig.

The question really becomes what niches will each of these languages carve out from the existing C usage? Why would users adopt one over the other? There’s plenty of space for all of these languages to thrive, what I don’t think we’ll ever see is “the one true C replacement”, first because C itself will continue for a long time, but also because each of the existing C replacement languages are already are doing well. Will Zig capture the last C uses? I doubt it, but that’s nothing against Zig, it’s just the plain truth about how the computing world works. See the continued devotion to FORTRAN as an example.
Finally! A Lisp that lets me also interop with the Malbolge ecosystem!

jk jk, super cool
SumUp | BERLIN, Germany | ONSITE, Full-time | VISA SPONSORSHIP | https://sumup.com/careers/

We are the leading FinTech company in Europe with major offices in Berlin, Sofia, and São Paulo comprising more than 3000+ people. Our main mission is to enable small business doing what they love by being able to accept card payments anywhere. Beyond our original hardware, mobile and web apps, we have gone on to develop a suite of APIs and SDKs for integrating SumUp payments into other apps and services. Today, hundreds of thousands of small businesses in 32 countries around the world rely on SumUp to get paid. Join us!

We're hiring for:

• Sr. iOS Engineer - https://grnh.se/5f80afdf2us

• Sr. DevOps Engineer - https://grnh.se/4eb119802us

• Embedded Software Test Engineer - https://grnh.se/cb5993492us

• Sr. Product Manager - https://grnh.se/5f3db7a12us

• QA Engineer, Hardware / IoT - https://grnh.se/9940261b2us

You can apply via links or feel free to reach out to me directly at julia.matsai@sumup.com
> reeeeeeeeeeeeeetards

You should read https://news.ycombinator.com/newsguidelines.html
"You can always exercise with an office job."

Not in a way that counter acts the effects. Plus, it doesn't address other health issues like eye strain.

https://www.washingtonpost.com/lifestyle/wellness/even-with-...
If you use the Brave browser on iOS and ad block on your laptop, you’ll never see an ad on YouTube.
Right. Why are we (US) banning Slovenia but not Malaysia. Look at the curves. Hanlon’s razor only goes so far. At some point accountability must become part of the discussion.
I am not a cryptographer.

At a quick inspection this kind of thing would result in pretty bad encryption. A hash of each word (unless salted with a different salt each time, defeating the purpose) is easily broken, even if the hash is a cryptographic hash. I.e. I can build up a dictionary by hashing the top 100k most common words. This kind of attack is why every encryption needs some randomness (or something that's changing) injected to it. It's also unprotected against replay attacks, etc. And I'm probably just scratching the surface.

You really have to encrypt full messages. And sending the same message twice has to result in different ciphertexts. And you need nonces. And probably many other things. Cryptography is hard.
So you got lucky on a crypto-gamble and you think your situation applies to everyone?

Help could mean a lot of things... it could mean $20K towards their down payment all the way up to buying the damn thing, the poster didn't really clarify.

This whole "builds character" thing is a bunch of bullshit that people spout off to poo-poo those that have a leg up in life.
> Bootlickers.

You should read https://news.ycombinator.com/newsguidelines.html
Not just ordinary "sheepeople".... Fauci when lying about gain of function research to Rand Paul tried to play the "you don't know what you are talking about card"... Paul went through medical school... this isn't a question on this subject matter being too complicated for us to understand, it has to do with they are using "complexity" to obscure straight up lying for political ends.
> If somebody removes that line they had a reason.

That reason will be one of two things:
(1) They replaced it with something they thought would handle the same functionality (along with possibly some other functionality) in a beter way, or
(2) The requirement changed.

> That reason will make them remove the test that makes it fail as well.

If it was #2, sure (and in a test-first workflow, they would take out the test first). In case #1, they won’t take out the test, and if their implementation is wrong, the test will let them know.

> Tests that exist to check for the presence of a single line of code are deadweight.

Unless you have a very weird framework, tests don’t check the existence of lines of code, they check the behavior of units. The fact that the first-pass implementation in the same iteration in which the test was added is trivial doesn’t mean the function isn’t part of the contract that needs verified, and doesn’t mean that no one will ever change the intended implementation to a less direct one.
Why so many downvotes?
> $300k-600k for "high-end" mid-level engineers is because they stand to recoup many times than per employee.

Why would a company pay more than they need to? I would pay 4x the price for grapes if required. I don't as I would prefer to spend less on grapes.

> it's impossible for there to be a shortage of high-end mid-level engineers as those mid-level come from the low-end engineers.

Unless there is something that prevents from from becoming mid-level engineers. Like companies that don't hire junior level engineers at all and have mid-level be the entry level.
What kind of work was he doing for them to try to sell to him? Same with the job interview?
Science also exists, but I don't consider myself an expert on the morality of it, so you do what you want.
'Indeed, the phrases are not only poorly defined, they are also wrong, because the problem is not with the “strength” of the type checker but rather with the nature of the run-time system that backs them. The phrases are even more wrong because they fail to account for whether or not a theorem backs the type system.'

29.5 Types Versus Safety

"Programming and Programming Languages"

https://papl.cs.brown.edu/2020/safety-soundness.html#%28part...
> I have started to make noise about the incentives being askew

Choosing the hard path again I see.
Any documentation on the CI/CD features?
> It is certainly not impossible. Every "high-end" engineer started out as a junior at some point in their career/life. And I don't think it requires working at a FAANG either.

There's a significant group of people who follow a path like: "get an internship at a company with a known brand, then get more and better-known full time interviews as a result, then get one of those well-known jobs and as a result get EVEN MORE interest from recruiters" which must be nice.

If you aren't at one of the schools those companies hire interns from, it's definitely a lot harder, but still far from impossible.
Pneumatic tube system security bug affects nearly all hospitals in North America
What are the use cases for linear types?
Sole Survivors: Solo Ventures versus Founding Teams
> And of course the actual place where nastiness happens is the user input, and I haven't yet seen a place that can statically typecheck users. ;-)

User input has type `ByteString`. Not only can we check that statically, we absolutely should; and we should enforce that type, to reject any code which assumes otherwise.

Nastiness happens when developers treat user input as something other than ByteString; e.g. they might try appending it to a fragment of HTML (XSS); or wrap it in quotation marks and send it to a database (SQL injection).

We don't need to 'statically typecheck users'; we do need to statically check that `myApp` has type `ByteString -> Foo`, so we can avoid ever executing implementations which actually have type `HTMLFragment -> Foo` (XSS), or `SQLFragment -> Foo` (SQL injection), or whatever.
> I've recently been wondering if I should instead be trying to view life as a "sustainable marathon" rather than trying to cash out quickly (FIRE).

Honestly, that isn't incompatible with FIRE. Being financially independent allows you to take the few months off needed to find that 20 hours a week / low stress job.

In the community, retirement is viewed more as a 'freedom from compelled labor' than 'do nothing for the rest of your life'.
oh I agree the issue is systemic and I'd love to see Medicare for all or similar. But I don't think the agents of change are moving fast enough to affect my retirement

It would be interesting to have Medicare age gradually lowered to ~26, but I have not seen this floated around as a possibility
Bootlicker.
Gosling designed Java with a C/C++-style syntax that system and application programmers would find familiar. [https://en.wikipedia.org/wiki/Java_(programming_language)]
This article goes for fear without looking much at what is mitigating all of that.

Despite the range of scary variants, coronavirus has a basic reproductive strategy that works by chopping up a large protein into smaller components in order to make more virus. That limits variation so that coronavirus will never mutate as quickly as influenza.

While Delta is a real and scary threat it has also been largely blocked or at least limited by vaccines. Additionally because it spreads so fast it also burns through potential hosts very quickly which is at least part of why the flare up in the UK has gone back down as fast as it started.

And keep in mind that all of the variants are so weak that exposure to sun and wind or soap and water are almost always enough to kill off even large amounts of shed virus.
>The most well known example of a quantum thought experiment, the Schrödinger cat, is about quantum mechanics (seemingly) not working at macroscopic scale (only last year was there a good theory explanation of the paradox https://pirsa.org/20010099 )

It's like I'm reading a comment from a strange alternate universe where decoherence was never discovered and quantum mechanics hadn't progressed past the 1930s philosophically. How can you know about so many proposed experiments without also knowing why "quantum mechanics stops working at macroscopic scales" is absurd? Is there really a group of scientists that think that? Can we find some missionaries to translate their native language and reach them?
Not!!

A passenger not hearing the flight attendants' instructions because they have loud music blaring into their ears is surely a concern. Also, in the event of impact, the devices become projectiles that can injure others.
How to Deep Clean Your Place
Deep Cleaning in Kilburn means doing detailed cleaning of the place. some people do this after every season to welcome another season. Some people do deep cleaning for any event or guest coming. Deep cleaning includes detailed cleaning of place including floor, roof, furniture, counters, bathrooms, bedrooms, guest rooms, and offices.
No company I've every worked at would consider a part time role like this, especially for older, semi-retired person.
What is the work you are doing that requires this sort of fundamental knowledge? Just curious, as it seems like most of the business (read: monetary) value is in working much higher in the stack, leveraging the bedrock software already out there. Is there present moving and shaking happening at that level?
If you were to do that, those "systems" would definitely have much less downtime.

It might not be as efficient or convenient, but that wasn't the question. If the efficiency of convenience of two competing system is sufficient, the less complex one will have fewer parts to fail, and cost less downtime.

So for example for a "who touched this cabinet last" sheet, pen and paper would indeed often be better than smartphones.
I took this path twice - started a new venture with cofounders a had no strong relationships with. In many ways it was my fault - I wanted to start so badly that I didn't care about big red flags.
I think producthunt started as an email mailing list
That's very dependent on whether the definition of “good” can be yanked around by what the rest of the industry does, for example by ease of compatibility with other software APIs or by UI and behavior models that are familiar to lower friction for people who have already used something popular.
Web was absolutely a fad the first time around, and that bubble famously burst in a most spectacular manner. AI has been a fad several times, so much so that the term "AI winter" was already coined decades ago. Mobile is a very successful tech, I give you that, but it too had its false starts, and people who thought they’d be the next Twitter in no time if they "just have an app" were dime a dozen a decade or so ago.
> The former is suffering from a labor shortage which is why FAANGs and similar companies are willing to pay $300k-600k for engineers with 5-10 years of experience.

I thought it was because they generate >$1 million per employee.
The author did a Show HN previously:
https://news.ycombinator.com/item?id=17090906
The thing is, Apple only 'force' you to add their option if you have an app on the store and offer another form of public federated identity provider. If you don't want to offer Apple as an option, then don't offer anyone else. Look at the context of why they have enforced it. Privacy is hard. The concern is that that the majority identity providers/brokers in use are Facebook and Google. I'll happy listen to the 'competition' argument as it does have a little merit. However, when weighed up against the notion that these two are the only real choice for a significant volume of apps, it is extremely worrisome from a privacy point of view. Neither have a reason to respect end users, or you as a developers privacy because that's how they make money.
Or, you compile your code and the compiler spits out the type it expects for you and you paste it in to fix the error. Simple and no fighting with the compiler needed!
Yeah, a semantic shift might have occurred. Remember we live in a hyper individual society compared to the time of Thomas.

It’s more about an appeal to our common humanity, if that makes sense :)
> > So your argument is...

> Well, I made no such argument, the GGP did, and I'll quote:

You are talking in other posts about how no one is able to rebut you, but then when I try to restate your argument so I can rebut it, you refuse to engage and just say "I'm not making an argument." Help me out here, I'm trying to engage in good faith.

> > First of all, just because the trend is exponential now doesn't mean it always will be. That's silly.

> Silly why? Silly as the amount of processors that are sold every year?

Exponential growth never goes forever. Not in nature, not in economics, not in physics, not anywhere. It is limited by the available resources. You seem to be arguing that space flight will continue to grow exponentially, consuming all the resources required to sustain that growth, unless we stop it right now, or very soon. I think that is a silly argument.

You brought up processor sales as an example, but why not consider processor transistor density? That's something that was growing exponentially for a long time (Moore's law), but has since fallen off. We're putting lots of resources into processors, but only as much as it makes economic sense to do so. Why would space flight be any different?

> Even if costs do 'reduce exponentially' they are reducing towards a lower limit, not to zero.

Of course! But the argument isn't that the cost of space flight will somehow reach zero, the argument is that we aren't spending that much on space flight right now, we don't seem to be increasing our spending on it, and we're still getting benefits from cheaper launches, so why would we want to stop it?

> especially now that a whole bunch of use cases now become profitable

I think that looking at the profitability of use cases of space flight really only strengthens my argument, and weakens the one I think you're making.
Could you give me an example of some of the high quality siloed content that isn't available via RSS? I haven't encountered any problems getting to any of the stuff I regularly consume, but I imagine it probably exists.
> I'm a user and I wouldn't touch "signin with Apple" with a 10 foot pole.

For Apple device owners there's significant upside and little-to-no downside. You not wanting to use it doesn't mean that it isn't 100% good for Apple device users.

> That's waaaay too much lock-in.

If the app developer cared, they'd give you a way to migrate your credentials.

Anyway, you don't have to use it if you don't want to. Apple just makes it so that you have the _option_ to. But you should at least recognize that it's the only given option that allows people to use the service without giving away their email address to random app developers. That's a huge privacy win for users.
The linked Wikipedia article [1] states that there are three cultural groups and all of them have individuals who consider “Eskimo” somewhat to rather to very offensive.

[1]: at this time.
I need 100g.
The product went from:

100g: £1

to

80g: £1

So I have to spend £2 to buy 160g, and waste 60g (£0.6)

I would much rather the product was 100g at £1.2, where I would be "wasting" £0.2.
I think there's a possibility for a SW-developer, but I wonder whether that's even possible for other branches. If you don't have the required background (sufficiently advanced university degree) then you just don't have the knowledge. I can imagine that if you really work on high-tech engineering, you need a solid background of physics, engineering, math etc. You can't just learn that on the job, or better, expect people to learn it on the job.
> I tend to agree here. There must be top performers in pool B willing to invest time and effort to move to pool A given how lucrative it is.

One thing to remember is that pay might be bi or multi-modal but that doesn't mean the work is actually likewise shared out by "performance". There are lots of reasons other than merit why people might end up in a lower or higher paying position. You'll also find people going up or down between these positions over their careers. A normal one from my experience is people taking big paycuts to work in Europe.
Aren't quants supposed to be good at reading?

> *no one said crime is not a problem*, they're saying it's not *a new problem ramping up*
I don't think that this sort of selfish thinking is dominant. The explanation is much more simple - many in our field see complexity as a virtue, not an enemy.