skysight-inc/HackerNews huggingface dataset:
> Ada and C++ are worlds apart,

Yes. But as I said, programmers use just tiny subset of the language. Subsets are with additional checks are semantically very similar. Very dumped down code.

> being "just syntax" for a turing machine..

If you insist, I would describe them as intermediate representations for the back-ends for a non-Turing equivalent language (after all semantic checking).

Compilers parse text, check it matches the syntax, do some semantic checks, and then output native code (unless they transpile). When you write safety-critical code you can buy tools that make more far more checks to the semantics than the compiler and prevent the use of some constructs. Ada has SPARK that is integrated better.

For example, the tool I mention can prove that if code has no run-time errors or divisions by zero. It's essentially non-Turing equivalent language.

I would prefer Ada/Spark over C, but it don't matter that much, so I have always used C with tooling.
Yeah, same. One of the hallmarks of bipolar is that the person is largely oblivious to its existence.

And I find it interesting we had the same reaction re: alcohol and drugs.

For me, during the low periods I become apathetic and overall have very little energy. My mood is actually pretty consistent now that I’m medicated (lamotrigine). My high phases are more hypomanic which is actually super productive if I can manage the anxiety that usually accompanies it.
Warren Buffett Says He's Quitting Gates Foundation
No, the extra 50-200% is in addition to the employer-provided healthcare benefits and retirement match.

If you get seriously sick, you're much more likely to get effective and timely treatment with the gold-plated health insurance plans provided by US tech employers than the options I'm familiar with in Europe.*

I'll 100% grant that the US healthcare system is really messed up, and if you're not in a highly-compensated field you're probably better off in most European systems. I'm socially liberal and would much rather the US system were more equitable, even if that means my own personal experience gets a bit worse. But that doesn't change the fact that if you're an in-demand engineer your personal interactions with the US system will be great.

* To be fair, I've only lived in London and Barcelona, so there may be other parts of Europe with better healthcare systems. But at least compared to those two cities, I've had much better experiences with my employer-provided health coverage in the US than in the public UK or private Spanish healthcare systems I've used.
The left wing is bad.
The landline network in Finland is currently in the process of being taken down. I suspect the amount of modems connected is minimal.
Static analyzers have come a long long way in the last 10 years.

I don't know what they've done, but you could get a long way just by forbidding all dynamic allocation.
Its very unlikely they didn't think of that. Not all humans attached to phone numbers reside in the physical area of the area code.
<input> has been an empty element right from the start, meaning it mustn’t have any children. (And the HTML syntax enforces this.)
I noticed another user has already commented, sounds like they've had more experience with the things you're interested in than I have, for FWIW, the APIs have been sufficient for my use cases and you can definitely purge a pullzone's cache with them.

My primary use has been for serving image assets, switched over from Cloudfront and have seen probably a >80% cost reduction, and no noticeable performance reduction, but as I mentioned I'm operating at a scale where milliseconds of difference don't mean much.
https://firedating.me/ - a community of FIRE (financial independence, early retirement) enthusiasts looking for friends and a partner. Stats are public: https://firedating.me/open/.
Yes—I recently added that to my backend code and it's fantastic. Wished I had spent the couple hours and had done it sooner. The vscode plugin for graphql-codegen + TypeScript makes it so you can tweak and change with hardly any fear of breaking anything. My entire stack from Postgres to Hasura to backend to frontend is type safe, and core types flow down from the database.
Every linked element relies on ids: anchors, the label for attribute, all of the aria-labelledby, controls, describedby etc. Sure a full selector would be better but what level of css selectors do you support when writing the spec for user agents to know that can support the element?
> but I wanted to work out calculations on a single screen without the code/renderer split screen setup (having the math directly visible is a game-changer for doing long calculations, by the way).

If anyone wants to play with this there are 'online editors' so you don't even have to download/install software nowadays:

* https://latex.codecogs.com/eqneditor/editor.php

This one renders on-screen, as well as allowing downloads as GIF/PNG/PDF/SVG to perhaps embed in other document systems. (Plenty of others as well.)
The middle ground is "I have no use for cryptocurrency."

The extremes are "Cryptocurrency is the future of all money" and "Cryptocurrency is a fractal set of scams all the way down."
Reducing the money supply.
Which is why Amazon Warehouse workers are a good target for unions, while tech workers are not. If amazon figures out a way to measure productivity of warehouse workers and reward the better ones, then suddenly they are not a good target of unions.

Unions work when people are all equal in output. Assembly lines are only as fast the line, it doesn't matter how much faster you can put that bolt in the hole than the next guy: it just means you have more time to wait for the next widget to come before you can put the bolt in the hole, so you can't be worth more than the guy who barely gets done in time (and the guy who is a little slower needs to be fired)
Telecommunications enable conversations over space.

Recordings enable conversations over time.

There's a broader symmetry between records and signals generally that I've realised, though I don't seem to find any other notice of this:

Signals transmit encoded symbolic messages from a transmitter across space through a channel by variations in energy in time to a receiver, enabling creation of a new record.

Records transmit encoded symbolic messages from a writer across time through a substrate by variations in matter in space to a receiver, enabling creation of a new signal.

I've noodled on this in a few places, recently: https://toot.cat/@dredmorbius/106388460596905072

I've no idea if this is somehow profound or mind-bogglingly obvious.
Why do you think the taxes are inevitable? Not only are short-haul flights in Eastern Europe not heavily taxed, the building and running of the airports has been heavily subsidized. It has more than paid for itself by bringing tourism income to the region, and encouraging the diaspora to regularly revisit and spend the money they have earned abroad.
I don't think it's really about computational power -- it's about practice and experience. It's about how hard those people choose to work and what things they choose to put effort into over their lifetime. All those choices accumulate over a lifetime, to the point where I agree, yeah, it'd be really hard for someone who has worked as a nurse their entire life to suddenly start over and start writing software. Just like it would be an insurmountable task for me to start over and go into medicine, or work on a construction site.

I disagree with the idea that somehow, innate intelligence sets the bar so low. There's definitely a bar somewhere, but I'd argue that most of our jobs (even in tech) don't come anywhere close to reaching that limit.

I'd argue that most of us here are of pretty average intelligence, it's just that our life circumstances have pushed us into a role where we get to exercise our brain muscles.

One thing is that having good teachers helps immensely. For a a lot of people I meet, when they reflect on their high school math and programming classes, the story is always the same: They had a lousy teacher that had them do everything by rote memorization, without explaining the underlying principles. They got the impression that that's what the whole field is like, and that they weren't smart enough, so why even bother. Occasionally, they'll be interested in hearing me explain what I do, and their response is always the same: "Wow. I wish someone had it explained it that way to me before."
> Aumont was reluctant to give ticket prices, but said these would be competitive with that of a short-haul flight

If I'm booking time off work and the price is the same I'm going to opt for a longer holiday

Good luck Aumont
For whom, like myself, don't know the story, here it is: https://www.wired.com/story/lee-holloway-devastating-decline...

I'm deeply moved after reading it. Can't imagine how tragic it must be for people who know Lee.
I said “The rest of the SDC industry uses 4D radars” in a follow up comment, which clarifies I don’t mean car manufacturers.

Given this post is about radar usage in self driving and how Tesla/Karpathy touts their capabilities, I compare them to other SDC players, not other car manufacturers who are not in the game. And their SDC competitors are running away because they have the newer 4D radars.
What has been shut down specifically? That letter is very vague.
Active doesn't mean long term long.
Truly excellent information, but the "tabs" that you have to click in order to read the next part is positively the worst UX I have ever seen on a static website.
Aren't most tech jobs salaried anyways?
The stereotypical anti-union case are rules that are about making work for other employees rather than providing higher wages and shorter hours. Think “you’re not allowed to plug that in: that’s a job for the lighting Union”
Amazon is a for profit company, that makes having no other grander purpose way less hypothetical.
What's wrong with Teflon? There's not much information about relation to cancer on Wiki https://en.wikipedia.org/wiki/Polytetrafluoroethylene
(from Hasura)

We want Hasura to be a self-serve API for your data, so that the API is entirely managed and as a developer you can focus entirely on your domain's data and logic.

That said, we're not a 100% there for all use-cases and we'll keep evolving.

Because it's possible to incrementally use Hasura along with your own API service, it doesn't have to be a binary decision to use in the stack upfront. (eg: use Hasura just for reads, or just for subscriptions, or just to trigger logic when there's a data change event aka CDC)

Where it works well today:

- You have data / functions in database(s) that you want to bring to your GraphQL API in a secure, performant way

- You're able to bring in custom logic as stateless HTTP handlers that extend your API schema

Where it might not be worth the trade-off today:

- The API you're putting together has so much custom logic for each controller that you'd prefer building the whole thing yourself

In practice, given that one can extend Hasura's API with one's own API quite easily, our users end up saving 50-90% of work they'd have to hand-write. The performance and authz benefit for that chunk is huge because it's out of the box and "managed".

We're continuously working on making this easier and better so we can keep chipping away at that trade-off!

Shameless plug given we have our annual user conference today: I'm doing a session on "How to think in Hasura" and "How to incrementally adopt Hasura in your existing stack" that might be helpful for folks thinking about when to, when not-to, and how-to.

Link to talk here: https://hasura.io/events/hasura-con-2021/talks/architect-gui...
As I mentioned in another comment:

Abigail Shrier is a writer and not a scientist, and it can be clearly seen even from the title of the book that she has an agenda. The thesis of the book has been "rejected by the American Psychiatric Association, the American Academy of Pediatrics, the Endocrine Society, the American Academy of Child and Adolescent Psychiatry, and the World Professional Association for Transgender Health."

https://en.wikipedia.org/wiki/Irreversible_Damage

If you have a peer-reviewed study, that would be much more worthwhile to look at.
Cryptocurrency was literally created by cypherpunks for the explicit purpose of evading governments and centralized power. Before it became popular its primary usage was in darknet drug markets. Legality is largely meaningless for crypto.

The value may drop after a ban, but crypto will remain a mainstay for any transactions that require freedom, privacy, or both.
Recovery of deleted sequencing data sheds light on the early SARS-CoV-2 epidemic [pdf]
I have ADHD, and I've been on medicine for a while.

I'm passionate about getting proper sleep because it makes a big difference in my performance. I've also seen a big difference in diet. I've noticed a difference when I reduce sodium intake (lunch meats, boxed mac-and-cheese).

I can't put my finger on how to consistently reduce the ADHD symptoms - I try a variety of things.
Actually it goes both ways, SPARK is adding a kind of borrow checker.

https://fosdem.org/2021/schedule/event/safety_opensource_ada...
>...If I ruled the world, I'd go further and require a short 5 question pop quiz about the policies of the candidate you chose and you need 3 out of 5 questions correct for your vote to count.

Yeah, we know how that goes when we try to keep the "wrong" people from voting in the US.
I'd actually agree with you there. If you walk into a psychiatrist's office and tell them you're having depression/anxiety, you'll leave with a script for an SSRI. They exist to write prescriptions and don't have the time to get a holistic view of you as a person, to figure out what's causing your symptoms.

If you're worried about unnecessary medications (the majority of which won't make you dependent or have long-term side effects), you can always start with a good therapist (I recommended a PhD or PsyD). But for some people, they're struggling enough and miserable enough that it makes sense to try psych meds early and see what helps.
If you base it on trying to measure biological characteristics that we know (or think we know) affect performance, you are right--it would be impractical for all but leagues that the top athletes compete in.

If you made it based on past performance, though, it should be doable in even small amateur leagues.

That's how it works in chess. When you play tournament chess you get a rating based on your performances and the ratings of the established players you played.

Large tournaments use the "Swiss system". In round 1, you sort the players by rating, split the list in two, and the top rated player in the first list plays the top rated list in the second, and so on.

In subsequent rounds, you sort the players by results so far, split the list into separate lists for each score group, and then within each score group the top half by rating plays the bottom half.

Large tournaments typically have prizes for the top scores, but also "class" prizes. A class prize is for the top scores in certain rating ranges, say under 1800 or under 1200. A big tournament like the US Open might have a whole slew of class prizes, such as top score in under 1200, [1200, 1400), [1400, 1600), [1600, 1800), [1800, 2000).

There are women's chess tournaments but that is because much fewer women take up chess, and often women are uncomfortable if they are the only woman in a competition, especially at the scholastic level.

That environment can affect their performance due to "stereotype threat". When you are doing something in public that goes against a negative stereotype about your group you can feel a lot of pressure to avoid confirming the stereotype, and that extra pressure can actually make it harder for you to do your best. That in turn further discourages women from taking up tournament chess.
yes, the parser library is definitely the most valuable part of this.
I'm not sure adding more concrete UI elements is the way to go, browsers are too complex as at is, which makes it extremely hard to develop them unless you have as much resources as Google. And what happens after 10 years when new UI trends become popular and we need new ui elements? We don't want to break the web, we can't just remove old stuff, so we'll need to keep adding and adding.

I think a much more important endeavour is to make the browser more extensible,(like what CSS Houdini is trying to do), so you can create any kind of crazy interfaces(without having to abandon css/html completely and drop down to canvas/webgl).
Happens any time the topic of cryptocurrency is brought up. Very strong opinions on both sides.
CO2 analysis of train travel needs to take into account the cost (and emissions) of building and maintaining the rail network.

The other factor is that air travel is consistently profitable in the EU, without subsidies. But the reverse is true of rail.

The simplest solution is just to impose a $100/ton carbon tax, and let the market figure it out. But EU bureaucrats seem intent on socialism and planned economies instead.
the author should not have written this. why would anyone ever hand-roll a parser? it's neither useful nor interesting
Bank money if you can. It will give you time to search around in absence of a job, if it comes to that.

Consider leaving FAANG behind. It may not be you, it could be them. If you want to stay in tech there are other companies that would salivate over your resume. Also, expectations could be lower performance-wise.

Try new things. I know it sounds simple, but doing the same thing over and over is not likely to help if things are not going well.
> Schools are controlled primarily by state and local governments, which are not universally controlled by Democrats but split along typical red state/blue state lines:

Looking at the uproar about Critical Race Theory, it appears that even the deepest red states have school hierarchies run by the blue. In addition, the Department of Education and other federal agencies are a thing.
The banking system relies on inflationary currency. Some crypto is not only not inflationary (in the long run) but provably so. A world where the money supply is fixed is a very different trading environment.
But across the gulf: https://en.wikipedia.org/wiki/1953_Iranian_coup_d%27état
You can search in quotes, and you'll suddently realise his genius.
(not sure why people are down voting this, it's pretty straight forwards factual stuff?)
Who told you that?, sources?

Overtime pay is a thing everywhere including union jobs.

I'm based in Europe and i get overtime pay if I'm forced to work late/weekends. One of the nice things of unions everywhere.

If i dont want to or cant work late, there are colleagues that will jump at 150% pay rate.

Companies can hire contractors at any point but these expect much higher wages to deal with the almost no protections and doing their own taxes.

Otherwise employer could hire a second shift as they do with manufacturing and pay normal wage there.

There is no such thing as union certificate or things of the sort. Union is there just to negotiate basic contract applied company wide and make sure you are not abused.

Working in software.
I will almost always opt for a sleeper train when possible, even though the routes are always served by day trains with a shorter (sometimes significantly so) journey time. The night trains I take are slower, but personally I believe 16 hours in a bed easily beats 7 hours on a seat.
It might be a matter of perspective? How many devs are there in the world? How many would die to work at a FAANG?
To be fair, Internet in the 90s was the same: https://www.newstatesman.com/science-tech/internet/2016/08/2...
I loved this answer, and I struggle the same way. When you said

> why don't companies invest in coaching for their expensive engineers?

This is what makes a great manager, on the work side of things. Someone who sees the potential in other people and has the ability to unlock it, and doesn't settle for simply managing time and tasks. But for clarification, do you mean a third-party that can also help coach things like work-life balance? Because I could see a lot of value in that. I'm wondering now if I should find one for myself...
Higher per-mile carbon emissions. Paying for itself through tourism doesn't count the externality of climate change.
Unfortunately it’s only black or white, no grey area. Agree with one position, be branded by the opposition.

I like the idea of crypto currencies, if done well, but what we see are not actual currencies, imho. They are volatile assets at best, but usually just scams generally.

And if they aren’t designed to be scams, they will definitely be abused as one, looking at DOGE.
For the Build-Up of Games, Microsoft Hired the Co-Creator of Portal
Thanks, I'll look into it. I enrolled in a Master' Degree after almost 20 years out of the University, and had to do some mathy reports. Forgotten most of my raw LaTeX skills and not interested on doing the investment again, went directly into LyX, which I remembered it was already nice in the 00's. It was OK.

But if I have the time(and the need), I'll try TeXmacs.
It’s almost an impossible question given that the “use cases” that are NOT speculating boil down to “transfer of funds” and there’s not really a difference between “transferred $1m USD as 10 bitcoins” and “transferred $1m USD as 10b dogecoins”.

I guess you’d have to figure out the “total active use case market” (I.e; factor out speculation) and then work out how many coins you have available to support that.

So if there’s a $100m market for transfers per month and a million coins, they may be valued at $1.
Does being at low battery make attacks against the device easier? Seems like it does from the report here but i'm not sure why.
I found it so awkward to configure authorization and to apply custom logic that I went crawling back to Rails to get my current project shipped. For me, the value of a graphql API just isn't enough to move me. Typescript all the way down isn't that big a deal. It's great on the frontend... but the backend wasn't broke. No need to fix.
So what would you be looking for in a laptop then?

> Very cost-centric like virtually all OEM space is.

I'm not sure what you mean by this to be honest
Lots of problems for me too.

First reaction : angry at that bloated FB nudging me hard to switch to their app

Second reaction : thankful for this pain to help me quit

(removal of messenger from the mobile web version finally coming to iPhones helped me cut my reliance on FB by 80% actually !)

The worse they get, the better !
I tend to think the opposite, that large cryptocurrencies are likely to always be worth more than $0, even if some black swan like a 51% attack were to happen. After all, "worth" is subjective, and the behavioral guarantees cryptocurrencies make (notwithstanding black swans) are attractive in assets.
Fair, software engineers in tech hubs universally meet the $107k minimum salary threshold which means employers aren't required to pay overtime.

That said, overtime is only expected in a few corners of the industry anyway, game development and pre-growth-stage startups being two of them. It's pretty easy to avoid those sectors if you want to maintain a 40-hour schedule. I've never been expected to put in overtime in my career, either in or out of FAANG.
Sounds like you are experiencing burnout. What you are describing is not atypical, happens to the best of us. What do you enjoy doing outside of work? Are you taking time off to unwind? A job is a means to an end. Take some time off to do things for yourself. Don't let your job define who you are.
I don't think the MiB showed up but they got some very aggressive mail from people who got scanned.
I hope this will shatter the dream of anyone who think it is worth while doing business with China.
Fields with autocomplete have been around for decades. By having them in a spec, we don't have to reinvent the UI element poorly on every single site.
New poll shows voters favor tech regulation, but rank it low priority