skysight-inc/HackerNews huggingface dataset:
I've been doing some form of development since the age of 28. I look young for my age so I could probably pass for 35. I've made sure nothing giving my true age away is online or on my resume. I think the biggest issue is I have mostly been in the Perl ecosystem and most of those companies are self hosted, not using docker, etc. I do have requirements of only being remote, this worked fine in the perl world. But those jobs are mostly non-existent now and plus I was tired of the mindset that perl software stacks seem to harbor (never updating software, why use a framework when you can cowboy code your own, etc). Spent 2 years playing around with Django, figured it would be an easy transition. Hard to say why I don't get hired. I even did 7 interviews with one company. Several occasions I even celebrated early (buying stuff I didn't need with my dwindling savings account, going out to eat at fancy places with the family, etc) because I had 2 or 3 interviews ongoing and they were going so good and I was such a good match that I just knew I'd get an offer from one. But no... Slowly went from asking $130k per year to $120k, $110k, $90k.. That didn't help, the companies got crappier, the interviews just got longer and harder (the opposite of what I was wanting because I was so burned out by this time). Had a couple of perl companies reach out to me, but they are old legacy code and part time 1099. I can barely make myself put in over 15 hours combined per week with them though. Just feels like I am poisoning myself by going with them and want to do more interviewing but then the voice telling me it is pointless comes back so I just end up sitting in my home office for 12+ hours a day staring out the window.
i need to purposefully avoid thinking about my hobbies at work or i'll get too distracted daydreaming
Who is this convenient for? Tesla is still a constituent of the S&P 500.
Pinker's 'Better Angels of our Nature' has an interesting take on how political violence always ends up self-defeating because it inevitably goes too far and alienates its constituency. It took a lot of political courage from all sides to resolve to move forward peacefully, but ultimately it was ordinary people's desire for that "normal life" that was the engine imo.
Ironically (?) this doesn't seem to supply the one thing implied by the explanation it gives

It begins by telling us about how in C++ you're obliged to detect potential overflow, because if the overflow already happened then in many cases that's Undefined Behaviour and all bets are off.

But you shouldn't use this to merely detect such overflow, out of the box it will give you an Exception - and C++ proponents will insist those are only for Exceptional situations you mustn't expect them to have decent performance for merely conditions such as this overflow check - which might happen in some inner loop depending on the system design.

I don't see a way to ask the equivalent of Rust's checked_add() which gives you back Some(answer) or None depending on whether this addition overflows.
> These people at S&P, Moody, Fitch they are essentially faceless individuals who look at spreadsheets and numbers, he won't be able to pressure them into compliance like he does with people on twitter.

In some regards this is good, but my gut says this will generally benefit the companies that know how to play the game and manipulate / move just the right numbers to limit costs, but still end up on these lists.
Note for point 1, lightning could support USB 3.0. It was done for the 2015 iPad Pro
Just wait until you meet billing's angry roommate: invoicing.

In the US, an invoice is just a weird PDF that you might glance at before sending off to your accounts payable team. But in other countries, especially those that use VAT style taxing systems, an invoice can be a legal document that expresses costs and taxes in a legally prescribed way for accounting purposes. Many countries have prescriptive rules over how you invoice, who can write invoices, when you can invoice, what goes on an invoice, etc. And every country does it differently.

Are you building a service that charges incrementally many times per period? Or even worse, refunds incrementally? You might be sending a truckload of expensive accounting papers to your customer every month, one per transaction. And each of those pages was printed using government prescribed software from oddball vendors you must use or else.
I remember at 19 when I first went to Venice, I walked down the steps from the train station as I had in so many other cities on my three month train tour of Europe, but this time, the stone steps went down ... to water. It wasn't a joke and it wasn't a canal or two here or there. It was literally a city built with canals as roads.

And it gave me some hope for humanity. Because, having grown up in America, I had come to feel that we as humanity had no imagination. Of course, that's not entirely fair as we have been poor relatively-speaking throughout history. Food scarcity is still a problem and it's 2022. But even when we would have pockets of wealth, we rarely used it to do something interesting. We're not dreamers. We, humanity, are for the most part simply mouth-breathers.

Now that indictment is writ large. Our wealth has increased in the last century in so many ways but we're cheaper now than ever. The architecture of the last 100 years has been democratizing but also appalling. We've put more roofs over more people's heads but at terrible cost. We used take centuries to build cathedrals that would reach the sky and it would inspire us. It's impossible to walk into the Koln Cathedral and not swoon. We stopped doing that.

Innovation into making money has shot to the moon but innovation in how we live, the quality of experience for our 80 or 90 years of life on this dumb rock, has plummeted. And what does all that filthy lucre, that number in the bank account, mean in the end if not for that?
Are you able to share where you're hiring?
> It still struggles with faces

I believe they intentionally hobbled it in this respect for "safety" (iow to keep themselves out of a scandal when someone asks it to create "President Biden accepting Bribes" or whatnot...)

Certainly far simple diffusion models trained including faces do just fine at creating photorealistic faces.
I agree with your last point. How would a search engine crawl closed spaces like discord or subscription newsletters? I find most of the reviews generated by bloggers, journalists, or influencers less valuable than an aggregate review on an HN post. I can read through a hundred comments before making a judgement.
Software Foundations (mentioned in a sister comment) is great, and highly recommended. If you want something more Isabelle-focused, the Concrete Semantics book is pretty good [1].

Not exactly the same, but if you want something a bit more approachable than Isabelle or Coq or Agda, it might be worth looking into TLA+. That can introduce you to predicate logic and state machines and set theory if you're not already familiar with them, and TLA+ is a lot more programmer-centric and less pure-mathey than Isabelle. TLA+ offers model checking for "brute force" verification, and also offers a formal proof system called TLAPS. Lamport's talks on TLA+ are quite good [2], and I found that learning Isabelle was a lot easier once I had a lot of practice with TLA+.

[1] http://concrete-semantics.org/
[2] https://lamport.azurewebsites.net/video/videos.html
Energy imbalance; i.e. net positive energy intake.
OMG love the story, thanks for sharing!
Highlight + Tab does the trick for me. Both Atom and VSCode support collapsing Markdown. Just sayin.
Also honest content moved into video and podcasting formats (that are harder to index) or inside walled gardens like Twitter or Facebook. It's like if the internet was a sea and Google was the ship used to navigate it, the water has dried up and now it's just craggy shoals we have to navigate around to get anywhere.
Yes, I am indeed primarily using phone and SMS for mobile communication. I have never been on Facebook or WhatsApp and generally do not like too much distraction. If I am in the mood to socialise with people, I call them, email them or suggest a joint activity, but typically from home. And as I have been working from home office (or camper-van) even pre-COVID, I am prefering my laptop for email, calendar, to-dos, Web-browsing, etc. I think this reduces the need to carry a smart phone around quite a lot, compared to many others.

What could change that would be the availability of a smartphone that turns into a PC/laptop when connected to a docking station. I suspect that Microsoft is pursuing such a plan with the integration of Android into Windows 11. Let's see ...
It's not, actually. People are just using the wrong term. Finance uses "correction" to mean an at least 10% but not 20% index drawback, with the correction period lasting until a new high is reached. When an index declines by 20%, they call that a bear market. It's just colloquial usage not matching the industry jargon.
> There has to be a huge number of ‘ifdef lightning’

Why would that be the case? Why would apps need to know what kind of port is used for charging?
Google a question and add “Reddit” after the question
To your point, even the term British Isles is considered by many to be somewhat politically charged.

So much up to a point that the Irish Government actively discourages its use as a geographic descriptor.

https://web.archive.org/web/20121006211200/http://www.oireac...
Puter: A real, fully-featured operating system in the browser
The first convicted hacker story
Would you like to know the never told story of the first convicted hacker in IT history? Do check this out: https://www.kickstarter.com/projects/thehackerprince/the-hacker-prince-a-true-story

The book author, Mike Wilkerson, is a good friend of mine, and I had the chance to read an early draft of his teenager story, when he basically hacked Microsoft and other firms and got caught at a time the first anti-pirating laws came into existence. This story was not only never told, but presents an amazing insight into the 80's hacker community. And there is on top of it an incredible twist that I cannot reveal and you'll have to discover for yourself.

PS: the FBI video is also a treat to watch
It seems its not enough ?
https://mathoverflow.net/questions/273861/independence-over-...
(Although its CH not the negation of it)
what additional axioms be needed there?
Wow, is this the software that ran on Novell Netware? I had no idea this was still around.
Bazel in theory maintains its own directory of generated code that your IDE should refer to. Back when I last used Bazel, there was a bug open to make gopls properly understand this ("go packages driver" is the search term). Nobody touched this bug for a couple years, so I gave up.

Here's the bug: https://github.com/bazelbuild/rules_go/issues/512

I basically wouldn't use Bazel with Go. Go already has a build system, Bazel is best for languages that don't ship a build system, like C++.
Ah three door version is very short than I expected.
> Coinbase has frozen hiring

The blog entry said they are slowing hiring. While that is a big change from originally wanting to triple the size of the company this year, nothing that I've seen said they froze hiring.
This has been my life for the past few months. Billing and dates / times are the worst part of the job.
Does bcachefs support something like raidz2?
I've been mostly wearing men's pants for the past few years to get past the pocket problem (skinny leg men's pants fit me pretty well and still have OK pockets). I'm probably in the minority though, most women just carry a pocketbook.
Target, Like Walmart, Takes a Q1 Profit Hit
Shit, they probably have trouble hiring & retaining people under 40, thanks to the clearance requirement. Big overlap between the millennial-and-younger tech crowd and folks who are fairly big fans of federally-illegal drugs. At least cannabis, if nothing else.
My earlier advice continues being relevant: https://news.ycombinator.com/item?id=25509941
Every time I've gone looking for COBOL jobs on job sites out of curiosity I always see them paying pretty poorly.

On Glassdoor for Cobol [0] the standard range is $54k to $179k (presumably in NYC metro where I am) with a reported maximum of $306k. The standard range for React [1] is $49k to $257k with a reported maximum of $550k.

I'm not saying Glassdoor is perfect but better to have these discussions based on some measured data than just common mantra that legacy is boring but pays better.

[0] https://www.glassdoor.com/Salaries/cobol-programmer-salary-S...

[1] https://www.glassdoor.com/Salaries/react-developer-salary-SR...
This is usually some screen timeout.
Applications programming has a complexity of it's own that's distinct from the problems in systems programming.
They do indeed!
> The third party audit is not required for email clients that run on end users computers and store credentials locally.

It might not be required for applications that run locally, but they don't tell you whether or not it will be required until after you've already done the work to create the app.

The exact wording from the FAQ is:

"Local Data Storage: Local client applications don't need to undergo a security assessment because data is run, stored, and processed only on the user's device. Local client applications that only allow user- configured transmissions of Restricted Scope data from the device may be exempt from this requirement."

Keep in mind that any email client that allows you to reply to (or forward) an email would count as transmitting restricted scope data from the user's device.
Why would a retry go over the same channel?
Yet another reason why I use mainstream email providers. I cannot mess with my emails and have only few days to migrate when providers (developers) decide to ditch the project.
I saw a meme the other day that joked that we'd have a lot less if we called them things like "The Small PP Killer". Probably true.
Unfinished Business with Postgres
>I have a hard time believing there is a significant percentage of 'normal' people who think Google is a paint point in their daily lives, and good luck to any company who tries to break the "just Google it" habit that we've all developed over the past ~20yrs...

To 'normal' people Google is the synonym for internet search and yea you are right nobody will be breaking the habit of "just Google it" anytime soon.

Google's lack of awareness regarding the power users is astonishing but a change needs to come from within Google not from outside because Google's top management just doesn't care what power users think.
Honestly, I really doubt it. This COBOL meme, is just that, a meme. Highest paid devs (>400k) generally work with brand new technology
It's a thought-terminating cliche.
Senators Urge FTC to Probe ID.me over Selfie Data
I remember the days when internet as a whole were simpler in terms of contents and users, and search engines reflected that simpicity. I am not sure if it's possible to go back to those days.
Curiously neither PyTorch nor Tensorflow currently use M1's Neural Engine. Is too limited? Too hard to interact with? Not worth the effort?
> Yeah, I really do find this kind of attitude strange. If it's not safe now, it never will be. Guess a large portion of society is still waiting for COVID to be "over", as if the virus will magically disappear.

It never will be safe. That means figuring out how to live with COVID, not behaving as if COVID doesn't exist.
I've known people arrested for writing content for Al-Qaeda.

(They didn't write content for Al-Qaeda, but they were accused and arrested for it).
> The average crypto user isn't aware that the blockchain can reject transactions, and we'll keep it that way.

Legends
Last car I bought nine months ahead of the delivery date. On a web page. On an iPhone. Car before that, three months, same, web page/iPhone. There is a major car manufacturer with a factory in Shanghai that sells cars with this sales model. I don’t see why there would be zero sales. Zero deliveries does make sense.
Thoughtful, and made me laugh. Thanks!
Pretty much, that's the time horizon for entry-senior in a lot of places
Yup, it's a nightmare. Invoices needing to be in specific number sequences. Any corrections need to be dealt with by reissuing a special "corrective invoice". Don't even get me started on geocoding for taxes. Urgh. Also, when you've got the invoicing right, you've got to work out how to do the feeds to the accounting systems so that it all posts to the right place.
Why video calls are bad for brainstorming [video]
> If you simply google: how to fix a flat tire the first website in the search results is this piece of bloatware, MillerAutoPlaza:

I attempted to reproduce the experiment and I got a full page of useful results, all of them videos or numbered lists of the steps as in

> Step One: Find the Puncture. Once you're in a safe place, hop out of the car, and find the flat tire. ...

etc.

Maybe Google read HN and fixed that query but how to replace flat tires yields similar results.

Maybe it's because I'm not logged in into Google and they are less aggressive on showing me ads?

Maybe it's because I'm not from an English language country and they know from my IP address. Let's try with come cambiare una gomma bucata. Other useful numbered lists and videos.

I'm not always happy with Google's results but there seems to be something wrong in the experiment here.
This is a good insight. The biggest problem I've seen with OKRs is the desire to "align" them, which always ends up meaning that each manager rewrites their team's OKRs to fit into their director's OKRs and so on up the ladder. This doesn't "align" anything, it conceals a lack of alignment and makes it impossible to address whatever the underlying issue is.

It seems to me that if the result of an OKR process is a bunch of team OKRs that have little to do with the company strategy, the result of that should not be to repeat the process or rewrite the OKRs but for company leadership to spend the next quarter figuring out what's going on (communication issue, too many underlying technical struggles to be able to prioritize, the company strategy is bad and nobody understands or likes it, etc.).
Slint is coming along nicely - https://github.com/slint-ui/slint
And cooling down in this case has to be accomplished by something other than letting the drive sit idle for a long time, because that same idle time can be used by the drive to empty the cache.
That was sand in people's eyes, never the real intention. Just like young politicians that throw dirt on old politicians only to do the same when elected. In this case the old one being Microsoft and the new one is Google. Can't you read between lines?
I wonder if a plain old CRUD app in a fill-in-the-blanks framework really is the best kind of job for a developer. I'd like to try it at least once in my career and see if there is any truth to it.

It would also be nice to have a job solving interesting computer science problems, like building compilers, tools, optimisation systems, etc. But that's unlikely unless you're actually a genius, or at least an accomplished academic, but some of the things you have to do to get ahead in academia seem even more demeaning than writing CRUD apps.

Instead every single job in my career has been the mess that you describe, and I'm starting to lose hope that there is anything other than it in this industry. I think it's the absolute worst of both worlds. You're solving completely trivial problems, but you're forced to do it in the most convoluted way possible. You sit all day racking your brain under maximum cognitive load trying to accomplish something so trivial and mundane that every single fill-in-the-blanks framework already does for you out of the box.
You're posting that link without comment, as if we haven't used that through the years and from experience noticed that nothing ever happens with bugs, requests, and such submitted through that form.
What I meant was that sight reading has very little do do with knowing which note a note is. This is more about learning the basics of reading.

I practice 1-2 hours of scales and chords, tonguing and control every day. Being able to generate weird melodies to challenge all the combinations you have stored in your brain would be amgreat future development. The melodies don't even need to make sense.

One of my favourite etudes are the Deux etudes atonale by Boutry, and some of them are pretty much dice rolls on paper.
The whole world is against us in Ukraine: Russian military analyst on state TV
BtrFS is the only filesystem I've ever lost data with, and I've used a lot of filesystems over the decades (UFS, VxFS, JFS, XFS, EXT2/3/4, ZFS).

I have a comparison of features between BtrFS, ZFS, and EXT4+LVM at [0], and as I note at the top of that post I was looking to move to BtrFS. I did so and lost data.

[0] https://rkeene.org/projects/info/wiki/BtrFS
Many people used btrfs while it was still experimental, and lost data.

Attempting to create a btrfs filesystem returned a prompt with this warning (until 2013):

Btrfs is a new filesystem with extents, writable snapshotting,
support for multiple devices and many more features.

Btrfs is highly experimental, and THE DISK FORMAT IS NOT YET
FINALIZED. You should say N here unless you are interested in
testing Btrfs with non-critical data.

That prompt was removed when things stabilized, and Fedora's use of btrfs as the default root has not been accompanied by complaints of excessive filesystem corruption (although there are still many rough edges and unfinished features).

https://arstechnica.com/gadgets/2021/09/examining-btrfs-linu...
That sounds... unnecessary. There is always stuff to refactor, and tests to add, folks showing up at the last minute with new requirements. Or you can just wait a day to push commits, etc. More honest, I think.
I've been using it during the beta and plan on paying for it once they start charging. Previously I had tried switching to DuckDuckGo, but found myself using !g half the time because I knew the DDG results would be garbage compared to the Google results.

I haven't found Kagi's results to be significantly better than Google's results, but unlike DDG they're not hugely worse than Google. It's all the extra stuff that makes me want to use Kagi instead of Google:

* Ability to banish sites from results forever. E.g. I never want to see the Concordia Lutheran High School's website when I search for things in the Common Lisp HyperSpec with clhs.

* Ability to weight sites higher. E.g. there are two mirrors of the Common Lisp HyperSpec that appear in results, one at http://clhs.lisp.se and one at http://www.lispworks.com/documentation/HyperSpec/. The lisp.se mirror is hilariously slow for me (5-10 seconds to load) while the lispworks one is instant. Google always ranks lisp.se first which tricks me into clicking it and wasting my time. Kagi lets me weight that site lower so the lispworks site comes first. Banishing lisp.se would also work, but just upweighting it means I can still find it if the other mirror ever goes down or something.

* I reported a minor bug to Kagi and they fixed it within a few days. I doubt that would happen with Google.

* Supports DDG-style bang queries, which I use occasionally.

* No goddamn ads/tracking (I use uBlock Origin, but it's the principle of the thing). I've almost entirely de-Googled my life at this point (Youtube is the only holdout for me).

So it's not that it gives better results than Google, it's that the results aren't any worse and the extra quality-of-life features are really nice.
Deepfakes can fool biometric checks used by banks, research finds
I use it as a recruiting tool. I can’t compete with FAANG salaries so one thing I do is make it clear performance objectives are accomplishment based not time based.

Most of the time my team has a good work life balance. They will all buckle up if shit hits the fan then we go back into normal mode.
docker wants to know your location