skysight-inc/HackerNews huggingface dataset:
Basically, it's supposed to describe this:

- Bob works at Amazon as a SDE 2

- Bob finds getting promoted to SDE 3 is hard (despite being qualified) because the bar for promotion is too nitpicky/convoluted/whatever

- Bob quits and goes to work somewhere else

- Bob then applies for a job at Amazon again, but for a SDE 3 role. He lands the job, effectively getting a promotion in a really roundabout way.

The premise is that getting hired as a SDE 3 is presumably easier for someone who was already a successful SDE 2 than it is to navigate promotion committee politics internally for that same SDE 3 title.

This "trick" isn't limited to any specific company or role level; rather it's mostly a hypothetical scenario that is used as an insider joke when there's a perception of an overly obtuse promotion criteria.

In the context of this thread, I'm guessing they're saying that lowering the hiring bar would effectively open the floodgates for ex-amazon people to join back at higher paying roles since they were already able to pass the previously harder interviews.
Yeah, isn't the translation to a circuit even more trivial than the algorithm itself? a / 2 and b / 2 just discard bits. a & b & 1 is just an and of the two low bits. Then we just route those values to an adder (with carry).
This is an interesting stance to take on HN, of all places. "Be kind. Don't be snarky. Have curious conversation; don't cross-examine. Please don't fulminate. Please don't sneer, including at the rest of the community."

This extends to other places, too.

On a more practical level, not being kind doesn't buy you anything. (I want to be clear here that "kindness" doesn't mean "freedom from consequences". Of course there should be consequences. But there's no need to be a jerk about administering them - it achieves nothing)
I think the point of the "taught" point in the article was to reinforce that mask wearing was not a novel question in the context of "is this an order that a military officer can give to a subordinate?", nothing more.
>Bonus chatter: C++20 adds a std::midpoint function that calculates the average of two values (rounding toward a).
True. Tabacco companies exist. But generally for someone to hand over money it strictly has to improve their life in a disproportionate way.
If the price seems too high, you aren't their target market. There are people who want this that think $30k is a rounding error.
So what? George W. Bush's approval rate was even higher after 9/11, is each American personally responsible for his legacy?

10% of the Chinese populace is still over a hundred million people, am I to judge each of them as people according to the actions of their government (since apparently the two cannot be separated)?
> I was shocked to learn that the binary search program that Bentley proved correct and subsequently tested in Chapter 5 of Programming Pearls contains a bug.

I haven't seen the mentioned proof, but if said proof is not formal and mechanized and/or does not consider all possibilities, including overflow, then should we really consider it to be a proof of correctness? It might prove some desirable properties, but I don't think we should leave it at that. I certainly don't think we should claim that "It is not sufficient merely to prove a program correct; you have to test it too."

When it comes to software programs, I believe proofs can and should be exhaustive. That does not necessarily mean you need to exhaustively test every input, but it does mean you need to prove correctness for every input, including inputs that might result in overflow or undefined behavior. Otherwise, we should not consider it a proof of correctness.
> It’s just a simple numbers game: there are more obscure books than popular books, so there are more obscure good books than popular good books, so the more books you read the more likely your favorite is an obscure one. In other words, if someone says they love fantasy novels and also their favorite novel is Harry Potter, odds are they don’t actually read that much fantasy.

I hate these kinds of arguments. It assumes that every book has an equally likely chance of being good. Books being popular and books being good generally have a correlation.
You can use a CAC card as your second factor with the mandatory 2FA, but if you don't have one I think Yubikey-type devices are the only other hardware auth option
No, I haven't been involved with DexEd. Hopefully, though, some of my analysis of the chip will improve the accuracy of emulators.
Exactly, I messaged someone multiple times and didn't get a response. I assumed they weren't interested in hanging out any more.

I found out many months later when we ran into each other by chance that they don't use Signal anymore and my messages had gone to a blackhole..
This was one of the things I was wondering about. Vuetify is one of the bigger libs for Vue2 so if I were to do some upgrades it would need to be ready.
this is funny. when i first learned the algorithm, i found some matlab code that computes it with bit vectors. i added support for displaying them as an image and used the movie feature to generate step by step movies to build intuition.

nice to see someone build something polished that visualizes it in the same way. once you look at the mechanics for each round of the compression function and see the bits get swirled around for yourself, it starts to make intuitive sense.

the other big intuitions are of course, the trapdoor nature of add mod 2^32 (which is implicit in unsigned integer overflow on many machines) and the fact that some operations (like xor) operate in galois field 2, while others (like addition) operate in galois field 32 and the repeated stacking of the operations in different fields gives the function it's nonlinear trapdoor property.

i remember reading a pretty good paper on the arx (add, rotate, xor) family of ciphers back in the day (sort of in the vein of, is that all you need?)...
I once worked with a software stack called ActiveBatch. I really wish there was something as easy to set up as ActiveBatch available for the consumer market. Even something like Apache Airflow isn't competitive in terms of ease of setup.

Activebatch is literally just install the scheduler on a Windows system, connect a SQL Server DB(use community edition) and then install the "execution agent" on whatever machine you want to run jobs on. In 10-15 mins you have a full automation environment.

From there, you have access to a decent GUI where you can drag, drop connect jobs together and mix and match different technologies, APIs, whatever because you can actually pass data and context from one step to another. They have a library of hundreds of "Job Steps" that range from simple stuff like copying files/FTP/SSH to things like calculating checksums to things like interacting with Twitter to send out tweets based on whatever condition you specify. There is just so much you can do and then they allow you to extend it with scripting/APIs etc.

Has anyone here used Activebatch? It is a hidden gem. Unfortunately it is an enterprise product so it is off limits to most people. Really wish someone made an open source alternative. :/

Here is a video but it does a pretty poor job explaining the capabilities of this software: https://www.youtube.com/watch?v=s6Pw-Sisry0
In addition to countless hours emulating 90s fighters and shooters I missed out on (Capcom CPS and Neo-Geo games particularly), MAME is pretty much the only practical way to experience some of the Tandy computers I remember from my youth -- the TRS-80 Model II and the Tandy 2000 in particular. Examples of actual hardware are becoming much rarer and more dilapidated, not to mention cumbersome.

MAME's TI-99/4A emulation is also damn near spot on.
Ownership and the American Dream
I meant that I wanted an email address with my own domain name associated to it. like bob@mydomain.com as opposed to bob@gmail.com

regarding the newsletter aspect, I appreciate the suggestion as its going to be my next item.
If you want arbitrarily complex type-checking, why not just check the property you want at runtime instead using an esoteric typelevel programming language? The whole point of having types in the first place is provable decidability, not universal computation -- that's what the value-level is designed to do.
> I don't think we're arguing free speech

"Free speech" is being progressively constrained to prevent "offense" and attacked with the murky dog whistle of "misinformation" or disloyalty (most commonly Russian agency), causing a national debate in the process.

> should not be removed on sight?

I just meant that 'on sight' is often too late to be any more effective than legal action for the Election Day example you gave. The prospective "damage" we risk in most cases that we hear stories about today is highly debatable (next point).

> Alternative to the situation we're seeing

We would need to agree on the situation "we" are seeing before focusing too much on solutions. I see outsized and misplaced risk intolerance. Indeed, intolerance for open dialogue and skeptical challenge generally if it contrasts with the government/institutional positions. The rapidity with which (ex-CIA now state department) spokesman Ned Price started accusing AP reporter Matt Lee of disloyalty a few days ago is pretty shocking and gross. But that's our reality right now.

> We can't have a free press without self-censorship

I think I very much disagree with this, but may not be understanding the statement. When you say "self" censorship, does that mean you and I showing restraint (systemically unreliable), or (industry collaboration with) a centralized institution (as in the royal "We") which would not be 'self-censorship' by definition? I think you can have free press without institutional censorship as long as we aren't speaking in complete absolutes and are acknowledging a place for the rule of law. Why? We've been modeling it pretty well for a while, and while everyone imagines the times they are living in are unprecedented, this country has faced far worse crises and managed to hold on to some bedrock principles unique to its model of government (delegated powers and inalienable rights of the people). What's really changed that requires a new call for censorship? I know of a few reporters making the case that we can never compete with China unless we become effectively more 'totalitarian' ourselves. I dismiss the reasoning out of hand entirely. I've heard some other reasons revolving around danger and offense but very wooly and inarticulate definitions/constraints that makes me think risk outweighs reward by a large margin.
Isn't it better to do

(a>>1) + (b>>1) + (a&b&1)

No division needed.
> since a free-for-all is the default?

Only for the very first round. For every subsequent round it’s a game of consolidation. That’s a very ugly game.
Not to get too Barthes about this, but I feel pretty comfortable with my criticism of the content of this essay.

> At the same time that the evidence of far-left intolerance is overwhelming, a few of us have been on a very lonely corner of conservatism, jumping up and down and yelling about the new right, “Censorship is coming! Censorship is coming!”

> And we were correct.

> First, it’s long been clear that the new right was replicating many of the tactics of the far-left, often proudly and intentionally.
I tried Vuetify with Vue 3 about a month ago in case it was "semi-ready" and lots of basic functionality was still missing.

As much as I love working in Vue, Vuetify is the entire reason I use Vue today: if there were a Vuetify for Svelte I'd be using that instead.

All the Svelte component libraries, and indeed all component libraries I've ever tried, pale in comparison to Vuetify. With perhaps the exception of Quasar.

Using Tailwind after Vuetify feels like going from writing C# to assembly.
None, probably, but these days it's de rigeur to spend half a (web or mobile) project's budget making sure even the select boxes are "on brand" and "delightful" or whatever. Often at the expense of usability.
One of the first customizations I make to any new KDE setup is to a) map win+1-0 to switch to desktop N; b) map shift+win+1-0 to move window to desktop N; c) set up 10 virtual desktops. I then run everything full screened and avoid alt-tab. Browser on desktop 1, terminal on 2 (with its own splits), IDE on 3, etc. Over time I found that I could get rid of the panel entirely since I know where all running applications are, and launching applications using krunner is just a win key away. System tray I ended up needing, but I added it as a widget on the desktop itself, and it works well enough there.
There are many ways to avoid that. One way is to use an AI to perform "style extraction", and then apply it to existing images.

Here's a presentation for Papers We Love San Diego on a paper describing such a technique:

https://www.youtube.com/watch?v=KFORVMT8AWs

I would argue that the proper way to do this while respecting other creators is to create your own original source images and then train the model based on those, before then applying the style to some other original image of your own.
The chocolate bars I sometimes get are very consistent in dosage, easy to slice into even fractions, don't bother my digestion the way gummies often do, and seem to be less affected by whatever else is in my stomach at the time. However tapering has not been a good tactic for me in the past, I'm constantly tempted to bump my levels back up, so I'm just using melatonin and a little grit to get through the first few days. Luckily I don't get nausea, just a somewhat decreased appetite for a while.

Thank you
To delete your account, follow this: https://help.id.me/hc/en-us/articles/203532014-How-do-I-clos...

And now for some contradictory information, straight from id.me, which may indicate it's a lost cause.

On that page it says:

"What happens to my deleted account? Your account information is purged. After seven days, you can create a new ID.me account with the same email address you used in the one that was deleted."

However, when following that exact process on the site, it states:

"If you decide to create a new ID.me account (at any point in the future), you will not be allowed to use the email address(es) lined to your previous account."

Both locations state:

"ID.me will retain a portion of your account's attributes on file to comply with applicable laws and help us prevent fraud."
Absolutely the same thing I did. I even had the low bit logic worked out by the time I scrolled the article down and saw the patented line. Clearly we have both had miraculous enlightenment because legally this is “not obvious”.
I’m the same. Neovim fills the center of my screen. The web application I’m working on sits behind it, with enough exposed that I can see if my changes are working / breaking, and with another terminal partially revealed showing any build errors. Works well for me. I never liked the layout that WMs picked, because they always force me to look to one side or the other (on a 4K and 5k monitor). Maybe if I was solely running on a 13 inch laptop, a tiling WM would make sense.
Starting at $30k, but that is the lowest paid tier!

I guess the thought is you can fire your developers and replace them with this. Ok I’m joking a little, but the sales pitch is probably that if you can hire one less developer, then it is worth it (I am skeptical, myself).

They’re not competing against other SaaS, they are competing against someone’s salary.
Your compiler will take care of that. Leave the division for the humans to read.
Pretty cool. Have been looking for something like this for a while. Thanks for building it.

Just sent you a PR for some typos I found while running through an example.
Director of ops for Web3 ENS service fired for a 6 yrs old controversial tweet
> I think DoD needs access to paid, professional developers who can provide those services for FOSS. That could be someone like Red Hat, it could be outside consultants, it could be internal developers, they could hire members of the FOSS community. Also, DoD will need to fork projects when the community is uninterested in a DoD priority.

That much is a given, and it was already true today. Even if DoD would do nothing more than contract for outsiders to build its software, the people writing the contracts need to have access to government staff who understand software (i.e. actual developers).

> And there's another major problem: Imagine bombs are falling, people are dying, national security priorities are being lost - and the military needs a fix or enhancement now. Submit a bug to bugzilla and wait? Email the dev list? IRC? They need someone to call, who can answer the phone and get things done.

I regret to inform you that the military is already used to this taking months and years. The Navy was unable to field a COVID tracking software tool in time for it to matter when the aircraft carrier USS Theodore Roosevelt got sidelined by COVID, the needed tool ended up being fielded by Defense Digital Service who operate under different authorities.

But even if we pretend the wider military could do need this, that's the internal developers you already mentioned (like DDS), or developers already on contract to provide urgent support. But that's separate from FOSS vs. proprietary. If anything, the farther we get into an "everything-as-a-Service" model, the less likely it will be that a company whose product is not open source would be able to meet those kind of urgent timeframes, because making changes willy-nilly to their -aaS product may risk their FedRAMP certification and DISA P-ATO.
THIS IS A FRIGGIN' AD!
Didn't figure it until close to the end...
I can second the Khronkite suggestion. It's extremely flexible.
Selling short carries much, much more risk than a simple purchase-and-sale. Put simply: if I buy a stock, the most money I can lose is the principal I put in (a stock can’t drop past zero), and any losses I take don’t damage others. In the case of a short sale, my potential losses are limitless (while a stock can’t drop past zero, there’s no potential ceiling), and the party lending their stock may lose out if I’m unable to cover a call.
Are you involved with idefine? It seems like the most natural course. Why create a separate entity and voice instead of partnering / volunteering for one that is already establishing?

I imagine if you reach out and want to find ways to help / volunteer they would be excited to hear from you and to find a way to work together (most non-profits like this are...)
Do you have any suggestions on where/how would be best to get a VoIP number?
Total layman question - can we get mRNA injection causing production of required protein in situations like this?
An even better question is why did he pay off the debt. With the status of inflation and rates at present, it's infinitely smarter to keep the debt and reinvest the profits from the GME trade. He's clearly talking about something like 20%+ interest payments on credit cards but mortgage rates that can be outpaced by bond investments.

All around, he doesn't seem like he knows how to manage his money.
I’m an entrepreneur, an accredited investor, and a recreational gambler and from my perspective everything you’ve said is completely true.

Casino gambling is only a financial strategy in the most unlikely scenarios, like the infamous MIT blackjack team.

By and large it’s a recreational activity. There’s the dopamine hit from the risk and another dopamine hit from your host paying for everything because you’re willing to spend 6-8 hours at the tables on your vacation. The slots are definitely a worse value proposition even with the higher comp rate.

The simple fact is that recreational gambling is less about strategy and edge and more about proper risk management. If your bankroll lets you Kelly bet at a level the marketing execs want to see then you will have a good time with predictable max losses.

I can’t imagine being entertained by slots, but if someone is and the house edge isn’t completely obscene, which sadly the gaming board permits, then even there there’s a reasonably priced vacation to be had with a Kelly betting strategy.
In some ways, Vue is a victim of its own success. I enjoy working with Vue and will continue to support the framework as the transition to version 3 continues. Ultimately, tough choices need to made and I understand the pushback from long-time users that depend on older features. (I use the term "old" loosely, since time and legacy in the front-end JS is skewed.) Like Python 3, the essence of Vue remains in Vue 3 and the framework will move on.
I'm skeptical you can actually "avoid the bureaucracy" with UBI. At the end of the day there will still be people who need more aid than the standard UBI can provide (eg. people with mental/physical disabilities). We can't realistically let them fend for themselves, so you still need the bureaucracy to manage those people.
Not really. It is harder for most programmers to read (a>>1) than the simpler (a/2) and in most modern programming languages the compiler will notice the division by a power of two and compile to bit shift operations in both cases.
It isn't at all obvious you know what Thiel thinks, but it is obvious you don't like him. You can't go around making up quotes based on what you imagine people you don't like think.

He didn't say what you claimed, why not just edit your post and retract it. By not doing backing down it makes it look like you knew it was untrue, but just wanted to take the cheap shot.
Figma is also Thiel Fellowship born …
I'm not familiar with Vue but that doesn't sound like a bad thing. I'd compare it to a language taking a concept from a different one.

For example, PHP7 added null coalescing or look at languages like Java and C# that have added lambda functions in the last few years.

They're adding things that have been proven to be useful. Well, I'm not sure in this case but that's beside the point.
Wonder if they were running ARCNET over it. ARCNET was well known for working over some rather challenging mediums.
> For all the folks confused why I'm saying you don't want a 27" 4k monitor for text, it's because the PPI isn't nicely sized for 1x or 2x, which means you have to set it to scaling that rounds and blurs subpixels.

This appears to be either a misunderstanding or a description of a deficiency in your environment for example Apple devices. For text there are 2 factors that control its size the designated size in points and for apps not sophisticated enough to scale elements appropriately according to DPI a scaling factor.

You appear to be suggesting that if you only had one knob you would be stuck with text that was either too small or too big however one or an application can adjust the size of the text independent of an integer scaling factor to produce a desirable end result. The same thing is true of images which are already trivially displayed at a different absolute sizes like every image on your browser ever.

For example on Linux most apps you are liable to run that aren't simplistic text apps are liable to be either QT or GTK. QT apps intelligently scale, GTK apps rely on a scaling factor one can set for example with an environmental variable. In both cases there is a setting for font size that effects 90% of apps of that stripe the minority having their own configuration.

It is incredibly trivial to have an environment that looks nice at any size.
Oh but you don't understand. This wasn't released within the last 30 days, therefore it's legacy and bad.

I don't know why but honestly I'd expect something a little more reasonable from someone coming from academia, but in the broader context of the piece as a whole it makes perfect sense.
Two books:

* The INTP: Personality, Careers, Relationships, & the Quest for Truth and Meaning. This book helped me understand my own journey in life.

* How to Win Friends and Influence People. A little cliche, but reading this book drove me to reflect on what a pedantic jerk I was being sometimes.