skysight-inc/HackerNews huggingface dataset:
Rust has “nightly” and “stable” toolchain variants called “release channels”. The “nightly” version is literally just the compiler and all the other tools built in the CI/CD pipeline on a nightly basis with the latest branch including various features that need further development before they go to stable.

The process and reasoning are described here https://doc.rust-lang.org/book/appendix-07-nightly-rust.html
It is the version of rust that is under active development, and also contains experimental features that aren’t in the “stable” rust compiler.
RAG for complex PDFs is possible with two VLMs (doc parsing and understanding)
Then don't complain about what you cannot prove.
You can run this:

adb shell cat /sys/class/power_supply/battery/serial_number

Requires adb: https://developer.android.com/tools/adb
I can't imagine how this could possibly be used for amusement purposes
This is a great demonstration of the fact that people coming from very different perspectives can, through good faith inquiry, find much to agree on. I think there are a lot of thoughtful arguments and conclusions in here even though I generally find the catholic church's metaphysical pyrotechnics to be fairly ridiculous. It goes to show that E.O. Wilson's concept of "consilience" can apply even outside of sciences - just as different lines of scientific inquiry converge on a common reality, so can very disparate forms of moral inquiry converge because they both proceed from a shared human experience of what's good and bad in life.
So what “function” does it serve being on YouTube and TikTok when you need to interact with your friends?
seems on par or better than gpt4 mini
It does not assume that -- implementing libraries need to -- and do, in practice right now -- implement the rules for jurisdictions change the rules for offsets.

That's part of why they are tied to a certain city -- time zone rules are unlikely to bisect a city, although if they did I guess they'd have to deprecate it as a timezone name and use something else! Not sure if this has ever happened.

All of this is kept track of in the IANA Time Zone database, and labels like `Europe/Paris` are from keys into that database, not arbitrary. https://www.iana.org/time-zones

Sometimes when jurisdictions do weird stuff like changing their rules for (say) when Daylight Savings starts with no notice (effective tomorrow!), the libraries can take a bit of time to catch up and be correct again (and have the new version be distributed to all users).

But keeping track of (say) that America/New York on March 25 2024 is UTC-4 but March 2025 1990 is UTC-5 hours (they changed when Daylight Savings started in between those years) is absolutely something current (eg OS) time libraries do.

As well as keeping track of the gregorian correction in (depending on country) October 1582 (skipping over 10 days in the calendar!), when calculating historical intervals. They really do this, already!

That's why you say "Europe/Paris" or "America/New York" instead of "UTC-5", to let the library figure out the rules for offsets at that location on the time specified.

I assume Temporal will do the same. JS environments are usually running on OS's that will already provide this service, the browser or other execution environment won't have to implement it from scratch. Although I think moment.js did it from scratch, and distributes a timezone database with moment.js packages.
This sounds like a USA problem, rather than a Mistral problem.
Well, this sounds like it could(will) be in the Orange Catholic Bible!

I can't wait to find out when the Butlerian Jihad starts.
LLMs aren't ingesting racial crime statistics, they're ingesting language. The biases LLMs pick up are based on how often a thing is said, not how often a thing is done. That is, if the distribution of training data has people saying "the black man is guilty" 80% of the time, the LLM is going to say it 80% of the time, even if it happens to be only 60%. Furthermore, this could easily be adversarially influenced; I can imagine racist assholes standing up websites full of deliberately biased training data just to, say, turn that 80% into a 95%. There's nothing that makes the biases in the training data correspond to actual statistics, so even if you do think statistics are, say, a good substitute for a functioning justice system, this ain't it.
“Mathematical Preliminaries” is Chapter One, Section 2 of The Art of Computer Programming. The rest of the book is also relevant to programming. And an adequate challenge for lifetime learning.
I'm not sure that business model exists personally but good luck to them. It's trivial to spin up an index on AWS or Azure. Usually for a company it's hard for minions dealing with this stuff to get approval to spend money on a new supplier, but easy to set up something with your existing cloud provider.
Some fairly bad faith people like to say "Slaves couldn't have been poorly treated, they were an expensive investment, like a grain harvester, and no rational person would damage their own property like that".

Except, we have ample evidence that people would beat, rape, murder, fuck around with, starve, and otherwise destroy their "investment" regularly, sometimes because "it will keep the others in line", but plenty often just fucking because.

Because humans are not rational. Farmers just doing what they believed would be the most rational to make money was one of the main causes of the Dust Bowl.

Your boss is human, and plenty able to do things that make you a LESS effective worker while adamantly believing you are just lazy.
Oh nice, this is exactly what I needed.
JS could be an amazing language to work with if they'd just spec out a "use type" subset that uses an actually-sound Hindley-Milner type system on typed parts (verify types at the untyped fringes and throw if they don't match) while disallowing all the bad parts like type coercion or any of the many other footguns in the language.
I recall seeing some complaints recently w.r.t. one of the heavily synthetic models (Phi?) - apparently they tend to overfit on STEM "book knowledge" while struggling with fuzzier stuff and instruction following.

I'm not much of an LLM user, though, so take my warmed over recollections with a grain of salt.
There is a revealed preferences of use vs non use.
If we have AGI then I doubt that the rich people will be able to control it at all
> I didn’t have an OCA laminator, but you know what I did have? A cast-iron tortilla press.

Haha. Great read. And aesthetically it's sweet as well. I wish your son accurately tracked and lasting health. He has an amazing dad to lean on!
Google has been consistently found with their finger up their nose during this entire AI bubble.

The reason why they are so silent is because they are still reacting to ChatGPT 3.5
I feel like Clasp has huge game development potential but has gravitated towards science just because that's where it came from. Like surely one could use it to get good godot bindings for example, but I haven't seen stuff like that around.
Django's magic is that you can set various class variables as either a value or a method. So typing that becomes incredibly hard, everything is effectively Union typed.
> All RAM access is deterministic in the sense that the value will not change until written

That's correct at a hardware level. It's not correct from a userspace program's perspective when interacting with Linux if the memory in question is uninitialized.
Show HN: Web-based PGP key generator
But in any case, we certainly have the logistics to move populations given the timeline. Not everyone has to evacuate and return within a 3 day window.

Even without incentives, in all likelihood, those who can will evacuate early for peace of mind, and as the prediction becomes more certain on its approach through measurement, individuals will I'm sure even start to return /before/ the pass. You know everyone has their own set of 9s to chase
What are these ai diffusion rules?
Don't forget that this model probably has far less params than o1 or even 4o. This is a compression/distillation, which means it frees up so much compute resources to build models much powerful than o1. At least this allows further scaling compute-wise (if not in the amount of, non-synthetic, source material available for training).
Non-western founders say DeepSeek is proof innovation need not cost billions
We made Davos AI and 600 attendees used it
Actually, the first version of SmallTalk was implemented in BASIC! https://codersatwork.com/dan-ingalls
Nah I want to see the numbers on this. Before technology we lived in feudalism. There’s no more unequal system than that.
It's also super clunky if you get into certain advanced things because it's built on top of Starlette and piggybacks off much of that. Want to adjust how many background threads you want running? Oh wait, you can't, it's a Starlette setting that's not really exposed.
Review: Superbloom: How Technologies of Connection Tear Us Apart
The best practice is to fully automate certificate provisioning. Short lived certs force this behavior. The private key should also be minimally exposed so don’t create a bucket of private keys waiting around for some future use. Keep copies to a minimum.

The other idea behind short lived certificates is that revocation doesn’t really work. It doesn’t scale, it’s handled poorly by clients, and half the time you don’t even know your cert has been compromised in order to decide to revoke it. Expiration is the only fool-proof way to revoke a cert.
>substituting God for an artifact of human making

Is it just me, or is the grammar backwards? I think it should be "substituting an artifact of human making for God", or "substituting God with an artifact of human making".
"Before the gods that made the gods Had seen their sunrise pass The White Horse of the White Horse Vale Was cut out of the grass"

The Ballad of the White Horse by G. K. Chesterton - https://www.gutenberg.org/files/1719/1719-h/1719-h.htm
Not sure why it is so noteworthy. This is an institution that rejected evolutionary biology and has quietly changed its views over time. Whatever objections they have now, they will abandon for the convenience that future AI will bring. Either that or they will continue to push against while also secretly using it
The binary comparison is a bit bad, since binary can have copyrights. Weights cannot.
The point isn't that the result from an LLM is particularly valuable. The point is that the advice that you get from your typical (management) consultant isn't particularly useful. And that's the only bar you need to clear.

There are basically two reasons for consultants:

Either you need some once-removed thing (be that you selling/buying some part to/from a competitor, accounting, lawyering). That part sensible people will not replace by LLMs. But here it isn't that you yourself lack the expertise at all. Here it is absolutely necessary, that someone else does the actual implementation.

Or you have some general "we need to do better" feeling. And here you have again two options: 1) you know _what_ your problem is and you just need the best solution there is. This is (obviously somewhat tongue-in-cheek) essentially corporate espionage. Again you cannot replace that with an LLM (or maybe you can I don't know), but you will pay a lot of money for it. Or 2) you don't know what the problem is. Now you are competing in finding an appropriate starting point with 20-somethings fresh from university that are not wanted in your organisation and therefore won't get access to the relevant information anyhow. So yeah, I'm willing to believe that the typical success rate of those consultancy projects is low to negative.

If you are only given a 3 week crash course in $BUSINESS, you won't be able to produce much more than a generic set of "have you thought about that?". And THAT is something that I believe LLMs to be reasonably good at. And they are dirt cheap and instantly available compared to any kind of human consultant.

Now I don't think that will necessarily a net-negative for consultants in general. I do think, similar to ATMs, that consultations are mostly becoming cheaper by that.
Salute to the folks who built momentjs... we used their stuff in prod and it worked like a charm
It's really nothing like Django, which is a full stack development framework. This is more akin to Django REST Framework or Django Ninja which are REST API frameworks that sit on top of Django.
First, there could have been industrial espionage involved so who knows. Ignoring that, you’re missing what I’m saying. Think of it this way - if it requires O1’s input to reach almost the same task performance, then this approach gives you a cheap way to replicate the performance of a leading edge model at a fraction of the cost. It does not give you a way to train something that beats a cutting edge model. Cutting edge models require a lot of R&D & capital expenditure - if they’re just going to be trivially copied after public availability, the response is going to be legislation to keep the incentive there to keep meaningful investments in that area. Otherwise you’re going to have another AI winter where progress shrivels because investment dollars dry up.

That’s why it’s so hard to understand the true cost of training Deepseek whereas it’s a little bit easier for cutting edge models (& even then still difficult).
What you see as hope in the future just looks like doom and gloom to me. Yeah people dont trust the institutions, now they trust Tiktok trends and whatever their favorite youtuber says. Except these trends and youtubers are still controlled by the big money media companies.

Its not their fault, but the next generations simultaneously doesnt trust anyone and is also too gullible.

Its as if we, as a world, are losing our grip on reality because of the internet. Flooded with constant streams of information, our brains cant make sense of it, so we default to going be how things feel. But we all know what feels right is usually wrong
If payload size is the top concern you shouldn't be using Moment either though. Luxon and DayJS are both considerably smaller (their uncompressed size is about what Moment's compressed size is) and the date-fns library is much, much smaller and also tree-shakeable. Moment also performs at or near the bottom of all available options if speed is a concern. Other than reflexive popularity or the cost already being paid there's not really a good reason to use it anymore.
Depending on the amount, if landing on solid earth, the effect of dust ejected into the atmosphere might be critically significant in terms of energy dynamics and solar energy production.
I'm really hoping LLMs will help LO close functionality gaps with Microsoft. Let's face it there is a lot of not exciting code and testing in office formats.

It's the type of thing it should excel at (pun half intended) to close the file format drift/obfuscation.

I haven't seen much discussion of LLMs as decompilers. That would seem like something they could do quite well to at least help close the file format obfuscation war.
Don't be afraid to utilize side projects to accelerate your career growth. This post explores how building personal projects can enhance your skills, accelerate onboarding, and keep you competitive in a fast-evolving industry. Side projects are a low-pressure environment to explore and learn about emerging technologies, to accelerate your future work and career growth.
Characterizing Andre Tate as being pushed by big tech is like characterizing YouTube "pushing" people to use iPhones. When it came to people actually putting their thumbs on the scale, that went overwhelmingly against Andrew Tate. A lot of young men genuinely resonated with what Andrew Tate had to say, but admitting to that would be admitting that Andrew Tate was one of the few figures who was actually listening to young men, even if he was doing so soley for his own profit.
I noticed that strangely many Dutch still life scenes include lemons whose skin has been partially peeled and made to hang from the side of the table.
Does this have more meaning than just showing off access to lemons and ability to draw the shape with the peel?
I liked the simple observation in point 35: 'as Pope Francis observes, “the very use of the word ‘intelligence’” in connection with AI “can prove misleading”[69] and risks overlooking what is most precious in the human person.' I was texting my buddy that the proper acronym could be ABNECUI (Almost, But Not Entirely, Completely Unlike Intelligence, to rip something from Douglas Adams).

At a more profound level, I really appreciated point 18 under "Relationality": 'human intelligence is not an isolated faculty but is exercised in relationships, finding its fullest expression in dialogue, collaboration, and solidarity. We learn with others, and we learn through others.'

I was raised Protestant, but taught to be fundamentally skeptical of the political and historical baggage of any religious institution. Though I recognize that writings like this are a result of deeply held faith, it always feels paradoxical when leaders wax poetic about the mystery of God and then say 'so here is what God thinks you should do.' How could they know? That probably sounds basic, but it is my reaction. What draws me back in is the emphasis on our relationships with other human beings. Those relationships are the things that are actually in front of us, and can make a meaningful difference in our day-to-day lives. Something very useful to keep in mind when developing AI (or ABNECUI).
Sorry but not wanting to fund left wing pet causes throughout the world doesn't make me terrible.

Seeing the farce of US Taxpayer funded "NGOs" dismantled is exactly what I voted for
Can you check out the Brazil example in the docs I linked? That really should clear everything up. It explains how a datetime in the future gets serialized, but after a DST change, that serialized datetime becomes invalid.

The way this works is by looking at offsets. Think of a time zone as a function mapping between civil time and physical time. Or, another way to think about it is a mapping from a civil time to an offset (which may not exist for gaps or may not be unique for folds) and a mapping from physical time to an offset (of which there is a bijection). With RFC 9557, you encode both the offset and the time zone into the serialized representation. Consider a case when you encode an offset corresponding to DST, and then DST is abolished. Your tzdb is updated. Then you go to deserialize this datetime. Its offset no longer matches the rules. This can be detected and Temporal reports an error. This is all explained in the docs.

Note that DST is only an example here, because it's a common manifestation of how this error arises. But it can happen with any change in offset.

So if you're in 1760 and you write down a datetime in the future using the rules of that time (of which, I'm not even sure that's a sensible question to ask), then you'd have a particular offset encoded in that future datetime. Now fast forward to the future and the rules have changed and are no longer consistent with the offset encoded in the datetime. Thus, you get an error.

Here's another take on the idea that I wrote for Jiff: https://docs.rs/jiff/latest/jiff/tz/enum.OffsetConflict.html

Think of it like this. In an RFC 9557 timestamp, you have an offset and you have a time zone. Those two pieces of information may be inconsistent with one another. For example, `2025-01-30T17:00+10[US/Eastern]`. When that happens, you can report an error. That's pretty much it.

> then the meaning of the instant is different because now there’s 2 different `2025-06-20T17:00:00+02[Europe/Dublin]` and which one you get will depend on when you deserialize.

If the region adjusted their close back by 15 minutes, then the offset would change. As for `2025-06-20T17:00:00+02[Europe/Dublin]`, it can only feasibly have two different interpretations: you can either interpret it as the instant `2025-06-20T17:00:00+02`, or you can interpret it as the civil time `2025-06-20T17:00:00` in the time zone `Europe/Dublin`, ignoring the offset. Or you can reject it. Temporal supports all of these modes, and it will by default reject such strings when the offset and time zone are inconsistent.

(There's a fourth mode, "prefer offset," that I won't get into here... It's not usually used for deserialization/parsing.)
It's about perception. When I look at a old page on GitHub and there haven't been any code changes in two years but it does look like the Issues page is addressed quickly then I can trust the old code. On the other hand if the Issues page isn't addressed I can assume that the code will cause me problems in the future and I'll look for a different library.
Interested to see what folks do with putting DeepSeek-style RL methods on top of this. The smaller Mistral models have always punched above their weight and been the best for fine-tuning.
I live far away from DC, but my friends in two different federal agencies (stationed outside of DC) are partly bemused and partly shocked at how unprofessional the emails and new directives they are receiving from this new administration are. All of their colleagues are expressing the same sentiment (and my friends usually do not fraternize after work with their colleagues, but they have all been doing that after work just to cope with what is going on). Your contrarian-ness about the 'hysteria' is misplaced. Professional and dedicated federal workers are deeply concerned.
I thought it was about the distributed async task framework!
This just give me an idea for a Scifi short story, where a industrial society worships a just and fair god, that is nothing more than a lost AI driven probe, from a more advanced civilization a few parsec away...
All these words, “sensory input, emotional responses, social interactions, and the unique context of each moment” are all words that we’ve developed and yet have no full understanding of. In any philosophy paper they’d be challenged in a second.
A good read. For a more in-depth look at this subject, I would heartily recommend Tony Reinke's 'God, Technology, and the Christian Life'[0].

[0]: https://tonyreinke.com
What will prevent them from literally unplugging it from the wall?
Has that actually been tried in court, or is that your guess? Because you seem confident, but I don't think this has been tried (yet)
Fortran 77 common blocks are the GOATs of arena allocation.
"Technology" is a very broad term. The wheel is a type of technology. Pope Francis specifically said "digital technologies".
A lot of people who have no fucking idea what's it's like to have debilitating mental illness apparently.
Perhaps this would be a good opportunity to test out asteroid deflection technologies? We've got multiple orbital refueling architectures (New Glenn, Starship...) slated to come online in the next few years, so it should be easier to pack more oomph.
This is a good take. What models seem to be poor at is undoing their own thinking down a path even when they can test.

If you let a model write code, test it, identify bugs and fix them, you get an increasingly obtuse and complex code base where errors happen more. The more it iterate the worse it gets.

At the end of the day, written human language is a poor way of describing software. Even to a model. The code is the description.

At the moment we describe solutions we want to see to the models and they aren't that smart about translating that to an unambiguous form.

We are a long was off describing the problems and asking for a solution. Even when the model can test and iterate.
No. The EC was meant specifically to mitigate the tyranny of big states over small states, not to thwart a broad coalition of people across the states.
Are you talking about this? https://github.com/Acly/krita-ai-diffusion

I tried using that but didn't have much luck. That is, I could get it to generate whole images, but none of the other tools seemed to work. I'll have to take another crack at it some time, because that looks like a workflow that I would really enjoy.