skysight-inc/HackerNews huggingface dataset:
It's kind of obvious, I don't know why you find it surprising. For jobs that require constant human interaction, remote might be suboptimal, but for for jobs requiring concentration sitting in a modern typically open-plan office is just depressing. It's just as if you were struggling to get things done.

OTOH, when I WFH, I can work in really comfortable conditions with nobody disturbing me, and I make break when I want and need, not when some random guy approaches me and breaks my flow, sitting on an old chair etc. It simply doesn't make sense. I don't believe we will ever go back to the old ways.

If you want to be competitive these days, you have two things to offer: a good salary and full remote (for those who wont it). If you don't offer the latter, your competitiveness falls dramatically and you will never get a lot of valuable talent.
NASA gears up to deflect asteroid, in key test of planetary defense
Is the “rawhide” name somehow based on the “Ride 'em in, cut 'em out, … Move 'em on, head 'em up“ idea from the Rawhide theme song, applied to files instead of cattle?
Really nice and useful.

Aside from it, I always wonder why chords are presented in a way that they are never seen when you play it - in this tool in both orientations the fretboard layout never corresponds to what it would look like in the mirror - 0 fret on the left bottom E string at the bottom. It seems that it would make it easier to follow as it would require less 'brain translation'.
You ask. That's what I've done for folks with 4+ consecutive ~1y stints.
Yes! And corresponds nicely with 'spats' for solid angles.

https://en.wikipedia.org/wiki/Spat_(angular_unit)

1 spat = 4 pi steradians.
The number of laws and regulation have _increased_ in the UK since leaving the EU, not _decreased_.
I'd say that physical appearance affects yes, and I'd add that your name is also part of that physical appearance impact.

If you have a commonly accepted name (like "John"), your life will not be hard nor easy. If your name is a mixup of your parents name or something just invented on the spot, you'll life will be harder. You may ease it up by adding a nickname.

If your name is not a common one, but accepted in previous generations (like "Anastasius" or "Manfred", "Vincent", etc.) it'll be seen as a bold choice by your parents and impact positively your life.
> the market tells you what to do with yourself on pain of penury

The market isnt some ethereal thing that magically coerces people to do things. The market is made up of other people, all of whom are also exercising their personal responsibility to look after their self interests. Game theory is the best way to look at this.
An End to Pornography, Sophistry, and Panty Raids: on Epstein's Edge.org (2019)
Isn't getting the world's respect an objective?
Hard enough to get people within the same company to agree on something or use consistent API conventions...

Heck you'd probably have a hard time just getting people to agree to use REST. "Why not GraphQL?"
> Citation needed.

Citation for personal preference? Or for claim that currently confidence is rewarded more then accuracy?

> the problem with which is not that it’s “simply untrue” but that

The statement is untrue, because people do change minds. People change minds also about stuff that matters. They dont do it often, but they do it.
London Taxis do more miles than any other car in the UK
> If you want to do mathematics

I'm a software engineer, not a mathematician. Context matters.
So how does a cheap currency benefit Germany according to this theory?

Another thing is that if production costs go down (although you don't say why they're going down, it seems a random assumption on your part), then competition among exporters will drive the price of exports down. I mean, this is Economics 101.
The container is from a 6; here's the numbers from Apple:

* iPhone 5: 4.87 x 2.31 x 0.30

Volume: 3.37491

* iPhone 12/13 Mini: 5.18 x 2.53 x 0.29

Volume: 3.8

* iPhone 6: 5.44 x 2.64 x 0.27

Volume: 3.877632

* iPhone 8: 5.45 x 2.65 x 0.29

I would argue that 9% is far from marginal.

The increase from a 12 mini to an iPhone 6 is very minor; the increase from a 6 to 8 is marginal.

From a 5 to a 6 or 12/13 mini is substantial.
My Idea of Humanistic Capitalism and Human Sustainability
> or the imaginary and real parts of e^ix

For that particular application, x is exactly the argument[1] of your complex number, though!

[1] https://en.wikipedia.org/wiki/Argument_(complex_analysis)
Proofs in University Maths be like [video]
"I will place and maintain"

I suspect a lot of that $50,000 a year would get burned getting a single camera installed.
I am amazed to think software literacy is here - I envisage the ability to use all the data sources, access the APIs - yet my own anecdata is most decisions trapped in spreadsheets, processes cutting across different apps and storage layers. It's still a mess.

And because it's such a mess, management is mostly about finding the "truth". If a reasonable version of truth were just there, how many people with managers as a title would we need?

Edit: I would also add that software writing is mostly limited to "coders" - most people in organisations don't have the training, and they don't have the access to the tools (permissions) and see above, why would they want it ! Literacy will be when the domain experts, can code as easily as they can write a report and do so to enhance their own needs.
I lived in the US years ago, I live in NZ now.

I do own a car, and it can go anywhere, carrying many people and goods very quickly and cheaply with no reservation or app required. It's also available in the event of natural disaster when all the rentals vanish. My family woke up to an earthquake that led to a tsunami warning at midnight in 2016, and there are fires and other problems one can foresee...

I do appreciate subway systems and find them very convenient for moving myself around, but dislike the idea of hiring someone else's machine every time I need to purchase groceries for a family or take 3 boxes of hardware to some place...

I think we may in some respects be regressing.
> you always have to go back to radians to actually do calculation.

The article actually argues the opposite: that the common implementations of sine and cosine start by converting their radian based arguments to turns or halfturns by dividing by pi.
It only works for short trips. No one rides a bicycle if they have to go to another town, 50 miles away. Also, do not mention: "you can take your bicycle on a train" - if you need to use the train then again you are dependent on public service and traceable.
Solar panels, probably.
> the designs of stations are depressing

Surely this is subjective? The station designs by Leslie Green and Charles Holden in particular are highly regarded.
OTOH if you already have another checksumming mechanism in place (oh hello there, git!) age can piggyback off that and ensure there's no switcharoo.
As a start I suggest you look at whatever is written about SNARK and STARK in the Ethereum world. Vitalik Buterin's blog has some good technical articles (literally look for those words in the titles). They don't cover proofs of CPU-like systems, though. There are a lot of other articles, papers, etc. I'm just suggeting those search terms as a starting point.

The Cairo system from Starkware is a pretty good, modern CPU-like system (albeit using finite fields and an unusual CPU model, instead of normal numbers), which is simpler than its predecessors in some ways because the techniques have matured and they have been able to use techniques devised by many different R&D groups before that iteration.

As far as I'm aware, however, performance at the billions of steps level is more on the frontier.

I'd love to share details of what I've been working on, and I hope I will be able to one day. One problem is I'm looking for work, and there's an interesting company I'm negotiating with but their view of IP may prevent me from publishing my own work in this area after I've started. Meanwhile, I haven't published yet, even though I've done a lot of work on it. I do not like this, I always want to share, but...
The opposite; I wouldn't be interested in any role where I don't have at least the option of working in an office. Almost two years of mandatory WFH was enough for me for life, I think.
vulkan guys, vulkan... opengl is massive compared to vulkan, even with the latest attempt to kludgify vulkan drivers.
Why you need Google Ads campaign management tools
Transponders (not sure if it’s RFID per se) are common on toll highways in the US and can operate at full highway speeds. But at least with the system I’m familiar with (I-Pass in the Chicago area), if your transponder is broken or missing, they will correlate your license plate to your account via photo.
Most game engines work in radians under the hood and expose degrees in the UI but still need to glue the UI values to the API which is the code seen in Casey’s Godot example the full context of which is a color picker and h has already been converted from degrees. Godot itself has a bunch of the API in degrees which is pretty bleugh.
We split off any of our "legacy" devices to SMTP2GO accounts.
Already being discussed currently:

https://news.ycombinator.com/item?id=32980040
Is it legal where you live?
It took me a decent amount of reading before I got to the meat of it:

Anyone can put your license plate into a parking app and thereby be alerted when you drive to certain parking locations.
They were selling ratings on bonds instead of doing what they're actually supposed to do, which is evaluate the bond on it's merits and then assign it a rating.

It was pay-for-ratings instead of pay-for-evaluation.

This is documented pretty well in Michael Lewis' and Matt Taibbi's books about the 2008 financial crash.
It apparently was chosen because it's the starting sound of "turn": Hartl chose tau to represent 2pi because it nicely ties in with the Greek word “tornos,” meaning “turn,” and “looks like a pi with one leg instead of two.”

https://blogs.scientificamerican.com/observations/the-tao-of...

There was an earlier effort that used a new "two pi" symbol consisting of a "π" with an extra leg in the middle: https://www.math.utah.edu/~palais/pi.pdf.
any angle unit is dimensionless, radian is no exception
> Obviously athleticism would be physically visible on the face

It what now? What athleticism cues other than body-fat are you getting from a face?
> of course it doesn’t prevent you from fantasizing about making it mandatory

To be clear, it is a requirement of Chinese law that companies have CCP committees as "a way of installing a party representative within a company's top ranks, sometimes in a director or management role."[0]

The app I described might still be voluntary, but other apps (such as for Covid[1] and for ethnic/religious minorities[2]) are anything but voluntary, in practice.

> (Quick look at your comment history...

I hope you don't report me to the Social Credit police, or I'll never be able to get a bank loan. Perhaps you can see now why pervasive surveillance has a chilling effect on people's right to free expression (assuming that's something you value).

Anyway, a quick look at your comment history shows that you're a CCP apologist with a grudge against Christianity (and Catholicism specifically), which is also an "unusual coincidence". Also, I get the impression that you're keen to accuse someone else of racism, while you don't seem to care about the Uyghur minority in China, perhaps because they are mostly Muslim, so maybe you are projecting.

For what it's worth, I have a great respect for the Chinese people and Chinese culture. I think that Chinese people make a positive contribution to every country that they choose to make their home in, and think that countries should do more to help Chinese people flee from their oppressive government.

[0] https://www.telegraph.co.uk/business/2022/07/21/hsbc-unit-in...

[1] https://www.bbc.com/news/world-asia-china-61793149

[2] https://tribune.com.pk/story/1463852/china-forces-muslim-min...
I've been doing it for 15+ and love it for all the same reasons but being able to make proper, fresh meals is one of the huge ones for me.

I love high quality, home made food and it was always a struggle to eat out at the office or bring something to reheat, never loved either to much and it can get unhealthy quick.

Also being older now, having the option for a quick 15 min nap at home is much easier to execute on than in an office.
Yeah, basically remote only. The vast majority of jobs in my city would be a pain to commute for, maybe I would 2 days a week at most but the opportunity would have to be way better than what I could find remote.
I was a bad student through 8th grade, but managed to get selected for a STEM magnet school. I was supposed to enter 9th grade with Geometry, then algebra II, trig, Calc for the 4 years. But they discovered i'd never passed algebra prior, they put me in algebra, which means i would have finished in trig. Due to a crazy 3.5 years, i never got a high school math education. Calculus makes my eyes glaze over, and all i know about triangles is sohcahtoa.

Every couple of years i try to get some higher math education, but nothing makes sense. It's one of the reasons i [think] i suck at programming - i should note that another reason is i first learned BASIC, then qbasic, then fortran, and then C never made sense to me. At least i can putter around with python and R.

however i can do "basic" math things that generally everyone else has to dig out a calculator app for in my head, percentages, fractions, moving decimals, "making change". Since i suck at higher math, i'm only able to help my kids with basic math, and i try to ensure that they know it fairly well.
Only when the angle is in radians ...
> not impossible to overcome with significant force of personality and fitness

Definitely, but you're hand waving how hard that is (not that I would know, being a tall white person like OP). It's like saying "just be funny."
I'm working exactly on this
Could you scrape/pre-parse every article and comment on your own server, and then create your own better REST api for your app? One that doesn’t need as much parsing. Maybe you can even charge $ for access (for other apps)
> I'm pretty sure what he meant was that Puppet/Chef is for wrangling VMs, and for a greenfield project, there are better tools available than VMs.

That's also fair, as long as you don't have requirements to run on-prem, where a lot of the cloud offerings won't usually be available.
Heat pump water heater 4x efficiency, free with new tax rebates
Works well with garage; may not be your choice to install indoors. Rebate is based on income.
Indeed, maths never "decreed that sine and cosine have to take radian arguments". But thinking that makes any sort of point is a fundamental misunderstanding of maths.

There are infinitely many sinusoidal functions out there. You can just adjust amplitude, frequency and phase to your heart's content.

Trigonometry basically requires that sine and cosine have specific amplitudes and phases, but gives not one shit about how you map angles to frequency. Degrees are completely arbitrary, but both radians and turns have pretty natural definitions, with turns indeed being the easiest to work with. So far so good.

Calculus does have an opinion on frequency, though. There is exactly one non-trivial pair of sinusoids s(x) and c(x) where c'(x) = - s(x) and s'(x) = c(x), among a bunch of other very useful properties.

When you put calculus and geometry together, s and c are have the same amplitude and phase as sine and cosine from geometry, and the two pairs are exactly the same if you match the frequencies such that the argument is the angle measured in radians. It's just so damned useful to use angles in radians and make everything play together nicely.
The problem with many layoffs is that corps layoff one org but start hiring in another org. Instead of transfering employees they go the easier route and just layoff.
Eons ago, i wrote a lot of the first version of debug location tracking/location list tracking in GCC, and the support for evaluating them in GDB (plenty of others came along and improved it nearly instantly - it thankfully did not last long alone ;P).

I have spent, over the years, an amazing amount of time on trying to improve optimized-code debug info.

You could and should improve the optimization passes, but at various points in life they were actually very good. It is always a dance between advancing optimization and debug info, and i certainly will not claim that debug info is thought about as much as it should be - it is often fixed later, as i'm sure you expect.

But at the same time, what the author amounts to ends up reducing to the following:

1. The output executable is pretty well optimized

2. The output debug info is a recreation of the program as-written that can be executed by a debugger

3. The mapping between #2 and #1 has no holes.

IE #2 is basically "you've output the entire program using dwarf5 as a target processor".

This is never going to be a thing that regular users strive for, for lots of reasons.
So if the game companies or whoever want this to be the case, they will actually have to contribute more than just bug reports - because it's not something that drives compiler usage for any language, whether it's C++ or anything else (IE it's hubris to believe that other languages won't end up the same way as they get better at optimizing. C++ just has a long head start)

At the same time I am sure that just one good compiler person paid for a year working on any of the compilers to improve optimized debug info would get to a really good place. I know - i was once paid to do it, and when i stopped, it was, back then, in a pretty darn good place compared to where we started[1].

Rather than throwing away every abstraction, it's hard to believe this entire industry can't afford this. Yet I have not seen them try before (perhaps they did after my time, but my time covered 20 years, and it didn't really happen during then)

So it is 100% reasonable to blame game developers or whoever as a group - because as a group, they aren't (again, AFAIK) doing anything about it other than writing blog posts about how the language is mean to them, and filing bugs that compilers are mean to them.

[1] I'll note, in practice, the most effective route over time is likely actually to just store enough info to do deoptimize during debugging as-needed, which is the path various VM based languages take and works well. The traditional path to doing this is to JIT the language along the way (which is totally possible for C++), but it's not strictly necessary to do it that way.

The harder part is the debugger/compiler cooperation, not the runtime mechanism.
Depends how you define “soundness”, but the idea of prolonging a function out of its definition domain with an arbitrary value that doesn't make it continuous is arguably a curious one.

From an algebra perspective (the one given in the blog post) it may be fine, but from a calculus perspective it's really not.

The lack of continuity really hurts when you add floating points shenanigans into the mix, just a fun example:

When you have 1/0 = 0 but 1/(0.3 - 0.2 - 0.1) = 36028797018963970. Oopsie, that's must be the biggest floating point approximation ever made.
ICO could impose £27M fine on TikTok for failing to protect children’s privacy
I believe pull request from forks are not triggered by default because some people where using this to mine cryptocrap on cpu using the quotas of other projects.
It is an illusion that police are competent and that they solve most violent crimes they investigate.
This some R2Cringe2. Where was this emphasis on why censorship was bad when they capitulated to randos on twitter?
It would be very hard (probably impossible) to tempt me to take a non-remote job.

The two main arguments I've heard for forcing tech roles into offices:
1) Offices are better for collaboration
2) WFH is lonely and anti-social.

All of the best collaborative experiences in my career have been with people who have not even been in the same country as me, so #1 is anecdotally 100% false in my case.

As for the social aspect, I do not need an office to socialize and I am not interested in being forced into an office so other people would have somebody to socialize with.
It's also easier to stick to a diet working remotely. No more junk food lunches with coworkers, or people bringing in treats. I've lost 80 pounds over the past two years, and I think remote working played a big part in it.
Ideally other people shouldn't care what you do. But reality is sad
A hackerspace to socialize with workers of other companies is actually a fun idea. Socializing with "non-colleagues": no work-related talks, no office gossip, talk about anything without any fear of judgement (by your peers), ... Reminds me of college.

What would the downsides be?
There's something in here I don't understand, and I thought I knew the reason why it does this (for at least some workflow types, maybe not workflow_dispatch)

If you're only free to run those workflows when they land in the default branch, does that also mean that the workflow that runs is the one from the default branch and if you change the workflow in a PR, it will only run the new workflow on merge?

I know there's something in here to permit non-owned commits (from an external contributor) to be tested against a trusted workflow from the main branch, but I don't think it has anything to do with workflow_dispatch. I would expect that if you're able to run workflows and target any branch, then if the workflow you run is the one contained in that branch, you'd be able to select any workflow that is named and defined in the branch's configuration.

I'm not saying that's how it works, I'm saying that's how I'd imagine it to work. If someone knows "the rule" that we can use to disambiguate this and understand it from the precepts that went into the design, maybe speak up here? I don't get it.
Next to is fine, but instead of would be a huge loss. Although GPG gets a lot of unwarranted hate, it is still a very powerful tool that I won't be replacing anytime soon.
open source is not enough anymore.

The world needs lean and stable in time open source software and that includes its SDK.

Grotesquely and absurdely complex computer language syntax with their compilers, web engines (written with such languages), are actually not less toxic than closed source software.
Show HN: Joe Rogan Podcasts Analyzed via AssemblyAI, HuggingFace, and Steamship
Programming is fun, but learning to program from zero is boring. And that's partly because the way it's being lectured.

Learning to program it's like learning to speak a new language. And learning a new language is boring when all you can do is completing some monotonous exercises with no evident real life use.

It's 2022, computers have become way bigger and complex since 1980, and "look this device can prompt for a number in the terminal and multiply it!" Does not excite everyone anymore.

Also, the distance from "hello world" to "use your coding skills creatively" is really high, and a lot of people just bail before they get to that goal.

We should play more with integrated circuits, where a few lines in C, Go or Rust can generate something tangible, ann slowly raise the level to effective modern code.

Humans learn through experience, with actions and with the expectation of some feedback with results. Solving a buttloads of mindless exercises that have no distinctive purpose is not a good way of learning
Targeting RPS without also targeting concurrent users is a huge mistake!

Here's a metaphor I like.

Imagine I am trying to open a small high-volume restaurant. I call the chef in for a trial run. I sit at a table, and while I watch, she is able to make 200 dishes an hour. I'm excited, at 200 dishes an hour, we'll be rich! I tell the investors.

Opening day comes!

I have 10 tables and people eat for an hour on average. We serve 10 dishes an hour.

Our restaurant fails.

Throughput, without targeting concurrent users, is a bad test.