skysight-inc/HackerNews huggingface dataset:
> As long as there's a guard page and as long as you can assume that page is at least 4KB in size, you can detect C stack boundaries safely.

How do you do this in pure C?
so many other species do too, they garner no sympathy because they aren't cute to humans.

an alien species will come to this planet and wonder why all remaining species have big eyes, big foreheads and tiny limbs and realize they all have a symbiotic relationship with human's visual cortex and oxycotin production
What a brilliant feature. May consider using fastmail now
> The biggest user of water here in Arizona are the commercial farmers.

And farming has been booming in Arizona. I lived there about 10 years ago and even then there were a lot of complaints about all the tree farms (almonds, etc.) that were showing up in Arizona. Massive water consumption and virtually impossible to be sustainable in the desert.
It sounds to me like you're unaware of (or dismissive toward) the existing discourse around the topic of neoliberalism. Mises.org may view the term as a meaningless epithet leveled against their ideological kin by ignorant or irrelevant onlookers, but one can't simply hand-wave away the existing literature on the topic. Redefining existing terms to suit one's own goals, perhaps through the use of arbitrary purity tests, is unhelpful at best. As you acknowledged, "the incentives for distortion are clear."

Moving on, I'll reiterate that Hayek is widely considered a (very significant) neoliberal. This isn't a controversial viewpoint - check out neoliberalism's entry in Wikipedia (https://en.wikipedia.org/wiki/Neoliberalism) or the Stanford Encyclopedia of Philosophy (https://plato.stanford.edu/entries/neoliberalism/) for the mainstream perspective on his role in its development. The notion that Hayek is not a neoliberal, however, would seem quite controversial to most in this space.

> In practice neoliberalism does not represent the free-market as presented by Hayek.

Keep in mind that Hayek was a theoretician, so his ideas represent a starting point, not a conclusion, when it comes to enacted policy. What are some good examples of neoliberalism in practice that you find wholly incompatible with Hayek's views?

> Take the example of neoliberal negotiated "free trade" agreements and contrast that to laissez-faire unilateral free trade.

While I can appreciate the differences between unilateral free trade and "neoliberal negotiated 'free trade' agreements," I'm not sure how the existence of those differences removes Hayek's prominent role in the history of neoliberalism. I'll also point out that the (confusing) catch-all use of the word "neoliberal" to describe American center-left politics from Carter onward shouldn't be conflated with academic use of the term.

> Mises was also a founding member of the MPS, will you have me believe that he was a neoliberal?

While I probably wouldn't primarily characterize Mises as a neoliberal, he had a huge influence on Hayek and maintained many views that are compatible with neoliberalism.

> Neoliberalism is distinct from liberalism insofar as it does not advocate laissez-faire economic policy but instead is highly constructivist and advocates a strong state to bring about market-like reforms in every aspect of society.

This is from economic historian/philosopher Philip Mirowski, I believe, and should be viewed in that context. He's describing an existing neoliberal political and economic system in toto, as opposed to the theoretical principles that Hayek or Friedman would have discussed. While one might discuss policies intended to increase economic freedom as if they could be overseen by a small, limited government, and would result in universally-increased freedom, actually implementing them could require a powerful and oppressive dictatorship like Augusto Pinochet's in Chile.
It’s usually unbelievably boring to talk about downvotes, but I downvoted this comment. It’s not only incredibly boring but assumes that you’re the only intelligent person who bothers to read critically. Not only is that wrong but it’s tremendously egotistical and again, incredibly boring to read.

You might be right but you could have expressed that in a less ego filled (and thus somewhat interesting) way. This current comment, I’m sorry, but it’s too incredibly boring for anything but downvotes.
Show HN: Remstat builds simple dashboards for long computing tasks
With all due respect, this is nonsense written by someone who doesn't deal with this problem.

This argument comes from people seeing movement from A to B, and assuming all movement from A to B is identical. This particular pattern is that they're motivated to move toward B (and the fact they started at A is incidental), and can't understand that other people can move from A to B because they're motivated to move away from A (and ending up at B is irrelevant). For an extreme example: A Saudi man and a Saudi woman both moving to Norway. The man might be motivated to move towards a country with snow where he can ski, while the woman is motivated to move away from somewhere where she has limited rights.

I understand (and sometimes fall prey to) the stereotypical Civilization "one more turn" phenomenon, and have e.g. booked holidays and pulled an all-nighter to power through a new Warcraft expansion or some such nonsense — a clear case of "movement toward". But I also have anxiety issues, and this sort of "movement away from" procrastination is very much part of how it manifests itself. The two are distinct things that feel very, very different internally.

Ultimately, I don't actually care what it is that I'm doing, scrolling through reddit or playing a game, or even tidying up the house. I might even be exhausted and struggling to stay awake — the point is I don't want to go to bed, because high anxiety usually triggers my brain going into uncomfortable thoughts when I go to bed, and because going to bed puts me that much closer to the next day's anxieties and stresses.

A different (and ultimately unhealthy) sort of "movement toward" is the choice to not go to bed as an act of self determination by way of rebellion. Sort of "I don't feel in control so I exercise control on the one thing I feel I can, consequences be damned". The important part isn't the thing you're doing, it's that you're choosing to do it. AIUI, self-harm works along these same lines.

In short: please don't patronise people struggling with real problems by telling them they're just over-intellectualising things.
This is speculation, but maybe it catches unintended infinite recursion earlier? I’m willing to bet that the vast majority of stack overflows happen due to programming errors rather than genuine uses running out of stack.
Hi HN! I created remstat (short for: remote status) because I found myself wanting a simple way to monitor long-running tasks like training a deep learning model, downloading and processing a bunch of images, etc. I was tired of running over to my laptop to check for a pulse and see how things were going. A lot of great services out there would have met that need, but they also seemed to involve setting up a database or installing service-specific libraries or integrating APIs designed for use cases that were more sophisticated than what I really wanted or needed for these one-off tasks. I just wanted to record some numbers and see them on a plot on my phone, ideally using nothing other than the basic Python libraries I already know and love. I'm sharing it in its current, very basic state because I have a sneaking suspicion that what I was looking for already exists and that I just didn't do a good job finding it. Feedback welcome, especially of the form, "XYZ already does exactly what you want, and it has the option to do much more."

You do have to set up an account and sign in to use the service, which I know is not appreciated in a Show HN. But the main page has a pretty clear demo showing how it works to help you decide if it's worth a look, the privacy policy is straightforward, we only collect your email address, there are no trackers at all, and you can delete your account along with all your data with just one click.
did you ever notice how the only people who ever say anything positive about Safari's adblock ecosystem are those who literally sell adblocker software?
It is like clockwork.

Despite the fact that most of your posts on HN are ads for magiclasso, the fact remains that even most basic features (like whitelisting or blocking cookie banners) require payment.

Furthermore, you do not even come close to uBlock origin. Of course, we both know this, because it simply is not possible. Apple does not allow it. And yet, you continue to state the opposite even though it simply is not true.

On other platforms, using *entirely free* addons like uBlock, you can zap away annoying elements/bars/overlays... or enable some requests while blocking others selectively. You can block videos on some news websites, but allow javascript galleries, and do the opposite on a video site. You can block that overlay disabling right clicks or hijacking the scroll bar.
Once you know that it is possible, you do this every day.

None of that is possible with your product, magiclasso.co, no matter how much money I pay you or how many ads you write on hackernews.

There's a fine line when shilling your own product here. One should be humble.

If you write: Yes, compared to other platforms, the adblock ecosystem in Safari is absolutely dismal. However, we have this product where we are doing our best...
Okay...

What you write there? ugh sorry, but no.
Cold showers are said to be good for you – here's what the evidence shows
DeepMind and Idsia Introduce Symmetries to Black-Box MetaRL
But to clarify it _does_ apply to B2?
Sounds great (nearly too-good-to-be-true great). Wonder how the SLA will look like. I have been using gcs, s3 and firestore - and their actual reliability varies significantly, while advertised slas are similar. For instance, with firestore one has to implement a pretty lenient expotential backoff in case of a timeout, and if the backoff results in the object being retrieved in, say, 2 minutes -- thats still ok as per gcs sla. It obviously makes it hard to use it for user-facing stuff, such as chatbots, where you can't afford to wait that long. In my anecdotal experience of using firestore for about 10 million operations per day, we will usually have a problem like that every few days, and that means user-noticeable failure. It would be great to read more on cloudflare's approach to reliability defined as "99%" percentile max latencuy. Can't wait to give it a try with our workloads.
> Mainly: editing and saving directly in the debugger!

Hum... Firefox does that. I know because every time I mistakenly start saving I ask what is the point of it. But well, looks like it's useful for somebody.
Latency (time to first byte) in serving infrequently accessed images was a big problem with me and B2. The cost was low enough that I've stuck with it though and coded on the front end of the site to use placeholder images until the real media can be retrieved.
This is the first thing Facebook mentions in the section titled “How We’re Building Responsibly”

"We’ll work with experts in government, industry and academia to think through issues and opportunities in the metaverse. For instance, its success depends on building robust interoperability across services, so different companies’ experiences can work together.”

This is about them being afraid that early adopters will be on other platforms like Roblox.
As a device that's essentially a smartphone with some extra hardware/custom software, I would imagine that's like asking "what has Apple done to lock the iPhone to iOS?" or "what has Sony done to lock the Playstation to only run Playstation software?"

If you think of it less like a monitor and more like a game console or a phone with a locked bootloader, then it's easy to see how you can require account auth in order to use the built-in software.
> Effectively destabilizing and splintering western societies.

There's a biological analogy where a predator can't move into a niche if its already populated.

In the USA we already have groups we're not allowed to criticize, we're only permitted to fight with each other about how rabidly we support them more than inferior people whom don't support them as much as we do, look at my halo, etc. Or there are countries with influence over us that we aren't allowed to name much less complain about.

China can't move in to predate us, those spots are already full. Or to put it more explicitly, the 50 cent army can't move in on the turf of the baizuo.

Likewise there is an interesting biological/ecological analogy where the vast majority of the population are pretty sick of the baizuo, but if they were marginalized then we wouldn't enter a golden era of freedom; we'd just rapidly get sick of the 50 cent army after its expansion into the vacuum.
> After a three-month follow-up period, they found that the groups that had cold water [at the end of a daily warm shower] had a 29% reduction of self-reported sick leave from work

> Cold water immersion has also been shown to improve circulation. When exposed to cold water, there is decreased blood flow to the skin. When the cold water stops, the body has to warm itself up, so there is an increase in blood flow to the surface of the skin. Some scientists think that this could improve circulation. A study that looked at cold-water immersion after exercise found that, after four weeks, blood flow to and from muscles had improved

> A cold shower may also help relieve symptoms of depression. A proposed mechanism is that, due to the high density of cold receptors in the skin, a cold shower sends an overwhelming amount of electrical impulses from peripheral nerve endings to the brain, which may have an anti-depressive effect

> there are some risks to a cold shower. Because a sudden gush of cold water shocks the body, it can be dangerous for people with heart disease and could precipitate a heart attack or heart-rhythm irregularities
Yep, good point! It is. I explain more in my comment here: https://news.ycombinator.com/item?id=28683245

I'll edit the title to clarify. Thanks
Not really a proper solution for 98% of the public
The most hated brands in each country
Business Opportunities in the Shopify Ecosystem
Hi co-hackers,

We’re Ivan and Hisham from Geneva (Switzerland). We have been working on a radically new programming language called Val for a couple of months now. Val language is a static language with a compile-time dynamic language called Valet. Think writing Python/Ruby/JS to generate C/Rust for quickly building Web, AI, Data-Intensive, and Low-Level applications.

It all started with our current project, an online funding platform for open-source projects. Think Kickstarter with a new business model. To seamlessly integrating all platform layers (web, business, and low-level systems), we needed a language to manage our heterogeneous solution that matched the requested performance and reliability levels. Mixing multiple languages in distributed environments at large scale is not a good strategy to create reliable systems.

Val is what you would have designed if you weren’t constrained by legacy code or backward compatibility. Val lets you first elegantly express your domain-specific knowledge to then map it into a robust implementation.

We have extensive experience delivering a broad range of systems, from embedded systems to financial platforms like blockchain.

We are at the beginning of our journey. Feedbacks, ideas, suggestions are highly appreciated.

The documentation is here to give you a glimpse of Val. We are looking to raise funds for our funding platform, and we need to clarify some points before publishing the source code.

You can already sponsor our project [4].

Thanks all!

[1] www.val-lang.org

[2] www.reddit.com/r/vallang

[3] www.github.com/alkaemy/val-lang

[4] https://www.patreon.com/bePatron?u=62339104
I agree that sounds unhealthy
I know about all the tools you've mentioned as I've been following the space from a distance, was just curious if you had a more "outside research" approach in mind when you claimed developers refuse to use the available "tools"... I haven't seen Coq, or even Idris or Ada+Spark, which arguably much closer-to-the-industry tools, being used for anything but very niche cases (like the case you mentioned about using TLA+ at Amazon).

I am probably one of the developers who would gladly use anything like that, but from my brief experiments and knowledge, they are very, very far from becoming usable in a general setting, so no, I don't refuse to use the tools, the tools are just not good enough to justify the high cost of using them yet.
I'm curious what devs are doing about this right now. Sometimes I'll pull and BAM gross merge conflicts. Is there a git command I could run first? A workflow to adopt? I feel like some new tool from an academic paper will never make it into my toolbox.
True although this only works if you're the only user on your domain.
Well, that was a low effort comment. Did you know they and their habitat burned to death in wildfires?
GP isn't mentioning lifecycle to change storage tier, but to delete the files after some time.
perhaps RTFA, Tesla provided documentation that said the car had actually been involved in a collision.

SO they lied, incompetently tried to cover it up, handed over evidence that proved their opponents case, were found to be at fault, appealed the result, which was upheld. Now they want to sue this guy for, what seems to be, winning his case.

So yes, this is the streisand effect in effect.
I've been doing it with fastmail for a long time (I used another provider before them as well). I really don't see that the 1P integration changes much (I don't use 1P though, I use Bitwarden and KeepassXC, so maybe I'm missing something?).
A desktop app that helps you encrypt your messages
Is there any evidence that Intel has fixed its process problems? Otherwise aren’t they building a $20B liability?
I don't think tail call will help depth-first ("obvious recursive way") tree algos.
I'm in a somewhat similar boat. I wish there was an easy tool for svg animations. Essentially I want simple translations, transforms and attribute changes (opacity mainly) on my inkscape drawn svgs. At the moment the best solution I have found is to manually edit the svgs.
The initial/main thread stack size is dynamic, it grows until it runs into another allocation (and these days there are guard pages and such). You can already use 128MB on the initial/main stack, even with musl-libc / Alpine linux (it needs to be linearly probed it if it's unreasonably huge, so the OS isn't surprised by a random memory access out in the middle of nowhere, but the compiler should do that automatically these days).

You can also request whatever stack size you need for additional threads when you create them, this has always been a good idea.

It's only the default stack size for non-main threads, if you don't specify it, which may be considered reasonably limited.
I just wrestled with this. You cannot effectively handle stack overflow situations if you use the system stack on Linux, because stack segments are in magical "MAP_GROWSDOWN" regions. These regions are managed by the kernel itself. There is a base address and a size, and the kernel initially only maps some small number of pages near the upper end (high addresses). Faulting accesses to addresses that are not mapped, but in the region, just below what is currently mapped cause the kernel to map in new pages automatically, "growing down".

The customary way to handle stack overflow gracefully in userland is to install a SIGSEGV handler and check the faulting address to see if it is near the stack segment end, handling the signal on an alternate stack. Except that determining if the access was in the stack segment requires knowing the stack segment start. The signal API doesn't allow querying that; you'd have to query the process's mappings by other means. It's also not robust because a program with big frames might just stride too far and confuse the kernel's automatic growing, causing spurious SIGSEGVs when in fact, there is stack remaining.

I found it was just easier to allocate my own stack segment and immediately switch to it and just leave the loader-provided stack segment alone. Virgil does this in the first 50 or so instructions upon entry.

This also makes stack overflow very deterministic (only depends on the program) and controllable--there is a compiler option to set the stack size in KiB. There's no need for the compiler to insert strided accesses either, as the whole segment is mapped, and you can have more than a single guard page at the beginning (think: 1MiB guard region).

Stack segments in C (and Linux) are madness if you use very much and want anything to be robust to overflow.
Their own documentation (provided in the initial sales fraud case) showed the damages.
Add this to my file of “Elon & Jeff Need Gas Money”…

I recently met a founder whose $100MM a year LED business was bankrupt by Jeff Bezos first cloning and then shutting down his Amazon business.

Without the government extracting taxes via a violence monoploy to fund gas money for space, guys like Elon and Jeff are forced to do shit like this so that they can fill up the rockets and get off world, man.
There are varying level of masking. I would consider an email myusername+random@domain.com as a masked address. Of course it is trivially unmasked. But assuming I am willing to accept that, it does offer a different tradeoff with respect to convenience. It's true though that is fairly trivial to manually add +random
But Google and Youtube are the same company, they share many of the same engineers and servers and are bunded in the same annual reports. Not sure how you would get a market rate from that. What you are suggesting is that we split Google up from Youtube, but that is not on the table.

Edit: Lastly I am not sure how being able to put your own ads on your own website is bad for consumers. It means that people has to go via Google to put ads on a Google website. How can anyone view that as "anti competitive"? I mean, Google could just create a separate ad service for Youtube, say that Youtube now uses its own service and therefore is not anti competitive. Wouldn't that just circumvent this law completely? Or is the goal to be able to force arbitrary ads on any website?
Never saw anything like this, such an amazing interview, loved the energy and vibe, amazing concept.
TCO is an optimization. It's not always possible.
Thanks, it's a pretty long story and still very actively developing I guess. Let's try and boil it down:

- Started working on the product to scratch an itch. Essentially couldn't find an easy, dev friendly synthetics solution.

- Quit job, started freelancing. Coded first version on the side.

- Launched on HN and Producthunt. No upvotes, no one noticed.

- Kept working and working. Code -> Ship -> Talk to users.

- First year had 10 customers.

- Second year more and more traction. Some really cool customers joined. Zeit (now Vercel) etc.

- Noticed that doing this all by yourself is crazy. Actively looked for co-founders. Got lucky and found two excellent ones.

- Decided to turn the bootstrapped company into a VC backed one because of ambition and timeliness (e.g. organic takes too long to make a dent right now in a very busy market)

- Raised a round. Hired basic team. Mostly engineers.

- Spent ~12 months turning a one-man show into a real company.

- Changed pricing model and got more and more traction.

- Raised another round after figuring out the basics of marketing/distribution, product vision and customer traction. I guess you call that product market fit.

- Right now ramping up the team and delivering on a vision.

Most of this was done remote and basically right when Corona lock downs started happening.
I wish they would support .my TLDs.