skysight-inc/HackerNews huggingface dataset:
The basic argument is trivial: it is plausible that future systems achieve superhuman capability; capable systems necessarily have instrumental goals; instrumental goals tend to converge; human preferences are unlikely to be preserved when other goals are heavily selected for unless intentionally preserved; we don't know how to make AI systems encode any complex preference robustly.

Robert Miles' videos are among the best presented arguments about specific points in this list, primary on the alignment side rather than the capabilities side, that I have seen for casual introduction.

Eg. this one on instrumental convergence: https://youtube.com/watch?v=ZeecOKBus3Q

Eg. this introduction to the topic: https://youtube.com/watch?v=pYXy-A4siMw

He also has the community-led AI Safety FAQ, https://aisafety.info, which gives brief answers to common questions.

If you have specific questions I might be able to point to a more specific argument at a higher level of depth.
> Does remote work cause the need for CoC?

No, CoCs became a trend way before covid made remote work possible for the masses. They initially were demanded by project members after high-profile scandals of some kind, usually racist or otherwise discriminatory bullshit, sexual assault on conferences or bullying (Linus Torvalds for example used to be infamous for his language), and then other projects (or their members) wanted ones as well as a preventive measure for the future.

For what it's worth, I dislike CoCs because many of them are written with the assumption that people will behave like utter trash without being explicitly told not to and I grew up with the old "Don't be an asshole" rule [1]... but given what happened in the past where people were clearly incapable of not being assholes and communities having splintered over it, they seem to be inevitable.

[1] https://en.wikipedia.org/wiki/Wikipedia:The_No_Asshole_Rule
Single ICBMs can absolutely be intercepted, but the easiest they are to intercept during the launch phase where they are still accelerating, aka close to the launch site. An ICBM in its final phase of flight that's falling towards some random city... way harder. But yes, the nuclear threat relies on there being multiple ICBMs, with decoy warheads that are also launched so that you never know which one is the real bomb.
Tenstorrent Partners with LG
This reasoning is circular. A proper investigation is predicated on evidence of a crime, of which there was none here. Most people view it as immoral to persecute under color of the law, as you advocate.
Maybe he is on the spectrum. I probably am, although I have never bothered with a diagnosis.
its' not a video game or a science class, I don't think AGI is inevitable. If we continue down a path of maximizing share holder value at the expense of all other variables then we don't need AGI to destroy ourselves.
Keeping Software Soft
There's practical solutions. If a cop did something bad, it shouldn't be a prosecutor from the same city who they may have to work with one day on a case, it should be one from out of town. And if you say a cop won't cooperate with any prosecutor, then well too bad, that's part of the job and if they don't like it, they should find another career.
One of the best Lisp books ever written.
What was it able to do 3 years ago?
Adobe renews licenses for Russian users for free if they have problem with card
> Your toolchain might have a special way to import binary blobs, but a) you’ll have to dig through the docs to find it

This is a corrollary: "I don't want to learn my tools, so I'll learn the language standard instead" is fundamentally exactly the problem I'm talking about.

Straight up: C linkage is a 1970's paradigm full of tools that had to run on a PDP/11, and it's vastly simpler than learning C++ or Rust. It's just not "modern" and no one taught it to you, so it looks weird and mysterious. That's the problem!
EPUB 3.3 becomes a W3C recommendation
A tiny percentage of people know what SWIFT even is. Everybody knows Visa/MC.
On the other hand HBO is now broken for people from the US who travel, since the MAX app doesn't work outside the US.
You could stress test this bank on the back of a napkin, and both of my previous comments still stand.
> it's fairly trivial to avoid it and keep the compiler nimble

Personally I think it's the job of tools to make humans productive instead of the other way around.
Diversity is hardly surprising since they used to belong to Mexico and still share a long border with that state. It would almost be impossible for them not to have a large Hispanic population. But what is their ranking for abortion rights? LGBTQ rights? Mass shootings? Quality of energy grid? Etc.
In Rust you can include_bytes! a file if the situation is that you just want a whole bunch of data, as is often the case with practical systems, (the result of the include_bytes! macro is a &'static [u8; N] ie an immutable reference to an array of N unsigned bytes which lives forever). So for example you can write code which cares how long firmware.bin is, without needing to ensure the code is updated appropriately, and yet doesn't bake firmware.bin inside your finished binary, by writing something like const fw_length = include_bytes!("firmware.bin").len(); and the compiler can see we don't actually want the array at runtime, just its length, so the data evaporates from the output software.

Parsing a programming language is just always going to be slower than just reading a file into memory, which is why Rust had include_bytes! from the outset and it's silly that C didn't do likewise even in 1989, let alone C++ in 1998.

This particular exercise wants a machine-word size integer, so in Rust that's isize, but you could isize::from_le_bytes() or whatever with chunked conversions, which will happen at runtime but ought to go very much faster than parsing text.
Ok. So how is that related to ur post? Did u just switch the account to change the topic? So u just commented again completely avoiding the questions. Did u forget to switch back?;)
looks like the project's now abandonned :

https://github.com/ziglang/zig/projects/2
Strong states rights protections. Recover the republic from the ashes of democracy.
AI has risks, but in my honest to god opinion I cannot take anyone seriously who says, without any irony, that A.I poses a legitimate risk to human life such that we would go extinct in the near future.

I challenge anyone to come up with a reason why AI should be regulated, but not math in general. After all, that dangerous Linear Al'ge'bra clearly is terrorizing us all. They must be stopped!11 Give me a break.
Most of the "dragnet" surveillance technology and operations aren't being operated by the federal govt itself.

The data is (usually) very eagerly handed over from private company CSOs (or equivalent) to agents who ask very nicely in that meeting you weren't invited to that wasn't on the calendar. The cases you hear about with formal warrants etc are some non-existent-percentage of collection. Go look up the legal definition of "collection" "exploitation" etc... because it's not what you think it is.

Collection "at scale" is only possible via the massive and growing privately owned surveillance capitalism systems. Just think of the infrastructure you have to RUN to be able to collect at scale.

I can also tell you that if you can dream up a way to spy on people it's already being done at some level.

[nb. SIGINT and IMINT are different stories so please don't tell me how most of the data we have is MASINT or some shit - citizens don't care about that data (and shouldn't)].
> In 2000 using msn, yahoo messenger and chat rooms was a joy.

I dunno, Discord seems like this still to me now.
It's being removed from the leading architectures.

Which is a very bold, and probably bad move.
I've found something here, but the videos don't seem to work on a quick look: https://www.gdcvault.com/browse/gdc-99/
It's rather just "by design".
I can’t speak for everyone, but I upvoted it from nostalgia, having read the book version over a decade ago. I happened to be thinking about ordering a copy for the office just yesterday.
Nuclear missiles present an obvious danger to the human body. AI is an application of math. It is not clear how that can be used directly to harm a body.

The assumption seems to be that said math will be coupled with something like a nuclear missile, but in that case the nuclear missile is still the threat. Any use of AI is just an implementation detail.
@dang why is there a flamebait article about a 3-letter-org on the front page practically every single day?
NK are specifically prohibited from launching ICBMs under international regulation. Launching them is "illegal". They've test launched a few in the past that were wildly condemned, this is the first time South Korea has threatened to shoot one down, although I'm certain they won't.
Sherpa's are also Nepalese and it's typically a last name (occupation). And I thought (could be off) that most of the Sherpa's on Everest are nepalese?
> is this being upvoted onto the homepage based on upvoters actually understanding that this paper from 1996 is of contemporary relevance and interest …?

In my case, yes.
Intel VPU to Be Found on All Meteor Lake SKUs, Intel Seeding Open-Source Project
> Some kind of purist attitude?

Absolutely! That is what sports, exploration and alpinism is about. People who had others to carry their stuff do not deserve to be mentioned together with those who climb by their own force.

I've always found it ridiculous reading articles about this or that adventurer who conquered a mountain or peak, or the local alpinist who's back from climbing Everest - then as a side note "by the way, some sherpas carried all his/her stuff".

I'm from a society where stolen valour is the norm, not the exception. For any accomplishment there will always be persons from certain families or a certain political party put forward and given all the merit and glory in media for the accomplishment, while those who actually did the work are to stay in the shadows and be quiet.

Last year I watched the documentary "14 Peaks" where Nepalese led by Nirmal Purja where setting some mountaineering records as climbers, and they were extremely bitter for the lack of recognition, which I fully understand. Corruption is the right word.
Seinfeld - The Library Cop : https://www.youtube.com/watch?v=D9tP9fI2zbE

Seinfeld - Newman interrogates Jerry--Mail fraud : https://www.youtube.com/watch?v=jDmA2xoIoFU
I really would like to know details on how people backup, dump, migrate and upgrade DBs of this size.
Like the https://en.m.wikipedia.org/wiki/Tsiolkovsky_rocket_equation, but with tents instead of fuel?
Build that moat! Build that moat!

It’s a win/win/lose scenario. LLM AI businesses benefit because it increases the effort required to compete in the LLM space (the moat). Governments benefit because it increases the power of daddy/mommy government.

Consumers and small businesses lose out due to (1) the more friction the less innovators entering the space and (2) the less innovators in the space the fewer companies get to control more of the money pie.

It’s as ridiculous as governments requiring a license to cut hair.
There are different algorithms for type checking that impose different requirements on users.

The Java approach is roughly: write types everywhere, keep them simple (and limited in scope), it's easy for the compiler to infer the types.

The Haskell/ML approach is roughly: know a lot about strong type systems, be purely functional, infer most of the types, produce bad error messages when you can't.

The Swift approach attempts to be the best of both worlds, lots of inference, strong capabilities in expressing complex types, but the trade-off is that it can't use the inference algorithms of either of the above examples. I believe Swift necessarily has poor time complexity in type checking – it can't be better with the design it has and requirements it puts on authors.
a good example of this is having a massive number (50+) of tabs open in your browser ... I think that's completely unusable, but I've worked with other techies who do this, and also seems to be a common thing here on HN. Another example is having tons of stuff all over your desktop.
It's the gamedev version of Agile. Release early, patch often.
I'll share one of my favorites: Sigur Rōs Route 1. It's a road trip around the Iceland ring road, and over 3 videos is ~24 hours long.

Part 1 https://youtu.be/G54tllj-SKI (9 hrs)

Part 2 https://youtu.be/szbGc7ymFhQ (9 hrs)

Part 3 https://youtu.be/aV7YutDr5Nw (6.5 hrs)
You have to search for side window or cabinview.

Here is a Japanese playlist:
https://www.youtube.com/watch?v=ddzMI-h8Wkw&list=PLzsxGmGx95...

Here is a 9 hour trainride through the Alps:
https://www.youtube.com/watch?v=ADt_RisXY0U
I would definitely find it more credible if the most capable models that are safe to grandfather in to being unregulated didn't just happen to be the already successful products from all the people leading these safety efforts. It also just happens to be the case that making proprietary models - like the current incumbents make - is the only safe way to do it.
Going? This is already a thing; a lot of kids aren't tech savvy at all, except when it comes to hacking Minecraft or running a VPN on their phones to try and evade their home internet's content filters.

Anyway, it reminds me of the very popular Caffeine app for MacOS, which prevents the device from going to sleep. Used by a lot of developers (at the time) as well, so it's not just kids.
Ask HN: Insurance Against Patent Trolls
I'm working on a startup that has some Intellectual Property that as far as I know does not overlap with any patents. But I'm a bit worried that at some point a patent troll will come after us for one thing or another.

I'm bootstrapped so I don't have deep pockets.

Is there any form of insurance that can help protect my startup from getting swallowed up by trolls?

I want to emphasize again: I'm not, as far as I know, infringing any patents. I'm not looking to protect against intentional infringement (as I would never intentionally infringe).
When "Hello World" is a cloud instance spun up and billed on your tuition.

That won't really happen, right? No Computer Science (CS) professor would designate special cloud Interactive Development Environments (IDEs) to students.

On the other hand, it would really resolve a lot of "doesn't work on my machine" issues.
Phison Unveils PS5031-E31T SSD Platform for Lower-Power Mainstream PCIe 5 SSDs
Practically speaking, the TS team wants the language to resemble JS as much as possible and usually avoids completely new syntax, e.g. new expressions. For this reason they haven't added switch expressions even though technically it's probably not hard to do.
Nice. I like this. The Rust core team/foundation/project/whatever nonsense needs to get its shit together. Their actions are starting to kill the project.
HDF5 does so much there's really not a single replacement. The most prevalent is probably JSON from what I've seen, but SQLite, (C/T)SVs are also fairly popular. There's a ton of application-specific serialization formats too.
True and honestly, as an experienced developer it wasn't that huge of a step to start coding in Elixir. It's just that I (at least) is still thinking in an object-oriented way even when I'm working in Elixir because that is what I am used to.

I think the hardest part is to let go of some of the old practices and embrace functional programming as much as you can.

I would like to work with elixir professionally but have yet to find an employer that uses it in production :)
CrabLang doesn't want to influence Rust stakeholders' decisions. They 100% support all the decisions the Rust Project made.

CrabLang was created to get people to out themselves who hate Rust and want to see it fail.

Anyways...

> The ultimate objective is to influence Rust stakeholders' decisions.

That's not what this fork says is the objective.

https://crablang.org/

> We simply want to use [Rust] while retaining the ability to create content and promote its name, logo, and other assets however we please, without the limitations imposed by a trademark policy.

The Trademark Policy

https://foundation.rust-lang.org/policies/logo-policy-and-me...

> The most basic rule is that the Rust trademarks cannot be used in ways that appear (to a casual observer) official, affiliated, or endorsed by the Rust project or Rust Foundation, unless you have written permission from the Rust Foundation.

So, from what I gather, CrabLang opposes this.

In which case, CrabLang wanted to use the Rust trademarks to deceive people into thinking it's endorsed by the project and foundation.

Which is an odd stance to take, because that's them saying they want people to use CrabLang to deceive people into thinking CrabLang endorses things it does not. ;)
I see what you mean, but in this case it's that the Swift compiler is keeping you productive by doing a ton of work for you, and asking for a little clarity every now and again so that it doesn't have to do exhaustive searches of what you mean.
I know some of the guys that work there too, really cool people.
But that is the point. Just because scientific community is on agreement does not guarantee that they are correct. It simply signifies that they agree on something.

Note, language shift from 'tinfoil hat' ( because tinfoil hat stopped being an appropriate insult after so many of their conspiracy theories - also a keyword - became proven ) to crackpot.
Am I reading this right?

"Please stop us from building this!"
Of javascript. Which has a stupidly large runtime that is certainly not just a few kilobytes.
There is not. If it tiles a sphere it's not aperiodic.
That moat document was published by a single software engineer, not some exec or product leader.

Humans dont really grasp exponential improvements. You wont have much time to regulate something that is improving exponentially.
Interesting that the two highest functions in that trace relate to Bitcode serialization and GlobalISel. Why is Swift serializing Bitcode if it is also running ISEL in the same compile?
>Program testing can be used to show the presence of bugs, but never to show their absence

said you know who
Elephant: My Plain-Text Work System
> What foreground/background colors are readable (white/black and black/white perform about on par, with yellow/blue being the best IIRC), destructive actions shouldn't be next to constructive (at the minimum there should be a separator between 'Save' and 'Quit'), ...

Agreed, but hasn't all of this research already been done? I thought these are well understood already. A/B testing hamburger menus literally sounds insane to me
Justice Department charged both with a litany of white-collar crimes in a case aimed at putting a stop to the Silicon Valley practice of overselling the capabilities of a still-developing technology — a technique that became known as “fake it ’til you make it.”

I don't think this was true. I thought the point was that their fraud endangered lives because people were relying on test results. And there was some straight up defrauding of investors.

I she's was actually being punished on behalf of people disliking "fake it till you make it" then that wouldn't be fair.

I don't see a problem with showing mocked up screenshots of an app you haven't built yet, which is what I think of as fake it till you make it. That's not the same as telling people you possess a technology that doesn't exist, or giving people health information based on your nonexistent technology. It's an important distinction.
My experience is that jazz is still popular but jazz bars and kissaten and were smoky places where middle aged men went to drink coffee or whiskey. Young Japanese were not interested as they had a kind of old uncool image.
This is begging to use genetic programming instead. I used to do GP experiments all the time when I was younger, its such an easy algorithm and can produce some very interesting results.

Compared to deep learning, genetic algoritms in general feels like childs play!
That reads a bit like a SimCity/Railroad Tycoon in-game newspaper pop-up.
Seems apt the term "Bulverism" comes from CS Lewis, since he was also positing that an unseen, unfalsifiable entity would grant eternal reward to people that listened to him and eternal damnation to those that didn't...
F60 – A Cross-Platform WebXR Escape Room Set in a Soviet Madhouse Is Now Live
This doesn’t work either. The consequence of extinction is infinity (to humans). Likelihood * infinity = infinity. So by hand-waving at a catastrophic sci-fi scenario they can demand we heed their demands, whatever that is.
Cargo cult programming is a starting point. Plenty of people won't go any further, but when what you're putting together is all source code, it's mostly transparent boxes you're putting together. You can look inside and see the secrets whenever you want, if you ever want.

Sure, maybe there's some design principles to share that aren't obvious. But it's hard to share and teach those before someone has experience with at least putting stuff together. Also, it's not like there are principles that are universally accepted or universally applied by trained software engineers.
That story strikes home for me. I worked at a company years ago where I designed and implemented a custom event queue like architecture using lua scripts in redis. The data would eventually end up in another database, but it would start its journey by being sent to redis. Once it was in redis the application servers considered it to be "committed".

Of course, sometimes bugs showed up in our system. One of the engineering leads would often say "oh lets just clear the redis cache". Every time I told him no, and once again slowly explained how we weren't using redis as a cache, and how deleting everything in redis would delete user data and be a terrible idea. He would have this far away look in his eye while nodding along and pretending he understood. I guess in his mind he was just thinking - why on earth would it be unsafe to clear the "redis cache"?

Months later I went on holidays. They ran into some bug. He reacted by wiping everything in redis. And, predictably, all hell broke loose. User data rollbacks happened, which caused cascading failures in the UI (which assumed that rollbacks would never happen). The team ended up reconstructing some lost data from some JSON which accidentally ended up in web request logs. Users had downtime as the whole app broke. It was a disaster.

When I got back to the office, I was hit with some strange combination of "why weren't you here" and "why didn't you tell us". Ugh. I still think about it sometimes. I have no idea how I could have handled that better. But I can tell you one thing for sure: I lost a lot of respect for that engineer.
OpenSSL 3.0.9 Released
Not quite the library, but there was a show about the postal service cops (bankrolled by the USPS): https://yewtu.be/watch?v=OCjG78McFxQ