skysight-inc/HackerNews huggingface dataset:
> Yes, a type theory is a logic, but not a particularly good one.

Given the context of the original post, type theory at least has the benefit of actually existing in industrial languages in the form of a bunch of implemented and in-use type systems.

> It is limiting to have to under-approximate the mathematical universe via statically typed chunks before being able to talk about the objects in the universe, and the article just describes another instance of why that is problematic in practice.

>

> The alternative I propose is simpler than you would think, and definitely simpler than type theory, but it is also very new: http://abstractionlogic.com . And of course, it doesn't come with a fixed algorithm for type checking, but going forward and in the age of AI, I think that will turn out to be an advantage.

That's helpful in understanding where you're coming from, but now I'm even more perplexed--what you've linked to seems extremely theoretical. The closest to something my industrial programmer brain can grasp and read that I'd care about (in the context of the original post we're discussing) is https://obua.com/publications/automating-abstraction-logic/1..., which seems focused on theorem proving.

None of this is meant to suggest that I don't see the value in what you've linked to--it will take me some time to absorb, but I will take a closer look--but if you want to come into a discussion about a post like this one and criticize it, and more generally type systems, I think you'd be better off showing more directly how your approach can solve the same problem (or how it doesn't need to solve it, which it sounds like you're implying) in a way that doesn't take reading through a bunch of fairly abstract posts and papers or watching a five-part video series first. And if there's no actual implementation (that I can see at least) then don't expect me, an industrial programmer--like most folks on HN I would guess vs. e.g. lambda-the-ultimate or whatever--to consider it worthwhile past idle curiosity.

I see value in Valim's post because it identifies a problem with type systems that I understand and have encountered, and provides an incremental and pragmatic solution to that. It doesn't seem like you're offering a coherent, practical alternative, regardless of the validity of your arguments ("It is limiting to have to under-approximate the mathematical universe via statically typed chunks before being able to talk about the objects in the universe" makes intuitive sense to me in this context, at least).
"…willingly sold their souls."

Trouble is, they know they have and don't care a damn.
So, if the productivity-wage divergence is simply a reflection of US healthcare costs, how does that chart look for other countries where healthcare doesn't glue itself to employment?
Exploring Database Isolation Levels
> women's cruiser

Also known as a bicycle with a step-through frame.
> basically go back to old SMF/php forums with maximum 100s of known people. I thought about this recently… It was really better times.

I'm going to take a wild guess and assume this is how you grew up?
Most people wont like this, but the answer is because courts care about if the harm actually occurred in fact, not if there is risk that harm might occur.

You cant sue another driver because they risked crashing into your car.
I don't think putting up a few libraries on GitHub and writing great post-mortems makes something "Mostly open-sourced".
Symphony of the Night's notorious English translation didn't need fixing
The timing is the whole point - original website is trying to blame everything bad on dropping the gold standard, which happened in 1971.
PRISM revealed secrets. It also revealed that some companies fought back as much as possible. It's also possible to design core tech so that even when forced to participate, you reveal as little or no information.

CloudFlare, PRISM, and Securing SSL Ciphers, 2013-06-12 Matthew Prince
https://blog.cloudflare.com/cloudflare-prism-secure-ciphers/
In the last paragraph, the author of the post you are replying to is saying something entirely consistent with what you are saying here. The title of the article, on the other hand, is suggesting something less nuanced, and ks2048's main point seems to be that putting arrows on the charts at 1971 does nothing to support the view that a singular tipping point occurred in that year.
Const whenever possible.
I care because I am interested in how language reflects and shapes beliefs and I have never seen that phrase before.
Not even scammers.

This is essentially the future of AI models that emulate male sex workers. The "romance scam" is basically what they'll do. Only they will dispense with the Brad Pitt likenesses, because they will have enough information to come up with AI faces and bodies meticulously calculated to maximally interest the, um, "client".

Oh, and they will be legal.
You're not wrong, they depend on an external SQL database, which they access with sqlx.
"I understand the comic effect but we're talking about a woman in her 50s who got conned by deepfakes and AI which your parents and grandparents would be incapable to spot," one popular post on X read.

This ignores the fact that her daughter tried to explain it to her for over a year.

To me it seriously raises a question, what should we do with or think about people who deemed capable and are 50+ “YoE” but still unable to real life or a little bit of logic, basically.
Great, so we have TikTok where we can access information that's being censored by the West, and Facebook to access information that's being censored by the East. What's the problem? Information wants to be free.
In NJ, the School Superintendent is effectively the CEO of the district.

Many of them had advanced degrees in education, management, and finance. They control tens or hundreds of millions of dollars.

Ours has a BA in health, was a gym teacher then an admin person, eventually a principal and then we hired him out of desperation when covid hit and our superintendent was retiring.

He has been a total disaster because he lacks leadership skills, does not understand finance and hides behind the hodgepodge of technical jargon that public education has become.
Yes, of course, but Donald's always ready for an extra grift. I'm sure there are a few cronies in desperate need of an appointment who'd be perfect to run it.

(Also, presumably fits in with his attempt to convince the more gullible section of the population that tariffs are paid by the country of origin, rather than the importer.)
Climbing Everest is an incredible feat no matter many aids you have.

There are a lot of delusional people who wish they could pay their way to the top, but they get filtered out by the realities of how hard it is to climb at altitude before they can even get to the point of making an attempt.

It's definitely easier to make a climb today than it was decades ago, but it's not something the average person can pull off. You have to be very fit and motivated to do it even with the aids.
I think it's clear they aren't really sure; putting up a bunch of quasi related charts points to a desire to facilitate a discussion.
It's a single lagrangian with a couple of dozen constants, in their pics there as well. It's just expanded out to different degrees.
Certain companies have very strict data handling requirements, and can't just send data off-site.
I don’t know why this was down voted. This is historically true.

The modern canal that runs through Phoenix is built on top of ruins of a much older canal built by indigenous people for farming.
> The correct (and scientifically valid) thing to do is to only take action when there is actual evidence and proof of harm being done.

Because we're talking about food I would actually like to see the opposite. Provide peer reviewed, gold standard studies showing that what you want to put in food is in fact safe.
Initially I sent out Mailchimp newsletters to my closest friends, but found the interface a bit clunky, so instead switched to Wordpress. What I do is write specifically for the audience of my friends, send them the newsletter, and post it on the Internet.

What I found kind of interesting, is when I would see some of my friends months later, they would cite something they found interesting from the blog. Occasionally, I peek at the metrics, and it is in the low single digits, but I'm okay with that as long as my friends have seen it.

My guess is with the inundation of shallow knowledge and posts people resonate with deeper writing.
Absolutely you can. Rip off the last layer, add a regression layer in it's place, fine tune.
It is the experience of every non-german working in Germany and especially in automotive. I'm white fwiw.

I probably lost years of my life expectancy just working there.
In fact I think the best thing that could happen for the european tech sector would be for the german automotive industry to collapse.
I love that I can have multiple profiles in IG and Threads, each tuned like you talked about for a specific interest of mine with no cross-pollination
> The gold standard era was full of crises

E.g.,

* http://archive.is/https://www.theatlantic.com/business/archi...
That’s easy to answer, The Powell memorandum. https://en.m.wikipedia.org/wiki/Lewis_F._Powell_Jr.#Powell_M...

There’s a clear through line from what that cruel, despicable man put to paper that year, to the incoming presidential administration in 2025.
She is creating a bad buzz to get helped from detectives, lawyers, media, the public etc. The price she pays is being mocked at, yes
This makes sense and is probably what we’d do.

The “cheapest private school” suggestion was also a response to avoiding another culture we wanted to avoid: entitled rich kid

The idea was that a tuition filter might help here, but that was purely off my friend’s experience as I have none with private school.
I don't see how that validates the response of the public mocking and harassing them.
Editorial discretion is absolutely part of free expression
We're building our startup infra on cloudflare over the other major hyperscalers and it turned out to be an amazing decision...

Generous free tiers, pricing scales very competitively after that, and their interface is not nearly as bad as GCP / AWS.

I highly recommend this stack.
At least here in Denmark it is very common to start with a bike that is build without pedals (and chain etc). It works really well, one of my kids could ride her pedal bike before 4 years old thanks to starting on a “løbecykel”.
I think there are a few other benefits (even if that was the main benefit/driving force behind the decision).

When you have low-paying (or zero-paying) customers, you need to make your system easy. When you're enterprise-only, you can pay for stuff like dedicated support reps. A company is paying you $1M+/year and you hire someone at $75,000 who is dedicated to a few clients. Anything that's confusing is just "Oh, put in a chat to Joe." It isn't the typical support experience: it's someone that knows you and your usage of the system. By contrast, Cloudflare had to make sure that its system was easy enough to use that free customers would be able to easily (cheaply) make sense of it. Even if you're going to give enterprise customers white-glove service, it's always nice for them when systems are easy and pleasant to use.

When you're carrying so much free traffic, you have to be efficient. It pushes you to actually make systems that can handle scale and diverse situations without just throwing money at the problem. It's easy for companies to get bloated/lazy when they're fat off enterprise contracts - and that isn't a good recipe for long-term success.

Finally, it's a good way to get mindshare. I used Cloudflare for years just proxying my personal blog that got very little traffic. When my employer was thinking about switching CDNs, myself and others who had used Cloudflare personally kinda pushed the "we should really be looking at Cloudflare." Free customers may never give you a dollar - but they might know someone or work for someone who will give you millions. Software engineers love things that they can use for free and that has often paid dividends for companies behind those free things.
The cause might be different, 1980s were 45 years ago. Half a century ago.

The causes for suicide might've changed in the last 50 years.

Also, the number of children suicides was in a downtrend before it went up again:

https://www.cdc.gov/mmwr/volumes/66/wr/mm6630a6.htm

https://www.economist.com/graphic-detail/2023/05/03/suicide-...
Again I note the distinctive lack of self-awareness from the demographic that is moving away from TikTok to a communist country value harboring app like RedNote

The Rednote or "Xiaohongshu" in Chinese is literally referring to the Mao Zedong's propaganda book the modern counterpart being "Xi's Book of Thoughts"

It's frightening how much young Americans hate their own country and the values that have allowed them this much freedom.
> and they're confused how anyone got "Red Note" out of it

"Little Red Book" is the literal translation of the original name but that's not the only way companies approach global markets, especially with longer to say names. It looks like they sometimes use "REDNote" (as it appears in App Stores), "RedNote", and sometimes just "RED" depending on the context (e.g. their advertisement/promotional email address is red.ad@xiaohongshu.com).

As to how they got there with it? "Little Red Book" is just an awkward mouthful to refer to compared to the alternative forms they used.
Cool. What are you building?
It seems like Helix is using it https://github.com/helix-editor/helix/blob/master/docs/archi...
The thing is - the average school is terrible. NAEP scores show less than 25% reach "basic" proficiency in math, and reading is even worse.

I can't find any comparable stats on just religious schools, but I strongly suspect they are, on average, performing substantially better than non-religious schools. The reasons for that are more to do with the students than the schools, but the exact reason is inconsequential - the point is that people are targeting them because of the religious aspect and not the quality of education.

The typical claim of evolution is illogical. Even if a religious school solely and exclusively taught creationism while not even paying lip service to the controversy (which few to none do), it's not at all like a child's education would be permanently crippled. As the most important things learned in basic education are not facts, but skills - reading, writing, and arithmetic in particular.
I’m planning on not supporting Microsoft in any way in the future myself. I wish they would stop making their suite of products less usable and more bloated
The impact stated is wildly outsized. I read a microsoft report regarding this that was heavily touted and one of the "prime" examples given was a 1M view Twitter video.
She was tricked. The money wasn't physically taken. She lost the money because, unlike she claims, she is indeed a moron.
Whataboutism isn't an actual defense. I don't know who Dr. Oz is and it has nothing to do with the issue above.
Funny, that's not my preferred one nor the teams
The lack of morality in the parent post discourages me.
Don't backtrack now. It's only funny to you because you don't know her. I don't find everyday sociopathy as amusing myself.
> I have to assume it's still quite challenging and arduous compared to like a day hike in the cascades or something

That's an understatement.

It's trendy to downplay climbing Everest now that it's associated with rich people, but it's still an incredibly difficult feat. There isn't any comparison to a day hike in the cascades.

I have several friends who I consider very athletic and trained. Even they had difficulty with smaller, less challenging peaks. You can't climb Everest without a lot of training, motivation, and dedication, even if you have all the money in the world to spend on it.
The agents of the state will use physical force to put them in there.
Should society remove citizen’s rights to those helpless people then ? Who should watch over them and be responsible for their acts ?
I'm not implying anything.

My point is pretty simple: Booking is offering a discount that only exists in the users head because they trust that after N purchases in a row this qualified them for getting an even better rate. But Booking can't really offer these things because they have already squeezed out the limit from the accommodation.
true decentralization means it will be rife with bad actors taking over the network in decentralized methods. it won't work and will be ultimately result for illegal activities.

decentralization != morally beneficial for the masses.
I do not see the correlation either, other than people buying stuff because an ad popped up, but that is not their primary reason for being on Facebook.
I know, it was sarcasm
Applying Shannon's Information Theory to genetics – mutations are not random
you run compute workloads on there?
I think trying to equate the situation in the 90s with what's going on is a mistake because it glosses over the huge differences and increased harm in today's world.

I also had a Gameboy in the 90s. I played with it quite a bit, but nowhere near the average amount of time spent on screens by kids today. And I don't think there is any school in the US in the 90s where you'd see every kid glued to a digital device at lunch.

I think it's like saying "hey, I smoked weed in the 60s" and comparing that to someone freebasing cocaine today - or heck, even smoking weed today, as today's weed has about 10-100 times the amount of THC as most 60s weed.
> and they're confused how anyone got "Red Note" out of it.

It's actually just what it's called in the US app stores: "REDnote—小红书国际版"
Solar panels should not be cleaned with dishwashing detergent
Huh?

Money acquired via divorce is "easy"?
Maybe the scammer was the ex husband.
Alcohol causes cancer, should we reenact prohibition? Water is poisonous in large enough doses. Should we ban water?

Nothing in this world is truly free of all risk. We have to make judgement calls with every single substance. Yes, coloring food is a legitimate use with real benefits that we need to weigh against the risks. And we also need to consider the very real costs of enforcement and burden of compliance. Bans are an extreme option that does not come without costs for the government and society.
> Ranting about the lack of "masculine energy" at the company.

This one in particular feels very midlife crisis coded; weird insecure masculinity stuff. But, y'know, most men who have issues with that get by with an ill-advised car or something.
Depends. Mostly not. But Pegasus spy software was put on iPhones via silent SMS. So those targets didn't even need to click a link. All they really had to do was owning an iPhone. And made their number known.
I believe it helps, because we don't have to reduce the bit energy as much to operate efficiently. But this would need to be studied in more detail.
That’s over 10 years of support, seems reasonable.
Are they really blaming it on that or is that what the typical (inferred) explanation is? Clearly things started going wrong economically around that timeframe.
Tiny tool to detect Honey extension in visitors browser
Nah, they would use AI, and as such, would not really limit scale.
Unfortunately for her the mocking is to teach other fools not to be one!
I'm a climber, who has summitted a few of the world's tallest mountains in South America. That may sound like a brag but it isn't--just as with the people who climb Everest, I had a guide, who did most of the work. Later on I got a lot more skills and fitness, and did some smaller mountains on my own skills (with partners, not with a guide). But really, I'm more invested in sport/trad climbing, and I am, at best, a novice mountaineer. I just know enough to know that the achievement Everest climbers are claiming is basically nothing.

The people I've talked to who have summitted Everest, with one exception (a retired sherpa), know literally nothing about how to mountaineer. They don't know how to fix a rope--literally one of the most basic, easy skills. They can't climb 5.6, and in fact don't even know what 5.6 is. They don't know how to analyze snowpack. If these people attempted, for example, a winter ascent of Long's Peak, which is many people's first summit, they would likely die, because they are even less prepared than beginner mountaineers who usually attempt this mountain.

My investment in this is that beginners showing up with money and claiming reputation because they summitted the world's tallest mountain detracts from the reputation of every other practitioner of the sport. It would be like someone claiming to have run a marathon when they actually were pulled by someone else in a rickshaw--and yes, the colonialist metaphor there is intentional. It's an insult to anyone who actually puts in the work to learn and get fit for mountaineering, and their buying their way to the top makes the mountain inaccessible to real mountaineers.
Alternatives to what? Five Eyes? Good luck with that.
I want to respect the user here, but also they need to be saved.

The companies are big because they’re advertising machines with intense targeting abilities, which makes for a great place for advertisers to spend money.

Plenty of people enjoy Facebook, and plenty of people enjoy drugs and gambling and all sorts of destructive behaviors that many nations regulate. I think we can recognize that it can be fun and have utility, while still being dangerous or problematic.

If you had to convince people to pay for Facebook as a subscription, would people use it the same way? Would they still find utility there? Would they prefer a competitor?

I have a facebook account from my college days, but I don’t use it and neither does most of my network. My parents, despite being deeply suspicious and tech-savvy have started using it more and more to “connect” with family. In reality, I’ve seen their usage and it’s mostly generic groups and memes and similar stuff. I suspect that most people experience the same reality, and respectfully, I think society can survive without that.

To postulate, I think there are a million “better” ways to connect with friends and family, but I also think that there’s no one App that can do everything for everyone. My extended family bought a dozen smart picture frames, and everyone adds photos to a joint account we all share, and that has replaced a social feed for pics of kids/grandkids. I think people would be better served finding what works for them and letting it be bespoke to their family/friends.
> they recive an order from a judge

You can't be forced to hand over customer data after you have designed a system so that your servers don't ever have that information stored in the first place, court order or no.
57 of which written by DPRK Koding Forces, waiting for the right moment to push a glorious update, striking at the heart of The Biggest Enemy.
Her daughter should have done more to safe her own inheritance. Like, if you safe 800K Dollar in convincing your mother she is not romanced by Brad Pitt, I would handle that as a full time job!

That said this is increasingly common and especially elder people can be easily scammed with AI.

https://www.reddit.com/r/Scams/comments/1df081i/my_mother_an...

> Reading through all of this, apparently lots of elderly people having "relationships" with celebrities. Adding my mother to the mix. She's been corresponding with "Elon Musk" for at least six months. She's not even that old, she's only 67...but extremely gullible.

https://www.reddit.com/r/Scams/comments/15sls1v/my_dad_think...

> My Dad thinks Elon Musk is texting him and has lost over $10K - Help!

I don’t know how we can deal with that in the future. Financial regulation to make it easier that people at risk have more banking safe guards and their children/spouses can supervise accounts better? Or hope it fixes itself when the 4Chan generation who grew up with Nigerian prince scams replaces boomers?
Yes: https://developers.cloudflare.com/ Look at Cloudflare Workers and Cloudflare Workers AI.