skysight-inc/HackerNews huggingface dataset:
So the AGI holocaust would be a good thing for the advancement of life, like the Oxygen Holocaust was.

Anyway, the Oxygen Holocaust took over 300,000,000 years. Not quite "sudden".
developer here:

This is using CNCF Landscape2 project customised for academic use-case.
Hope you find this useful! Contributions welcomed!
thanks a lot!
Do you mean something like a shareable message?
Civilization is an artifact of thermodynamics, not an exception to it. All life, including civilized life, is about acquiring energy and creating order out of it, primarily by replicating. Money is just one face of that. Ads are about money, which is about energy, which fuels life. AI is being created by these same forces, so is likely to go the same way.

You might as well bemoan gravity.
I have never seen this called a "union", and that's certainly not what people mean when they speak of a "tagged union".
There are two things. One is that something things it doesn't make sense to have multiple companies offering multiple versions. Specifically, right in front of my house, there's no place for a dozen companies to put multiple roads for me to get to work on. it's a highly un-free market because of physical limitations. For those, a simplistic model makes sense. Everyone contributes to a pot which is used to pay for maintenance because everyone benefits. Other things, it makes sense because the indirect nature of its benefits means the short sighted will opt out of. Eg elementary schools for children. If you don't have, and don't plan on ever having kids, you'd opt out of paying for that, but it's in your best interests not to have an uneducated population for a lot of reasons. Or take hospitals. As a young healthy person who's never needed to go to the hospital, you'd opt out of paying for them, only to have problems when you do get old and need to go to one. Hell, if I don't drive and don't have a car, I'd shortsightedly opt out of paying for road maintenance or the DMV, only to realize that I rely on that. Same for a vast number of other services that you don't see or need every day. How often do you think about the supply chain that supports the water treatment plant when you flush the toilet?

It's an interesting thought experiment, but it fundamentally misunderstands the reason for government to exist, which is not to turn a profit.
`which Apple says has been "downloaded, redownloaded, or updated more than 119 billion times on Apple devices.`

Ah, Apple throwing around confidential business numbers of it's customers.
Edit: It was not f-droid, they don't provide APKs for copyright protected apps. It was shady mirroring websites that re-upload APKs from the Google Play Store. (downloading and installing from those sites is legal where I live).
Slightly related, I remember reading once of malware that uses a virtual machine running TinyXP[0] to obfuscate itself from the host OS. The footprint of TinyXP is tiny compared to the latest versions of Windows and runs on very little RAM, and gets past reverse engineering ploys which aim to unravel what the malware does.

[0] https://archive.org/details/tiny-xp-rev-11
I strongly disagree that smart pointers are "off the paved road". I don't even care to make specific arguments against that notion, it's just a terrible take.
Literally every single program you ever created has needed types?

I've probably written 100s of tiny little utility programs that are a couple of lines at most, and wouldn't need types for any of those, it would just add extra verbosity for no gain.
This is becoming less true than it once was. React has been ‘this month’s JS framework’ for 10 years now.
I like the idea, but please no "async/await". In a higher level language green threads like Go has are the correct answer IMO (and I'm not a Go fan, but I feel they got this part right).

Gradual typing is interesting, but I wonder if necessary. Static typing doesn't have to feel like a burden and could make it hard to reason about performance. I think more type inference would be better than gradually typed (like OCaml/ML).
I think writing in Haskell or Rust and using ADTs and pattern matching with exhaustivity checking does the same thing.
Yes, that's true - "number" is probably more broad than I'd really want. That said, python's "int", "float" and "decimal" options (although decimal isn't really first class in the same way the otherse are) feels like a nice balance. But again, its interesting the way even that is probably a bias towards the type of problems I work with vs other people who want more specification.
Totally agree! But I think it's a "both and" rather than an "either or" situation. I can see why people are interested in the experiment in this article, and I think your and my interest in the other direction also makes sense.
"Our current understanding having spoken to systemd developers is that we should be able to find a path that brings us much closer to upstream, if not entirely."

Adapt or don't offer GNOME/KDE (get fscked), classic Red Hat!
As far as AWS 'koolaid' goes, you picked the stuff that's actually pretty useful and sensible to use. (But also fairly portable anyway? The big ones at least have pretty comparable solutions.)
Oh I definitely agree that there's no putting it back into the pandora's box. The technology is here to stay.

I have no idea how you imagine "NFTs" will save us though. To me, that sounds like buzzword spam on your part.
Yeah I was wondering the same! I fondly remember coding swift almost 10 years ago but large part of it was the good integration with Xcode I believe. Seems like they have an OSS LSP so probably that experience translates to other IDEs nowadays
It's bait. Are you sure you want to take it?
A majority of people in television commercials these days are dark skinned, so why not Trump supporters also? Neither reflects the actual racial percentages.
sure, but it seems useful to be able to opt-in/opt-out of async easily. ie.

if I want a short/simple program it would be cool to put a stanza on the top of the file to auto-await all futures.
Pedantic point but they have more streams than that, but the grant is certainly the largest and the council tax definitely notable.
Uhg, no. Such things are very bad advice. Healthcare is operating on most cases very lean (partly due the privatization of healthcare) and it would have killed more people if resources were diverted from unavoidable health events to an avoidable one. Every time a physician has to spend 30 minutes with a patient with severe coughs that could have been avoided, that's time that could be reserved to other patients. Every call to 911 would put strain on our health services.

Also, lets not ignore the economic consequences for poor families of potentially losing breadwinners individuals due bad luck, also lost of productivity since instead of working from a safe environment, they would get sick.
As "A Brief, Incomplete, and Mostly Wrong History of Programming Languages" put it:

1990 - A committee formed by Simon Peyton-Jones, Paul Hudak, Philip Wadler, Ashton Kutcher, and People for the Ethical Treatment of Animals creates Haskell, a pure, non-strict, functional language. Haskell gets some resistance due to the complexity of using monads to control side effects. Wadler tries to appease critics by explaining that "a monad is a monoid in the category of endofunctors, what's the problem?"

https://james-iry.blogspot.com/2009/05/brief-incomplete-and-...
On that metric, everything is just like MkDocs. In my opinion, though, crucially, is that almost anything is better than MkDocs.

A couple of the problems with MkDocs:
- Themes available don't look really good, more thrown together than engineered. Most use MkDocs Material, the best features of which are paywalled.
- The MD rendering is weird,for example only some levels of indentation work for lists, breaking pages that work properly with other renderers. Another, more opinionated, example would be the odd admonition syntax.
Next-Gen Machine Learning with Flame and Nx: Beyond Serverless Solutions
Also something subtle is that it is remarkably difficult to take the position of "I don't know what my standard of evidence to justify acting" and still look credible. Unless people stop and really think they'll basically write the position off as someone exiting the debate to leave it up to others.

As a practical matter there are people who will shout "climate change" as a cover for status plays. And unfortunately they seem to have determined that a high status display is making energy expensive. These people are much more of a risk than anything the climate is likely to throw at us.

It sounds a bit funny to say, but the bureaucrats who made Nazism and Communism function weren't unusual monsters, they were people made up of the same stuff as the current crop that governs us except with ideologies that didn't work out in practice. The risks of going in to the energy grid with a new ideology that sounds good are really quite high. They're perfectly capable of letting millions of people suffer horribly rather than admit a mistake.

People have sniffed big chunks of that out, they are very tuned to status games, but it is so hard to articulate without sounding crazy they don't bother and just end up looking silly when people keep bashing them with ever more evidence that the temperature is rising.
Guessing here: If you have a breaker switch after an additional switch, labelling the breaker with 'on/off' may be misleading as 'on' doesn't necessarily mean the connected device is powered. It may be off because the other switch is off.
Ocean currents + cost-effectiveness, according to Ian Morris.

By his telling, Chinese bureaucrats buried the knowledge of large fleets because it was a more expensive way to project power than simply going over land.
Either that or something else, like Mobian, with apk I guess.
I think by definition we'd be officially out of the ice age then? If I remember my climate class accurately, average temperature out of ice age is significantly higher...
This was true 20 years ago

Frontend (and mobile too) is pretty complex these days and a backend developer won't be able to do much there.

Similarly, full stack JS engineers doing node.js and react tend to have a good grasp of infra. When I interview I do a fang style system design interview and most candidates do well. The idea of "frontend engineers" doing a bit of css and jquery is largely gone.

Then, we can discuss whether the complexity is warranted, but that's another matter.

10 years ago banks were hiring contractors at top rate to fix their crappy java applications nobody wanted to touch, today they hire engineers to deal with their angular and react mess.
"I don't agree with huffing glue but I'll defend your right to do what you want with your short time on this earth to my death."
Voltaire [paraphrased]

It's almost like the "think of the children" kids grew up at we are at "think of the adults" now.
Yeah, ocaml is awesome! Frankly, if it had a more familiar syntax but the same semantics, I think its popularity would have exploded in the last 15 years. It's silly, but syntax is the first thing people see, and it is only human to form judgments during those moments of first contact.
Hey thanks for trying it out and giving your feedback, much appreciated!

Good idea about showing the question, I've just added that to the search result.

Yes, I agree a chat history is really needed - it's on the list, along with a chat-style interface.

Also need to figure out what's going on with the citations in the text - the numbers seem pretty random and don't link up to the cited articles.

Thanks again!
I have never heard of a finger gun rewrite - what is that?
Read the sentence before, it provides good context. I don't know if Ilya is correct, but it's a sincerely held belief.

> “a safe AI is harder to build than an unsafe one, then by opensorucing everything, we make it easy for someone unscrupulous with access to overwhelming amount of hardware to build an unsafe AI, which will experience a hard takeoff.”
If those non-contiguous sections share similar semantic/other meaning, it can make sense from a search perspective to group them?
This isn't a good thing. It's a step towards regulating the kinds of encryption required to market software in the EU. Once there are rules on the kinds of encryption that must be used, then a backdoored algorithm can be required by law.

We want companies to choose the cryptographic algorithms based on what is recommended by experts in the field. The experts in cryptography inform software engineers, who implement the algorithms where they work. They pass on good software recommendations to family members and friends who ask. That leads to a world where everyone is using Signal, or a competent competitor. The chain of trust is organic and legitimate all the way from the user to the person that told them to use signal, to the domain expert that said signal uses solid cryptography to the cryptographers designing the algorithms.

If you want privacy you have to create demand for it. Markets can satisfy demand, legislating supply creates excess unwanted things (like backdoored algorithms).
Not far fetch at all. Governments already get individuals into large corporations to steal IP.
Thank you for sharing! I appreciate the plan you have for the building. Best wishes on your endeavor.
Remember: when a private organization massacres a population, or a democratically elected leader invades a country and steals all its food, it's "freedom" so it's good.
R&D. Bootstrapping.
Dada looks "almost" great! I especially like that it targets wasm; I believe wasm is the future of frontend and also backend with wasi. However, I believe that being gradually typed is a mistake. Dart started being optionally typed and then they made it fully statically typed for very good reasons. I hope they learn from Dart's experience there.
Is this true? I know it's not true when using terraform for things like ECS. I suppose I can just test this myself.
AFAIK this is pretty much the moat collapsing on big cloud. That said you still have to contact them for it so not truly free movement. Once it becomes truly free to move data out things will get interesting. The stock market didn’t really seem to care that much which was surprising.
Yes, I'm planning to write an article showing the code, mostly so I don't forget how I did it but hopefully it'll also be useful to others.

I relied on a lot of articles and code examples when putting it together so I'm happy to do the same.
Ah, I see you're on our team. Well played!
We do get a lot of fake applications but they're fairly easy to filter.

Employment fraud can't be avoided, monitoring performance is hard and the economy is harsh enough people feel justified pulling multiple jobs.
> The whole point of rusts type system is to try to ensure safe memory usage.

It isn't though. The whole trait system is unnecessary for this goal, yet it exists. ADTs are unnecessary to this goal, yet they exist. And many of us like those aspects of the type system even more than those that exist to ensure safe memory usage.
Try writing a larger OCaml program and not using interface files. It definitely happens.
Could you share more about your strategy or the approach you took for chunking the articles? I'm curious about the criteria or methods you used to decide the boundaries of each chunk and how you ensured the chunks remained meaningful for the search functionality. Thanks!
compared to Scala and TS they are the same 'ewww' :S
The article is wrong. The study actually says two liters _per week_ increases risk of irregular heartbeat. 2L/week is much less absurd of an amount: it’s slightly less than 1 can per day.
Again, this is naive... AI/AGI is power, any government wants to consume more power... the means to get there and strategy will change a bit.

I agree that there is no way that the PRC is just waiting silently for someone else to build this.

Also, how would we know the PRC is saying this and actually meaning it? There could be a public policy to limit AI and another agency being told to accelerate AI without any one person knowing of the two programs.
Because everyone like that's been fired from google in 2008.
> After staring at instruction traces for a little while, I found the rather unexpected cause. In the DOSKRNL file (the DOS 4.0 kernel running inside OS/2 DOS boxes), Microsoft tried to be clever and used an invalid instruction as a fast path to access protected mode services. But there was a fatal problem: Microsoft used the 0F 7F opcode, which is not undefined on Pentium MMX and later — it is the MOVQ instruction. For that reason, launching DOS boxes in build 6.78 fails miserably on Pentium MMX and later Intel processors (except perhaps on the Pentium Pro).

Perhaps this is the origin of that anecdote about a meeting between Microsoft and Intel: https://devblogs.microsoft.com/oldnewthing/20041215-00/?p=37...
I absolutely loathe it but I respect that many like it. Personally I think Zullip or Discourse are a better solutions since they provides similar interface to Slack but still have email integration so people like me who prefer email can use that.

The thing I hate the most is that people expect to only use Slack for everything, even where it doesn't make sense. So they will miss notifications for Notion, Google Doc, Calendar, Github, because they don't have proper email notifications set up. The plugins for Slack are nowhere near as good as email notifications as they just get drowned out in the noise.

And with all communication taking place in Slack, remembering what was decided on with a certain issue becomes impossible because finding anything on Slack is impossible.
In distributed indexing, spam management seems a much bigger problem than the indexing itself.
Yes, the complexity of verifying/checking is a major factor of that "nuance".

In the end, Newtonian gravity's complexity can be boiled down to a few formulas, and those describe the phenomenon (and are quite simple). Something like climate change causes, progress, rate, and so on, even with many basic assumptions taken for granted, is still a huge and multivariate issue.

One can see that "weather's getting warmer", but it could be a process repeating every N centuries or millenial, and we're just at that point, others might argue the effects are not as dire as argued, or the rate not as fast (e.g. many public climate doomsday predictions have failed to arrive when the dates came and went). Or one might totally disagree about the proposed solutions (or with who and how gets to implement and impose those solutions, another can of worms).

That's more like string theory level nuance (which theoritical physicists still debate variants off, and some hardcore scientists even believe is speculative crap, and which in any case is nowhere near settled), than Newtonian gravity level nuance.
It seems that with ebpf you can read data before TLS encryption : Debugging with eBPF Part 3: Tracing SSL/TLS connections https://blog.px.dev/ebpf-openssl-tracing/
Filezilla's UX is stunningly bad for an SFTP client. I used it for years to update my personal website. I ended up installing Cloudron on my droplet and just manage my files through there.
How to Enjoy Your Problems
How to Use VS Code as Your Python IDE
And that one Delaware chancery judge sighs, and considers going on a long holiday.
The best podcast I've followed in this area is Brain Inspired https://braininspired.co/
I think the opposite, they gave up years ago against spam and it shows on the declining quality even long before current LLMs. Google became comfortable having a revenue stream based on the top ads and didn't care much what was going down below. They spent more money on Safari to keep their market share than they did on search engineering.

Now AI changes everything, it means that the very existence of this revenue stream is threaten by competitors and having relevant results once again matters.

They are now racing against this time lost but I think it's already too late for that.
I'll assume that you're at least vaguely familiar with European-style (government) healthcare, and also American-style (corporate) healthcare.

If you are one of the few, who are getting a good cut of the every-growing profits, then the latter is nice. More so if you're one of the very few, who are too rich to care how much the "best care" often costs in America.
Market is totally brutal right now.
How can the ability to transfer data to another cloud provider or your own server increase price?? Doesn't that mean there is more & fairer competition?
I'm really confused that people would think that this makes Elon Musk look bad

I mean, it was not the conspiracy-infused, anti-vaccine, pro-Russia, antisemitic vibe about him, no, but those emails that crossed the line
This is what Swift does, and it has even lower performance than tracing GC.

(To be clear, using RC for everything is fine for prototype-level or purely exploratory code, but if you care about performance you'll absolutely want to have good support for non-refcounted objects, as in Rust.)
I think what he is trying to say is they are compromising their underlying goal of being a non-profit for the benefit of all, to ensure the survival of "OpenAI". It is a catch-22, but those of pure intentions would rather not care about the survival of the entity, if it meant compromising their values.
The primary source of superiority in a war is "not being within reach of a enemy munitions". US does great in European wars for that reason, and is historically mostly free from North American wars because US dominates the whole continent.
Another fellow Bezier enthusiast here!

I fell down deep into the rabbit hole of Beziers in the Rhinoceros modelling app. There is something special about clean higher order curvature continuity across shapes. It's simply beautiful.

That said, I have big issues with learning any other tool. So much of the app interface learning was required to be able to freely draw... I really do see, why the bitmap simplicity wins over in "I just need to have it done; needs to be published by x" cases
> Even if that science helps not so friendly countries like Russia?

Nothing will stop this wave, and the United States will not allow itself to be on the sidelines.
Honestly, I think syntax for Arc (and/or Rc or some generalization of the two) and more "cultural" support for writing in that style would have benefitted rust back when 1.0 was being finalized. But I think the cow is out of the barn now on what rust "is" and that it isn't this.
Most talent left a long time ago.

The people left are the hacks and the ones with mortgages.
In that case, there's no need to enforce any rules! The cost of cheating already exceeds any potential benefits.
Has China failed?
Increase Readability with Java's Pattern Matching
> I have no idea how metrics would be measured unless the work is always the same and trivial.

Don't count the result, but the actual work itself. Meaning, you need to document every little step you do, every command, script, search you have. Write down your thoughts and conclusions, and so on. But this is very annoying, and barely anyone is well-equipped for doing this. And most people have some natural defensive for exposing themselves to this level. Though, it would also be helpful for yourself to be able to review your work. So maybe some balanced middle would be a way to go?

Maybe if tools would be designed in a non-annoying way to support this, more people would be willing doing something like this.
No, not really. Firstly, there is no significant "friction" to using Rust smart pointers and internal mutability primitives, as those constructs have been added to Rust for a reason: to solve certain borrow checker edge cases (e.g., multiply interconnected data structures), so they are treated by the Rust ecosystem as first-class citizens. Secondly, those constructs make a pretty good educational tool. By the time people get to know Rust well enough to use those constructs, they will inevitably realize that mastering the Rust borrow checker is just one book chapter away to go through out of passion or boredom.