skysight-inc/HackerNews huggingface dataset:
There's plenty of facts I'm willing to take axiomatically at face value:
* Avocados aren't houses
* Eggs are fungible
* Homes are not homogenous
* Half of all earners earn above the median
* Half of all earners earn below the median

> as I've already explained in the above post. Eggs are a fungible commodity, homes aren't.

So all I have to do is find a non-fungible commodity X (which is not as "silly" as private jet), and it will follow that 50% of X will be unaffordable to the median buyer?
There is a fairly obvious difference between a dynamic enforcement mechanism like contracts or SQL constraints. Though I think it is a bit silly to suggest that I have “never even considered” such things given the blog post itself is rendered using Racket, a dynamically-typed language with a fairly sophisticated higher-order contract system.

SQL constraints are certainly useful. But they don’t really solve the same problem. SQL constraints ensure integrity of your data store, which is swell, but they don’t provide the same guarantees about your program that static types do, nor do they say much at all about how to structure your code that interacts with the database. I also think it is sort of laughable to claim that XSL is a good tool for solving just about any data processing problem in 2023, but even if you disagree, the same points apply.

Obviously, constructive data modeling is hardly a panacea. There are lots of problems it does not solve or that are more usefully solved in other ways. But I really have applied it to very good effect on many, many real engineering problems, not just toys, and I think the technique provides a nice framework for reasoning about data modeling in many scenarios. Your comments here seem almost bafflingly uncharitable given the article in question doesn’t make any absolutist claims and in fact discusses at some length that the technique isn’t always applicable.

See also: my other comment about using encapsulation instead of constructive modeling (https://news.ycombinator.com/item?id=35059113) and my followup blog post about how more things can be encoded using constructive data modeling than perhaps you think (https://lexi-lambda.github.io/blog/2020/08/13/types-as-axiom...).
'audio' mostly does, unless that audio involved answering a call (posted about this in a separate thread). The experience of listening to music on a mac with airpods, then trying to answer an incoming call on the phone, and using the airpods, is abysmally slow, in my experience.
Similar here. I used to cut him quite a bit of slack, and have posted several defenses of him on here several years ago, primarily for having actual accomplishments.

At this point, I'm embarrassed to have done so, and seriously doubt even those accomplishments, which I now credit far more to the people around him accomplishing despite Elon rather than due to his influence (not that he deserves zero credit, but far less than he gets or wants).

Aside from the kind of recent entitled asshattery and actively promoting authoritarian propaganda while claiming it's all "centrist" (perhaps it is from an apartheid point of view..., what undid it for me was his public exchanges with Twitter engineers in late '22, just displaying brazed BS and ignorance while trying to belittle everyone. What a smug, ignorant, blustering, asshat, wasting everyone's time, all for his own inadequate ego.
It would be great if certain types of bluetooth devices could remain connected. Physical input devices only would likely be a good default. There is little reason, IMO, for speaker connections to be active.
In clamshell mode, I would expect all bluetooth connections to be active, but while suspended, please drop nonessential connections.
Being able to override the default disconnect rules per device would be ideal.
My only hunch is that it seems likely to correlate with more useful cognitive features. My wife is a very fast thinker and doer, and is often frustrated (exasperated?) by my thorough but sloww processing. Yet, she often remarks how much values what she sees as my way of intuiting solutions to complex situations, and ability to describe such complex situations in detail. We’re both reliant and mystified by each other’s cognitive styles; her rapid incisive thinking and my deep scan analysis, if I’m to put a positive spin on it. I’m not saying our accuracy is remarkably high fwiw.
Artificial sweeteners are not processed foods, so what's your point?
I upvoted only because I thought about this: https://news.ycombinator.com/item?id=35057589
Incredible post. I laughed when I saw the title, snickered at the first paragraph, and then proceeded to be blown away by the rest of it. Thought I was in for a joke and instead I'm thinking about the nature of ML Ops and what it's become.
Decimal is actually a nightmare for dealing with common CIDR prefixes. Would you rather write '1111111111110000' as fff0 or 65520?
Podcasters of any size can now monetize via Zencastr
Absolutely - the advice is highly applicable in most modern widely used languages.

My point was merely that the examples being presented in Haskell - and in the context of talking about lists in a very functional, lispy cons-ish kind of way, makes it less accessible for programmers who are using more object-oriented type systems.
That’s what I mean. I worry about DLC packs for the new Zelda that gate out core content instead of mostly supplemental stuff like the BotW dlc. You could imagine them selling the master sword DLC again and making some dungeons just not work without it because weapon durability is too low or something
At what point do you use the umbrella term ADHD and not neophilia?

Countless "productivity gurus" will chase the neophilia claiming it helps them be more productive when they just find something "new" a few months later with the same claim.

Is that ADHD or is that a tendency of wanting something new?
> but it's also down to use to not support these games.

Not really true. Gambling is heavily regulated for a reason, it's just that these games haven't been officially categorized as gambling under existing gambling laws (yet).

If you ever meet a gambling addict, try telling them to "just stop gambling" and see how well it works. There's something about the human brain that's highly vulnerable to this particular vice.
There's some similarities, but it's still a job paying you wages (unless you're only working for equity), so it's not anywhere near as bad as actual pyramid schemes, which often require a monetary buy-in from you in order to pay people directly up the chain (as well as the sales you make).

You just have to evaluate the startup based on their offer (heavily weigh the compensation, benefits, and learning opportunities, but don't weight the equity too much, imo), where they're at (series A/B/C, burn rate, other factors) and see if it's worth it to you to take a chance on the job.
Loads, but that's the wrong question.

The right question is, how do you copy what it does right at the lowest cost in the places that do it wrong?
> If you were a well-funded tech company looking for design help from say 2014-2020, Ueno was probably on your shortlist

What was it about Ueno's work that made it so good? I've admired it from the first time I saw Halli & Ueno's portfolio, but I've never been able to identify what it was.

Clean and bold?
I agree with that.

I do question what my life would look like in that case - for the past 5 years I lived about 7 miles from work. I am currently in a college town while I am finishing up at university, and so I'm now: 3 miles from school, ~40 miles from work.

I use pseudo-public transport (a shuttle that my apartment complex provides / runs privately) to get to school every day. However, that situation works because there is a large group of people that need to go to exactly the same place (campus) at approximately the same time every day. I still need a car, because I often have to go to school late in the evening to use lab equipment when the shuttles don't run.

For work, it's even more important to have a car - a public transport route would likely take ~45 minutes compared to the ~12 minute drive on my old 7 mile commute. For the 40+ mile commute I have now, I'd likely have to jump between several different busses (go from my town to the town my company is at, then a bus from there to the regional airport where my office is). That would probably be at least an hour and a half, each way -- if you could even get the city to run a route from a hub to that regional airport.

All of this is not to mention trips I take just to explore, or to go hiking, or to see friends or family in distant towns, grocery shopping, or visiting a specific specialty store.

From what I've seen so far, the only people whose quality of life wouldn't be decimated by a lack of a car are the most privileged - young elites in major cities who live close to work (and can cycle there), who can afford the fees for an uber or taxi when they need one, or who work entirely remotely. The people in the lower and middle class who commute to work and want to go grab beers with friends a few miles away on their friday night - well, they're either forgotten, or mocked when they're remembered. It leaves a bad taste in the mouth for the whole thing.
That isn't really how production networks work in my uneducated opinion. If they are connected to the production network then they are the production network, and the level of isolation required to make that not the case would be so extreme as to make things potentially more unreliable.

Others can correct me if I'm wrong about this. All I know is that the production network where I work is not air gapped in the way that would be required to truthfully consider testing networks a non production environment, so non prod changes typically wind up in front of the change review board anyway.

Ask your own sites network engineers and see if they have similar constraints because I would be interested to hear more perspectives on that.

One other thing I will say is that the abstractions of "config plane" and "data plane" and "control plane" don't really exist on real physical systems. That is mostly an abstraction created for applications people, those systems are not going to be totally blocked from interacting with eachother, they kind of have to. So if any of your "planes" are shared with production it is a production environment.
I[23, M] was in a similar situation two years ago. My Father sadly passed away of cancer and left me alone with my mother and sister.

The first thing I did was go through all the finanicals with my mother to understand what we are dealing with, luckily, our insurance company gave us a good sum of money to survive on and my mothers pensions is good enough. I wanted to continue study to get a engineering degree but couldn't as I had to bring in money too, so I got a good well paying job.

But my sister [late 22] on the other hand, is living like we're good and want to pursue her own thing :/

I saw you didn't look for any finanical advice so I will avoid that.
My advice to you, don't look at your family (especially your mother) like they are helpless, because they aren't. It sure feels lonely being the only man in the house but I would not have survived (mentally) if it wasn't for my mother.
You should try to the same, open up to your mother and share your thoughts.

As of your sister, I wish I knew.
Perhaps a new paradigm, but there are already players in this space way ahead of this, like wing.
The design of these case studies is pretty freaking awesome.
Exactly. I have no idea how an HN user can see this site, which is filled with rapid-response prose to emerging events, and imagine that it's impossible for a professional journalist to quickly write a 600-word summary of a Twitter discussion.
This is another example of how the state gets its numbers wrong, promising something it can not deliver without bankrupting the country.

France is not alone, other country's have raised the pension age, but other countries use their food legislation to keep the population docile, high house prices to keep people from protesting for fear of losing a roof over their head, and other tactics people are getting wise to and slowly rejecting when they wake up to the subtle forms of manipulation that goes on.
Surreal to me to see how many people in this thread and trying to steer the conversation towards whether or not the firing was justified based on his job performance. What the actual fuck does it matter? In what world is it okay to fire someone without communication and then publically mock them like Elon did here? I'm truly unable understand the willingness some people have to jump to the defense of billionaires.
This is the same as people behaving as jerks claiming that other people are jerks.
https://archive.is/avfKF
Not only I uninstalled Signal, but I also deleted my account, and in the process Signal made a huge mess of my SMS.

First thing, I am not an activist like Moxie. I think end-to-end encryption is a good thing, but it is not on top of my list. My primary reason for choosing a messaging app is to actually be able to message people, then there is the app general quality (fast, light on resources, stable, with the features I need, ...), encryption comes third. Signal had all three, SMS is almost universal in my country, it looked like a decent app that holds it own against dedicated SMS apps, and you have encryption as a bonus, nice.

With SMS gone, it lost #1, I don't have any friends who are on Signal that can't be reached by other means, so that's enough to let it go.

So I exported my SMS, and for some reason it exported it all as both SMS and MMS, making a huge mess that took a while to fix. In the process, in order to recover my data, I took a peek at the code, and while not terrible, it wasn't the best, for example, I stumbled upon some dead code. So with data loss involved, #2 is seriously compromised. Other issues include Signal "eating" SMS, not allowing them into their standard location (probably deliberate, but a negative for me), and for the final releases, SMS acknowledgment not working. I had trouble importing SMS at first too.

And finally, while it has top notch encryption, and probably a good choice for targeted individuals, I consider the "X is on Signal" notifications questionable with regard to privacy. Just because we share entries on our address book don't mean we want to get in touch. In fact what if the reason I have someone in my address book is to block him? I know it has caused major trouble to someone. Also, when I first entered Signal, I was greeted by a scammer sporting the Amazon logo. Not a big deal, not the worst, spam is almost unavoidable, but it is another thing Signal don't protect you much against.

With SMS support, I tolerated all these little quirks, it wasn't so bad, but without SMS, then it is out. And I am also a little pissed off for that export mess.

As for why I also deleted my account. It wasn't in anger. Problem is, what if I uninstall signal and if someone I recently texted installed Signal? Most likely he would send his next messages via Signal instead of by SMS. If I didn't delete my account, the message would have been lost in limbo. By deleting my account, they will know I don't have the app anymore, and if they really wish to contact me, do it another way (ex: by SMS).
I stopped buying stuff when COVID hit

I do buy things, but each purchase is carefully considered.

Happier, wealthier, all good
I've never seen the overlay ads (because I use Premium), but from their description, they sound like exactly the sort of ads that broadcast TV stations started doing. Those ads are what got me to stop watching broadcast TV.
This comment section is a sheer delight to anyone who’s ever said they prefer wired headphones because of the flakiness of Bluetooth and had a chorus of people respond that they must be doing something wrong because Bluetooth “just works.”
I would really like to know why this comment was down voted. It is a perfectly valid question with a rational explanation. Indeed, I was surprised to have needed to scroll down so far to find it, as it was the very first question that popped into my head as well.
The contractors aren't idiots. They got an extra 7 years and a 140% bonus.
C# and .NET are quite enjoyable to use IMO, certainly more so than JS
Most of them have diet or zero in the name which makes it pretty easy to tell. The tricky ones contain some sugar (likely from fruit) and some artificial sweeteners,the only one I know of being the v8 sparkling energy drinks. I don't know of any soda that has partial HFCS and artificial sweetener.
Hey hey, FWIW I wrote this up too (also in Python but in a different style, and without as many cool glyphs): https://joypy.osdn.io/notebooks/Derivatives_of_Regular_Expre...

One neat thing is that the "compaction" rules to avoid exponential blowup are symmetrical (they form like, a ring or semi-ring or whatever, sorry I'm not a mathematician.) https://joypy.osdn.io/notebooks/Derivatives_of_Regular_Expre...
̶F̶r̶a̶n̶c̶e̶ ̶h̶a̶s̶ ̶c̶o̶n̶t̶r̶o̶l̶ ̶o̶f̶ ̶i̶t̶s̶ ̶c̶u̶r̶r̶e̶n̶c̶y̶.̶ ̶T̶h̶e̶ ̶p̶e̶n̶s̶i̶o̶n̶ ̶s̶y̶s̶t̶e̶m̶ ̶d̶o̶e̶s̶ ̶n̶o̶t̶ ̶n̶e̶e̶d̶ ̶t̶o̶ ̶b̶e̶ ̶p̶a̶i̶d̶ ̶b̶y̶ ̶t̶a̶x̶e̶s̶ ̶o̶n̶ ̶w̶o̶r̶k̶i̶n̶g̶ ̶p̶e̶o̶p̶l̶e̶.̶

Oops I forgot about the Euro. Oh well, so much for sovereignty.
I was surprised by needing to do this when switch to MacOS. So many things don't "just work" despite all that I've heard about it.
Deal with a bout of fake-sugar-induced gut fauna chaos and you'll be singing a different tune. It sure woke me up on the subject.
This is a murder fantasy and has no place on HN, in my opinion.
Avoiding sugar may still include very sweet fruit varieties, or juice that can still prevent such adaptation... otherwise, sure, you can do similar without full on carnivore. All said, it was an example.
That site really doesn't play well with screen readers. When I clicked the link for the first time I was severely confused. I had to come back here to read that I had to scroll, and when I did, sometimes some new text showed up, and other times it didn't.

This is just an observation. I understand that some people love making lovely things, and that sometimes those things are at odds with being accessible to some people. But this is a real world example where I cannot access a restaurant website, even if the restaurant hasn't opened yet. So even now I'm still confused as to what's actually going on there.
> why is it that SQL is, to first order, the only language used to interact with databases, and SQL has about the same features as it did in the 70s?

Because SQL is effectively a domain-specific language. If you added 100+ additional keywords/functions/etc., do you think it would be easier or more difficult for the average developer to build something clean with it?

I look at SQL like a pile of bricks. You don't want complicated, unicorn bricks or you won't be able to fit anything meaningful together. Experienced masons almost certainly prefer their materials to be as dumb and consistent as possible.
> There really should be a "Travel Mode" for MacOS that disables features like these.

Have you tried macOS Lockdown Mode?
Stored procedures can be relations. Queries are relations. Ergo, stored procedures can be queries.
I clicked flag to help the site stay focused on actual tech over Twitter drama.

Maybe it's a personal failing on my part, but I used to live in blissful ignorance of what Musk was up to today. Would like to go back to that at some point. If I did care, it's easy enough to follow him on Twitter.
Are there any infrastructure projects that don't have cost overrun or finish on time in this country?
> an alternative to the anglo compromise (dont behead the king but clip its wings) and at most blew the mind of all who thought that having a divine omnipotent ruler was a fatality.

Do you mean, all who were fatalistic about the divine right of royalty being an inevitability?

The English regicide had already been done in 1649, and some form of large representative republics with or without a monarch were already governing in Venice, Poland-Lithuania, the Netherlands, America, and possibly other populous societies that I don't know about.
There is an experimental LLVM backend for 6502!

https://llvm.org/devmtg/2022-05/slides/2022EuroLLVM-LLVM-MOS...
How many people even work at companies where the people purchasing enterprise software listen to their intended users at the company?
No idea what this means
1) Everyone who can't work gets a pension/state support/whatever you want to call it.

Of course, this creates a giant perverse incentive to get yourself classified as "can't work". Ask the US Social Security disability system how that goes.
eBay? More like Aliexpress.
It's a landing page saying when the restaurant will open and what it will have, along with a couple of links to hiring, contact info, and social media. You have to have js enabled so it can show the fancy animations. There's no fallback for people with older browsers or noscript. Also while arrow keys and spacebar work, the page doesn't respond to pageup/pagedown or home/end.

Maybe it's a nice experience on mobile, but it's a nightmare on my laptop.
Since when does harassment require intimidation? Maybe it's a regional thing. Anyway, the basic principle is respecting someone's refusal of something. Signal can harp on about how good they are, but they are far worse than even WhatsApp in this respect.

You might think dark patterns are okay when they're in a free app, however they're still dark patterns.
C# and .NET
Honest question: Why don’t you answer the call from the Mac? Or do you have that continuity feature disabled?
Folks advocating for gun and border restrictions both focus on crime (mass shootings for the former, trafficking for the latter).
I don't know if I can help OP but anyone reading this who uses Google Authenticator. PLEASE BACKUP AUTHENTICATOR on another phone. It is very easy. Here are the steps:

https://www.protectimus.com/blog/google-authenticator-backup...
It's not similar to a binary file, since re a binary file is a pain in the ass and looking at JS with some obfuscation is much easier.

Your example is valid, but it's like asking "how can I know that my iPhone doesn't record me while I'm sleeping?"
For those curious about "the loophole":

In the 1970s, the United States government established regulations on vehicle emissions and safety standards through the Clean Air Act and the National Traffic and Motor Vehicle Safety Act. These regulations required automobile manufacturers to meet certain emissions and safety standards, which led to the production of smaller and more fuel-efficient cars.

However, a loophole was created for "light trucks," which were exempt from many of these regulations. This exemption was intended to benefit small businesses and farmers who used pickup trucks and vans for their work.

In the 1980s and 1990s, automakers started exploiting this loophole by producing larger and more powerful "light trucks" like SUVs and pickups. These vehicles were classified as "light trucks" even though they were often used for personal transportation rather than work purposes.

Since these "light trucks" were exempt from many emissions and safety standards, automakers could produce larger and less fuel-efficient vehicles without facing the same penalties as they would for passenger cars. As a result, SUVs and pickups exploded in popularity, as consumers were drawn to their size, power, and perceived safety.

This loophole has since been narrowed, and many SUVs and pickups now have to meet the same emissions and safety standards as passenger cars. However, the legacy of this exemption lives on, as SUVs and pickups continue to be popular in the United States.
Ordinals should not be called NFTs
Really cool but shouldn't this actually be a library rather than a programming language?
YouTube to Retire Overlay Ads Starting April 6