skysight-inc/HackerNews huggingface dataset:
Sure. There are a couple of stumbling blocks here:

> We use the Gemfile to figure out gem group and pinned requirements (we run turn your Gemfile into a ruby AST since Gemfiles can be arbitrary ruby code [...]

Here's an example Gemfile:

if RUBY_VERSION < "3"
gem "minitest", ">= 5.15.0", "< 5.16"
else
gem "minitest", ">= 5.15.0"
end

This cannot be statically analyzed. And this is not a made-up example either! It comes from the Rails project here: https://github.com/rails/rails/blob/fdad62b23079ce1b90763cb5...

This makes it impossible to statically determine the direct dependency requirements of a project.

> Now we have [your dependencies and their current versions], [target rails version], [all of the runtime dependency constraints of these gems]. We run this through a dependency resolution algorithm (pubgrub). If it resolves then you're good to upgrade to that version of Rails without changing anything.
>
> If this fails to resolve, it's because one or more of your current dependencies has a runtime restriction on rails (or another indirect gem being pulled in by the new rails version).

This actually isn't that big of a problem for Bundler, which uses pubgrub, which to my understanding is deterministic. A deterministic algorithm means you can actually take requirements and simulate builds. There are two places where I would be hesitant:

1. This determinism only works if you also know what the universe of possible dependencies looks like. In many corporate environments, this is not true! Many corporate environments use private registries that mirror public dependencies, and may have a set of dependencies available that looks different from the public registry, which means your simulated builds will resolve to incorrect dependency versions.

2. As you move to support other languages, many other tools use non-deterministic dependency resolution algorithms. In particular, NPM is famously non-deterministic, which makes it impossible to simulate an NPM build.

---

When you're trying to just determine that there exists a build that resolves properly, these issues aren't particularly painful. At $DAYJOB (and what I suspect you will want in the future), we are often trying to predict the exact build of a user given a new set of dependency requirements (e.g. so we can predict their new vulnerabilities), which means doing accurate build simulations is much more important.
Games Workshop is famously extremely litigious
I mean that's shitty and unethical, but probably not criminal

He's violating Canadian CRIMINAL code now!
The only ones pretending that it isn't a defensive alliance are the ones who have some territorial claim they're hoping to take military action against. For whom it is very inconvenient that there's this group of countries who would very much rather they didn't.

Everyone else sees very clearly that an alliance which only invokes when attacked and requires the resolution of territorial disputes prior to gaining membership is not going to just invade them first.

Half of the members were literally dependent on Russia for their energy needs, many of them thinking that the US was the warmongerer for being constantly paranoid about Russia's intentions, with defense budgets trending downwards and the former American president having openly questioned the need for NATO. There is no reasonable way to argue that they were at all going to be attacking Russia as an alliance in that state.
You posted a lecture in which Mearsheimer says Russia will never try to conquer Ukraine, because "Putin is much too smart for that" -- and ask us to accept him as an expert?
Your comments about what Disney thinks is popular amount to nothing but conjecture on your part. Meanwhile, the sequels were not well received by fans. And, while I'm certain you would make the argument about the movies making money, they underperformed with regards to expectations. Merchandise did not sell. Solo lost money because of the bad sequels. Spin-offs were canceled.

So, regardless of market research or whatever, the end result was not good.
Making it less woke would have made it successful with one simple trick .
Let Luke be a positive male hero.
Facebook ignored compliance at the time, but the way they mitigated the risks was by targeting a smaller, exclusive market (smaller colleges in the US) that's less risky compliance-wise (no minors for instance, domestic market).
This is pretty much what I ended up with (with a string const generic type param actually) but now I have this extra implementation detail that I need to add/remove at every service boundary. It just makes every serialization/deserialization more complicated and generally adds cruft.
Space to Do Whatever, at Work
I'm really interested in the community's perspective on this.

It's a philosophy I really align with, but seems somewhat antithetical to big-A Agile

Further, to me this sounds like the ideal work environment, but I've worked with folks who would consider this a frustrating experience with no clear direction.
There has been a serious uptick in posts about US germ warfare from really weird sources like Medium and insider. Are the Russians planning some sort of biological attack and trying to create fertile environment?
I'm trying to understand - why is it negative emissions? I'm unfamiliar with LPG (Liquefied Petroleum Gas), it's a byproduct of something else? It just seems like it's produced like gas normaly is, it's just cleaner by 30ish%. Could you tell me more or direct me somewhere?

Edit: https://newatlas.com/materials/catalyst-mixed-plastic-waste-...

I think this is it
Hilariously, the explanation of the notarization typo (actually, I find that believable) is a 1746 "declaration." It's an old federal law which provides that as long as you say you are signing under oath, it is as good as an affidavit in federal court.

Why didn't he just make a declaration in the first place? Also, why would he have the lawyer who is in trouble notarize the document? Now that he has made the typo, he may now need Schwartz's testimony that actually, it was April 25, not January.

In my legal career, I worked for a judge once. He told me to never get a notary stamp. It only creates problems. There's never a good reason for a lawyer to notarize something. You ask your staff to do it instead.
And even if they did need it, they won't need it nearly as much the way things are going now...
I've considered doing that, was it hard to set up?
This feels a little bit like doubling down to find ways to implicate the actual CA instead of the reseller. It's clear how mismanagement by a real CA would make a more interesting story than by this random no-longer-existing pseudo-reseller, but I don't think there's evidence to support that story yet.
I think the copy/paste from a filtered doc is a common setup for highly popular AMAs.

I mean the post has 14,000 comments and it's only been live for 2 hours...

Reddit's UI is just not good at that use case or threads with that amount of comments.
They're not removing the information for good, rather requiring one to go to a different site to find it. Seems like a sensible method of dissent.
That’s literally what a factory farm is so there’s no issue with that.
I think I see.

The economies of the internet are changing. Now with LLMs being accessible at an exponentially cheaper rate, we're seeing old models crumble and new models rising.

The era of moderated user content is changing drastically and the stalwarts of social networking, or adjacent, services are closing ranks to try and anticipate the change.

Thanks for the insight. I had a vague notion that these new policies were because of some recession or some other basic economic issue. I think a better theory is that the lowering economic cost of LLMs that are becoming available are the reason for all these changes.
> Considering spez acknowledged his misunderstanding and apologized, it seems a bit ridiculous

I answered this already, it could be sugarcoating. Sorry, this discussion is low quality to my taste and I have no interest in continuing. Good bye.
Atuin is outstanding. I've barely scratched the surface of its features, but it's already made a significant impact on my command line usage.
remember https://www.triptropnyc.com/ ?

I used this to find a place to stay when I worked on Canal, ended up finding Sunset Park neighborhood around 36th street station and loving the area.
Plato also has Socrates dismiss the education as filling a bucket metaphor in the Republic. Of course, his solution was trippier (all knowledge is just the remembrance of the Soul's flight to realm of Ideas).
I think you’re overestimating how much money reach marvel flick brought in there were huge but also many that didn’t break 1B WW box office revenue. The big difference between Marvel and SW is that Disney was churning out far more Marvel films especially in Phase 2 and 3 https://m.imdb.com/list/ls040671689/
The GDPR / CPRA data request allows for downloading all data.

https://www.reddit.com/settings/data-request

Has anyone here tried it? I'm curious what kind of formatting is used for the data dump.
Ahh, ok.

Yes, when I've heard businesspeople say "capturing value", they've meant it in a manner analogous to extracting a natural resource. The value is already there, and they want to capitalize on it. That's not necessarily a bad thing.

But I think it's better to create value where none existed before.
There are a few solutions to this, but I keep separate configs for each device and link them into the entrypoint (/etc/nixos/configuration.nix) as-needed when I set things up. Then I have other "module" files for my terminal environment and my desktop environment, as well as an extra file that enables Wine/gaming packages.
I think Bud Lite proves liberal executives are supremely out of touch.
Third party apps first to further push users to the first party app. They'll eventually crack down on all of it.
> int64

I'll go one step further. Time should be represented as unsigned integers, while time-differences should be represented as signed integers.

"10 minutes ago" is int64. June 9th 2023 should be unsigned integer64.
Exactly. I think perhaps the biggest value is actually the "links" that get shared on Reddit, as an aggregate. And you can totally get all that somewhere else, in OpenAI's case - that would be Bing.
it's an interesting thing to share, but I feel like HN's original title policy falls down here. this is literal CCP propaganda, and while it's easy to tell once you're there it feels weird not to mark it somehow.
Thanks for mentioning, I'll take a look!
Why? The objective is to translate code in one language (C) to another (machine code or assembly or perhaps an intermediate representation). Why does it make sense to use C for that task and not Python or some other language? It's not like C provides facilities that specifically enable compiler writing or text parsing for itself that other languages are lacking.
This is very cool, I have worked on a similar project, but haven't managed to take the time to finish & launch it. Some food for thought:

I was interested in being able to scroll Hacker News but instead of opening the article open the summary. It would be as interesting to read a summary of the discussion below.

Ideally, it's possible to easily get to the real thing. This way you can decide what's interesting to dive into deeper and where it's good to get an idea of the TL;DR: even if it might not be accurate which is the next interesting point of contention that would be interesting to drill further down.
> Lua seems like such a fun, simple, efficient language... but even on HN, people hate on it almost to the point of an absurd meme simply because its 1-based indexes.

> If you search the forums, this fundamental issue is mentioned thousands of times over years and years.

> Which leads me to a naive question: Lua is open sourced. Why hasn't anyone in the world just forked the language to be 0-based? Is it not as simple as it sounds? I don't know what goes into designing and compiling a programming language, so it seems like such a trivial fix for what appears to be the #1 issue for every person out there allergic to Lua.

I wonder how many of those who complain have actually used Lua?
Same with all the Perl/PHP haters...
Well sure it's a bit of a game between the employers and the union. Countries with more extensive labour laws will restrict a wider range of unethical behaviour from employers, giving the workforce more clout in negotiations.
you seem.....upset.
How is 8 years not "nearly a decade"? How is +150% over 3 years "imagined"? I understand this is an emotional topic for some, but let's not be obtuse about the basic numbers.
If a poweruser doesn't put themselves in wheel, ¯\_(ツ)_/¯ ?
I agree. They probably have the stats to predict how much the "revolt" is costing them long term, compare to the upside of the IPO.

But only time will tell whether this actually hold.
It is not benevolent at all. The rulers have no qualm sacrificing entire stellar systems. There are strong “kill them all, God will know his own” vibes, and the Inquisition is nobody’s idea of the good guys.
The star wars hotel is a billion dollar loss.
I have found arch (and by extension manjaro) to break a couple of times too many for my taste. Even without AUR.

I stopped using it and installed Debian stable or Ubuntu LTS together with gnu GUIX for userland stuff. I have survived dist-upgrades from LTS to LTS with fewer issues than what arch used to give me on a monthly basis.
The Apollo program went to the moon with a complex VM on top of an extremely limited physical architecture. That's actually one of the main reasons to do it, because you can implement a strictly better (in all sorts of ways) virtual machine on top of really awful hardware.

Not to say that's valid in this instance, but plenty of early VMs were entirely made to improve resource constrained hardware
And then community projects subscribe to the feeds and index and make searchable?

I could see basically structured toots representing questions and then ... oh man, did you just nerd snipe this?

Are you saying that it should be managed by Mastodon the org, or fediverse the technology?
We are still in a exploration area where the use cases are in flux. If you find a set of use cases that work for you, then it will be a boon, but if not it is worthless. These tools aren't magic black boxes that do everything. On the one hand, that can be discouraging when you don't find immediate value. But for those that keep trying different things you'll probably start to see some value.

Some things I've done this week:

- I was asked to write a white paper on a topic I had previously built a slide presentation and given a talk on. I exported the outline, grabbed a few links to blog posts on the broader topic, and asked ChatGPT (with link-crawling) to write the whitepaper. I didn't like the output at all. So I asked chatgpt for several options on the outline for the whitepaper, and several options for narrative. I think selected an overall narrative arch for the paper, and the outline (with a few manual tweaks) and asked it to rewrite the paper with a revised prompt. It was pretty good and then I asked to change the style and tone. I then asked it to critique itself and suggest several improvements, several of which I then asked it to take into account and revise the paper. Then I asked to several variations of the document for different audiences. I picked out a few different parts I liked from each variant and ran another pass asking for improvements, including suggestions for visual aids. This all only took about 10 minutes, after which I shared this first draft with a colleague for review. That would have taken me a whole afternoon (and likely longer since I procrastinate when starting a blank page)

- I wanted a chrome plugin to use the archive.ph api for gated papers without needing to trust that sketchy extensions might steal my web history. I asked chatgpt to generate the code. Upon review I made a couple tweaks and had a private extension in about 3 minutes.

- I wanted to produce a menu for guests that staying with us this weekend. There were several dietary restrictions and preferences that need to be accounted for. I entered these in requesting a variety options. I selected those options, then asked for recipes and a suggested shopping list. I then asked for wine and beer pairings and got some good generic responses of varieties - but the brand-specific suggestions were bad. Time 2 minutes

- I wanted to some pro/con brainstorms on a new technology decision - I asked it to search for expert blogs and summarize their arguments. I also got it to generate hello-world level examples for each to compare and contrast. I then had it generate code for a more complex use case using the tool for each framework. I was then able to make a much more informed decision and start evaluating deeper a smaller set of options 2 from the dozen+ that existed. Time - 20 minutes

All of these have a pattern of iteratively working with a tool to semi-automate what I want. For now it sort hits a sweet spot of either summarizing research I would normally google and low-key generation of document or code that doesn't need a tone of context outside either what I researched or have on hand and can be self-contained.
> Twitter basically became a Nazi rally and they're still going to clear a billion dollars in revenue this year.

What? No it didn't. If you're seeing that sort of content on Twitter it must be because you're following those sort of people.
Posting blog like this how you get rejected from your dream job.
I became aware of that feature when one of my Pixel's power button got stuck and the phone kept trying to dial 911 while beeping loudly.
I've worked on a research project using LLVM as a backend but with it's own SSA implementation at the chair of Sebastian Hack. One of his well known scientific contributions was on optimal register allocation with SSA. The chair also published http://dx.doi.org/10.1007/978-3-642-37051-9_6 a very good and easy way to do SSA construction directly from the AST without computing dominance frontiers.

You should probably start on the Wikipedia page for SSA, which - since the dragon book doesn't teach what SSA actually is, is a reasonable starting point https://en.m.wikipedia.org/wiki/Static_single-assignment_for...
Note that even though it provides many examples and other comparisons it not once mentions 3AC (and vice versa actually). Under Benefits you can find links to various optimizations some of whose pages reference what SSA helps with. None of them have much if anything to do with 3AC.

That the CMU simply copies an example straight from the book and provides no further explanation and maybe even doesn't mention PHIs (?) doesn't speak for that course at all. Especially if you take a look at the list of compilers that do use SSA on Wikipedia and note that pretty much all major programming language implementations use SSA.

Of course you can lower an AST to SSA that looks like the example (except the example is so rudimentary it's still missing the very necessary PHI functions) and you can even make it have 3AC form and still exploit the SSA properties in optimizations. It's just that the properties and the SSA form still have no real relation except that both modify your list of instructions and claiming that there's one that's somehow meaningful or that 3AC gives you anything that SSA does is at best grossly misleading by a textbook.
How do you get the users? The third-party apps had the opportunity to collaborate and start with a massive userbase, but instead they choose to shut down. Odd.
Assuming responsibility for tens of thousands of dollars just to continue existing is NOT how it's supposed to work.

Also, I expect insurance companies to honor their contracts.
> will exceed # of destroyers that US has by 2040

Bear in mind that China has pretty much no oil and these 055 destroyer boats are diesel&gas turbine powered. And the US has been slowly winding down military presence since the Cold War ended basically[1].

And lemme tell you, if Taiwan goes hot, there wont be any USN boats spare to patrol the Middle East -> South China sea route, and nobody would be angry if any oil tankers on that route go missing.

[1]: https://www.aspistrategist.org.au/graph-of-the-week-why-flee...
Yeah no idea if that would apply or not. But Canadian code I was looking at was the criminal code - there might be a difference between civil and criminal libel here.
That is not what this article says at all. Quite the opposite.

To do so would probably require Apple to release some drivers (or hardware specs to Microsoft). It's not a matter of just "porting to ARM64" (which is already done), it's about porting to Apple's Apple Silicon platform.
As an aside dang would probably ban my account if I let rip about what I think about hardware engineers designing real time clocks that count time in HH:MM:SS + day/month/two digit year. And 100 or 128 hz subseconds.

But yeah started using int64 30 years ago and all the fuckedness went away.
It would be fantastic if Google Maps and the like could take this into account when searching instead of just naively relying on distance. 2 miles away along a well-developed transit corridor is much "closer" to me than 2 miles away in a direction with no bus or rail options.

Sometimes I'd be happy to go halfway across town if I can just take a single train there and it's close by the station. Especially if it involves picking up packages or heavily items.
I could not for the life of me get this working. But when I followed the Porting Kit instructions I got Steam and Elden Ring running fine.

Not sure what the issue is, just kept getting an ambiguous error related to crossover when trying to launch through Whisky.
Activities will get you things like:

- different task bar layouts for different activities

- different desktop widget layouts for different activities

- you can associate files with activities and Dolphin has a `currentactivity://` scheme (tho I do wish this could be extended to apps. As of now if you only want an app to be in a certain activity you've got some window rules to setup)

They live in an awkward place, since virtual desktops are a Linux WM thing while activities are just a KDE plasma thing.
I'm reading it as the ex-employee thinking that the company might not want to respond, and choosing to do so despite that, on the grounds that it should be acceptable to do so (i.e. the ex-employee couldn't be publicly "scolded" for it without the company publicly displaying not following their values)
They probably thought about it, but found it was too slow. Everything about Vision Pro hardware to me screams: this is the absolute cutting edge and that's what's needed to make it usable. In fact, it's barely there so we had to do something we don't like to do - preannounce for next year - because it will only be then that we can mass produce it.

If you think about it, the product is essentially a MacBook that sits on your face, micronized with massive optimizations.
L train estimates are generally a pipe dream on this site, a beautiful beautiful pipe dream.
What statute or case law supports this distinction between material goods and business units?

It seems reasonable to me that you could absolutely purchase a business unit from a bankrupt company without any associated liabilities. Of course, you'd pay the full price for it (as compared to the discount you'd be able to negotiate if you accepted liabilities). And, of course, the proceeds of the sale would go to the creditors before the shareholders.
Yes, "no one can" means "the uncaring corporation", but it ALSO means "everyone else in the entire world".

> Sure some lost soul could use that tidbit of info, but they'll only have Reddit to blame.

No, reddit isn't making anyone delete all their content. The person deleting all their content is to blame. They could just walk away, but instead, they're purposefully making reddit worse for everyone.