skysight-inc/HackerNews huggingface dataset:
ISO 8601 also has notations for all sort of stuff the RFC doesn’t need, like uncertain and approximate dates (for libraries or museums perhaps), as well as repeating events, durations, intervals, and such (some of that part is a riff on iCal, or so I’ve heard); most of it is in 8601-2 (which is a thing since the 2019 revision) but some parts are in -1.
The point is that the local time would not change, even though the offset between UTC and local did change.
In an industry wide panic we renamed git master to git main, right after realtors renamed the "master bedroom", yet we're all continuing with an abbreviated "Master" or "Mistress".

Nobody said society was rational.
The usual counterargument to this specific line of reasoning is outlined in [0]. TL;DR vastly more animals die incidentally in the process of growing feed for livestock than in the process of growing plants for human consumption. The math is very simple; livestock outnumber us dozens to one, and consume comparable amounts of food on average (cattle really drag the mean here.)

More generally, you'll always be able to whatabout vegans, because to live is to kill --- it's completely impossible to live in modern society and not harm something somehow. I feel that I'm obligated to do the best I can under the circumstances.

[0] https://www.surgeactivism.org/articles/debunked-do-vegans-ki...
I assume the cheapest bike you can get at the bike store is going to have awful failure modes too, with the main difference being that you can repair it with better parts after such things happen.

I might be overly pessimistic about the $500 bikes though; I’ve never owned one in that price range.
>What AI can do that’s new is to verify what we believe to be true

This is not AI.

Combining Theorem Provers with AI is promising:

https://leandojo.org/
Wow that is very surprising, I always thought -00:00 was just a synonym for +00:00. That seems almost intentionally misleading, why not Z like you say or just +? or something?
Yes, no.

Yes, Ledger can do all those things. No, it doesn't do this "out of the box".

I do most of these things. Simple, by adding meta-tags to my ledger. I'm just now working on consolidating on all my willy-nilly scripts and tools. And then plan to turn this into an actual "investment dashboard" ala ghostfolio but using the ledger as source.

In the end, a plain-text-ledger is just a of database. And the ledger query language (e.g. bean-query-language) a way to query it and produce reports.

So, what you are asking is more like "can SQLite categorize assets, give a breakdown of the exposure according to such cats per industry, region etc". Well, sure it can. But it's a bit of a strange question.
I had this team where during the retrospective we would each list good and bad points of the sprint (yes, it was agile, and that part of the whole religious process was the only one that I found useful).

After a while, we would all start the sentences with "I am happy because ..." and "I am not so happy because...", and it became customary to have some "happy" points to compensate for the complaints. And there we all started thanking colleagues of the team. "I am happy because Alexia helped me doing this", or simply "I am happy because Bernard is back from holiday". It was a post-it thing, so when coming back from holiday, you would usually get a post-it from everyone.

We were not collecting them, counting them or showing them to a manager, it was just internal to the team. We would quickly ignore them and move to the bad points (group them, vote for the 3 most important ones, and define actions to solve them). It just felt nice, and I think it was a nice (small but regular) team building moment.

I don't believe in managers: I imagine that they would probably just start counting the reviews, creating some bullshit metrics and ranking the employees. I don't want that. I thank my coworkers when I can to make them feel good, not to make them look good to the manager.
Have started playing with this and ffmpeg has a scene change detection filter already so it should be fairly straightforward
I work with climatologists in the development of AI models that improve over the climatology.

The amount of arable land that will be lost in the tropics is going to dramatically impact all countries around the Equator. Some areas simply will not support human life without air conditioning with a 2 degree increase in wet bulb temperature and +3C increase in extreme weather events.

Crop failures are linked to many historically extreme events. A 15%-30% in staple foods has _massive_ impacts in the poorest 20% of the population. In poor democracies it leads to people voting for demagogues and autocrats; in other places it's much worse.

The cascade of these events with ever increasing temperature is exponential.
> I've learned to adapt to it since it's a shame to miss out on the reliable battery life.

Is the long battery life a feature you use often, or is it more of a "I'm glad it's there, just in case I need it" feature?
https://archive.ph/hfNgR
They're removing the bigger dams in the winter so there's more water to flush the sediment down stream.
You make a strong case about lack of education quality and make-work time-wasting foisted upon children.

Education is not a problem the human race has solved despite progress made.
Reddit owns the space that forums used to occupy. All forums in one place is more convenient for users. Unfortunately users will pick convenience over the vague centralization risks Every. Single. Time.
https://github.com/microsoft/api-guidelines/blob/vNext/Guide...
> you can buy a digital or printed copy of the standard from [the ISO]

Or from your national member body, which for some standards and countries can be substantially cheaper.
Thanks Graham! Glad to see some attempts at improving the dx of sharing expressions with flakes instead of just derivations. I've seen libraries and tools handle this in a ton of different ways. Do you think there will ever be a standardization of the 'lib' output?
No it isn't. Literally Google's entire initial innovation was a ranking algorithm based on inbound links, weighted by the authority of the linking party. At this point I'm bowing out because you don't even know the basics of the thing you're arguing about.
Oh this is interesting, I didn't know about this historical detail.

It makes sense, Godel's first could be mostly seen as a version of the halting problem, while the second is "game over" for a Hilbert-like foundation program.

p.s. Just wanted to point out that it's funny how we wrote two mostly identical sets of comments. Great minds think alike? :)
That seems to be in line with what GP wants.
Those area are limited by the number of hours of sunlight and the number of growing seasons. Reductions in 20-30% are expected, but this doesn't really capture the increase in extreme weather events that can lead to total crop loss.
> You've basically sorted those int-keyed elements into a list

No, I've copied them into a list. There was no sorting. I've never compared elements or done any nlogn operations. I've shuffled, perhaps, or ordered, but not sorted. That's a meaningful distinction.

> have to keep track of missing elements, which is at least another loop through the list).

The implementation I have is complete, it errors if the array is sparse. You need at most two loops through the dict, which if you wanted to you could avoid with a small (constant time and constant space) change to the underlying dict implementation to cache the max integer key stored and require only a single iteration.

You can technically do even faster than that by making the iteration over the number of positional args, not total args, but in practice that would probably be slower.

And it's all going to be just as fast as kwargs today.

Like jumping back a bit your argument is

> Passing a dict is passing by reference, and if the called method reads 5 elements from that dict, it's tiny constant time.

But if you pass **kwargs to a method, the dict size is unbounded, so it's O(n), not constant! Exactly the same as now. And if the method being called declares it's params explicitly, it's still constant since you can immediately error on the first unknown parameter!

If it was constant before, it's still constant. If it was linear before, it's still linear. And you never need to sort anything.

Just to further clarify, above you say

> and **kwargs has every element read in O(1) time or it gets passed along by reference.

Reading every element in O(1) time is O(n)! And is precisely the same as what's happening now.
Ah, that makes more sense
A historical record of foundational web development blog posts
Yes, a suffix like `S`/`W` (for Summer/Winter) or `+`/`-` in place of Z would help with disambiguation.

But you still need to handle the case where the local time is skipped. You could pick the timestamp during which the skip happens, but that'd lead to an offset that can contain fractional seconds, which almost no datetime library supports.
That was definitely a factor in the demise of forums, but today it’s possible to get notifications from forums. I agree though that forums require a bit more from their users, which is perhaps why they aren’t as popular today.
I just purchased a kit to convert the 10/11 speed SRAM brifters to 12 speed from Ratio in the UK [0], and there is a set of instructions in the community for turning the front shifter into a dropper lever.

I love how much people hack this stuff to overcome corporate shenanigans!

0: https://ratiotechnology.com/
I love Goodreads. I use it to rate and review books I've read. I use it to read reviews of books I have (or might want to) read. And I follow people who write interesting reviews.

I never look at whatever Goodreads recommends. The people I follow usually come across interesting books I would have never heard of. If they review a book, and it sounds interesting, I add it to the top of my list of things to read. This is a giant semi-sorted text file. If I feel the urge to read some book, and it's already in my list, I will put it to the top of the text file. A bit like a splay tree. I don't care that my stuff is not perfectly categorised and systematised because reading habits are not like that.

I pay no attention to the actual star rating of books on Goodreads. There are a lot of bad reviews on Goodreads. You usually know within 2 seconds whether a review will be worth reading. Sometimes I will filter books by lowest star. I often found the people I follow because I saw them write an intelligent, detailed, dissenting review of a book.
FWIW, I’ve always seen it best described as push vs. pull. You’ve expanded the idea a bit but I think it’s still a good distinction and useful for what you’re getting at.
I like a lot your point of view. And maybe this is a proof of some granularity of our simulated universe.

But on the other hand, I can't remove the idea from my brain that maybe there is some kind of hidden variable/dimension/other-concept-we-can't-be-aware-of at the source of this phenomenon explaining perfectly why we see it that way.

Our science knew a big expansion since the beginning of 20th century thanks to some geniuses. And now I have the feeling there is no more 'science explosion' coming. Sure, there are some good intuitions, but nothing concrete or testable.

Everything nowadays lies on these fancy ideas to prove them or push them to their corners. But nothing really appealing, it's just some 'monkey testing' of our universe. LK-99 : false hope, string theory: too much variable and kinda not testable, dark matter or lambda CDM : nothing going towards the confirmation. Sure, the math/physics models predict a lot of stuff, but nothing incredible.

I have the feeling something big is missing to understand our universe, but we're not working in that direction.

Sorry, needed to vent.

Still, I like your idea.
This comes off as passive aggressive. I would avoid this kind of phrasing, unless your goal is to needle people while maintaining plausible deniability.
Elon should collect all this PI, then swap user names for real names, and disable the ability to delete anything at the same time, with a ninja EULA update.
Yes. That's the logical problem that, in my view, renders Pascal's Wager invalid to the point of silliness.

I also have questions about the assumption that we consciously "choose" what to believe in such a way that we can just decide to switch beliefs. I suspect most people believe whatever they believe because they have been presented with some reasoning or evidence that they find persuasive. Changing beliefs would thus require being more persuaded by different reasoning or evidence, not by deciding to believe differently "just in case".
Huh? This is patently false.
Funny you bring that up, since they are the ones getting burnt 99% of the time by the title "manager".

Manager for most retail and food service are people who just pick up the slack when someone calls out or the chain is understaffed (aka 100% of the time).

If they are lucky, they do the hiring and firing, but that means you have to make hard decisions about how much free time you will have.
Walter Benjamin wrote about this all the way back in the 1930s. He observed that early art like frescos painted on walls and sculptures in temples require the viewer to travel to them, but they gave way to paintings on canvas and busts that could travel to cities to meet audiences where they were.

Technology continued to push this trend, reproducing art through photography and printing in books and newspapers let it move even further to meet people in their own homes.

These current patterns you are seeing are an extension of this, the relationship between art and viewer has inverted, art is now expected to come to us, the focus has moved to within ourselves.

Marshall McLuhan also expanded on this and the idea of technology as extensions of us with his work "Understanding Media: The Extension of Man" if you'd like to read more.
Yeah, that frame costs more than my entire bike did. There were steel-framed options at the time, but the cheapest ones were pushing $2k.
Coworkers have different incentives than players in a game of Dota. In a competitive game, they'll skulk or grief until the game is over, then queue for another and likely will be matched with other people. That behavior doesn't really work in an office, since people are working with the same colleagues every day.
If you store it inside and don’t ride it, sure.

If you leave them outside, the non-standard and irreplaceable bearings will seize in about a year.

If you ride them regularly, then the cheap non-standard chain, freewheel, or brake pads will wear out much faster than on a normal bike.
See https://climate.nasa.gov/news/3124/global-climate-change-imp...

Some crops like coffee, chocolate and grapes are going to see an extremely dramatic reduction in arable surface
I read it more as him saying that at the end of the day a human is inputting symbols into Lean, and a human is interpreting the meaning of the proof that Lean has verified. Not that the mechanics of the proof checking are in doubt, but that that meaning of it all is still a social consensus.
Shopify merchants will be able to offer Amazon's 'Buy with Prime' option
Are you saying you don't want to work with the people who use praise w/ direction? That is my assumption about what you meant given that it seems like the contrary opinion and thus the reason for replying. If that's the case, care to elaborate why you don't like that style?
"Critical" may be an overstatement, but there's definitely a lack of hygiene that could lead to it.

I'm not an user of PowerShell, but I see that it gets the same treatment as VSCode: no one seems to gatekeep the extension store, resulting in a number of crap modules and spoofs.
> 2) ISO 8601 is prolific. Is RFC 3339 well used/adopted in any system?

ISO 8601 was first published in 1988. RFC 3339, while ostensibly dated July 2002, codifies practices that date back to Usenet and e-mail (RFC 822: August 1982), and perhaps to the date utility (which existed in Version 1 AT&T UNIX).
1. Sure, but verifying a spec is still much easier than verifying a whole proof (as we traditionally do).

2. In that example that you gave, you would have additional evidence: if you use your system and every sort returns an empty list, you'd probably notice it quite quickly. You can also do manual or automated testing to see that it does the right thing for example inputs. If you then consider it to be unlikely that someone writes code that would exactly only work for example inputs and only satisfy the specification in the dumbest possible way, then you get some really good evidence that your algorithm is actually correct. 100% certainty is never possible, but there are still degrees.
I was using alltheweb after Altavista. I don't actually remember it as google being so much better but it had the short goofy name and I found myself going to it more. Also it had a fast clean homepage. I think the actual improvements came later.

I also remember telling people "No, google is not your friend" before 2007, though I don't remember why now.
We can certainly push more data from Mars, but the entire point of the article is that we probably won't have the bandwidth to receive it.

Unless we can convince congress and NASA execs to increase the budget and get more dishes built pronto.
But what if you did? No one is saying to lie. If you genuinely cannot find any good out of the code review (considerations for performance, easy to read, functional solution, time to execute, ability to reach out to proper peers), then maybe they shouldn't have been hired to begin with? Even a well picked intern these days should have one of those qualities.
Eh, I've seen cheaper. I run Llama on a free 4-core Oracle system.
Not quite — that requires you to find the time zone locality out of band somehow. The request is to have a standard way to store the time zone (not the current offset of the time zone) in the same string as the date/time.
What is the meaning of the word 'Compact' in the title here?
Dynamic Prompting and AI: Revolutionizing User Interaction
Hmm, Software Barbarian, I like it.
I've yet to see that happening other than with Van Moof, but there is a fair chance that someone will again try to pull an 'Apple'. Bike savvy consumers have fallen for this once so there is a chance that some will fall for it again, especially in places where Van Moof wasn't popular but here people have - at least in my circles - quite soured on the concept so let's hope that sticks and they don't sell another bike. (Too bad for Lavoie).
I can't help but feel that people are completely missing the forest for the trees with AI and education. Which isn't particularly surprising when you realize most people haven't ever made the connection that the primary point of education is to make effective economic contributors in your society, rather than just being something you do because it's just what we do.

We are going to use powerful AI to teach kids to do jobs that AI will almost certainly do better in 10-20 years?

Like I get that there is a notion of "What else are we supposed to do?", but it still just feels so silly and futile to go along with. Like "Lets use AI to teach kids how to program!"....uhhh, the writing is on the wall
Even in the very earliest days of the Web, there was PointCast, where things came to you. So there was some demand for that mode,even then.
Do you recommend the instance you are on? I am looking to join, but the English speaking instance list was smallish, and I was having trouble choosing.
They've also announced, they're re-establishing "trust and safety" (censorship) teams under a different name/brand.
I'm using DotGit [1] which checks for .git and .env files for every site you visit. You wouldn't believe the things I randomly found (and reported)

https://chrome.google.com/webstore/detail/dotgit/pampamgoihg...
How do you separate those cases from these cases?

https://www.cnn.com/2021/12/10/us/jussie-smollett-trial-guil...

A deliberately fabricated hate crime to advance what agenda?

> What more consensus from broader society does one need than literally telling them that their speech and actions are harmful and they need to stop?

Is algorithmic and incentivized actor driven censorship considered consensus? From your perspective you support one thing through censorship but want to deny what consensus tells you in other aspects of reality. Censorship driven echo chambers support some opinions while they crush others. In some respects, we need more confrontation of opinion in society. Too few are forced to question themselves in current times, emboldened by these digital echo chambers, opinion solidified in thoughts and actions.

I genuinely hope that we can find a way to end this age of artificial division. Too many agendas being programmed into brains, too little reality driven truth.
Are there any good studies on OT law trade-offs? Since at steady state the result is capping employee hours at 40, this type of law seems good for workers that want to maintain such a cap and bad for those that want to earn more.
Real wages are also higher today than they were in 1970.
Thank you for this comment. I saw the `-00:00` in the RFC 3339 bubble, and was confused as to why it wasn't mutually agreed upon. Your comment makes clear the the `-` has special meaning that I hadn't picked up on.
I don’t think we should expect them to cave to the Saudis. There may be higher bidders.
I'm sorry to hear that; I would have expected it to be much easier than some of the stories I've heard about getting coverage for Agent Orange exposure from family and others.
Pegging to a specific dollar value means this erodes every year (much like minimum wage). This should be pegged to a multiple of minimum wage, or some multiple of median national salary.
There are a few ways to represent that in the database, see[1]. Unless I misunderstood what you mean by “no way to specify”.

[1]: https://codeblog.jonskeet.uk/2019/03/27/storing-utc-is-not-a...
What do you recommended for non-EE major hobbyist?
I can agree with the article's framing during performance reviews and periods of heightened scrutiny. But for the day to day, frequent collective appreciation and recognition has mattered a lot to me.

"You did well on this grunge work" is a death sentence only if it's contrasted by silence. Maybe I have a blind spot here, but even if the compliment had to stand alone, does the receiver really have so little agency to not reframe or rebut any unintended consequences of the compliment?

Does frequency cheapen compliments? Maybe. Does every piece of praise need to be so weighty? I don't think so. "Please" and "thank you" might not mean much but I still like it when people are polite. So too effort can be recognized.
Any sane HPC program has an acceptance testing phase in the delivery terms of the contract, with specific penalties (IBM calls them "considerations") for failing to meet the technical requirements. Sales teams in the HPC are extremely aware of this.

Blue Waters is a great example of throwing away years of work and pivoting to the backup plan: https://en.wikipedia.org/wiki/Blue_Waters
You can iterate on compliance too. Just ask Uber.
I joke that the scratches, dents, and rust spots on my old vans are 'patina'. I think that its okay with work vehicles because up until recently no one bought them because they're wow pretty. Compare a dented truck with a Lexus with body damage. The Cyber truck is probably a lot more like a Lexus than a pickup truck.
and while outcomes are... great it's the effort that should be prioritized because we want that brought to all initiatives, not just the ones where you're going to be successful. Every parent should know this; give feedback like "You worked really hard on X" (effort) vs. "You're so smart!" (outcome)