skysight-inc/HackerNews huggingface dataset:
The set of people who care about anything that using one time zone for everyone would fix (mainly programmers who have to deal with time zone conversions) is much smaller than the set of people who care about the things it would break: anyone who wants to understand the shared global culture around local times (for example: anyone who travels to other time zones regularly, or even anyone who watches foreign movies or TV and wants to understand what the characters are talking about when they mention time of day).

That's why I support getting rid of leap seconds, but not getting rid of time zones: the number of people who leap seconds helps is very small (possibly zero) since their effect on everyday life is microscopic.
If anybody found this interesting and would like some further reading, the paper below employed a similar strategy to analyse inauthentic content/disinformation on Twitter.

https://files.casmconsulting.co.uk/message-based-community-d...

If you would like to read about my largely unsuccessful recreation of the paper, you can do so here - https://dfworks.xyz/blog/partygate/
Right, "developing"
> Normally, management, your peers, or the company as a whole are aware of your performance. They should be doing a lot of this for you, in my opinion.

In company's with forced attrition rates, it becomes a hell of a popularity contest.

When Kevin Turner (former Wal-Mart exec) headed CSS (Customer Services and Support) at M$FT, it was a shit show and a half - creating something like a mandatory 5% attrition rate per year.

Nothing boosts morale better than people vying to NOT be the person let go that year. /s
It absolutely does. Here is a (modified) snippet of my Java code from yesterday.

final boolean hasUncollectedSecret =
switch (each)
{

case Wall() -> false;
case Goal() -> false;
case Player p -> false;
case BasicCell(Underneath(_, var collectible), _)
->
switch (collectible)
{

case NONE, KEY -> false;
case SECRET -> true;

};
case Lock() -> false;

};
Zantac's Maker Kept Quiet About Cancer Risks for 40 Years
> UTC with leap seconds isn't "reality"

Weeks aren't reality. Timezones aren't reality. Julian/Gregorian calendar months aren't reality. But they are essential.

Calendars, centralised time, and timezones drive coordinated human socialisation and commerce, increasing the wealth of all nations.

Countries have switched timezones so that their "work day" matches another more prosperous country's "work day"

Humans want, and have always wanted, a compromise between their activities, and the unalterable reality of nature. We have "daylight savings time" because if we say "work is between 9AM and 5PM", that allows for the synchronised commerce - you can phone another business at 9AM because you both start work at 9AM, and 9AM = 9AM for both of you. But the reality is that in the winter months, everyone is going to work or leaving work in darkness, with no daylight time for socialisation. So you shift your entire country's (or state's) offset from an absolute clock, to turn "9AM to 5PM" into "8AM to 4PM" without actually stating that, because if businesses started varying their hours, they'd desync completely and you'd never get business done again.

It hasn't been that long since we accepted centralised time, only really since the invention of railways, and especially since the invention of the telegraph. Prior to that, local solar time ruled. Bram Stoker was particulary upset that Ireland was 25 minutes out of alignment with Great Britain (Dublin Mean Time vs Greenwich Mean Time), in his view Ireland was missing out on a lot of trade [0]

I don't think we're going to move to a time source that will slowly desync us from nature. If we liked being desynced from nature, we've have ditched DST by now - we haven't. And we also haven't gone entirely back to nature and made it 9:30 in Dublin when it's 9:55 in London. I think we're going to remain on this middle path - fudging the mixture of atomic time and alignment with solar time - for the rest of our days on this planet.

[0] https://www.thefitzwilliam.com/p/turning-back-the-economic-c...
The only marketing I really do is occasionally do table days and I also hand out drinks every now and then to trainers, front desk staff, and management.

I retained a marketing firm last week to help me grow my marketing as I improve my production capacity.

But my first year of sales were all word-of-mouth at a high-end gym chain (where I'm also a member, and was a member for nearly 5 years prior to starting the business). In such environments where people aren't usually swayed by traditional marketing efforts, monkey-see-monkey-do is usually the way products take hold. If the regular attendees see people whose bodies they want to emulate consuming my products, they tend to try them and often turn into repeat customers.

That said if you have any thoughts, questions, comments, experience, etc - I'm all ears.
Question: What were the technical requirements that necessitated a custom browser? That would really sink adoption for my team. Any plans to have a lite version that can work inside your favorite browser (even if plugin is required)?

Idea: your privacy section only talks about cookies and ads, but all my privacy questions were around the AI features that would use all our team's messages and work across apps as context. Would definitely cover that piece.
I want more syntax sugar for my ADTs that mirror what traits have. I don't need that kind of double extensibility.
Ask HN: How's your experience with Compose/Kotlin multiplatform?
If you use either, how is your experience with the technology? Do you use it in production?
Also feel free to share your experience if you evaluated it and choose to go with something else ultimately

Compose multiplatform is new but seems good with many projects on GitHub. I found it more attractive than flutter but previous release announcemnts didn't get much attention here, the top one I could find has like 3 comments
Typing features affect the way we design APIs. Libraries written in languages with type classes and without them can have completely different designs. If nested pattern matching is not available, this will not affect the APIs, only the function bodies -- because desugaring is local by definition.
I'm not very good at eyeballing it, so it helps me stay consistent.
The Woman Who Showed President Biden ChatGPT
What is the value add vs using an LLM agent?
Out of the box, Phoenix applications respond to simple http requests in times measured in microseconds. What appreciable improvements from that do you get with Python? And considering how much of your total request time is not processing by the language (db calls, network latency, etc.), why would you decide on a language purely on the minor speed improvement of a small part of the overall picture? I’ll gladly trade what might amount to a few ms of request time for the concurrency model, scalability, and latency characteristics of Elixir and the BEAM.

To each their own, I suppose.
An Interview with Jack Dorsey on Bluesky, Nostr, Twitter
Also you can type f?? to get the source code of f.
PGMQ doesn't give you a way to deliver the same message to concurrent consumers the same way that you can with Kafka via consumer groups.

To get this with PGMQ, you'd need to do something like creating multiple queues, then send messages to all the queues within a transaction. e.g. `begin; pgmq.send('queue_a'...); pgmq.send('queue_b'...); commit;`
To me, the worst part of this is the way they effectively remove the consumer protection that credit cards are supposed to give you for things like this, by banning you from renting cars for life if you do a chargeback, even if the credit card company agrees that they were the ones in the wrong.
I remember a company meeting where a series of employee recognition awards were given out, and the story for about four awards in a row was an employee who spent nights and weekends heroically fixing a giant mess, at least enough to make a deadline. In a couple of cases the employee who got the award was also partly responsible for the mess. After about the fourth one the top managers in the room finally got it that the company had a problem.
I believe you're thinking of https://book.keybase.io/chat and its https://github.com/keybase/managed-bots#keybase-managed-bots friend but at least based on my experience on Android I can assure you that Keybase is dead. They DGAF, find another platform
I know that paper and personally I think some of the critiques are actually qualities of pascal, making it, while certainly not a completely refined language, a more modern language than C

- no escape (AKA no casting): good!

- no default clause in case: good idea, not so good implementation (undefined behaviour)

- no break outside for loops: inconvenient, but that's how FP works. it is still debated today if breaking loops is considered a good or a bad practice

- no separated compilation: I will quote Kernighan on this Theoretically, there is no need for separate compilation - if one's compiler is very fast Pascal compiler was fast, maybe not very fast, but speed was one of the primary goals for Wirth.

many other issues were similar in other languages and in C

Pascal had obviously its faults, but every language back then had some

Pascal was simple enough to make it easy to compile and implement. That's what Wirth thaught, he's the author of Compiler Construction after all, it wasn't like learning Python today as a data scientist

make the language more complex (and more useful/interesting) and you're stuck with a very slow or very buggy compiler that very few people would know how to implement

I think there's a reason why we had Turbo Pascal and not Turbo Algol 68
im being a little extra in replying here, but only because i used to think like many people in this thread until i met more people living with deaf and blindness, and i realized that i had a big (pun unintended) blind spot in my cultural understanding about disability.

being deaf means that you live in a wholly separate world compared to a hearing person, and it changes the way you understand things- its a whole separate culture, as rich and complicated as any other. it does not compare to a cough, and many would find such a comparison very insensitive. for an example, i would check out the movie "The Sound of Metal"
Why is the valuation so high then? Surely all the HFTs have enough money to short it and earn money off of it. I think a company with $0 valuation would be easier to transfer money. As only he could sell his share for >$0 for donation.
So does "local data stay local" or what? I mean, obviously Trello cards are stored in Atlassian's cloud somewhere and Slack convos are somewhere in Salesforce's series of tubes. I guess what I mean is, if "Muddy works in the background to keep track of the timeline and uses a LLM to continuously organize apps and keep everything on to date", does this mean Muddy ships off local data to some remote API to get it's work done? Or if I'm only ever working within my local network, is the data I'm working with inside the Muddy context as safe as my local network can make it?
I guarantee it's because I said I refuse to live in the suburbs again.

Peoples personal choice to not live in the suburbs seems to really offend some people. I'd love a big house and big yard. But I don't have kids to occupy my time. Instead I have friends all over the place that live within a few minutes walk.

I owned a house a few years ago, single, no kids in the suburbs of Austin. It was incredibly lonely. Just not the life for me. Nothing wrong with enjoying being there or anything if you do!
I felt this pain a lot. Never really resonated with all-in-one apps so we always had a few places to check for every project. Figuring out the right links was hard and prone to distraction.

In a way, we like trying new software. Downside is each app has the need to build their own slightly different file system, which makes finding things extra challenging. Wanted to solve with Muddy.
https://le.utah.gov/xcode/Title76/Chapter6/76-6-S112.html

also linked in other comment
nice, I'd definitely like to add adaptive learning to this mvp so that it tracks questions you missed and generates more like it
You cannot use a “fisa warrant” legally, they’re objectively unconstitutional.

Conforming to the “legal requirements” means also conforming to the constitution, it doesn’t matter if someone writes a law that says you don’t need to obey the constitution, that just means the law itself is illegal.

It’s amazing how government officials interpret the 2nd amendment (giving the right to bare arms in the absence of a formal militia to mean everyone can have guns in of all kinds in all cases, but then turn around and say the 4th amendment does not grant any rights at all)
Wow, this is really cool! If I played a reed instrument I'd be tempted to pick one up...

https://glissonic.com/

"The main novelty is that it uses a longitudinal slot on the instrument’s tube instead of tone holes. The two sides of the slot are covered with a magnetic foil that attracts a magnetized ribbon on top. The ribbon is fixed on the upper end, stretched and lifted up from the lower end as a string on a violin. You can push down the ribbon anywhere, and it will seal up perfectly above it, so you can produce any note in the pitch continuum, resulting in a microtonal wind instrument. It can be played with eight fingers of the two hands or by sliding one finger up and down. The glissonic system can be used on various wind instruments: flute, recorder, clarinet, saxophone, tarogato, oboe, etc., or even the cornett."
Yes, that is super annoying. I was trying to read the examples and they kept changing out from under me. To the developer: don't slow down the animation of the gallery. Make the examples static.
Rentech does not seem to be able to predict the stock market for their customers...

"Jim Simons' Renaissance Technologies suffers $11 billion of client withdrawals in 7 months" - https://markets.businessinsider.com/news/stocks/jim-simons-r...
Isn't that a completely useless distinction?

For all purposes and intents, the "b" type in L and R should be treated the same, no? What do you gain by not doing that??
It will still fetch messages; however, you will not be notified (since it also blocks these too).

Note: there is an Apple specific bug that has yet to be fixed which causes notifications to still be read to the user if they are wearing earbuds.
If you miss your database update or product launch deadline you can't get arrested for it (in the vast majority of cases). Yes, all deadlines are arbitrary, but the consequences for missing them are different for different deadlines!
An integration with current chat system (Slack, Teams, etc.) would be neat. Changing where the work happens is a big ask in my opinion.
Hertz refunded the charge.

https://www.thedrive.com/news/hertz-is-charging-tesla-model-...
Isn’t ADT abbreviation for Abstract Data Type? Or does it depend in context nowadays?
> With ZFS snapshots the older snapshots would still be present on the target server, in their unencrypted form.

Only and only if you apply best practicies mentionned above in the second point of your post.

Anyway I'd rather protect my backup as much as I can and not allow the source machine to have any direct access to an account on the backup server because of possible security. Security is hard sometimes and you never know when some bugs might increase the possibilities. I like my backup servers to not have any open port. The caveat is that it is only possible if your primary backup server is locally and physically accessible. If you are travelling you might want to be able to access it without being physically present. An option might be to just have ssh disabled when you are at home and you enable the service when you know you won't be at home for a long enough period to make it a problem if you need to restore data.
I've got a Hertz EV rental this weekend, albeit a Polestar which was on offer. This is not what I wanted to stumble across.

However in my case if they pulled this shit, it would end up as a chargeback because it is definitely outside of the terms of their hire which I have carefully archived and screenshot should any crap like this happen.
Author here. I did overclock it - that was one of the points of the writeup: when you modify the memory clock, you should change the timings along with, because they are often specified in tCK (ticks of the memory clock), and as such, they will change when the clock changes.

I have reliable information from folks with several thousand of these FPGAs that they reliably clock to 1100Mhz - 1150Mhz on the HBM2 at stock voltage (or a bit less.) This falls in line with my personal experiences - I have seven XCVU35P FPGAs, and they range from doing only 1100Mhz to 1150Mhz, to some handling 1200Mhz.

Samsung's documentation specifies this HBM2 for 1000Mhz to 1100Mhz, based on binning - this is why I was annoyed that Xilinx limited it to 900Mhz, and worked to learn how to change the PLL settings.
The linked original article has an update saying they will refund the charge.

"Update May 9, 12:45 p.m. ET: After this story was published, Hertz informed The Drive that its Customer Care team would be "reaching out to Mr. Lee to apologize and will refund this erroneous charge.""

https://www.thedrive.com/news/hertz-is-charging-tesla-model-...
It definitely reads like a, "If we don't use it, we lose it," message - and not a, "oh, mahgerd, wE gOtTa Do SoMeThInG nOw!!!!!!" kind of message.
He's already said the fee for you is 0. It seems he's mostly going for the university side wide licenses, I don't think issues such as yours are very important for him.

Most people at a university who want to run a computation for a few days will do it on a computer that's permanently connected to the net, I think. Not their laptop.
I dunno. If they're really so essential, why do they require him to encourage their use? Sounds like they're completely optional, not essential.
It's annoying because we have dedicated 240V circuits for all major installed appliances in US households (drying machine, electric stove, HVAC), as well as, increasingly, 240V circuits in the garage for EV charging.

But no one is putting in 240V circuits for countertop plug-in appliances afaik, even though there's absolutely no reason you can't do so.

And by the way, electric kettle are quite common in the US amongst the tea or fancy coffee drinking set.
Inventing Drugs Is One of the Most Exciting Uses of AI
> You cannot use a “fisa warrant” legally, they’re objectively unconstitutional.

According to you. The courts think it's perfectly constitutional.
https://archive.is/0e1N1
Sean Baxter: Safe C++ [video]
Of course the syntax sugar is a good thing if it makes it easier to write the code, but if the question is about "expressive power of the type system", it's not really relevant: Zig's type system can properly express a sum type. In addition: pattern matching is orthogonal to ADT, you can have pattern matching in both languages with and without algebraic types. Neither one implies the other.
The big difference seems to come from self-reporting vs independent reporting. In other words, people around you think your personality is more similar to your dad’s than you think it is.
Why do you bring that up?
> When I rented a Hertz Tesla, it had 50,000 miles on it and I picked it up with a 98% charge. Best practice is charging to 80% for everyday driving and 90% before long drives.

> This customer actually returned the car with a 96% charge, the same as they’d picked it up at.

> And there is no fuel tank to fill on a Tesla EV. Prepaid fuel is based on the capacity of the gas tank being filled, and that amount here should be zero.

This is amateur-hour, highschool newspaper levels of journalism going on in this article.

Is the fee ridiculous? Yes. Did the customer agree to return the vehicle at a specified "fill" (read: charge) level? Yes. Did the customer not return the vehicle as agreed? Yes.

It doesn't matter that the vehicle physically doesn't have a gas tank - they are charging a fee because they now have the burden of charging the vehicle. Ridiculous fee, agreed, but so are all of the extra fees a rental company tries to charge. News at 11...

It reads like someone never rented a vehicle before, and the article author perhaps was born yesterday..
$277 is egregious but the assertion in the article that the cost to refuel the Tesla should be $0 is also absurd. Electricity is not free.

Obviously the fair cost should be amp hours needed to charge the battery times cost of electricity where the vehicle is charged.
Dell discloses data breach of customers' physical addresses
FWIW, reproducibility is like backups: if you haven't tested restoring from a backup, you don't actually have one. Similarly, research on proprietary and non-disclosed data, using proprietary and non-disclosed techniques, that can only be reproduced if you manage to cut a deal with the company behind it (if it's even possible), should be called what it is: marketing.
The previous state was that apps can force users to use their own payment mechanism, but only if Apple made the apps. As a result of the ruling, Apple's competitors now also can, and the playing field between Apple and Apple's competitors is closer to level.

The key takeaway is that Apple's payment processing business shouldn't be treated preferentially over a competing payment processor by Apple's mobile OS business, so any solution has to start there, and only then consider what Apple wants.
This belongs to tabloid news
are there laws preventing the FBI from using NSA tools which in my head seem more advanced and all compassing? why even rely on wiretaps at this point
How do you see the competition from Trino and Athena in your case?

Depends a lot on what you want to do with the data of course, but if you want to filter and slice/dice it, my experience is that it is really fast and stable. And if you already have it on s3, the threshold for using it is extremely small.
Whose demise?

Has there ever been a time where piracy hasn't "won"?
That's all beside the point. Hardware belongs to the user and should be under the user's control. Treacherous computing should be highly taboo and illegal.

The "sustainability" of Disney's profits are not important. To suggest otherwise on a site literally named Hacker News is comical.
"Unfortunately, to get this version, potential buyers have to skip the 256GB and 512GB versions of the iPad Pro, as Apple is pretty much forcing customers to spend a premium to get the 1TB and 2TB flavors to experience those multi-core performance gains."

So, twice the performance at twice the price. Ho hum. Is that level of performance relevant on an iPad? I don't think so, and it would be smarter to buy two of the cheaper model. Or even, spend $130 and get an android tablet that does 90% of what the iPad Pro can.

Right here. Even comes with a matte screen. Have 10.

https://www.alibaba.com/product-detail/detail_1600880098408....
Did Sonos push this downgrade out as an automatic mandatory update?
Read the article... the driver apparently has no idea how rentals work.
It's true that he didn't refill the gas tank before returning the car.

But it's also true the car's gas tank was full when he returned it.

https://en.wikipedia.org/wiki/Vacuous_truth
Well that was eye opening
if you want a protien or any other bio molecule to fold properly, a chaperone system must be either designed or elucidated.

the primary sequence is not the only consideration for proper folding.

chaperones allow higher energy folding events to occur and be maintained until subsequent modification stabilizes high energy structural motif.

chaperones also enforce an A before B before C regime of folding so that the sequence doesnt just crumple up according to energy of hydrostatic interactions