skysight-inc/HackerNews huggingface dataset:
Dialyzer is good enough for my use-cases, especially in large web apps. In fact, Elixir's dynamic nature, when combined with Dialyzer and the BEAM's fault-tolerance features, offers a reasonable middle ground that has proven robust in large-scale systems.

Comparing it to Python's gradual typing isn't entirely fair for a couple of reasons:

1) Elixir is functional, meaning a value's type never changes. This makes it easier to reason about the code and allows tools like Dialyzer to be more effective.

2) The combination of value/pattern matching and the "let it crash" philosophy is unique to the BEAM ecosystem and has proven invaluable for building complex applications. this out side of Dialyzer gets you 80% the way there. (I don't even use Dialyzer in my applications because I don't think it buys you that much. I lean on testing, typically to cover that last 20%)

I'm intrigued, however by the new type system that's being explored for Elixir by Jose and this team. It promises the best of both worlds: dynamic typing with the assurances of a static one.

If we were to impose a Java/Kotlin-like type system onto Erlang/Elixir, there would be several concerns:

It could encourage harmful coding practices that hinder code evolution.
It might conflict with the "let it crash" philosophy, leading to more "nanny coding."
The effort required to satisfy the type system could outweigh its benefits.
It could reduce productivity and readability.
If not integrated into the BEAM core, it might not offer optimization benefits and could create compatibility issues.
It could divide the community and distract from other important work.

Elixir's existing features like testing, value matching, and the "let it crash" philosophy already provide a robust safety net that a static type system might not significantly improve upon.
As a developer, I'd much rather look for a job doing something meaningful than have to waste my days doing make-work BS.
That import tax is worthwhile if it reduces emissions in the right areas. We should probably be eating less beef shipped out of Austrlia and producing less plastic packaging.

Some trade does need to be shut down, as the externalities aren't being properly handled at the moment.
Mobile Carriers Have 100 Days to Make Toronto TTC Subway Network Agreement
> at a trivial scale; you know, when you only have developers. Maybe a handful of them. ..and like, one does-everything artist.

And that includes most games.
When Less Is More: Investigating Data Pruning for Pretraining LLMs at Scale
Thankfully you can write C-like Rust code if you wanted, just safe. Nobody says that you have to use a "Arc<HashMap<Whatever>>" for this task. Indeed, people have written competitive and safe decoders for various image and video formats in Rust already.
They managed to create a price that inviabilizes both ads-for-playing (and the more devious variants, like pay-for-win and lottery) and upfront paid games. That's just amazing, and will probably become a case study somewhere after the company fails.
> may be guilty of a “cover-up” (Tucker Carlson’s words) regarding the origins of Covid

i'm glad to see that rolling stone isn't politicizing the covid origin question
incredible concept and really well built. so many hard problems being tackled here!
Except you don't need fluid dynamics for cannon ball trajectory over sufficiently short distances, or with the constraints on barrel quality and reproducibility of the time.

The same is true of quantum mechanics: physicists were excited about it, but it went going to make existing experimental results and predictions incorrect in context.

The Bohr model of the atom is completely "wrong" but it's still useful enough to foundational in understanding nuclear magnetic resonance analysis.
Is there an actual technical point beyond ”MS bad” for this sentiment?

Honestly asking, as I’ve been mostly hearing positive things about AzDO, and from developers of all people.
The test of dupiness is 'significant attention' and that one was borderline, or rather slightly below the usual line we'd draw, so I think it's ok if there's a repost. More at https://news.ycombinator.com/item?id=37484775.

(A small number of reposts is ok if an article hasn't had significant attention yet. This is in the FAQ: https://news.ycombinator.com/newsfaq.html#reposts.)
The racing formula this is from, Formula Student, actually has a driverless competition as part of it. It's pretty fun, but also harder than one would think, still.
Secound EDIT;

OK, It would seem FT is playing a shell and pea game with this story's URL here is the archive snapshot : https://archive.is/6i9C5
We moved away from wagtail and it was a bit of a mess to maintain after using it for a couple of years for our marketing website. I think I'd have stayed with native Django if I had gone back in time. In the meantime the team that manages this switched to next.js instead and it's been the most stable / productive setup so far for our marketing website. This being the 4th tool in 8 years (marketing people change their minds a lot).
We are talking about 7B models ? Those can run on consumer GPUs with lower latency than A100s AFAIK (because gaming GPUs are clocked different).

Not to mention OpenAI has shit latency and terrible reliability - you should be using Azure models if you care about that - but pricing is also higher.

I would say fixed costs and development time is on openai side but I've seen people post great practical comparisons for latency and cost using hostes fine-tuned small models.
Or burn, or cost three times the price! Most components used in Teslas are not made to run so intensively, wether it is the wheels, the motors, the battery, the brakes, ... they most likely limit the acceleration to prevent bad things.
Thank you for commenting. It is important to know that all public colleges and universities and most private institutions are not “owned” by anyone. So they don’t have shareholders, and profit is not a consideration.

https://collegeaftermath.com/university/who-is-the-owner-of-...

There are some for-profit degree mills in the US that are owned by corporations, but these businesses are not the focus of my comments nor were they the focus of the original article.

Even though most colleges and universities are not businesses focused on profit, they are indeed focused on growth and development. They do this (theoretically) for several reasons: 1) to protect the good name of the institution for the benefit of the students and alumni; 2) growth is better than stagnation or decline; and 3) administration is required and incentivized to do it. This costs money.

Where does the money come from? Students (tuition), research (government and industry), and donations from alumni and industry.

There is stiff competition between institutions to 1) attract students and 2) attract funding and donations.

This competition creates a market. The universities and colleges have to provide value to students and donors-more perceived value than other institutions-to gain their interest and dollars.

There used to be more government subsidies for public institutions, but those days are gone.

Not all institutions are successful in the marketplace. My comment was that ultimately, students (and their parents) have the power to change the way that colleges and universities serve them by voting with their wallets.
Big Tech may have crowded the wearables space, but Garmin is still quite a player in that field and the description "Big Tech" seems almost as bad a fit for them as "Olathe tinkerer collective" would be.
Diesel is pretty cheap in Greenland, but that's not related to the actual cost of getting the stuff there. One thing to keep in mind, though, is that pretty much nobody has a car in Greenland. Not because of some enviromento-wokism, but just because there are not that many roads.

You live in Ilulissat? Have fun driving between the harbor and the airport (all of the 20-or-so miles). And people do, but they tend to be taxi drivers, and they mostly drive EVs these days, again, not because of the actual cost of the vehicles.

Now, if you want to go anywhere in Greenland, you need a boat. And a sled and some dogs, or, if you insist, a snowmobile.
https://archive.ph/2023.09.11-140146/https://www.nytimes.com...
Wagtail first shipped 9 years ago in 2014. It's already old/boring, and great!
Depending on what you're trying to accomplish, I'd highly recommend trying the 7B and 13B models first before jumping to the 70B. They're quite capable and I think lots of folks assume they need to jump to a 70B model when really a smaller one would work fine.

That said, you should be able to fine-tune a 70B model on an A100 using QLoRA. However, depending on the specifics of your dataset it might actually be cheaper to run on an 8xA100 machine since that way you don't have to swap any weights out to the machine's non-GPU memory, and you might get enough time savings from that that the more expensive machine pays for itself.
Yes, Olaf Barthel here. You're welcome :-)

The Aztec 'C' overlay manager code is something of a clever hack which also needs support from the linker to pull it off.

Unlike the original overlay manager (ovs.asm) provided by MetaComCo, two helper functions (segload() and freeseg()) would let you load and unload those overlay nodes on demand whose function pointer address you passed to them. For example, if a node would contain a function called palette() you invoked segload(palette) and, sufficient memory being available, would load the node into memory which would contain that function.

Both segload() and freeseg() cleverly rewrote the jump tables which led to the respective functions through the miracle of self-modifying code (fine in the age of the 68000-68030 but a nightmare on the 68040). The linker did its part by producing overlay information which "hacked" the dos.library/LoadSeg function behaviour, preventing it from ever unloading any of the overlay nodes because that was now the job of the freeseg() function.

Half of the magic of the overlay support happens within dos.library/LoadSeg, one quarter happens in the linker, 20% happens within the overlay manager code and 5% happen in the AmigaDOS manual's developer documentation on how to tell the linker to use overlays.

The original Electronic Arts creativity software (Deluxe Paint, Deluxe Video, Deluxe Music and, um, Deluxe Print) made use of overlays extensively because the original Amiga then featured only 256 KBytes of RAM. With the next year's release of Deluxe Paint 2, etc. the developers had already switched from Lattice 'C' to Aztec 'C' because it gave much better control over which parts of the program would have to be in memory at a time.

You can write an overlay manager in 'C' but it is bound to be far less elegant that the assembly language version. I am familiar with Ralph Babel's 'C' version which (of course) perfectly matches the behaviour of the original ovs.asm code. But I would be really scared to try it in production code.

Thankfully, the use of overlays fell out of favour as newer Amiga models either shipped with more RAM installed, or could be expanded more easily.
It seems in it's infancy.

https://docs.retroachievements.org/Setup-Guide/#retroarch

The front page says it's supported by retroarch, but you go to their docs section, there's nothing there.

Looking forward to a straightforward way to put acheivements into my retroarch, and not piecemeal by emulator.
No code vs AI, who's gonna win?
> They are 5+ digits of independent artists who had no idea this was going to happen to them.

But these people are already making essentially zero income from copyright (it's mostly tours/merch), and have been (again, and again, and again) utterly fucked by the current publishing companies that are so interested (financially) in killing this AI work.

They are already victims of the current system. I don't see how introducing AI changes their position all that much: They still have low bargaining power, low financial returns (avg is under 6k/year) and mostly aren't doing it as a career.

Are a few of them exceptions? Absolutely.

Will there keep being successful exceptions with AI: I'd bet yes (with a lot of cash).

Will the way they work change? Probably. Some will enjoy the change, and some won't.

I just don't see any compelling reason in your comment to argue to keep the current cluster-fuck of abuse that is modern copyright.

Arguing that the currently abused might continue to be abused might be a valid reason to reject both systems, but doesn't pass the bar to stopping AI works in my opinion.

To argue an alternative:

If anything - many indie artists might be much more successful if they're allowed to play/remix/sample/use works that are currently sitting unused behind the outrageous copyright duration we have right now.
Ask HN: Any first hand or witness accounts of clandestine chemistry?
The term might be kind of interesting, but basically non-traditional lab work.

I got the term from the steroid industry. Game of Shadows is a good primer. Romanowski’s autobiography (4 rings, no HOF ever) another good one.

Basically I’m curious about experience with medical self-supply based on existing and also well dated techniques. Really mostly a blood component to extract and/or replicate been done for decades.

It worked for BALCO. Old German steroid recipe. I also consider going to Nepal with files in hand and getting some quotes, my market personally can scale.

Many thanks in advance.
Please stop injecting political tribalism into this discussion.
> Copies of those works are ubiquitous, but there is a singular, definitive work.

When referring to recorded music, this isn't a distinction that has ever actually mattered in the real world, just a fiction made up to shill NFTs.

Are you going to pretend that anyone actually cares about a "singular, definitive FLAC file" that all of the streaming services' FLAC and MP3 playbacks are based on? This is pure fantasy, the copies are the same thing as the original piece.

The idea that Mona Lisa's (or any other artwork's) cultural influence comes from its scarcity is hilarious. Literally anyone can visit the Louvre and appreciate it for themself. Do you think it would have anywhere near as much influence if it was hidden behind closed doors and only 1 person was able to see it?

> But if we're talking about single work valuation, the Wu Tang album costs $2M.
Taylor's album costs $15.

Last time I checked, the sum of revenue from their discography is how artists and labels get paid, not based on the maximum amount that 1 person is willing to pay.

Speak Now is a single work, and it generated like 100x as much monetary value as Shaolin (with like 10,000x as much cultural impact). And those estimates are extremely conservative, when you consider that you can tour and sell merch off an album that people can actually listen to lol.
Why have examples with JavaScript, when no build process is needed?

Why not use TypeScript or even something like SvelteKit, which has a raving fan-base which is obviously working with bleeding edge tech that is still rough around the edges?
You can't point at nomel conflating blood pressure with heart rate and say, therefore nobody can consider themselves to fall outside the guidelines of traditional medical guidance.

On average, men are taller than women. That doesn't mean every man is taller than every woman. If a woman is taller than a man and says she needs specific treatment because of it, she may be 100% right.
Hmm don't see it yet on the FAQ yet.
Don't worry, by the time you work out the source of your data outage, Sony will have a wireless power module to sell you as well. It will be wildly inefficient however, so you'll want to only run it when there is actually a data outage. By the time you work that out, there will be orchestration services available that notice the outage and respond by temporarily flipping on the wireless power module. A sensor on one side of the room driving a machine on the other side, and somehow we've got it dependent on a cloud service on the other side of the planet. The future is looking bright.
> As I understand it's not possible in Rust async model,

You can block, you're just going to block all other futures that are executed on that same underlying thread. But all sorts of things block, for loops block.

This is the same as Java, I believe. Akka also has special actors called IO Workers that are designed for blocking work - Rust has the same thing with `spawn_blocking`, which will place the work onto a dedicated threadpool.

> So in reality you don't interrupt or clean up anything in Rust when a timeout happens

You don't interrupt, you are yielded to. It's cooperative.

> I wonder what happens with resources if there were allocated.

When a Future is dropped its state is dropped as well, so they are all freed.
German energy policy baffles me.

The were once the leader in nuclear energy. They really should have kept that lead, and built more nuclear plants and aggressively switched to electric first solutions such as heat pumps, EVs etc.

Instead, they are winding down their nuclear power plants, and increasing their reliance on fossil fuels in the near to mid term, at the very least, which means issues like this will plague them for some time.

No idea why they didn't pursue more energy independence when they had the chance
> The CIA's docs haven't been declassified and released.

If they were, would you believe them?
And see GNU Guix, whose configuration is written in Guile Scheme, as a positive example:

https://guix.gnu.org/en/manual/en/html_node/Defining-Package...
> Vampire Survivors developer would have been using the Unity Personal plan

So you think they would have left money on the table rather than spend $4k to upgrade to Enterprise?
The question is "Why aren't you using Godot?"

Unreal is just another vendor with a hand in your revenues.
As someone who shared a good deal of Spore creations over the internet, I disagree.

(The game would generate a "card" with a visual preview, but would stuff the XML encoding of the creation into some PNG metadata field so the image could be dragged onto someone else's game.)
Network operators could offer cheap data plans without allowing voice over them. Works for the Samsung S-Series tablets. Data is cheap, phone calls are disabled or charged separately.

For some users (e.g. elderly) an iPad with its large screen would make a better phone. They don't walk around talking (anymore). Also when wearing headphones, there is no need to lift the phone to the ear. Same goes talking to the watch.
I mean that node (not js) dashboard to build pipelines and make things look logical instead of writing 4 lines of bash. I'm not a fan of anything that adds complexity. ArgoCD/WF/ALL ARGO... is just a pretty dashboard over cli tooling.

./deploy.sh <repo>@<version> <pod-name>

This is the contract you should focus on. Whatever you need to make ./deploy.sh do this, do it.
Cuddling babies in intensive care volunteers, part of amazing process
Reply Guys and the Orange Site
Not OP but I've shipped software in a similar stack and I used the standard html/templates package along with the embed package to compile all static assets into the app binary so that the entire app was a single executable.
.NET does not need to deal with side effects of threadlocals, do thread pinning or much else - it calls into native code directly like Rust or C++ to its dynamically linked dependencies. The only cost is pinning objects, if you are passing let's say a pointer to a managed array or string (upfront cost is free but you pay for it later on if you pin for a long time), and notifying GC not to preempt the thread while it's in unmanaged land.

You can get an estimate of FFI overhead difference here: https://web.archive.org/web/20230715041452/https://vancan1ty...
It's amazing how long it takes them to act on the obvious. PE was a useless alternative to Sudafed, I don't know the history of why other than they wanted to limit access to Sudafed for meth control reasons, why it was pushed as a 'substitute'. How many of our medicines are placebos if it took them this long to admit the obvious? It doesn't inspire trust in the rulemaking process.
Large amounts of sedentary time linked w higher risk of dementia in older adults
Mexico Is US Top Trading Partner
heart attacks don't spread in enclosed spaces
Ad 2. You don’t need a vulnerability in OS sandboxing. You need a way to start communicating with the browser process, since the way renderer processes do I/O is they delegate it to the browser process by communicating over a socket. With a sufficiently advanced arbitrary code execution that’s possible without trying to find bugs in the kernel.
AI can create a bot with a voice like yours
https://archive.is/8leMu
"Running" and "acceptable inference speed and quality" are two different constraints, particularly at scale/production.
https://archive.ph/HLgBg
> Those people who think they know everything are a great annoyance to those of us who do. -- Isaac Asimov

Useful discussion is an interesting scope for someone with the broad, in-depth knowledge of a vast array of subjects he demonstrates in the linked essay.
> Btw which libs are you referring to for network requests?

Consider this:
https://docs.rs/rusoto_s3/latest/rusoto_s3/trait.S3.html

You're given a trait and, understandably, this trait does not expose any sockets to you (it may not even be backed by sockets).
I don't necessarily mean that they need to be thoroughly business minded, just professionally trained as a manager.
Autonomous truck platoons are a bust, but they work if you put them on rails
> They completely ignored the human emotional aspect of buildings and living spaces.

But it turns out they didn't, since the majority of today's architectural design is even more alienating. Brutalism often seems downright cozy in comparison.
Here in central Europe, I have black and red variants in my garden, from which I've been picking for my daily muesli on the regular for years, and probably have a few bowls' worth in the fridge, as their season is over but my collecting isn't .. they are delightful plants, providing much in terms of vitamin C and other things, such as sugars ..

I think berries (and peas) are among the easier things to grow locally, and I sure wish more people in the cities and things did, we'd have more for the birds ..

Of course, this story is a reason we can't just have 'uncontrolled agriculture' but so, I'd just say let people grow the native species of whatever they can eat and leave us all alone, gardening is a human right ..
Summary also from Forbes at https://www.forbes.com/sites/willskipworth/2023/09/12/sittin...

Original research article: Sedentary Behavior and Incident Dementia Among Older Adults - https://dx.doi.org/10.1001/jama.2023.15231

Update:

MedicalXpress coincidentally publishes a further article,

Is standing at your desk actually better than sitting? Here's what the evidence says

https://medicalxpress.com/news/2023-09-desk-evidence.html
Weirdness with this continues because it became a popular issue in media/politicians at multiple levels dragged in....

So much misinformation around what's common out there, and the basic challenges to getting full underground subway mobile access when the technology has not been put in place. NYC barely just getting it in the last year? London only just started to get it recently also. People's perception of what "mobile access" on transit is when they're in Europe on above-ground trams and stuff is ridiculous.

And then there's the "forcing a private company to work with it's competitors when there's not a real financial incentive to do so" thing. I'm not on Rogers side, I mean, Canadian telecom has long been a mess dominated/controlled by like 2 major firms, but there's a commerical reason this wasn't built into the underground system all these years. Why would Rogers help Bell customers etc. Framing this as some public 'safety' thing has only become a thing recently because it was a hot issue in the recent Toronto mayoral election due to increase in transit incidents. But forcing Rogers to 'play nice' whatever that means with their competitors?