skysight-inc/HackerNews huggingface dataset:
Unless you work at a place where ops don't write code because "it's the dev's job to write code", so everything is built and done manually; and devs don't have access to any infrastructure and don't bother about it, because "it's the ops' job".

And management of both sides agree with this vision.

"works on my machine" and "the issue must be with the code" are the most used excuses by both sides when something fails.

The ops "api" works by email, but the response delay is usually expressed in weeks.

Most memorable quote from that place : "Yes, a 4 month delay for an answer about your new server might seem long"
If you search for teens, you actually get women in their 20s, which is a better result.

If you want women in their 30s, you can search for milf or wife.

If you want 40s, search for mature.

If you want 50s or older, search for gilf.
It isn't. They literally gave you the document and the string to search.

I'm not your BA, do your own homework.
Schemathesis author here. I hope to clarify a few points here

> From my understanding, Schemathesis can generate data based on a value being a string, number, boolean, etc

Schemathesis can generate data that matches the spec or not based on the config option (specifically meaning JSON Schema based validation) including all the formats (e.g. date, etc) defined by the Open API spec. For GraphQL it supports all built-in scalar types + a handful of popular ones like DateTime or IP. With extra configuration can also generate syntactically invalid data (e.g. invalid JSON). Serialization is a different step - the payloads can be serialized to JSON or XML, YAML, etc. In my private extension, I also use a Python version of `faker` to mix more realistic data into the set.

> It also seems fairly manual to set up and has a learning curve. Our output is JavaScript that can be run anywhere.

The simplest one-off run is `st run <SCHEMA>`, and it is not clear to me what you mean by being fairly manual to set up. If the user already has a schema (or derived it from traffic / generated by a framework, etc), the only thing they need is to invoke the CLI. Surely there are many config options for different scenarios, and one may take more effort to configure than the other.

Everything has a learning curve - more interesting aspects would be whether this learning curve is justifiable and how often the user needs to dive deep into configuration. My aim with Schemathesis is that in 90% its defaults should be enough for most of the users, for the rest 10% there should be as few barriers as possible for the user to accomplish their goal (which often generates data that has a higher probability to uncover defects).

> From there, it automatically generates the correct type and format of data - e.g., if a field is named "address," it generates a value that looks like an address and is formatted in the same way as examples. It wouldn't be practical to cover every potential edge case and scenario without AI.

From the point of view of coverage of the edge cases, the description sounds like a happy-path scenario. What about the deviations?

Also, most fuzzers do a pretty good job in terms of covering edge cases without AI, especially greybox ones. What would be the concrete AI contribution here? Or what is the core difference in covering with AI or without it?
Want to know what makes Apple Vision Pro so impressive? Check out this latest 10-minute guided tour video for a great overview!
I can't tell which questions that's supposed to answer so I'll try to restate my argument in terms of what you just said:

Yes I agree it will make the property taxes go up.

But the decrease in price specifically because of increased taxes is not a problem, at least if we assume they don't go up so much that the price becomes almost zero. And when talking about whether LVT is viable in theory, we should go ahead and assume it.
Oh how that Soundblaster midi vibe takes me back.
> And it's the best economic system we have invented.

That would be the market economy, not capitalism. Since we have state capitalism as well as other varieties that aren't free markets.
Interesting contrast with Gödel's view:

"Everyone believes that the Empire State Building is real, because it is possible for almost anyone to go and see it for himself. By the same token, anyone who takes the trouble to learn some mathematics can “see” the set of natural numbers for himself. So, Gödel reasoned, it must be that the set of natural numbers has an independent existence, an existence as a certain abstract possibility of thought.

I asked him how best to perceive pure abstract possibility. He said three things, i) First one must close off the other senses, for instance, by lying down in a quiet place. It is not enough, however, to perform this negative action, one must actively seek with the mind, ii) It is a mistake to let everyday reality condition possibility, and only to imagine the combinings and permutations of physical objects — the mind is capable of directly perceiving infinite sets, iii) The ultimate goal of such thought, and of all philosophy, is the perception of the Absolute. Gödel rounded off these comments with a remark on Plato: “When Plautus could fully perceive the Good, his philosophy ended.”"

[https://medium.com/@rudyrucker/memories-of-kurt-godel-84f66e...]

Also far from mainstream, but in an opposite direction
Based on what happened at Valve they deserve credit for stating it in no uncertain terms.
This one's not because of heat, but because signal had to go from the beginning of a stage, through several transistors, to the end of the stage

So the transistors switch fast individually, but the speed of the chip is limited by the slowest path in any stage, where you wait for every transistor on the path in series
A good password vault should do that automatically for keys you have registered in it.
I was definitely in the former camp, and eventually bought one because other people seemed to like it, and so took it more seriously as a product. But.. it was after buying it that I realized the emperor didn't really have any clothes, and it was either mostly an expensive status symbol for people who couldn't care less about the money, or a device with just a few specific and very useful purposes. My grandpa uses it for Planespotting, which seems perfectly appropriate to me. Now it's been 10 years, and I've never really thought about buying another one, because it's just not a general computing device that I've been able to make useful for a breadth of things I use devices for. It's only ever been effective for reading reference books, playing YouTube videos (before the app and browser support went away), reading pocket articles, browsing the web, and maybe a few games. Everything else just didn't prove effective, for me anyway. Even trying to watch regular videos on it is a total pain.
The Quest 2's resolution was almost there for me--I could even spend a few hours at a time working on code in Immersed before I started to feel the eye strain. The Quest 3 has made it good enough that I could go all day if I wanted to. The only real sticking point now is the discomfort of wearing it on my face for that long.
A new (computational) theory of cognitive fatigue [pdf]
Lithium is quite common in the ground. Mines are a dime a dozen all over the world. Mining it is the easy part. All processing is done by a handful of plants in China. It needs to be shipped to China, and the products need to be shipped from China to wherever they're used. Mining it is hard on the environment, yes, but it's just a drop in the bucket compared with the part no one talks about.
Careful, now. Ultrafinitists exist within the mathematical community and sometimes we overstate our opinions for funsies. Doron is much more reasonable in person than one may conclude from this website.

To me, ultrafinitism is an intellectual curiosity. Proofs which depend upon the axiom of choice, or a notion of infinity, do not always correspond to algorithms which terminate in finite time. Such results are "useless" to a computational mathematician. The goal of determining how much of mathematics can translate to an finite universe is, in my opinion, a noble one.

A hill I would die on, for sport: "the logarithm of the biggest number I see reason to believe in is the combined size of my RAM and HDD."

The key word being "believe." Mathematicians do not tend to operate on faith. Proofs invoking unrealistic axioms are perfectly acceptable, valid proofs. One needn't "believe" anything.
Yes, not aware of anything else.

Forgot to mention I also like dialing up the privacy settings, like disabling third-party cookies, turn on DNT, GPC, etc. But this is optional territory.
Nice blog. I'll be provocative/pedantic for no good reason and say that what's described isn't "calculus" per se, because you can't do calculus on discrete objects like a graph. However, you can define the derivative purely algebraically (as a linear operation which satisfies the Leibniz chain/product rule), which is more accurately what is being described.
https://youtu.be/eEwC8GVDbKA?si=Dogsu39-LiJjQDA1
Well, it's not like Mynamar's democracy is particularly functional: https://en.wikipedia.org/wiki/2021_Myanmar_coup_d%27état
Is it just me or is the address bar never updating even though the site changes?
The volume is easily controllable, and the hearing aids themselves come with a noise ceiling that prevents sounds from getting too loud, although this is adjustable by the audiologist on a case-by-case basis. I can go to a bar or a concert and actually hear _better_ than those around me, because the hearing aid is actually keeping the sounds from being too loud.

Occasionally when the waveform flattens against the ceiling, it sounds pretty strange, but not disturbingly so.

Anyway, I've never had this problem and I've worn a hearing aid since the 80s, so I suspect it's not as big of a concern as you might think.
thats a solid suggestion, especially for a proof of concept
Oh, they already do that. IIRC, the phrasing was "how do you deal with multi-team dependencies and OKR conflicts?"
That sounds made up. Sputnik wasn't because of capitalism, and capitalism didn't put a man on the moon.
Isn’t there just an “IT guy” they can send over?
You didn't have that choice before the inflation happened, either. So we're back at the original point, which is the question of what exactly changed in the world to allow more profits.
If it became the norm, politicians wouldn't need to encode it into law - they'd have 'won' already.

The question I suppose really is to what extent society (through the agency of the law and elected representatives) can police (or more precisely in this case to prevent the policing of) private forums like company internal communication systems. I'd argue that simply being privately owned does not put up a perfect barrier to society, and that society does have a legitimate interest in how such forums are run.

There seems to be this idea in the US that any form of tyranny and oppression is ok, so long as it is not the government that is doing it.
To be fair though, the baseline hello world C++ binary is quite hefty (10s or 100s of MiB - can't recall) & comes with a bunch of command-line options & an HTTP server out of the box. Or at least did when I was there & I doubt it's changed much. All that functionality is to integrate the baseline set of SRE ops tooling that are common to all services that are deployed on Google servers (eg. HTTP server is to support scraping for performance monitoring integration similar to Prometheus/OpenTracing). It's mildly annoying because any command line tools you write pick up all of that useless functionality but it is easy to teach so trade offs.
Then you don't know anything about the history of space exploration, or are so deluded by your ideology that you are intentionally blind to it.
I'll add that German plans up to now were to build turbines that could take both gas and H2. Even though these have very different combustions. H2 was brought in to power the green transition. The turbines were to be developed.

Now they're actually planning them and cutting cost, surprise surprise, the turbines are gas only.
It's easy for things to get hidden, especially when changes in already small amounts of money. I'm a bit embarrassed that this happened to me once. My spotify student account ended and it got switched over to premium automatically. Probably got an email somewhere but they also send spam so it likely got misread or filtered. On the bank statement, which it was a payment I was expecting, just not the right amount and it occurs at a similar time of the month as a bunch of other bills.

I think there is a rather easy way that we could solve this in a fairly robust way. It could be a legal requirement that when pricing on reoccurring subscription transactions changes that the user has to log in and confirm the change. The reason I'd actually suggest a legal route is because there's many companies that are highly incentivized to create dark patterns that will enroll people in subscriptions at a low or zero rate and then automatically transfer them to higher or paid accounts. It can happen to the best of us, but I'm more concerned with the not best of us. Personally I'm not a fan of a system that allows the easy extraction of money from people who are not as technically literate (i.e. most people). And I really don't think it is a good system to allow legitimate businesses to employ the same tactics as spammers.

If you read the article you'll find that the cases they talk about are specifically mentioning people who signed up for one thing but got a different thing instead. These are deceptive practices, full stop.

While we're at it, I'd love it if companies could stop sending spam from the same accounts they send important information. This dark pattern successfully teaches people to ignore any incoming email to them and explicitly allows this shit to happen. If contracts change, they should simply require a confirmation of that change. Maybe there's something I'm not seeing, but this sounds like a very reasonable and not very controversial take.
The people complaining about their code being used to train LLMs and the people who argue that anything public on the internet can be used to train LLMs are not the same people.

This post is a strawman argument, and most of the people in the latter case on the Cat and Girl comic were rightfully downvoted: https://news.ycombinator.com/item?id=39016395
> They have no right to be upset about that.

Emotionally, ethically, morally, sure. Legally? We'll see how this shakes out, I guess.

But yeah - this is one of the reasons why nothing in my home is smart. I fully can't bring myself to trust any company to not eventually fuck me, either intentionally, or by going out of business and bricking some C&C server, or by selling themselves to some assholes.
> I have always known at least one or two people who are great developers but they don’t want to know anything about operating systems, sockets, file descriptors, service level objectives and all that

IMO, those are not great developers. If you know nothing about how your code is running at a low level, you will reach a point at some scale where you’ve caused performance issues, and don’t have the fundamental knowledge necessary to fix it. Skilled or good, sure, but “great” implies mastery.

> I’m very much in the, “you wrote it, you run it,” camp.

As a sibling comment of mine pointed out, these are generally orthogonal skillsets. The main problem I’ve seen with it is that due to the relative ease of XaaS, dev teams with little to know knowledge of infra can indeed stand up an entire stack, and it will work quite well at first.

Databases, for example, are remarkably fast at small scale, even when your schema is horrible and your queries are sub-optimal. But if you don’t know the fundamentals (my first point), you won’t know that it’s abnormal for a modern RDBMS to take hundreds of milliseconds for a well-written query (assuming it’s not a cold read). You see that your latency is “good enough,” so you move on with the next task.

Then, when the service gets more popular, you hit the limits of the DB, so you vertically scale (if it isn’t already “Serverless” and auto-scaling – barf). It isn’t until the bill is astronomical that someone will bother to ask why it is you need a $10K/month DB.
> The connection with Firefox (on Linux) regularly breaks.

If the connection breaks, the green button in the username field that fills in your details, turns into a red cross. If you just click the red cross, keepassxc will immediately reestablish the connection. Then click again to fill in. For me, I only have to do this once after unlocking my database.
It takes at most 4 hours to put a computer together even if you're new.

If your time is worth more than 500$ an hour congrats. Then you can have a shop put it together for 150$ to 200$.

What are you going to do when it's time to upgrade? Spend a few thousand on a new CPU and keep going or throw it out and buy a new pre built?
Bob dole advertised viagra for them, I honestly doubt it would take more than a few $$s to get him to advertise depends, AI not needed.
Information asymmetry exists in markets.

Most people are not subject area experts in regards to infrequent purchases. From informal conversation it seems that a lot of consumers have experienced enshittification from brands and products that they previously held in high regard. This has resulted in them losing trust in the market and they now assume that anything they buy will be of poor quality regardless of other factors. As a result, they have given up on making purchasing decisions based on quality and now only purchase the cheapest product they can find.

This seems to have created a situation where consumers are unable to differentiate between different products based on quality and do not trust marketing because they've been lied to before.
Design a better api, bud. If you can't deal with all of your users using the product you sold them, the product you made is trash and your users deserve a refund.

Or, crazy idea, just let users use their devices locally. You won't even have to get your shit together and fix your api then!

Now also just design an official home assistant module and you've turned this drama into community goodwill.
Worst of both worlds - hotter in the summer and colder in the winter.
that looks super cool - appreciate the suggestion!
The power off button on the monitor does not work.

If I type "http://yahoo.com/" in the address bar, it does not work as expected.

Clicking on the Netscape Navigator logo works, but if I type the same address, "www3.netscape.com" manually into the address bar, it does not work.

The URL in the address bar isn't updated.
This works great with the instrumental to "311 - The Continuous Life".
Gulf stream but also just being near an ocean at all. Lots of factors other than how far north a place is impact average temperatures. Also, if you're looking at the average temperature of the entire country of Norway versus the entire state of Minnesota, that isn't going to reflect where most people actually live. A whole lot of Norway is Svalbard and north of the arctic circle with virtually no permanent human settlements. Most of the population is in the south on the coast. Most of Minnesota's population will be near the lake, which is still more moderate than deep on the plains, but the difference likely won't be as stark as it is in Norway.

Heck, there is a pretty big difference between the coasts and the midwest even just in North America. I grew up in Los Angeles and currently live in Dallas. Dallas is farther south and it actually does get hotter, but it also gets colder. Los Angeles had seen something like a quarter inch of snow in the past century when I left. It snows in Dallas every year. There was snow last week. Even though the currents in the Pacific flow from the north and the water is cold, it still has a moderating effect compared to living on the plains.
Easy solution: use mouthpad [1] to control the plane and free the hands to communicate with the ground. :D

[1]: https://news.ycombinator.com/item?id=38997930
> It's still technically possible to detect it as a dupe, but would require an extremely expensive shingling or filesystem diff on every repository in GitHub.

Wouldn't a GitHub search still find it pretty easily? As I understand it, they put significant effort into supporting search; but since that's being done anyway, it doesn't have a very high marginal cost.
So to summarize, you have stopped using twitter because of ad increases since elon took over?
https://www.cato.org/economic-development-bulletin/julian-si...

> when a particular resource becomes scarcer, its price increases, and that change incentivizes people to discover more of the resource, ration it, recycle it, or develop a substitute for it. As such, population growth and resource use do not automatically lead to higher commodity prices in the long run.

So no, we can't mass produce lithium, but a high enough price might drive someone to discover a substitute.
What a strange conclusion for the author to reach.

What they're doing requires you to have code execution in the kernel. You're not just over the walls at that point, you've beheaded the king.
How is "sentiment" and "confidence" measured?
CRTs did a lot of heavy lifting in anti-aliasing those fonts.
Meta wants to commoditize AI, and make it a complement to social interaction online through the relationship graph.
> With SpaceX, colonizing Mars is the passion / prestige project.

That's more just a out there goal to motivate people who are motivated by that.
Still have had zero launches to Mars.
Do what no one else can do. What no one thinks is possible, or worth their time, but you know it is.

The future you can bet on is the one you create.
> Because interfacing via API is expensive. Writing APIs for others to use productively isn't easy and change management also adds a lot of overhead.

An under appreciated point. Something that is affordable for giant monopoly profit driven FAANGs, but harder in smaller orgs.

Even within my team, the "level of difficulty" of writing an API depends on its user base. If I am the primary user, it's easy. There's one really sharp kind on my team, if he is going to use it, then 2x the difficulty. If I need it to handle the median dev on my team, then 2x again. By the time you get to the below median dev, add another 2x. So even within my team, the intended user base can change the difficult from 1x->8x.

What are some of the pain points - input validation that drives useful informative errors, flexibility on inputs like having sensible defaults to reduce the number of inputs users must pass, performance/scaling, and edge cases.

>> In this sense, development teams weren’t so much empowered to deliver software faster; rather, they were over-encumbered with infrastructure tasks that were outside of their expertise.

And agreed on this point. Amusingly I have had HN thread arguments just this week with DevOps advocates telling me that akshully their job isn't to empower devs, but some sort of "tail that wags that dog" interpretation around devops organizational / standardization / cost / etc.
I’m sorry that happened to you.

Personally I don’t like when founders talk up the value of equity. Stock options should always be seen as lottery tickets and nothing more.
From the abolish rent crowd, I mostly hear that they want more affordable high density housing and less car dependency. Not more parking lots, garages, and chargers.
> One anecdote I remember is that Hercules was potentially derived from stories of a Phoenician hero who walked along the shore and discovered that the molluscs that crushed beneath his feet created a purple hue. He was renowned for turning this stuff into purple dye that came to signify royalty.

Any more info about this? It's not clear how the two figures are related from this description, but I wouldn't be surprised if Hercules was derived from an earlier Phoenician myth. (Or did Hercules have a purple cloak I'm unaware of?)