skysight-inc/HackerNews huggingface dataset:
The question is whether 0 is a valid ordinal. If it is, why skip it?

If you allow 0 as a valid ordinal, it unifies ordination and measure. That's the best reason to do so.

There. Djikstra as haiku.
Can I use this with Proxmox?

I looked into LibVF.IO when it was last posted on hackernews but I was never able to get it to work with Proxmox.

I'm kind of a weirdo and want to use proxmox as a hypervisor on my desktop and manjaro as my daily driver with Windows 10 for Fusion360.
The last time Congress took on comprehensive regulatory/legal reform of patents, the result was https://cafc.uscourts.gov/home/the-court/about-the-court/cou....

Most of the problems with software patents trace back, in one way or another, to that court.

What makes you think the current broken legislative system has a chance at a reform that makes things better in a way that you'd like?
> I propose we create federal legislation that food companies need to label their food with their exact ingredients. According to this comment, this regulation will be struck down until it can "be shown to be more effective because it's administered at the state level rather than the county or city or neighborhood level". You are saying this regulation is bad until I can prove it is necessary to happen at the federal level. How is "it should be struck down" different than "it is bad"?

Okay, suppose such legislation is created at the federal level. Now, someone disagrees, and sues. The courts will examine the question if the legislation could achieve the same purpose if enacted on the state level. Since food can be imported, my guess would be imported foods could be regulated by the feds, since states don't handle importation processes.

On the other hand, foods produced and consumed in the same state would be up to state regulation. This would be good, since some states have very different food cultures (Louisiana, for example), and it's not really clear to me why voters in Minnesota should have a say in how those local foods are produced and consumed.

As for food commerce between states, I'm not sure, I would think that states could handle that via inter-state compacts and trade agreements.

In this particular case, I don't think counties or municipalities would be a good level of government, since most food is not produced and consumed in the same city or county.

> judge regulation on a case by case basis

Oh so you agree with me? How can such regulation be 'judged on a case by case basis' without meta-regulations of the kind I mentioned? It seems to me that today, anything goes, and there's nothing you can do when such rules are enacted. Also, if such rules are being 'judged on a case by case basis' (presumably for each piece of legislation), then presumably you too judge each new regulation to be bad, since it is apparently in need of judgement (and presumably being made illegal if the judge decides so... or do you advocate judgement with no repercussions?). Honestly I'm very confused over why you disagree with me.
How is it different from a kid pool?
Weird that they'd put out a blog post when their docs <https://galoisinc.github.io/MATE/overview.html#status> say

> MATE is not actively developed by Galois, Inc. Please reach out to the email address “mate at galois dot com” if you’d like to discuss further work on MATE!

but I'm guessing maybe it's just stale docs, since they pushed the repo 2 weeks ago: https://github.com/GaloisInc/MATE/commits/main
What if the resume was written in Notepad in txt format?
Looking up in the thread, I see "Another is the massive. underfunding of the NHS over the last decade" in the first post and things like "No, it isn't due to lack of funding, that's a lie" in the replies.

That definitely sounds like the thread was talking about underfunding/lack of funding to me.

Also, for what it's worth, I think your use of "massively" carries an implication to the reader that funding has increased above and beyond maintenance levels (i.e. that it's gone up in real terms, compared to inflation and demographic changes), as I think most people wouldn't describe increases that are below the level needed to maintain service relative to costs as being "massive increases". You'd probably get less pushback if you described it as "increased in absolute terms", or specifically pointed out that the funding increases have been lower than the underlying cost increases.

I know you did eventually add the "in absolute terms" part, but perhaps consider starting with that next time.
Necrotech and Nanoshock by K.C. Alexander might suit you.
Once you’re done crushing this patent troll, go after the USPTO for granting bogus patents in the first place - you shouldn’t have to bear the costs of fixing their fuckups.
Dear California: How Can I Comply with Your New Age-Appropriate Design Code?
> This sounds a bit strange. I'm pretty sure that electric cars and replacing natural gas for heating will require quite significant investment in electric distribution infrastructure.

The total spend on grid infrastructure may increase, but storage will mean we will get more kWh per dollar of grid spending, lowering the energy cost.
He has explored other heavy hitting strategies too.

Rap Battle: https://www.youtube.com/watch?v=9iUvuaChDEg

When the rap battle didn't work, (probably) causing a $171M outage and getting away with it: https://en.wikipedia.org/wiki/2011_PlayStation_Network_outag...

Absolute legend.
I'm not sure he's making a legal claim when he says they're not building anything. I think he's just trying to establish that they are not adding anything to the universe and are just parasites. Companies that are actually adding value are being preyed on by patent trolls. It's a kind of capitalist entropy
I've not seen any evidence of that. Have you? If that's really happening, we'd take away job posting privileges, but it's important not to be cavalier with accusations of abuse.
Banking has a reputation for hiring developers who wear ties and got the job by proving that they could spell "Python."

I interned as a developer at a bank. We lied about security and development practices to auditors. We had some PCI compliance stuff to do and they turned on a bunch of features and created a change request form for a day for audit purposes. We pointed a develop server at production for several hours, allowing anyone to login to accounts. We turned off our tests rather than fix Jenkins.

A friend is currently with a bank you have heard of. He is not quite a developer, but on a team that does dev work. They have standards for reliability and productivity. He fakes them. He gets to toss any bad data as a "outlier" and sends the rest up to management for its rubber stamp. He is upfront about it in the way that bankers are (a pile of weasel words), but realizes that VPs are Banks are not technical.

Having worked for a bank, I would not hire someone who had spent a very long time there.

I would expect to be getting someone who viewed the solution to security issues as releasing a memo proclaiming there are no security issues or just bleating about best practices. As that is what we did.
> I see a lot of cynicism around renewable energy and electric cars and I frankly don't get it.

It mostly comes from understanding how power production and distribution works.

> Even if we "only" get to 90% renewables by 2045

90% renewables doesn't mean we get to cut 90% of fossil fuel production capacity, and it's almost impossible that we get to 90% renewables without taking serious quality-of-life hits (unless you're including nuclear).

> We aren't done innovating on the renewable front either.

Yeah, in 50 years it will probably be fine. But we're talking about now.

I'm also interested in the opportunity cost of switching to renewables. Maybe we can have the same quality of life we do now off of solar in 50 years, but almost certainly our quality of life would be significantly better if we weren't on solar.

The Kardashev scale is the best cheap proxy for quality of civilizational development.

> It will create a lot of jobs.

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

> Thankfully, the world is not only made up of cynics, and a lot of people already are.

Another word for "cynic" in this context is "person with realistic and accurately calibrated economic expectations".
then there is the other side of your argument via past human history of 10,000 years taking and harvesting plant chemicals for other uses.

Let's list them:

1. Cocoa beans
2. Coffee beans
3. Cola Beans
4. Macca
5. Ginkgo

and the list keeps going and growing every decade.
If a little showboating is what it takes to motivate a wealthy guy to chokeslam a patent troll in court…
Reseller here (for a little over 10 years). We've had it happen and support channels have become worse than they ever were. There was a brief period of time I could get phone billing support with good English comprehension, but that's not possible anymore.

The last major issue I had with paid accounts is Google decided to move the goal posts a few years ago and basically make a small college course to maintain being a reseller. Originally you just needed so many licenses and a credit check. We didn't know they launched this new system and had a client hit storage limits on one of his accounts.

Any other company you'd just increase the license tier, vendor gets more money, client gets more service, everybody wins. With Google though, this isn't possible for a reseller in my situation. Support had told us to just go in and increase the license, but the option wasn't available in the redesigned panel. Instead I need to complete a course and maybe a week or so after get blessed enough to have the ability to submit a 'deal' to increase the tier for the customer's account.

Oh and it took me over a week to get this suggested resolution (that requires in best case another week). At no point did I ever feel anyone at Google gave a shit about me or any of my clients, and I regret becoming a reseller and ever recommending them.

EDIT: Use fastmail, I just wish their reseller panel was a bit more fleshed out.
What's the risk of starting again?

The only one I'd be careful of is Amazon. If you can't access your email and forget your password it's all over. I've had that happen.
Agree with all.

Small rant...

> ...we need public-private partnerships to invest in...

Every nascent industry, every emerging market required deliberate governmental policy.

> ...this is not an area where a pure free market works...

You are (correctly) advocating for open markets.

Markets are open, closed, gray, or black.

Open markets require government for trivial things like property rights, law, fair & impartial courts, weights & measures, currency, etc.

"Free markets" is a soothing euphemism for laissez faire, aka might makes right. The opposite of an actual market.
Great, let me know when we have economically viable HVDC grids built up.

Renewables enthusiasts love to talk about counterfactual or hypothetical scenarios, but ignore the fact that we can't spontaneously leap to one of those scenarios.
> The devil doesn't need an advocate.

I like that statement. "I'll be the devil's advocate" is right up there with everyone stating they will defend hate speech "to the death" because of free speech. Why not take your time to say you disagree with someone instead?
It can depend on your perspective. If you look at an app and just see tables and data then yes, model objects stand in a way. If you describe your app as this thing that manipulates the database then I can see how a layer of abstraction can be annoying. But people write 'billing apps' not 'data manipulator apps', so there is this pesky business logic. ORM helps you separate business logic from data access logic. If you don't need this separation then it just stands in the way. ORM is not perfect, but most abstractions leak to some extent.

I think it also depends on how the 'model objects' are implemented. Is it Active Record or Domain Model? I think most of the complaints about ORM are actually complaints about Active Record / DAO, or just a crappy implementation. Also nothing wrong with using SQL in an otherwise ORMed application. Just harder to unit test, refactor etc.
Theoretically this could work.

It seems that you're talking about de-ranking the fat middle of the curve which serves the banal content consumed by those in the fat middle themselves, leaving only the tail end, theoretically serving the corresponding tail end of content consumers, which might approximate the early days of the internet before the normies invaded, before the barrier to entry was lowered such that it approached zero.

It could work.
I’m not sure I’ve heard the Teams folks explicitly blaming Electron. I run other, more complex MSFT programs (eg Office) on the same computer, and they use a fraction of the memory and CPU that Teams does.
TL;DR: it's more about demand than labor supply. Same result.

I don't think it is as binary as you suggest. There will be lower total saving after a delay. There will certainly be less investment more immediately.

What will happen is this.

If you borrow money to make and sell (say) shoes, and the population is doubling every 35 years (2% growth), then your market doubles in 35 years also. (You need money because your buildings and equipment wear out, if not for materials.)

Your lenders have it relatively easy in this situation, because fewer of their borrowers go bust, so interest rates (which are partly compensation for risk) are lower.

With negative population growth, your market is shrinking, so your lenders' risk of loss increases.

Anyone who still has excess savings demands higher return on investment. Fewer potential investments can jump the higher hurdle. Total investment decreases, total income decreases and everything spirals down.
> Big “citation needed” on that assertion.

My knowledge of power markets.

> HVDC is a widely proposed option

I'm sure it's widely proposed by fictional utopian scenario enthusiasts. I will consider it seriously when there's an actual HVDC grid we can use, or even just a successful HVDC interconnect.
You're not supposed to totally trust DDG, but they are a better default search engine than Google if you care about privacy.

- they are less likely to throw a captcha in your face if you connect over VPN

- they have less surveillance infrastructure and run less code clientside than Google does

- they are at least not explicitly tracking you

- they have a lower number of secondary data-points from other services that can be connected to your searches

the list kind of goes on. I don't assume that DuckDuckGo is perfectly trustworthy just because they say so, but Debian has a choice of a couple of different default search engines that are mature enough and give good enough results to use as a default search tool: Google, Bing, DuckDuckGo, etc...

Of those choices, DuckDuckGo seems to be a pretty reasonable decision.

At the very least, DuckDuckGo lets me search when I'm behind a VPN and have anti-fingerprinting tools turned on, Google very often doesn't. It's not a super-hard decision for me which one is more private.
Perhaps you should do a poll HN ? Maybe you could have a question for each of the major platforms ? Last week I was blindsided by an Amazon takedown for example for a product I invented over ten years ago and have been manufacturing and selling ever since. It was just removed with no explanation and at the time I couldn't even guess what I might have done wrong. It's been a week and they have me chasing my tail, I am not optimistic my business will survive.
I believe the response times of IM chats - something that looks superficially similar to email - affects people's expectations of response times in email.
This seems like an odd collection of random anecdotes about George that don't have any real relevance to this
> Most of them aren't really hiring, but instead using the thread as covert advertisement for brand.

Do you have any evidence of that? If that's actually true, we would stop those companies from posting job ads. As I said elsewhere, though (https://news.ycombinator.com/item?id=32587596), you really shouldn't be cavalier with allegations of abuse.

> HN largely exists in general to promote YC companies

That's definitely not true, or at least a huge overstatement. I've written a lot about this in the past if anyone wants explanations of how we think about this:

https://hn.algolia.com/?dateRange=all&page=0&prefix=false&so...

https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...

It would be closer to the truth to say that HN exists to help new YC companies come into existence, since the biggest benefit is more startups getting started, applying to YC, and getting funded by YC. Even one large such success would pay for hundreds of years of HN.
China definitely had a lot of polio in the early 20th through mid 20th century. There are still some young people (~late 20s) who were affected as children.
Just don't run it 24/7, then. I feel like anyone who can actually notice this already has an apartment that provides free electricity. EDIT: Wait, my feeling was right. Your rates are also an order of magnitude above the rest of the world, for some reason. For me running a 500W machine will cost maybe $200 per year with real world usage.

> Power prices in Germany are among the highest in Europe. The high costs partly are due to the mandatory support for renewable energy sources – but most customers continue to support the country's energy transition regardless [result of some web search]

Fuck outta here with this. As I stated, 500W is nothing. The alternatives (half-working LEDs) are pure garbage. You are all propagandized idiots still consuming and trashing at the same rate but now buying stuff because it's """green""" (TM) while the company knows they are not fixing anything.
You can turn off focus mode in settings. Nothing will be hidden.

I personally find Gmail is much worse at hiding things. I try to be responsive but for whatever reason the way they handle threading tends to cause me not just to neglect to read, but to not know that there is something there.

I think the difference is Outlook shows all of the emails (from all folders) in a thread in a way that makes sense. Google randomly chooses a point in the middle of the list to just stop showing a bunch of emails and you have to manually click to see.

I constantly hear that gmail is better but I just can’t see it. Not in a matter of taste way, but like if people said they preferred being stabbed in the face repeatedly with a dull knife to eating their favorite food. I just can’t understand or empathize and I wish I did. It is kind of lonely being one of the few who not just likes email, but likes the Outlook approach to email.
Absolutely wrong on so many levels. You're saying that stereotyping is not a problem because the stereotype is sometimes accurate.

First off, the stereotype is not accurate. You can get a call center worker in the US who speaks with a foreign accent. In my neighborhood in a major US city, I hear foreign accents about as often as I do US accents. It also isn't true that accents correlate to how much authority a call center worker has. Level 1 call center workers all over the world are basically following a script and under very strict management.

Second, this is prejudice on the basis of national origin and race, which is bad. The problem with prejudice is that you are "pre-judging" --- making an assumption based on partial information. Sometimes that cognitive shortcut saves you time, but other times it doesn't. You should have to spend time on the call to determine whether the call center worker knows what they're talking about and has the authority to do what needs to be done. It really does differ from company to company. Accent should not be a cognitive shortcut.

Imagine if you said that employers discriminating on the basis of race was not because they are hating on that race for the sake of it -- they simply hate on people of a certain race because they have had bad experiences with people of that race before. That would be completely unacceptable.
> They spent months trying to get away from adding forward proxy support claiming another project provided support for it.

That is not what happened. We did not understand what people were asking for at the time, partly because it wasn't clearly explained to us.

> Now they added the feature like somebody just asked for it and they added it.

It being added recently was because of other changes to the codebase that made it possible to implement easily. We didn't have response intercepting working correctly in the reverse_proxy module until more recently, and it took some careful refactors to get it right.

Once we were made aware of an issue in Authelia's issue tracker (one of the top open source auth servers) asking for Caddy support, we looked into it more closely. Nobody reached out to us about that issue being open, for whatever reason. We got a massive amount of help from James Elliott at Authelia who did extensive testing and helped us design the config layer so that it would match general expectations.

The issue I think you're talking about is this one: https://github.com/caddyserver/caddy/issues/2894. Early on in v2 betas, we opened the discussion to get community feedback about the "Authenticator" interface, i.e. https://github.com/caddyserver/caddy/blob/master/modules/cad... and what would be needed to support everyone's needs. Nobody ever suggested "forward auth" in that issue. It was all very handwavey suggestions with nothing truly actionable. So the discussion stagnated, and we closed the issue.

> Their one major disadvantage is the chasm between version 1 and 2. Most info you can find is about version 1 and does not apply to version 2.

Caddy v2's been out for 2.5 years now. I think the balance has shifted on this, it's much easier to find info for v2 than some time ago. That came naturally. It's to be expected for _any_ major change in a project's direction. It's not unique to Caddy in any way.

> I don't like its community much either. The top guys are pretty arrogant.

With all the above said, I think it's moreso that we feel the need to defend Caddy and its reputation, especially because it keeps getting attacked due to misinformed comments, for example the question of licensing; the licensing issue people had was mostly invented based on a misunderstanding.

But feel free to elaborate on what you think we're being "arrogant" about. I'd be glad to clarify any misunderstandings.
SEC doesn't have the power to unilaterally silence someone, and that isn't what's happening here. The story told here is about settlements. These settlements are agreed by both parties and supervised by a judge. The first amendment doesn't prevent you agreeing to silence in exchange for ending a legal proceeding.

FWIW the term "gag order" usually refers to a court order (ie from a judge) not discuss an in-progress proceeding. It's a bit of a misleading title.
This is the bane of my existence working with Lua.

Iterating an array or adding to the end are fine, we have ipairs and insert for that, but ranges on strings I'm constantly having to think harder and write more code than necessary.

I love the language, wouldn't trade it for another, but the 1-based indexing on strings, which represents an empty string at position 3 as (3,2), it's egregious.

Not as egregious as a dynamic language where 0 is false though.
Kind of interesting that the patent troll going after them used to be a patent agent ~15 years ago. I wonder how common that is?
Looks to be a vanishingly small difference if they guessed correctly, the first time they were asked, 94.7% of the time with 90% confidence.