skysight-inc/HackerNews huggingface dataset:
with_addr is basically that, but with a name and some documentation:

https://doc.rust-lang.org/std/primitive.pointer.html#method....

As I understand it, Rust added this in part for experiments with CHERI but mostly for miri.

Interestingly, the implementation of with_addr is very similar to your code.

How do you handle cases where there are multiple possible sources of the capability? For example:

int *a = …, *b = …;
(int*)(((uintptr_t)a + (uintptr_t)b) << 2)

I’m not sure I would allow this into any code I maintain, but still. There’s also the classic xor-list, and someone has probably done it like:

struct node { struct node *p; };

struct node *next(struct node *here, struct node *prev)
{
return (struct node *)((uintptr_t)here ^ (uintptr_t)prev);
}

And this needs to either result in a compiler error or generate some kind of code.

Rust’s with_addr wins points for being explicit and unambiguous. It obviously loses points for not being C. And Rust benefits here from all of this being in the standard library and from some of the widely-available tooling (miri) getting mad if code doesn’t use it. I can imagine a future Fil-Rust project doing essentially the same thing as Fil-C except starting with Rust code. It might be interesting to see how the GC part would interact with the rest of the language.
Antidepressant use among teen girls and young women has skyrocketed?

Simply because those who should know better are unnecessarily over prescribing to that age range.

I always thought that Antidepressant had been banned from being prescribed to the under 25's back in 2004 because of a huge increase in suicide risk.

https://www.frontiersin.org/journals/psychiatry/articles/10....

yet they still keep prescribing even knowing the dangers.
A surprising amount of work involves law enforcement - all sorts of public land, from NPS to BLM, is used for drug manufacture and cultivation.
I miss Topological Tuesdays or Turing Thursdays
I think this depends on your use case. As a dev I would take dockerized gui applications over flatpak all day, as it allows me to quickly add additional packages and networking for example. The possibilities would be endless while all can reside in a small docker-compose stack right in the repository.
The problem with this exploit is it needs something on the device that sends out BLE packets.

This is hardly the problem that it's made out to be.

Excellent PR team - every other site reporting makes it sound like they broke FmF. but with a process on the device the device has already been pwnd.
That’s a way of achieving safety that has so many costs:

- physical fragmentation (you won’t be able to put two live objects into the same page)

- virtual fragmentation (there’s kernel memory cost to having huge reservations)

- 32 bit size limit

Fil-C achieves safety without any of those compromises.
I used to work with a founder who would deliver product ideas and our roadmap by saying things like "If we were smart, we would [do X, Y, and Z]." Implying that we (the company in general, or engineering in particular) were not smart now, but need to change our ways to smartness and do X, Y, and Z. I'm not sure how else to interpret these kinds of passive-aggressive jabs.
you can do this easily with virtual memory, and IIRC Zig's general purpose allocator does under some circumstances (don't remember if its default or if it needs a flag).
Narrow finetuning can produce broadly misaligned LLMs
> Semantics.

If your goal is just to redefine the word then by all means, continue.

But semantics are very important if your goal is to drive adoption of your ideas. You can't misuse a term and then get pissy when people don't understand you.
Good to know, thanks!

I'd be mildly surprised if the current version remains unchanged for a long time. It raises the question of "how do I determine whether I'm one of the 'most people' who wouldn't think of you as selling my data", and I doubt they'll want to answer that.

I wish there was a way to tell the Wayback Machine to do a snapshot for historical preservation.
Just about everything in this world has gotten someone killed. Do you believe in allowing the sale of coconuts knowing they kill people yearly?
It sounds like what you're describing is one-time allocation, and I think it's a good idea. There is some work on making practical allocators that work this way [1]. For long-running programs, the allocator will run out of virtual address space and then you need something to resolve that -- either you do some form of garbage collection or you compromise on safety and just start reusing memory. This also doesn't address spatial safety.

[1]: https://www.usenix.org/system/files/sec21summer_wickman.pdf
We built a bunch of tools & technology for leveraging observability (docs.auxon.io) to do V&V, stress testing, auto root-cause analysis, etc. in clusters of embedded development (all of it built in Rust too :waves: ), since the same challenges exist for folks building vehicle platforms, lunar rovers, drones, etc. Both within a single system as well as across fleets of systems. Many embedded developers are actually distributed systems developers... they just don't think of it that way.

It's often quite a challenge to get that class of engineer to adopt things that give them visibility and data to track things down as well. Sometimes it's just a capability/experience gap and sometimes it's just over indexing on a perception of time getting to a solution vs. the time wasted on repeated problems and yak shavings.
I don’t think there’s anyone in the Elixir community who wouldn’t love it if companies would figure out that everyone is writing software that contains an ad hoc, informally-specified, bug-ridden, slow implementation of half of Erlang, and start hiring Elixir or Gleam devs.

The future is here, but it is not evenly distributed.
Distributed systems are cool but most people don't really get how much complexity it introduces which leads them to fad-driven decisions like using Event Sourcing where there is no fundamental need to use it. I've seen projects getting burned because of the complexity and overhead it introduces where "simpler" approaches worked well and were easy to extend/fix.
Hard to find and fix bugs, much slower feature addition and lots of more goodies the blogs with toy examples don't speak about.
Don't disagree that new wealth is being created, what matters when talking about quality of life and inequality, is who are the beneficiaries of this new wealth? Is it the already wealthy? If so, that's part of the positive feedback loop to drive inequality further. More assets, Yay. Held by fewer and fewer people over time. Boo.
Would you guys consider adding a llms.txt ?
Is anybody pointing on the fact that "alignment" is brain-washing?
The serious vulnerability that affects all Kia cars registered after this date
>> She would pay AWS in dollars even as Okra earned in naira because American cloud providers did not accept payments in local currency at the time. The payments to AWS gradually skyrocketed as the naira depreciated around 70% against the dollar between 2020 and 2024.

So this is really a forex hedging problem.

Although there's an interesting twist with the local colo et al. competition who presumably have capital costs still denominated in foreign currencies (e.g. servers, generators, etc).

What should a foreign-currency-denominated cloud pricing do, when a customer's local currency depreciates?
Does anyone know if the fix for this vulnerability removes the ability to use your own arbitrary BLE devices on the FindMy network? I haven't personally looked through the technical details of how that has been accomplished in the past, but it sounds up front like it might.
> She would pay AWS in dollars even as Okra earned in naira because American cloud providers did not accept payments in local currency at the time.

> The payments to AWS gradually skyrocketed as the naira depreciated around 70% against the dollar between 2020 and 2024.

> Combine that with Nigeria’s economic challenges — rising inflation and forex volatility

> Ashiru took things into her own hands, and Okra set up cloud infrastructure with servers in data centers in Nigeria and South Africa in 2024

But the servers will also be priced in a more stable currency than the naira, so I'm not sure what the win is. I also googled "nigeria electric grid" to learn if they'd see how much pricing would be driven by inflation, but before I got there, saw that the national grid had 12 collapses in 2024. Generators and fuel are also priced in more stable currencies.

The data sovereignty argument is interesting. I know there are EU companies that only use EU data centers. We might see (if it's not already a thing) AWS have a nominally independent EU subsidiary that can ignore US regulators.
Where I live, rents are about equal to the cost of mortgage + property tax, if not slightly more. This means you don't save money in the short term by renting.

Mortgage is temporary though, rent is eternal and usually increasing over time. This means you don't save money in the long term, either.
That’s fair.

FWIW, Fil-C’s guarantees are literally what you want. There’s no escape.
One example of market power abuse they engage in is requiring the price listed on their website to be the lowest offer that a merchant can list. You can't list a product on their page and then have a discount for that product on your own page.
Yeah this is kind of an abstraction failure of the infrastructure. Ideally the surface visible to the user should be simple across the entire spectrum of use cases. In some very, very rare cases one necessarily has to spelunk under the facade and know something about the internals, but for some reason it seems to happen much more often in the real world. I think people often don't put enough effort into making their system model fit with the native model of the infrastructure, and instead torture the infrastructure interface (often including the "break glass" parts) to fit into their a priori system model.
People love to dunk on hacky looking gamedev code. Some of it is pretty ugly, e.g, VVVVVV's famous gigantic switch statement, but if it works and makes a fun game, that's the actually important part.
chemical imbalance is a myth and most certainly untrue

there is no evidence that chemical imbalance, though a myth, causes depression

a Scam used to sell Prozac back in the last 1980's

https://www.theguardian.com/society/2022/jul/20/scientists-q...
From the article you posted:

> Maja R was sentenced to a weekend in jail after her comments because she had a previous conviction for theft and had not attending the court hearing for the case.

I'm not supportive of defamation laws but clearly you (and this journalist) are sensationalizing what happened.
I'm far from able to understand american politics but didn't Dems get far more money in the last election than Republicans? I've read about twice as much? What would big (social media oligarchs/moguls ?) donors flipping back bring about?
I agree in spirit, that it's possible for a field to be so lost that a new paradigm fundamentally obviates it and frees you from having to recapitulate the entire thicket. But still, a minimal test for whether you've actually obviated them would be whether you can double back and show how the new paradigm resolves/makes them look naive and confused. And so I'd expect an author to do that for at least one such school of thought as part of their exposition.
This is more recent, and arguably going after something different(fingertip sensation), but I'm sure has overlap as well:

https://www.youtube.com/watch?v=9AofrJJaS8U
The author is missing information about LLMs.
In the "Obligatory LLM Section" he focuses on distributed systems that use LLMs.

But almost all of the new innovation I'm familiar with in distributed systems is about training LLMs. I wouldn't say the programming techniques are "new" in the way this post is describing them, but the specifics are pretty different from building a database or data pipeline engine (less message oriented, more heavily pipelined, more low level programming, etc)
The FBI's lab leak investigation
You can always build your own flatpak image with whatever else you need. I think the only thing you're losing is the layered architecture of OSI images.
This is a nicely written description of some of the things that flatpak does under the hood for people who know docker. Of course, flatpak does a lot more (e.g. filtered dbus access).

I personally think that flatpak is not the end of history and we should continue to experiment with different approaches.
There is no link in the article and Nebula is a very common cloud hosting name, but must be this one: https://usenebula.io/ https://usenebula.io/pricing

Does not seem cheap though by the first of it.
you sound like a person I used to date who my therapist says is definitely a clinical narcissist... love bombing, devaluation, isolating from family members, transactional and conditional, and discard.

edit: I ask because I used to have the domain zvive and use that username... so a little personal for the user to use zvive2.
> While setting up a data center can cost millions of dollars, small Nigerian teams have found a workaround to this with “colocation”

Isn't that what everyone does when starting up a hosting company?

Looking at the websites of those companies, I also wouldn't characterize them as AWS or Google Cloud competitors. They offer Virtual Private Servers, FTP storage, maybe an S3 equivalent and Kubernetes. Maybe we can talk about S3 and Kubernetes being AWS-like, but those that offer only Virtual Servers and FTP space are competitors to "boring" web hosting services, no matter how often they use the word cloud.

It's cool that these services also exist in Nigeria, and I think it's right that Nigerian websites use Nigerian infrastructure. But the article does a poor job talking about it
... by selling out our allies. China must be salivating over Taiwan and Japan.
Have you read TAPL? I bought the physical copy and found it 100% worth it. Really easy to work through, even with a layperson's understanding of math

[1] https://www.cis.upenn.edu/~bcpierce/tapl/
Seems like bro understood me just fine.

In Fil-C, pointers are called “pointers”.
https://web.archive.org/web/20250227181008/https://www.vanit...

https://archive.ph/XMuk4
The article makes great points about why distributed programming has stalled, but I think there's still room for innovation—especially in how we handle state consistency in decentralized systems.

In Freenet[1], we’ve been exploring a novel approach to consistency that avoids the usual trade-offs between strong consistency and availability. Instead of treating state as a single evolving object, we model updates as summarizable deltas—each a commutative monoid—allowing peers to merge state independently in any order while achieving eventual consistency.

This eliminates the need for heavyweight consensus protocols while still ensuring nodes converge on a consistent view of the data. More details here: https://freenet.org/news/summary-delta-sync/

Would love to hear thoughts from others working on similar problems!

[1] https://freenet.org/
Hmm yeah but then they wouldn't be so anal (pun intended) about erotic content. If anything is engaging it's that. Several people I know have been banned 4 or 5 times (they've taken to just increasing a number after their account name)
No. The average USFS salary was ~$60k in FY 2023.

https://openpayrolls.com/rank/highest-paid-employees/forest-...
Not when responders arrived according to this article, https://abcnews.go.com/US/actor-gene-hackman-wife-found-dead...

The Academy Award-winning actor was found on the floor in the mud room, according to the search warrant. It appeared he fell suddenly, and he and his wife "showed obvious signs of death," the document said.

Arakawa was found lying on her side on the floor in a bathroom, with a space heater near her body, according to the search warrant.

Her body showed signs of decomposition, the document said. There was mummification to her hands and feet, the document said.

A German shepherd was found dead about 10 to 15 feet from Arakawa, the document said.

But two other dogs were found alive. One healthy dog was near Arakawa and the other was located outside, according to the search warrant.

The Santa Fe City Fire Department found no signs of a possible carbon monoxide leak or poisoning, the document said. If there was carbon monoxide at the scene, it could have vented out of the home through the open front door before responders arrived.

New Mexico Gas Company also responded and "as of now, there are no signs or evidence indicating there were any problems associated to the pipes in and around the residence," the document said.
> The definitional trait of an event horizon is that it is causally disconnected from the outside universe. It is the "horizon" beyond which "events" cannot be causally connected to some observer.

It's just a theory. When theory doesn't match reality — we replace theory.

> I don't even know what you think you mean with "fractal theory",

Fractal theory is simple: Universe is a 3D fractal, which means that if we will zoom in or zoom out for long time, we will see similar structures again and again and again, for infinity.

Thus, if we will zoom out, we will find our Universe as part of an unknown object of giant size, such as a dust particle in space.

However, if we zoom long enough, we will see that we are also part of a known object of even larger size: a dust particle, a star, a black hole, an grain on a beach, etc.

> universe is expanding

Nope. Imagine that we are sitting at surface of a rubber balloon and it deflates. We also see lot of rubber balloons around us, which are doing the same. We will see that surfaces of all balloons are moving away from us, so you may think that this rubber Universe is expanding. Surfaces of larger balloons further away are moving away even faster that surfaces of smaller balloons near to us, so you may think that this rubber Universe is expanding with acceleration, but this is just an illusion. In reality, balloons are deflating, their centers are barely moving.

> but the reason space is black and cold is that (1) the hot surface visible in every direction to the right telescopes is very far away

Yep, but why? Look, I'm trying to guess our location in outer Universe. Our base space is very rigid, it able to withstand powerful forces without hitting it limits. Black holes are able to hit limits of the space, so I suspect that equally strong forces are holding our space, thus we are inside in a black hole. But where we are in the black hole? We don't see curvature of space, thus we are in a flat part of the black hole. Where this flat part can be? IMHO, we are near to center of black hole, in the north hemisphere.
It's true there were usually pairs of consuls and censors, but there were powerful magistracies that were awarded to individuals, like pontifex maximus and the tribune of the plebs, the former being a lifetime appointment. Either way, the Republic collapsed into violence, and was hardly blameless in its own fall. Ultimately whatever checks and balances you have, it's very hard to stop power and wealth accumulating, and thus enormous constituencies feeling disenfranchised.
I've run an X app from Docker, a Linux container on a macOS host. I was able to move the incantations to a Makefile: https://github.com/ryanfb/docker_scantailor
Oh no! K-9 Mail is awesome, what a great job you've done. Thanks so much.

Good luck with your next steps.
Another thing to look at is bubblewrap (https://github.com/containers/bubblewrap), which is what implements the sandboxing in Flatpak. It's handy if you want to run a command from your host in a particular sandbox as kind of a one-off, or if you just want to understand more about how that sandboxing works :)
YouTube is such a great, single-source, area for this. It's wild how many 10m+ subscriber youtube channels that I've never even heard of. So much variety in the world :)
Same situation here. It was one of like 6 options and I had to take 2 of them. I found that I learned a lot from the class, but I was literally one of 7 people taking it that semester in a massive university.
I am 100% convinced we could delete the compiler class from college curricula and replace it with distributed computing and the world would be a better place.
There are no such thing as real IQ charts broken down by countries, and anybody trying to sell you one is peddling junk science.
The great autocompletion is a great inspiration to me as well. It's intuitive in how it works and requires no user manual, although when you sit down to analyze it, it actually has some subtle states. It's such a great design that I essentially copied its UX to a web app I was working on: https://github.com/kccqzy/smartcal/commit/10d32d18d257d5093d...
People will still be finding these vulnerabilities. Just fewer of them, and fewer of them from within the United States, and fewer of them publishing the details publicly.
I would say much of my career in science consisted of getting results, showing them to smarter people, and being told I was just looking at noise.

(most of the time, that was true)
I made a partial replacement that doesn't allow user-submitted content at https://davidlowryduda.com/static/MathShare/. It just stores the content in the URL, and is limited by URL size limits. In practice this means you have approximately one page of text.

I wrote about making this at https://davidlowryduda.com/mathshare/. I was trying out the LLM interaction that made it near the top of HN recently, and it worked very well.
Great idea, congrats. Can you speak a bit about the the validation piece? Were LLM hallucinations an issue and required this? Are you using some kind of structured output feature?
Like Weird Al’s folks and those poor people at the Bahama’s Sandals.
Fair enough, but I was imagining that they need to take over an industry on the backs of fully remote talent, and become the toast of HBR. The business world may not care about evidence, but they are obsessed with following trends first and foremost.
Is there a reliable modular datacenter construction technique that allows for easy scaling/expansion?

Seems that could have a dramatic impact on bringing these within reach.
> This would be far more interesting if it were based on an hierarchical system such as LoC, and instead afforded an interface for accessing legitimately available books

Isn't this exactly what Open Library does?
"I'm afraid I cannot deploy your application, Dave"

Jokes aside one area this could be really worth money is predicting cycles of traffic and saving with ramp up and ramp down of server instances. It's the kind of work that if you're doing it out of your time the company would never give you greenlight it but if you pack it as a shelf product they would totally buy it.
"The months leading up to the release were quite stressful for me. All of us were working on many things at the same time to not let the targeted release date slip too much. We never worked overtime, though. And we got additional paid time off after the release "

I'm kind of curious what the source of the stress was. It clearly wasn't being overworked.
yes, but in an inefficient way, similar to how large clusters with ECC are weak cosmic ray detectors.