skysight-inc/HackerNews huggingface dataset:
The Langlands program is not similar to homotopy type theory. It is 'unifying' only in the sense that it makes striking, deep, yet very concrete[0] connections between 2 seemingly disparate areas of math, and because of this the tools needed to make progress in it end up touching all areas of mathematics.

Homotopy type theory is more for about foundations of math stuff, i.e. which axioms you use to prove things. ZFC is by far the most common system to work within, not HTT.

[0] ..despite taking years of study to understand the conjectures
While I'm sure you learned this, you forgot to mention: manage their expectations.
Bad take. People are rightly wary of public health when public health openly discredits itself--you'd have to be an absolute imbecile to believe, e.g., covid was a huge risk during anti-lockdown protests, but was not at all a concern during BLM protests.
Adding to this, in some US states insulin has been made prescription only. Because surely that won't have any unintended consequences.
As far as the evolutionary purpose, it’s worth noting that cannabis produces many of the same terpenes and related chemicals as other common herbs or fruit, including carophyllene (black pepper, cloves), terpinolene (nutmeg, cumin), myrcene (hops, mango), limonene (citrus, rosemary, citronella, cilantro), pinene (conifers, basil) and dozens of others.

The resin glands are also quite sticky when damaged, which could play a role as a physical defense against insects.
Modeling Construction Domain
housing prices (and asset prices in general) are already in a bubble - you can either deflate that bubble (unlikely to happen given the state of things), or you inflate the rest of the economy to match.
Underrated problem of testing backups, generally. Making it easy/common can also mean greater exposure to risk of data leaks, if you don't take great care.
I have a feeling somebody somewhere is paying for it. Who that might be and what their real motives are, I have no idea. But it's well known that modern marketing companies will buy or create social media accounts and employ people to post their line around the web. I don't know whether the parent post is such a thing or not, but it would be foolish to assume that things like that don't happen on this board. But it's also funny how, if the issue is framed right and promoted in the right places, you'll get some people who are genuinely into it and post about it on their own.

The really weird part is, what are you to make of it if you genuinely like a position, but there is also a well-funded campaign to push it?
> and all doc is written by Azure VMware.

I don’t follow what you mean.

>What's the relationship between MS or CBL-Mariner and VMware?

None? Photon is an open source Linux distribution that’s based on fedora. Mariner pulls from photon, fedora, and others. It’s entirely developed by MS.
> upper middle class wage, e.g., $220k

Oh, so you live on one of the coasts, then.
Decolonization as the article uses it just means to have curricula include authors from a diverse range of perspectives and backgrounds. If you think people should spend more time studying "transcendent themes and values", I can't imagine why you'd be against that.
> the real problems stem more from schemas than data formats

Oh, how the turntables turn. Ontologies are hard, and always fail in some way[1]. There are strategies like entity resolution[2] that attempt to take items from dataset A and items from dataset B and figure out if they refer to the same thing, but they are expensive and time-consuming and even when they work, only approximate.

Anyone has ever done a data migration project of any complexity knows that there must be provisions for dealing with data quality issues, especially if effort includes reconciling data from multiple sources.

1 https://oc.ac.ge/file.php/16/_1_Shirky_2005_Ontology_is_Over...
2 https://doi.org/10.1145/3418896
Peterbilt? I believe they still make trucks.
More precious than coal?
An easy way to deal with Google Apps Script’s 6-minute limit
I’d posit that OnlyFans operates on the freemium video games model where a few select whales generate all their money. You just really need to catch one person who is into you.
Underlying theme to all this – invest serious money in customer support for your product. It cannot remain an afterthought, and you cannot do it yourself on the side as a founder. Getting a new customer is hard, but keeping them long term is even harder.
Yes, even depending on context. You can spend days playing with the configs and not even scratch the surface. And coming up with a sane keybinding for an IDE is huge project, if not a job.

...I feel like back when working with XCode, stuff just sort of worked.
I think that people need to understand that once they put themselves out there, especially in sex-fueled environments, they’re adding risk to their lives. They put their sex on full display and think “yeah this is totally fine” while it obviously carries some huge societal weight.

I’m not justifying their actions, but also don’t be surprised when they happen. The world isn’t perfect yet.

I don’t care much about OF, but I’m sure assholes send threats on any platform, and it’s not really a platform issue as long as they implement blocking and some sort of spam prevention.
If you trust people like "you" more than the "state" to decide what your fate is.

The modern state with mostly impartial judiciary seems pretty good right now, but i imagine that wasn't true in various times and places.

Jury nullification is also an interesting practise (see for example abortion in canada)
I can't speak for the person you're responding to, but I don't think an assumption of human trafficking by the site's owners is supported given that some other site's owners did human trafficking. By all accounts I've been exposed to, models on OnlyFans earn much better than models on other sites. That seems like a prima facie reason to believe it's overall a good thing, and the evidence would need to be presented to demonstrate otherwise. Starting with the assumption the owner of something you don't like is a human trafficker is not a good way to make a convincing case against OnlyFans.
Fix: System Service Exception BSOD Error on Windows 10, 11
It would be helpful if you would post a comparison of income vs housing cost in your area. They're replying to someone posting about San Francisco.
I figured that was the point of YC.
First party
Pretty sure that is referring to political power rather than sustainable energy. I don’t think there is a direct link between energy efficiency and moral deficiency.
One was even sold twice in one day: https://www.azcentral.com/story/money/real-estate/done-deals...
I think it's pretty great actually. How would you make it better?
This seems like gatekeeping. You’re describing the awesome power of software: it can be updated and infinitely replicated and is therefore more tolerant of mistakes. Just because the field has this boon doesn’t mean that those working in it aren’t “real engineers” or whatever.

Suppose technology was sufficiently advanced to make steel mold production nearly free and instant. Are the mold designers no longer engineers then? (Watch out for 3D printing, by the way...)
Get rid of the preconception/expectation that all kids learn at the same rate. So instead of grouping kids by age, group them by skill level. It’s odd to assume that just because a child is N years old that they should all be expected to be at a certain skill level.
Eh, I mean, I grew up with Macs at home and school and have definitely seen the light of free/libre software. That said, it took a long time, and it was also largely because I have always been quite conscious of privacy (and to a lesser degree, security). It is still indeed an uphill battle for all the "I have nothing to hide" average people who just act like you're paranoid for even bringing up the subject of privacy.
Another option: https://github.com/ipfs-rust/ipfs-embed/
> as long as A & B both have the same sized integer with the same endianness and we've defined what to do if A is outputting a 64-bit value while B is inputting a 32-bit value and A sends something that doesn't fit in 32 bits

Well put. I still remember the time I helped a junior colleague debug an error (in C) simply by suggesting he look at the size of the types he was computing. Lightbulbs went off.
1p - first party, meaning other Microsoft teams
The first thing any bad actor would do is unhook the trailer and hook it up to their own truck and drive away.
I always thought it was supposed to be a woman orgasming. The last song, Eclipse, is about death.

edit:

> She was Alan Parsons' idea. We wanted to put a girl on there, screaming orgasmically. (David Gilmour)
> Yes, but in an area with such a hurricane risk that it led to an increase so great that it more than doubled someone's home mortgage,

I believe you assume that the increase was tied to our increased risk. It would be more accurate to say that it was tied to risk of other places, hundreds of miles away. In my post, I had stated that we were at less risk than major mid-Atlantic cities.
This is actually the first pop math article I've read in a while that didn't make me roll my eyes.
Yeah. A National hero / amazing community member gets busted growing some weed. The charge is 10 years in prison. I sure hope there’s a jury so they can throw it out / nullify out
DeepSukebe – Nudificador AI-Leveraged
If your building has HOA dues, renting doesn't mean you aren't paying it; it just means your landlord built the cost of it into your rent. Same with property tax and the landlord's home insurance payment. After which, if you want to be safe, you then need to spend more to get renter's insurance.

And I would expect a landlord would build estimated repair costs into the rent as well, at least to some extent. Of course that doesn't mean something unexpectedly expensive couldn't happen.
> (after all you did say you were walking away from this thread like 3 or 4 replies ago)

I stopped responding to a different thread in which your responses were less subtle trolling and more obvious, surface level trolling.

> I swear to god I am sick and tired of you folks talking down to me about this stuff like you're better. You are not the first and certainly not the last.

Intentionally "having an attitude" is met pretty poorly, pretty frequently I'd bet. Sounds like a delivery problem.

> The way I see it, the nerds built this shit and tech is our house.

Eh, not really? FAANG dominates tech now. FAANG employs most of the best technical minds outside of prestigious universities, like it or not.
haha wow, that's a rough one!
> The game has since been stable for about 500.

There were a few patches to chess in the mid to late 20th century that disallowed promoting a pawn to an enemy piece (this was useful for forcing a smothered mate), and to prevent vertically castling to a pawn that had been promoted into a rook on the 8th rank (notated as 0-0-0-0-0-0).

Not exactly fundamental changes, but still amusing that they needed to be made after so many centuries.
> While I agree that the institutions can be expected to cover there ass

Should we have that expectation? If a person does it we call it concealing evidence, intimidation, and perverting the course of justice. On the other hand, if they confess right away, we treat them leniently. Why should institutions differ?
Alright,
5. Insolvency and Bankruptcy Code
6. Digital India
7. PM Awas Yojna (Housing for all)
8. Motor Vehicle Act
Crypto exchanges seem to be universally helmed by market maker and high frequency trading veterans. See QZ at Binance (former HFT) and SBF at FTX (former Jane Street).
I live in a state (California) that made it legal. Nothing changed except the state collects taxes now. Everyone who wanted to smoke marijuana before legalization was already smoking it. Legalization didn't change anyone's habits as far as I can tell. I don't even see any increase in smoking in public (not that often)
Note that South Bay includes San Jose, which is a substantially larger city than San Francisco.
Is GitHub Copilot a blessing, or a curse?
I'm sorry that San Jose is lame.
Why not go a step further. Let's take the "it won't scan at checkout" joke seriously - no posted prices mean the price is $0. No collecting anything.
Kitchen remodel is probably 30k plus. You can move many man times for cheaper. Lots of places accept $500 security don’t have to put in 1.5 months.
> The road to "tutorial hell" is paved with blogposts and missing fundamentals

Even worse is that blog posts can have incorrect, bad, or even dangerous information. If you've just found it in a search, you have no idea of the skill level of the author.

I recently came across a post about a JavaScript WYSIWYG editor which stated that you didn't need to worry about sanitizing the HTML output from it because it took care of that for you. An attacker could of course send malicious data straight to the server or manipulate the client code however they want, so without also sanitizing on the server (also a hard problem), this opens a huge security hole. Ten years ago I probably would have naively followed this and thought everything was okay.

Tutorials are often useful, but they also cannot be trusted, especially without other resources. I feel I've learned the most from reading in-depth sources like official docs, specs, RFCs, or the source code of high-quality, well-maintained libraries. It can be harder at first, but I learn things I wouldn't have thought to look for, and there is something of a consistency in presentation (at least by comparison) that makes each additional one easier to go through.
> Yeah, but people are listing low to attract more eyeballs.

Any other year I'd accept that. However, that's unlikely to be true this year - in most US markets. Buyers and renters alike are bidding up properties because there is one property or less for every 100 prospects.

Here, landlords get 400 applicants the first day a rental is listed. The second day they get 400 more unique applicants. The rental we just moved into was up for less than 2 hours and received 50 applications. We won by paying 6 mos in advance + last + 1.5x security.
Focus and Stay Productive in a Noisy Open Office (2016)
I'd love to know how these mathematicians build intuition about multi-dimensional objects. These theoretical mathematicians blow my mind every time I try and read something about them.
Earn, (which was acquired by Coinbase and shutdown/rebranded), did the same thing as OnlyFans, charging for direct messages. There are many services like that. Many content producers on OnlyFans switch away from subscription model to just freemium with paid direct messages.

It is unnecessarily gendered to treat OnlyFans differently just because the many content creators on OnlyFans are women leading with their bodies. Maybe you weren't aware of other services that let people charge for DMs that simply didn't get associated with adult content, maybe that's not what you meant, but the comment you replied to said the OnlyFans platform is less about the nature of its product and more about who its content creators are, which you seemed to disagree with but then replied with a completely different comment.
No I think it's super valid what you shared. After all, we really approach things with the mindset that if something is ever unclear be it within the product or marketing, it's always on us and not the customer. I.e. if a flow (or copy) that seems super obvious to us and power users doesn't make sense to new faces, that's an us problem, not them.

But yeah we've certainly had a slider in the past with a calculator so could certainly build that back into the page! I'm 100% with you on not making people do the math, especially with the pricing plan/tiered approach we've taken.

Pre-business plan it was super neat to test out what user number was most effective to show on the initial calculator view. Plus it was a great edition for the CS team when sending potential customers ball parks of plan costs.

But this was incredibly helpful feedback so thank you so much. :) If we get the calculator up and running soon I'll be sure to send it your way!
You have to sit down and teach him the math and sit with him while he practices.
I think people are afraid to take the first step. For example, you really want to continuously test your backups, and that's not a straightforward engineering problem. But, before you invest time in that, you could just test them manually every month or so. A lot of people let great become the enemy of good -- if you restored one backup successfully, you're way ahead of most of the industry. Sure stuff can break in between the manual runs, and disaster can easily strike while they're in the broken state. But, that's less likely than "oh, our backups missed a critical table" or something.

I also think doing a disaster recovery exercise every few months is also highly valuable. You might think you know how everything works, and that you've covered everything, but remove permission from staging for everyone on your team and have them build it from scratch, and you'll figure out all the things that you forgot about that silently work in the background. (Last time we did this, we realized we didn't back up our sealed secret master keys -- they get auto-rotated out from under us. So we had to provision new passwords and recreate the sealed secrets to recover from a disaster. Now we back those up ;)

(A corollary: if you've had really good uptime in the last year, your customers probably think that you offer 100% uptime. But you don't, and they're going to be mad when you have an actual outage that the SLO covers. So it might be worth breaking them for 5 minutes a quarter or something so that they know that downtime is a possibility.)

One more point that I want to make... sometimes the cost isn't worth it. If you're a startup, you live or die by making the right product at the right time. If your attention is focused on continuously testing your backups, your time is taken away from that core challenge. While a hack where you don't have a backup is likely to kill your company, so is having a bad product. So, like everything, it's a tradeoff.
Then being behind is completely your fault.
I believe he is not saying the site owners are traffickers but that some OF channels could be trafficker run.
We have a "women and children first" reflex. We seem to draw extraordinary attention to the troubles of beautiful, young women. Call it "damsel in distress."
And the GPL
Okay, yes; if you ignore network effects and claim that forking code gives you meaningful control of it, then FOSS can never be controlled by any centralized entities. You will forgive my skepticism.
> I've worked on most of the advanced technologies in use today over the last few decades

The "war stories for hours" is very strong with this statement, I feel.

I figure that a lot of them can sadly never be told :( but I'd like to firmly +1 the idea of considering what can be shared. Sign me up :P
> $1000 is principal, $400 is interest

Your numbers don't seem normal. Looking at a mortgage calculator, given a new $370,000 home price, with 20% down, 3.92% interest... the P&I is $1,399. Of that, $967 is interest and $432 is principal. Those numbers are almost the reverse of yours. It wouldn't be until ~year 20 of the mortgage that the numbers would match yours.
> onlyfans is especially predatory

if this is what you call predatory, then why isn't sports stars and film/music celebrity culture not predatory in the same way? I don't see the difference.

I say let people do what they want, as long as they understand what they're doing and is informed of the (potential) consequences.
Shameless plug here if anyone is interested in an open source live chat tool check out https://github.com/papercups-io/papercups I m one of the maintainers :)
5. Don’t use (only) direct disk access to backups

I think all of that is lost if the cryptolocker just formats any volumes named Backup.

The copy-on-write can’t just be enforced by the filesystem. If this computer can permanently delete content on the backup system, then so can the locker.
No one is charged with a set amount of jail time. They’re charged with specific crimes which may have mandatory minimums (assuming the jury convicts on all charges).
Ease of use. Pis are great, but not a trivial setup, especially when you get in to adding ir commands.
This is why i have my own tape backup system in addition to cloud (someone elses computer) backup. Ready to restore everything quickly.
If you have solar power, you sometimes generate more electricity than you use. You can sell that power to the local power distributor, or store it in a battery. Both have efficiency loss issues (you may only get wholesale from the power company, and batteries wear out). Or you can use that excess power to generate cryptocurrency, and use that to buy more power from the utility provider when you need.
>Peppa Pig was the second most in-demand cartoon in US households

I wonder how they determine that.
Mint Mattress Coupon – 15% Off
> So is it that you believe that offering to crack passwords

No such "offer" was extended, nor is there any evidence that cracked passwords were ever used to obtain any data. If you're suggesting that merely talking about password cracking is a crime, well then you've just criminalised a lot of discussions here on HN and reddit.

> encouraging further network intrusion is not a crime

Cite the transcript entries [1] where this alleged encouragement happened.

> I do think there's enough evidence to support an indictment

And you formed this opinion from actually reading the official transcripts [1]?

[1] https://www.documentcloud.org/documents/886185-pe-123.html#d...
Right? I regularly ask seemingly-rhetorical questions "just to make sure", and this approach helps me catch tons of otherwise-unnoticed issues. Being curious and vocal is a valuable approach in any technical business, IMO.
> we can tell exactly in which order theses threads were executed

Everything I've ever been taught about multi-threading, parallelism, and concurrency says never to make any assumptions about execution order. What are you doing that your care about it?
Odoo Community(Open ERP) Hosting Is Now Free
What procurement can do to fight inflation
Thanks for sharing. I guess it makes sense to spend the extra money for a good customer service tool.
You have to have some plausible means of proving the company agreed to your terms. I don’t think a judge or jury would find that plausible. It’s just like how “silent” TOS changes are unenforceable.
If your wife wants to buy a house… buy the house.
"if"

(Your guess may be incorrect)

In some cases I have 24MB but I want to conserve space for other programs. The go-ipfs uncompressed binary is 56MB not 24MB.

That is a multiple times larger than the combined size of the kernel and userland I use.

Seems like making ipfs run on smaller systems is a goal some are interested in pursuing. I could be wrong but I doubt I am the the only one interested in this.

https://github.com/Twodragon0/OpenWRT-IPFS
Funny! I posted on Microsoft's Linux several days ago
The summary, I think, is that they should list calls to action for OnlyFans, or point out that the biggest tech giants are struggling with the same issues on their own platforms, ie. hackers, stalkers, 2-factor authentication, lack of live chat for support.

BBC could have done a bit more to summarize calls to action instead of helping readers conflate multiple issues with preexisting biases. It is also a pretty decent reality for what creators can expect, right now. But, despite that I felt it was decently balanced. They accurately say the site has associations and can be used for other things.

Just saying Youtube, Facebook, Snapchat, Instagram and others have the same issues would have been useful.
I cant see how this leads to a number of 100+ political opponents. Seems playing fast and loose.
Cargo plane face plants after mangled maintenance check
It was a very clever move. Well done!