skysight-inc/HackerNews huggingface dataset:
Average joe-schmoe Neovim user here. My goal is not to emulate VS Code and other similar software. I enjoy Neovim for programming mainly because...

- First and foremost, I love the text editing features Vim has (eg. the movements, modes, keys etc). It just feels great on my hands.

- It's minimal. Well, you are free to make it as minimal or as bloated as you would like to ;)

- For me, it sort of gamifies text editing. I don't claim that using Vim makes me x-times more efficient at programming than someone else, but I do enjoy the thrill of learning a new, quicker way to make some changes.

- Vim/Neovim offers me a seemingly endless amount of things to learn. Some may see this as a negative thing, but I see it as a feature. It's truly like a skill or a hobby. You can learn the basics and be perfectly fine, but you can also dive deep into more ways to improve. I love this.

- I love how configurable it is, and also that you can actually learn about how it works.

- Also if I'm being honest, I feel like a myself and a lot of other Neovim users are basically masochists to some extent.
That’s because the banks took their 2008 bailouts and built a million branches.

All those branches closed during covid. I have 6 within walking distance and there isn’t a human anywhere.
Simple logic check:

How many satellites, AWACS does UA have?
What percentage do you think of all network traffic that Edge handles is 1) Over wifi? 2) Over unencrypted wifi?
They are not claiming that the radiation led to evolution of an entirely new gene..that would be unprecedented. You don't get "brand new genes" in that kind of evolutionary time frame.

Also, there is not single gene for melanin. Several genes are required for the ultimate effect that you observe as dark skin. A mutation in any of these genes, or in any of the transcription factors which control expression of these genes, could lead to observed differences in frog skin color.

FYI, "new genes" are usually the result of duplication of an existing gene (https://en.wikipedia.org/wiki/Gene_duplication#Mechanisms_of...). Duplicating a gene can be useful in and of itself by providing functional redundancy. However, the new copy is then also subject to its own mutations without affecting the original copy, and over time the two genes may diverge in function.
You're arguing a different thing. The topic was satellite design for satellites under 450km.

If deorbiting in years is sufficient, the difference in 1 minute vs 4 years is NOT relevant -> to a satellite builder worried about the law.

If everything deorbits within 5 years, the only way for more things to accumulate is to launch things faster. But that's a separate discussion.
If everything launched today is deorbited within 5 years, then in 5 years, all satellites will be new satellites launched after today.
If everything launched today is deorbited within 5 months, then in 5 years, all satellites will be new satellites launched after today.
Deorbit speed under a threshold has no bearing on accumulation beyond that threshold.

If SpaceX launches a trillion Starlink satellites, and they all deorbit within a year, then yes. it's going to be a very crowded year, and we'll have to drastically rethink how much stuff we have in LEO, but at the same time SpaceX would not be in violation of the 5 year deorbit window, so the issue is about how much stuff we're sending up, and not how fast it de-orbits.

"Amount of junk below 450km, total" and "Amount of junk below 450km, that hasn't deorbited after 5 years" are very different things. You're making points about total, while the original point was about deorbit speed.
They've broken more than one Python script of mine. That'll make you declare everything UTF-8.
> Beef isn't bad for the climate any more than the cattle that were present before humankind showed up to invent livestock.

That is without taking in account that there are 1 billion cows around the world today, eating 10x the necessary soy/ corn, drinking water, pissing and shitting a soup of antibiotics and harmful bacteria. All this with what purpose?
I know a career opiate addict who has about a dozen of those stickers on their car, many on top of each other. Like they truly believe each sticker reduces their chance of not looking like a total suck up
Doesn't quite have the ring to it. Maybe Quiet Robbery?
We must be talking about a different 1990s. It’s true that before then it was easier to get away with bad security due to few computers being networked, and it took a while for eg buffer overflows to be exploited (smashing the stack for fun and profit was November ’96). But in the first half of the decade or so there were lots of vulnerabilities found in sendmail and suchlike.
https://en.wikipedia.org/wiki/TRIGA
if it's a framework, it's not vanilla JS
If the risk of collisions in both scenarios is sub 0.0001%, is it a meaningful difference? Very quickly the risk is dominated by being launched into the wrong orbit.
But a lot did.

Microsoft Word still exists but somehow lots of people prefer using Google Docs because it has those cool features.
Bonds have been pummeled this year - it's going to be time to buy some bond funds soon. Been buying 6-month to 2-year duration treasuries via treasurydirect.gov - 2yr is paying over 4% now. Yeah, that's less than inflation, but definitely way better than what I was getting in the bank. I was going to mention iBonds for an easy 9.6% return, but it's Sept 30 so too late for getting in on that if you haven't (EDIT: apparenlty you can still get in on it through October). Not sure about short ETFs at this point - not saying we've seen the bottom yet, but the market is already down a good bit this year.

Keep some powder dry so you can pick up some good deals over the next 6 to 12 months (bonds and equities). Inflation tends to be sticky so it's quite possible that the Fed will have to raise rates more than their current target (which is something in the 5% range) - if that's the case then you'll probably want to lock in some longer term treasuries if they manage to get over 6% yield (not saying that's going to happen, but it seems like it could be a possibility and you'd want to be positioned to take advantage of that)
1)This sort of thing is covered by connection fees independent of usage fees

2)People providing green energy into the grid should not be charged more than others.
Burry was actually just right again, and in a major way.

He predicted the market would crash this year, and liquidated most of his portfolio in the first half of the year to get out of harm's way. Most of the rest of us are now nursing massive losses.

https://markets.businessinsider.com/news/stocks/big-short-mi...
Have you looked at what the UX is for invalid certificates in 2022? It's not like ten years ago where you just click enough times and "visit anyway".

Here, try this link in Chrome: https://untrusted-root.badssl.com/. When you click Advanced, it tells you "the website sent scrambled credentials that Chrome cannot process". And beyond that there's just no button to bypass it. You can't visit the site. (Sure, there's probably a chrome://flags or --disable-web-security way to bypass this, but that's well beyond the average user's comfort zone, as well it should be.)
I wonder how many of these authors bothered to read the actual lawsuit text?
Hsts solves sslstrip, I do not believe it enforces cert pinning. Iirc browsers deprecated cert pinning some time ago.
The new generation of terminals are nothing like what you’re describing: GPU acceleration, full color support, font shaping, support for ligatures, built-in support for multiplexing, SSH and more.

WezTerm [1] is probably the best example right now but there are others.

These aren’t your father’s terminals.

[1]: https://wezfurlong.org/wezterm/
Can we pipe this into a diffusion model and generate a persons dream sequence while they sleep?
Not sure I understand how to use this. I searched for "monkey on car" and these are the "categories" I get:

"a dead monkey",
"a monkey dancing",
"a dead monkey" (again),
"a ca"
No one said it is wrong to question the results of the election, but trying to overturn the election through force is domestic terrorism and only one candidate is guilty of sponsoring that behavior.
Their "negative latency" thing really didn't sound practical at all for games where latency matters.
Microsoft obviously benefits from the ability to collect more tracking signals. Even over HTTPS they will have many traffic signals to use for ads targeting.

Just be mindful of any feature and who it benefits. These companies aren't charities.
How do you do a wire transfer from an atm? Even with a private banker I still have to call someone to move money above X amount - I can’t do everything through a web portal. Maybe my bank just sucks, though.
You wear pants?
> not allowed to call it war

For 8 years it wasn't called a war, so what?
> but that'll be much harder for me to remember than :set number

You could also do Ctrl+P on VSCode (or Ctrl+Shift+A on a Jetbrains IDE) and search for "line number". Command based interfaces are no longer unique to CLI tools.
> I also wanted to kill old, obsolete, crummy SQL when I first learned it as a teenager. It reminded me of FORTRAN or COBAL or something.

> It took quite a lot of theory and maturity to understand why RDBMS is the right paradigm.

You and the guy you are replying to are doing it again, conflating SQL and relational databases. :(
> The use of facial recognition has grown in recent years, despite fears that the technology is flawed, disproportionately misidentifies people of color (which has led to wrongful arrests) and harms civil liberties, but is still deployed against protesters, for investigating minor crimes and used to justify arrests of individuals from a single face match.

I feel like I'm the only peron where who doesn't see a problem with Police having access to facial recognition. Its not like anything used right now is accurate, eg eyewitnesses. If it really is unreliable it shouldn't be used as a sole basis to arrest people, I'd expect a civil suit if that really happened. However just because some police mis-used it doesn't mean it should be banned.
Lyra V2 – a better, faster, and more versatile speech codec
I think it holds weight when I’m staring at a Cloudflare blog URL that explicitly says “Warp better VPN.” I don’t doubt that this has been scrubbed from current documentation, but this is fair evidence for the above comment’s claim that CF has advertised it as a VPN.

I don’t have a dog in this fight, but it was especially odd in this context to claim that this misconception was entirely driven from outside of Cloudflare when the URL is sitting right there.
If you have a compose key, (–) is compose + (-) (-) (.)

Or compose + (-) (-) (-) for (—) which is wider depending on the font.
Because it’s disruptive to the rest of us trying to play the game?
The issue I have is not remembering them, as the password manager does that. The issue is more when companies rely on your email address being the same for different parts of the service or they take my PayPal email address and use that as my email address.

One of the most annoying is when contacting customer support by email and they reject andy@ at and now I have to find a way to send an email to them from ocado@ or whatever email address I chose.
That's not true because the purchase still raises the cost of buying credits.
https://news.ycombinator.com/item?id=33037319

https://news.ycombinator.com/item?id=33034918

Am I the only one seeing the irony and contradiction here? Not the same people at all -- subgroups at best , but the Director of National Intelligence is part of the administration. Perhaps I am missing something -- feel free to comment -- I am curious what everyone thinks.
> It’s the type of behavior that you the good behaving, rule respecting, team player gets penalized for.

This rather sounds like badly designed scoring rules.
Exactly.

That's the reason why the entire east is calling the west hypocrites, well because they are.
They are offering you a previously generated image. Need to click the button at bottom of page to get an original rendering "from beyond"
Lots of big tech companies (including mine) let their devs run VSCode on company machines. If there was a concern about spyware, I feel like all of those security teams across the industry wouldn't have signed off on this, especially with billions of dollars of IP at stake.
Ask HN: Google have lost one of my customers; potential legal trouble
I set up my business 12 years ago, and since then it's been just me, mainly doing freelance software development, but I have always offered "Gmail for work" which became "Google Apps For Business" which became "GSuite" which became "Google Workplace".

Over the years, after becoming a reseller of Google's services, I resell Google Workplace for a slight profit margin, as I've found that my customers often have a real requirement of what Gmail for work can offer, so it's always been a good fit.

Three months ago, a customer asked me how to add a user to their organisation, so I sent them a link to the documentation (https://support.google.com/a/answer/33310).

They continued to email back, claiming they couldn't do it. After a few back and forth emails, I logged into my reseller console, which allows me to administer my customers' domains... but the customer's domain was not in the list.

The customer was getting a generic error when trying to access admin.google.com - please contact your domain administrator (me). When I tried to log in, their domain was simply not in the list of customers.

Since then, I've been on countless live chats, phone calls and email threads with Google support, but nobody's listening. Every time I get passed to another person, I have to explain everything from the start again, and I'm pointed to a Google Forms page to submit my "I can't access my account" request. Submitting the form doesn't do anything.

In fact, the support feels like I'm being trialled on teaching some kind of defective AI how to discuss problems with my Google account, or maybe I'm communicating via Google Translate to a non-English speaking sweatshop?

Anyway, my customer has been waiting to add a user for 3 months now, and they're getting shirty - possible legal issues are coming my way because of my incompetance.

I honestly don't know what to do. Google have just pulled the plug on a customer, and now I'm in hot water with nobody to talk to.

Has anyone got any advice?
Title insurers have not had to do due diligence for decades because record keeping has gotten so reliable there is almost never a problem. The underwriters just eat whatever occasional costs arise, and title agents make bank - at least on the East Coast of the US, out West they are typically one entity but the process is the same. Solar adds an interesting new wrinkle!
Fednow will be great for most domestic transfers but I still expect any international ones to require either a third party service (Wise, Xoom, etc) or a call/visit to the bank.
Summoning, I like that~
After Hurricane Ian, Robots to the Rescue
To be fair, I wouldn't consider someone who has been in the same company for 13 years an expert on the quality and quantity of devs on the market. Your experience within your one company is not a good indicator of the rest of the market. Most people I know jump jobs every 2-5 years going on to more and more interesting opportunities. Even at these more interesting places, the message is the same: we cannot find enough people.
Come on: also in real life stupid people say stupid things all the time.
I'm not afraid to say Burry is wrong.

White-collar jobs will boom, but they'll be outsourced. Work from home changes nothing about labor needs only labor location. If anything, work-from-home is a net productivity negative for large, bureaucratic organizations because slacking becomes even easier.
It's unclear to me how much of it is an intentional misrepresentation vs. a convenience that ends up being misinterpreted. Those are good examples! I never thought about the widespread use of the marginal value as a proxy for general value and its implications for society.

We can integrate over all shares, I think? so, in the case of instant company liquidation, if we assume some kind of quadratic drop-off in share value, we get Adjusted market cap = (integral from 0 to 1 of x^2) * current market cap = (market cap) / 3. We can also come up with more accurate drop-offs and normalization factors.
How to connect a landline phone to a car
Quake goes Brutalist in a new map pack that's all about concrete
This makes me want to create a Grafana dashboard for everything. Instead of relying on custom plugins (or pulling & storing the data yourself), now it's just another postgres data source. I hope this becomes mainstream!
HSTS cannot be overridden. Which bank domain names are you thinking of that are not one of the twelve thousand names on the HSTS preload list? https://source.chromium.org/chromium/chromium/src/+/main:net...
I think that's somewhat true except in business/entrepreneurship, where the US seems way more forgiving to failure than Europe. Bankruptcy is also more common and it seems to me that people in the US respect having tried hard and failed hard more than having no failures on your resume.
Cashiers Checks!
If I had a bot that replicated my great great ancestor I’d probably get bored quickly and then try to prod it into revealing it’s deeply outdated and inappropriate social views
I have done the same for years but I don’t think I actually had much benefit in the end. I don’t ever remember getting spam sent to dodgy-company@mydomain and then needing to block it, in all the 20 ish years I’ve done this.
> health and economic issues have forced them into retirement

For many too, they held on because their job was fun. My neighbor was a shipping container captain… he was eligible for retirement for many years. What finally made him retire was all the rigamarole the pandemic introduced. It stopped being fun.

The same thing happened with a local family-owned Agricultural store near me that’s been around for 70-odd years. Dealing with everything in the past 2 years sucked all the joy out of running the store, so they decided to retire.
Ada solved these problems in 1983.

More recently, you can use Frama-C to constrain allowable sequences of 0's and 1's for C types and formally verify correctness.

In Ada since 1983 you can, e.g, declare your own 8 bit signed symmetric type without the wart -128 like so:

type Sym_8 is new Integer range -127 .. 127;

Then this fails at compile time:

My_Signed_Byte : Sym_8 := -128;

SPARK can prove all execution paths through your program are free of such constraint violations. This means safe SPARK code can disable runtime checks and run faster than the safest Rust/Zig dev settings, which insert runtime checks for over/under flow.

In Frama-C, say you want a function that returns an absolute value. This function will fail to verify:

/*@ ensures (x >= 0 ==> \result == x) &&
(x < 0 ==> \result == -x);
assigns \nothing; */
int abs (int x) {
if (x >=0)
return x;
return -x;
}

It fails to verify because you might have x==INT_MIN. So this will verify:

#include <limits.h>
/*@ requires x > INT_MIN;
ensures (x >= 0 ==> \result == x) &&
(x < 0 ==> \result == -x);
assigns \nothing; */
int abs (int x) {
if (x >=0)
return x;
return -x;
}
tl;dr: pnpm
There is, but a lot of romanians like to trash their country. Ops comment for instance is a common point of view around the so called psd electorate (founded by former communist party members). They claim that factories have been converted to shopping malls and apartment complexes to the detriment of industry. A false notion as the old industry was dead anyway. Plenty of new factories replaced the old. And indeed the software startup scene is developing as are the tech industry. Corruption is lower and romania has become a high income economy. Sadly many have been conditioned to repeat statements that demean their own country. A sad example of the Stockholm syndrome at national scale.
Drahi vs. Reflets: Le secret des affaires ou le journalisme
I'm going to look at it again. It looks like they weren't forwarding keyboard interrupts to executables gracefully. But instead capturing them themselves.

I haven't needed to intercept ctrl-c and forward it on in a program ever, but it seems like that should be a basic thing a shell should do easily enough.
The next decade is going to be heaven for M&A. Also, the yields on the bonds Citrix issued were eye-popping.
"environmentalists" in california have succesfully prevented at least 6GW from coming online, and were directly responsible for plans that shutter california's last operating reactor. They lobbied PG&E with a study they paid for that, under the insane assumption that california's energy use would _decrease_ in the future, concluded renewables would be cheaper. Meanwhile CAISO issued increasingly urgent press releases warning of the catastrophic consequences to grid stability were diablo canyon to close. A disaster which was narrowly avoided a few weeks ago by newsom.

don't underestimate the negative influence of "environmentalists"
Altice au pays des pirates – Reflets.info
It is all fun and games until one of the downloads from your site picks up malware in transit and the user goes "why did this web admin infect my computer? Sue!"

This genuinely happens a lot in the 2020s.
Even the FTC struggles to define spyware. But I think you’re right that a disagreement on the definition is at the heart of all of this. I wouldn’t be so overconfident in asserting that spyware is defined in your particular way here, though. There isn’t exactly a consensus! VSCode is certainly not to be lumped in with password stealing keyloggers, but because they continue collecting telemetry data even after you explicitly disable it, VSCode does fall under the “collecting data without a user’s knowledge” category of spyware.
It absolutely makes sense.

Knowing how much capacity you have, monitoring intake, output, charge rate, battery temp, etc. are very important things to know and keep track.
nit: she is the head of the party that received most votes. She will probably be prime minister, but for now no government was proposed to the president, even the new parliament will not start for another week
Pretty easy for a troll to mess up the power with drones too then.
> At this point, the entire globe has fallen in uncharted economic territory.

Howso? We're back in a more historically normal interest rate environment. The last 12 years of zero-interest rates were the "uncharted" territory IMO.
Probably for all the wrong reasons. He was pretty widely mocked at LSE when I attended there a decade ago and that’s an institution I’d expect him to still be well regarded at. He traded his academic bonafides years ago.
Wait til you find out the widespread practice of getting a baby's footprint on the birth certificate! Maybe those fade or change more with time, I don't actually know.
> The revealed preference of the entire post-WW2 era in North America is mostly the opposite of this assertion.

But with the rise of climate change, ever-growing traffic and commute, urban sprawl, and expensive housing, things are starting to shift in the other way. This narrative does not exist in the vacuum, it's been over a decade of Strong Towns, walkability, more bike lanes, millennials not owning cars, and other assorted trends pushing against the postwar status.

> as society has gotten richer more people have looked to own single family homes.

And society's purchasing power has not exactly risen in line with housing costs, especially since 2008.
This is why I'm backing up everything I can from the Internet Archive (which they make exceptionally difficult due to rate limits - Seems like they cap you to about one page load every 3 seconds). I honestly believe that IA management has decided to go the route of mutually-assured destruction with the copyright holders, where they hold the wayback machine hostage to try to destroy copyright law itself.
Zorin OS puts on a masterclass for what a desktop operating system should be