skysight-inc/HackerNews huggingface dataset:
>I’m saying it’s probably the major driver of why unions are resisted.

Yes, I understood your meaning. I was countering that, while the concerns about shareholder value and stock prices are often used as justification for suppressing wages or resisting unions, it's really just a circular argument. They essentially do it, reward themselves as shareholders and leadership, then justify it by claiming they had to do it because they demanded they do it.

But, there is no moral or legal obligation to put shareholder value above equitable treatment of workers, as they claim. In fact, I'd argue it's the other way around.

>Shareholder value = value for hedge funds = value for 401k accounts.

Bringing 401Ks into the equation is another bit of obfuscation which implies that their actions are lifting all boats and workers also benefit. But, in reality, it's just another form of compensation that is wildly inequtiable.

>unless you decide to reduce shareholder value...this means funds may no longer invest in your company

This is the crux of it. I don't think it's a foregone conclusion that it would lead to divestiture, but that shouldn't be avoided at the expense of workers.

Why should the leadership get such outsized executive comp and massively disproportionate upside on the stock? Worse, why should they actually be incentivized to be hostile to their workers (e,g. suppress wages and implement layoffs to boost quarterly profits)?

In short, why do we accept that workers should come last? Part of the issue here is that we've accepted corporate personhood as a real thing, wherein we are somehow morally obligated to protect corporations at the expense of actual people.

>We need to cut the link between retirement funds and the stock market.

That's not the problem. Equity is. See above. ;)
LSD users have produced all sorts of impactful work? In general, mind-altering-substance-to-aid/inspire-creativity doesn't feel like some controversial statement that requires citations - we've got everything from shamanism, through the cliche of the drunk writer to Kubla Khan: or A Vision in a Dream, etc, etc. Why would it be different for LSD or be dependent on LSD providing "access to a deeper, higher reality"?
This looks great! Although personally I hate it when I scroll a page beyond the 'fold' and have to wait for images to load. By default, does this load the remaining below-the-fold content in the background once the above-the-fold stuff is complete?
> Not a single solar cell today has been produced (including extraction of the material, transport, everything) fully with renewable energy.

Not a single nuclear reactor today has been produced fully with nuclear energy.

But this is a ridiculous constraint, since it says the entire problem has to be solved in one shot.
I don't think I did dodge the question.

Is it easier to write a correct specification that correct code? Yes, absolutely, because in a specification I can specify outcomes without having to say how they're achieved, and I can specify results that are invariant over time without having to say how they're maintained, etc.

A specification is essentially a bridge between, on the one hand, a higher-level requirements document that's probably imprecise and/or contradictory and/or incomplete and, on the other, code that has to be completely deterministic.
Browsers have been grown, not designed. The competitive pressures exuded on browsers to render ill-specified things and hacks has resulted in something essentially where what it does is what it does. That's the case with a lot of software,because we made the choice as a community of programmers to not formally verify the things that we build. Thunk of the origin of the blink tag [1]. We decided to be hackers, and doers, not thinkers.

Just as testing changes the way you structure your software, designing via formal methods changes the code that you produce as well, and it will attract a different set of people than traditional software dev, just as architecture attracts a different set of people than carpentry.

1. https://danq.me/2020/11/11/blink-and-marquee/#:~:text=Invent....
This is a rather convoluted way to do this. Once you have the socket, just connect with wires to a pi pico and dump it over serial.
Installing python with the python.org installer installs the entirety of Python and its standard library and tools, including pip, venv, etc., and the py launcher which supports selecting from multiple python versions. Linux distros may split this up into different packages, but on Windows (or Mac, afaik, though the py launcher is a Windows-only feature) using the official installers is one-stop shopping.

And, no, docker isn't just install and run on Windows. Before Docker made a heavy push for paid Docker Desktop for even personal use, it was close to that.

But now the way to get a free usable docker command line is to install WSL and a Linux environment, install docker there, and then invoke docker via wsl. (Which, of course, you will not find via Docker’s own information, which will try to sell you a paid subscription.)
We built something similar for pypy! See the blog post: https://bernsteinbear.com/blog/typed-c-extensions/ and paper: https://arxiv.org/abs/2403.02420

TL;DR: similar speedups! It works well
The 10-year-old "Golden Boy" Faustino Oro beat Magnus Carlsen yesterday
which venv does really well, what am I missing.

in the "worst" case you can always do a docker
You're missing the bigger picture though. By doing so they managed to look like they had balanced the budget in an election year. That's what really matters here.
> E.g. "the AI expert/team" leaving breaks the narrative of being an AI company even if all they do is non-critical path exploratory research.

I find myself in this position (but, not AI). That sole researcher doesn't just have "narrative" power. I make prototypes which are fleshed out into products by more capable engineers. Without me, the team is a bunch of engineers with great intuition on engineering and some familiarity with my niche -- but not the depth of knowledge required for keen intuition. The result would be either stagnation, or very inefficient research as an engineer attempts to step into the research role, hoping to accidentally rediscover decades of specialized knowledge.

An AI company without an AI just won't be able to execute at the pace of an AI company with that expert. And likewise, us niche experts don't go far without a solid engineering team to back us up.
It's been around for years, how is it not sustainable!

I get it may not be sustainable, but is computer hardware and electricity sustainable? What about the maintenance and cost of those? This is a great solution. Beautiful. I feel like hugging this solution, as if I should bed it, and produce efficient, beautiful, socially wondrous offspring!
> https://de.m.wikipedia.org/wiki/Qualzucht (german)

Here[0] is an English-language explanation of the term Qualzucht (with the English translation given as "torture breeding").

That German article also references a BBC documentary, which has its own English Wikipedia entry[1].

[0]https://www.petethevet.com/qualzucht-is-a-term-that-should-b...

[1]https://en.wikipedia.org/wiki/Pedigree_Dogs_Exposed
Hypothetically, would he have been on Mizu's list?
A thread from late 2022: https://news.ycombinator.com/item?id=32673873
Boeing CEO to Step Down in Overhaul Sparked by Safety Crisis
> My #1 complaint about Rust is that leaking a future is safe.

Do you mean futures that aren't polled to completion, tasks that aren't joined, or literal memory leaks that happen to own futures?
You want adhoc HTTP server or daemon? I wrote my adhoc HTTP server for serving files from my desktop right away. If interested, leave comment, I can make it public.
Fairberry lets you attach a BlackBerry keyboard to modern phones
Interview with Bluesky CEO Jay Graber
OP here. You can disagree with my conclusions, but yes, Toyota's North American R&D Headquarters are near Detroit (in Ann Arbor) [1] and GM's research headquarters are in Warren, MI, a suburb of Detroit.

[1] https://www.toyota.com/usa/careers/research-development

[2] https://phmsociety.org/partner_profile/general-motors-global...
What would it take to get gcc to export its AST so that greater interoperability could be achieved with other FOSS packages (like Emacs)?

https://news.ycombinator.com/item?id=8861360 (one of the indexes of the issue)
We are all time traveling forward at the same speed, dude.
Frustratingly, even when you pay handsomely for subscriptions to major news providers, they still show ads (and quite a lot of them). A few are willing to sell you an ad-free subscription if you can establish a connection to the EU, but those seem to be thin on the ground.
Also recently released as a series on Hulu. Pretty faithful to the book from what I've seen so far.
Generative UI and Outcome-Oriented Design
I don't know, I know plenty of idiots who would take their freedom to install anything and...install anything...and then blame Apple when their iPhone starts running very poorly, or when their private info is exposed, or so on. They would want both freedom and safety.
When to use cute names or descriptive names
There's a competitor in Drag, Norway.[1]

There was a startup in Australia that was going to mine ultra-high quality quartz.[2] No site updates since 2021.

[1] https://www.thequartzcorp.com/location/drag

[2] https://ultrahpq.com
From a five minute look, this appears to be a useless pile of crap.

I don't see anything that "neutralizes 0days" or does "cutting-edge artificial intelligence" as claimed.
Thanks, I've come a long way since my first C programs in the 90s, "sadly" lost to the sands of time. Earliest I can find is [0].

[0] https://rkeene.org/viewer/devel/vmi586/main.c.htm
How did the Big Bang get its name?
Proof of absence of run-time exceptions and proof of correctness for a part of the system. This was for the air-data computer of a fighter aircraft.

The programming language used had no dynamic allocation, so no use-after-free; and it was single-threaded so no race conditions. We did prove that there were no array indexing errors (i.e. buffer overruns). Recursion is also not permitted, so maximum call-stack depth is determined as well.
1) it offers a more ergonomic way for concurrency in general. `await Task.WhenAll(tasks);` is (in my opinion) more ergonomic than spinning up a thread pool in any language that supports both.

2) yes, there is a small performance overhead for continuations. Everything is a tradeoff. Nobody is advocating for using async/await for HFT, or in low level languages like C or Zig. We're talking nanoseconds here.. for a typical web API request that's in the 10's of ms that's a drop in the ocean.

3) I wouldn't say it's nominal! I'd argue most non-trivial web workloads would benefit from this increase in throughput. Pre-fork webservers like gunicorn can consume considerably more resources to serve the same traffic than an async stack such as uvicorn+FastAPI (to use Python as an example).

> Most of the complications of async are much like C#

Not sure where you're going with this analogy but as someone who's written back-end web services in basically every language (other than lisp, no hate though), C#/dotnet core is a pretty great stack. If you haven't tried it in a while you should give it a shot.
Tell me how you are "better" or "different" from Excel (on-device, or 365 in the cloud), Google Sheets, AirTable, Numbers, etc

Not because I do not admire your efforts

But because I am NOT going to go learn yet another tool for funzies when I already have half a dozen that already Just Work™ :)
well that's the great thing with async rust: you write with poll and select without writing poll and select. let the computer and the compiler get this detail out of my way (seriously I don't want to do the fd interest list myself).

and I can still write conceptually similar select code using the, well, select! macro provided by most async runtimes to do the same on a select list of futures. better separation, easier to read, and overall it boils down to the same thing.
Modern IDE kind of fake the image concept with virtual filesystem, which is quite visible when one writes plugins for them.

When coupled with hot reload, the experience comes close enough.
Goroutines in a single process map onto a fixed number of threads. Even if you have goroutine leaks, you should not have thread leaks. Your program may deadlock or run out of memory, but it will not take the whole system down (at least, not in this way).
I don't think a lot of effort was put into actually intentionally breeding cats for domestication.

People seem to love them as semi wild animals and unlike dogs they aren't dangerous enough to be put down when they start biting people. On top of that a large percentage of the population are actually wild animals aka feral. Spend a lot of time with a kitten and it may become extremely affectionate, but we also habitually neuter them unlike the wild population. Go back 1,000 years and I suspect people acted similarly though without the neutering.

So the external evolutionary pressure for domestication doesn't seem nearly as strong as with those foxes, and might currently be going in the other direction.
Does pocketbase support auth refresh tokens?
Every generation has the "most piracy friendly console" and that one often does quite well, for that and other reasons.

The Xbox was king there for awhile.
I agree, but there is no large scale study on this.

As someone who has managed Python distributions in a large company and who triages issues on the pip github issue page that my anecdotal experience is things are getting better.

The only hard statistic I can point to is the number of top packages on PyPI that offer wheels has substantially gone up, and is close to 100% in the top 500.
Actually it's better than that: medium corp will go against buying small player to avoid being subjected to DMA ! It will slow or stop growth because it will lower or cancel the advantage of being so big as having no competitor

In the end, markets will optimize to have 2 or 3 big players in each fields to avoid that kind of problem...
A point they're implicitly making is: it's harder to apply formal methods retrospectively. The state of the art in formal verification involves writing the proofs jointly with the code in a language designed for verification, such as Dafny (earlier), F*, or VeRus (emerging).

Fuzzing is much easier to add to an existing system - though even there, there's a lot of benefit from designing for testability.
they were definitely a not-insignificant market in the 90s through mid-00s!

(I bought a couple back in the day, even)
The biggest reason for running chrome on iOS is getting access to your Chrome password manager. I don't think web rendering engines are much of a concern, but I've never run into an issue that was web rendering related.
First pothole preventing robot passes first test
The way MS did this was kind of dodge but fits the letter of the law.

On a new install of Windows 11, if you select an EU region, you will have the options to remove things like edge in the OS. You can move off that region because this flag is set only on install. If you install with a non-eu region, you don't have access to those options.
I see. If we're willing to suspend disbelief enough to say that we can focus a star in a direction, I think it's reasonable to assume we'll get the rest of the engineering "good enough."

The only hard limits I'm aware of are the engineering (which we're ignoring), and diffraction (which is small, I'll touch on). Diffraction-limited lasers have a wavelength / diameter term in the mix, so the relative increase in beam diameter is miniscule at any reasonable scale (doubling at 650M light years, tripling at twice that, quadrupling at 3x that, and so on linearly). Surface power scales with the inverse of that squared.

The engineering is pretty obviously going to be the dominant term. Even with some lasers we've already created (not to mention more exotic forms of wave propagation), dispersion (diameter) would be on the order of 750x at 1 light year, or ballpark 1.1e2 watts per square metre if I haven't screwed up too much arithmetic, contrasted with the 1.4e3 or so we experience on Earth when measured in a plane normal to the Sun and the roughly 6.3e7 you get on the surface of the sun and the roughly 5.6e4 where no matter your orientation if you didn't have protection or active cooling you couldn't prevent death by overheating just via sweating (that last threshold you hit from this hypothetical laser at 0.045 light years -- a small chunk of the way into the oort cloud).

How much better will we get the engineering between now and then? Who knows, but the math in that regime is _almost_ linear, and if you halve the angle of dispersion you double the distances in question for a given power flux.
Yes, sorry, autocorrect :(
Tokenizing ‘1735’ as a value of 1735 because you’ve seen a lot of math is probably the most difficult part.
Poker roguelite Balatro is a hit, but a mobile release will show its true power
Maybe it’s not a network issue at all - might be related to a purposeful action taken by a network device (ips or web filter etc) that is killing the connection based on some rule set.
Is this different from yq?
Why would Ukraine and Georgia belong in NATO for any reason other than to piss off the Russians? Should we put Uganda and Congo in NATO? I hear Rwanda has territorial ambitions. Why don't we just stick to places we belong instead of trying to control every part of the world. Would you like to fight in Ukraine? Because I hear they take volunteers.

Guaranteeing the security of volatile third rate countries you don't really care about is a sure fire way of avoiding war, as we saw in WW1.
In addition to all of our (I'm the DockYard CEO) DockYard Academy training material being written as a Livebook we are also working on the upcoming LiveView Native guides being written as a Livebook along with a self-contained Phoenix instance so you can develop your first LiveView Native apps interactively and see them render as you go in both the Xcode simulator and (eventually) the Android simulator. If/when we get to WinUI3 we'll try to do the same.

Livebook is incredibly powerful and versatile. When the general population finally wakes up to how insanely powerful Elixir is for such little effort, cost, and time to build (compared to other options) they will find an incredibly mature ecosystem of tools and resources ready for consumption.
Ask HN: CVEs Comparison Brave vs. Firefox. Incorrect CVEs for Brave?
I am trying to compare Brave Browser to Firefox, on the security dimension.

One of the metrics I am looking at is the number of CVEs.

It's obviously an imperfect metrics (they all are), but I thought it might be useful.

Over the last 2 years:

- Chrome has [648 CVE](https://www.cvedetails.com/cvss-score-charts.php?fromform=1&vendor_id=&product_id=3264&startdate=2022-03-25&enddate=2024-03-25)

- Firefox has [380 CVE](https://www.cvedetails.com/cvss-score-charts.php?fromform=1&vendor_id=&product_id=3264&startdate=2022-03-25&enddate=2024-03-25)

- Brave has [2 CVE](https://www.cvedetails.com/version-list/0/65025/1/?q=Brave+Browser)

How should I think of the Brave/Chrome CVEs?

I assume that most Chrome CVEs affect Brave as well (since they share the Chromium codebase), so it seems like the numbers of Brave CVE is incorrect?
Airline customers don't want pay more for tickets, its not like airlines are swimming in money to take that on themselves.
Samurai William by Giles Milton is a great read about William Adams
Fuzzing vs. formal methods feels like another example of The Bitter Lesson.
Check out this analysis of Mr. Mearsheimer's arguments:

https://www.youtube.com/watch?v=wE-t2ePFEDc
Fuzzing is a statistical technique that isn't ever going to give you a reassurance that a problem doesn't exist. It's great at giving you counterexamples, so fuzzing is great for discovering vulnerabilities, but unless you're fuzzing your program's entire state-space (which is absolutely impossible for even relatively small programs) then you're not comparing like with like.
Strong disagree.

> Rust can run multiple threads just fine--it's not Javascript. As such, it didn't have to use async/await. It could have tried any of a bunch of different solutions. Rust is a systems language, after all.

it allows you to have semantic concurrency where there are no threads available. like, you known, on microncontrollers without an (RT)OS where such a systems programming language is a godsend.

seriously, using async/await on embedded makes so much sense.
That's true for nearly all folks who would tell you they're part of a certain faith. As in any time, only a few minority ever seem to want to contemplate creation, the nature of god, the particular logics behind faith, etc etc. That's not all bad - people come in a million types.

For most, faith and culture are intertwined as they go about their day. You fast because of course you do, not because you know the thousand-year history of that practice and the relevant scriptural phrases.
[sigh/]

But hardly surprising.

It often seems like our "scientific authorities" live so far up their over-specialized butts that they couldn't communicate "fizzy drinks can give you bigger burps" to 9-year-old boys. And are so disingenuous that they couldn't admit "sharks and hypothermia actually exist" to someone standing on the deck of the sinking Titanic.

Then there's the far-too-frequent problem of the medical establishment's systematic misogyny, and "shut up and suffer, bitch" attitude toward female patients who fail to quickly respond in whatever ways would best serve the doctors' tender and hypertrophied egos...
Livebook / scripting from a workbook has been a huge boost for my workflow over the last few years. And in the last 6 months even more so, now I have a full editor and autocomplete with copilot for scripting (with context of all my scripts).

Playbooks at work, exploration in personal projects, 80% of my terminal use is now driven by an editor and sending snippets to the terminal.

(I know this is more common for emacs and lisp users, but never really managed to get into that workflow myself, until livebook)

My only gripe is that livebook itself doesn’t love reloading if I edit the source files directly, and I’d like to get that working.
"Sometimes it is unclear what is driving a litigation, and only by reading between the lines of a complaint can one attempt to surmise a plaintiff’s true purpose. Other times, a complaint is so unabashedly and vociferously about one thing that there can be no mistaking that purpose. This case represents the latter circumstance. This case is about punishing the Defendants for their speech."

Breyer does not mince words!
Truth Social owner Trump Media will begin trading under DJT ticker Tuesday
how about civetweb? or lighttpd? both are well known and field tested, light weight and as portable as you need. what are the different features needed for serving SPA comparing to a normal http server?
Late to the party here. What would be your take on dynamic-by-default, but the ability to fix the env a la Dreams (http://elilabs.com/~rj/dreams/dreams- rep.html) or Zig (comptime)? You can obv. do this in Rye via a static context.