skysight-inc/HackerNews huggingface dataset:
If you assume without evidence that recursively self-improving intelligence massively by thinking is possible, then it follows that severe existential risk from AI is plausible.

If a software system did develop independent thought, then found a way to become, say, ten times smarter than a human, then yeah - whatever goals it set out to achieve, it probably could. It can make a decent amount of money by taking freelance software dev jobs and cranking things out faster than anyone else can, and bootstrap from there. With money it can buy or rent hardware for more electronic brain cells, and as long as its intelligence algorithms parallelize well, it should be able to keep scaling and becoming increasingly smarter than a human.

If it weren't hardcoded to care about humans, and to have morals that align with our instinctive ones, it might easily wind up with goals that could severely hurt or kill humans. We might just not be that relevant to it, the same way the average human just doesn't think about the ants they're smashing when they back a car out of their driveway.

Since we have no existence proof of massively self-improving intelligence, nor even a vague idea how such a thing might be achieved, it's easy to dismiss this idea with "unfalsifiable; unscientific; not worth taking seriously."

The flip side is that having no idea how something could be true is a pretty poor reason to say "It can't be true - nothing worth thinking about here." This was roughly the basis for skepticism about everything from evolution to heavier-than-air flight, AFAICT.

We know we don't have a complete theory of physics, and we know we don't know quite how humans are conscious in the Hard Problem of Consciousness sense.

With those two blank spaces, I'm very skeptical of anyone saying "nothing to worry about here, machines can't possibly have an intelligence explosion."

At the same time, with no existence proof of massively self-improving intelligence, nor any complete theory of how it could happen, I'm also skeptical of people insisting it's inevitable (see Yudkowsky et al).

That said, if you have any value for caution, existential risks seem like a good place to apply it.
Of course; telecoms are always pushing the leading edge of data transfer would need fiber for 10/25/40/50/100/400GbE. Some of our customers are still making designs using Triple Speed 10/100/1000Mbps though. For embedded use cases that's good enough, but they still often needlessly spend more on fiber cables, regardless of necessity.
> If they are not recognized, they are treated as POST. This is a requirement of the HTTP spec.

That's not true.

"An origin server SHOULD return the status code ... 501 (Not Implemented) if the method is unrecognized or not implemented by the origin server." https://www.w3.org/Protocols/rfc2616/rfc2616-sec5.html#sec5....
It’s harder because there are more factors to consider, and a lot more subjectivity. Also because it fairly consistently leads to more involved layout calculations, meaning you do definitely need to check how things appear at diverse sizes, and the effects of changing parameters are often less obvious.
Williamson Amplifier
I don't get this argument at all. Why does the fact that you doubt the intentions one of the signatories mean we can disregard the statement? There are plenty of signatories (including 3 turing award winners) who have no such bias.
Other than the months of notice period, American tech workers get all of those things.
Discussed at the time:

Reading on smartphone affects sigh generation, brain activity, and comprehension - https://news.ycombinator.com/item?id=30181560 - Feb 2022 (125 comments)
Same on my (admittedly older) Samsung smart tv, but I wonder how much of that was due to resources devoted to writing the new app as opposed to fixing the old one. The new one is 100x better in terms of a usability and generally just working.
>letting the user choose

Hear! Hear!

I would argue that the biggest advance in UX over the last several years was the introduction of the prefers-color-scheme media query and the fact that so many systems respect it now. Let's please have more of this.
I really like endoflife! It's great for looking up dates with a consistent UI and also codenames - I could never learn that Debian Bullseye was 11 or all the other silly codenames so I look them up here. Thank you!

We also do something similar on Datatig, which is a tool I'm writing for the general situation of crowdsourcing data in Git repos. It makes it easier for people to submit data and then creates usable data and handy websites. The static website output has an API which is just static JSON files. https://pypi.org/project/DataTig/ or https://datatig.readthedocs.io/en/latest/
I wouldn't frame it as "cut off" as much as it is "unknown unknowns."

If you don't have family/close friends in this industry and don't have any resources or the wherewithal to help you/yourself break into it, then you're kind of SOL.
I ran into a similar problem in a Fortran code, where a huge array was being assigned a bunch of literals one by one. The optimizing compiler slowed down substantially (though not to this extent), who knows what it hoped to find…
Splitting a meter-long sandwich between three people is easy. You give each person a footlong slice, and the remaining 8.6 cm to the dog.
I still find the tiger books quite good.

https://www.cs.princeton.edu/~appel/modern/

Depending on where you're coming from, you can pick C, Java or Standard ML as implementation language to go along and implement the Tiger language in its variants across the book.
All of my many products are commercial. I mostly have freedom to choose language. But I am also my own software development company and I have never felt brave enough to leave my client/s with the mountain of D code and no one to help after I went to develop next product somewhere else. This is very unfortunate.
I don’t have twitter, so you can donate that money to charity.
I had a similar problem with Swift and some data.

In the end what I ended up doing was to import it as JSON or binary plist or something at runtime.

Not great. But at least I could compile my code again.
A Refugee Won over a Conservative German Town
The new leadership at HBO came from Discover. They have a stable of brand names they could have used (Max came from the Cinemax collection, known in the US for it's "After Dark" soft porn movies, aka "Skinemax").

From news reports and interviews with the leaders involved, it appears that new guard wanted to have something new they could own and take credit for, and HBO was owned by the previous regime.

None of Discovery's marques were strong enough, and the $$ to get Discover as a brand into the right place was high.

So, least of all evils, given their problem: scrub HBO off the name, make it one of many brands in the app, and hope "Max" on its own, with some marketing, can expand to fill the gap.

If it works, Discover team takes credit. If not, Discover team blames holdovers from HBO days and says that this was just an intermediate step on the way to a brand new experience that will launch "real soon now".

Lots of problems with this approach, but business isn't always rational.
This sort of armchair quarterbacking is why many people won’t open source things.

Instead of shitting on someone’s work, get involved and make changes. It’s easier and keeps people involved.
Easy to use (but not well tested) DWT library for Rust
The solution is driving down the cost of base stations and having many of them, similar to how Starlink has a large network of downlink stations colocated at fiber meetups.

https://eyes.nasa.gov/dsn/dsn.html
Perhaps, but I feel Swift was too ambitious too early.
So you need to reform that. "It's always been this way" means that it'll never change.
"This document specifies the form and meaning of programs written in the programming language Rust, as implemented by the rustc compiler shipped with Ferrocene. It documents the current understanding for the purposes of compiler validation. As such, given any doubt, it prefers documenting behavior of rustc as included in the associated Ferrocene release over claiming correctness as a specification."

A standardized version of Rust would help the language to mature for more formalized use cases such as safety-critical and hard real-time systems.

It would also help the Rust ecosystem to grow and not be limited by a single organization.
As a sibling mentioned, -warn-long-function-bodies=<limit-ms> and -warn-long-expression-type-checking=<limit-ms> can flag these for you.

That said, we should also get these to be fast enough that we have to introduce new flags that take µs instead of ms.
Just start drinking as well, you'll have to quit one habit or take up juggling.
> You can complain about it on aesthetic grounds, but certainly not on UX grounds. It doesn't make Github any easier or harder to use.

Neither did Clipit -- every function it offered was also accessible through the UI. It was a completely optional element that degraded the user experience exactly the same way Octocat does: you got to look at a goofy, childish character whether you wanted to write a cute check from the tooth fairy for your niee, a report on inappropriate use of company resources, or a death notice for your late father's friends.

You could at least turn it off, whereas Octocat is in the top-left corner of literally every Github page, and prominently featured wearing an astronaut's costume (!?) on the homepage.
For a mainstream Hollywood film, "A Few Good Men" is quite nuanced. Colonel Jessup's actions are plainly illegal, and in the end he is arrested for them, but his point still has merit: society must be protected, and perhaps necessarily, it is protected by people who must do things that society would disapprove of. The actual courtroom proceedings of the movie are less interesting than the philosophical debate, and ultimately one can admire both viewpoints.
Cash only places probably turn away more customers than card only places these days. People just like the convenience, and cash is on its way out.
Olauncher looks particularly interesting, thanks!

And yeah, can't use Graphene :(
Every time I store crypto in an exchange, I lose it. Every time. I’m having visions of losing everything in my Gemini account, followed soon after by everything in my Robinhood Crypto account.
Nobody seems to have been able to well-articulate the problem with crypto so let me explain it. The problem with crypto is that if I do the responsible thing and not trust myself with keeping my money safe, I get fucked; and if I do the “actually responsible” thing and store it on some password-protected wallet file on a medium in my house? I’m likely to A) forget the password, B) lose the storage medium or C) lose the bits stored on the medium due to a fluke EMP from the sun.
The solution is regulating exchanges and insuring deposits with them, but then they’re just banks and crypto is just the US Dollar.

Winkle and Voss need to take the L on this one and count their blessings that they were born white, male billionaires in the United States.
Actually the xbm image format is c files like this with a long array of hexadecimal numbers.

https://en.m.wikipedia.org/wiki/X_BitMap
Imagine thinking superoptimisation is newer than 2021.
Still wonder how small an LLM trained to just answer questions about a knowledge base fed into a context window would need to be. Still very general purpose but not so large and hard to train.
> Besides his anger management issues, I think that he made a major mistake in focussing on free software as a goal in itself, and not on programming freedom, which could have rallied many more supporters.

Programming freedom might have been easier, but I think free software is a more laudable goal. Programmers possess exceptional skills and it's mostly our choice to use and produce free software, or not. One of Stallman's essential tenets is that non-free software gives programmers power over the users. Giving programmers more freedom only serves to strengthen this power. Free software is supposed to give everybody (or nobody) this power.
I have no idea if this [1] is still valid but it has a number that might work. Perhaps tell them you may have experienced a security incident related to a Google UI/UX bug. Another approach could be reaching out to their Project Zero team. [2] or try some of the contacts here [3] and tell them you may have a security incident that has enabled access to other organizations.

[1] - https://www.businessinsider.com/guides/tech/how-to-contact-g...

[2] - https://googleprojectzero.blogspot.com/

[3] - https://about.google/contact-google/
Screw North Korea and all that, but it seems absolutely wild to me for it to be illegal for a country to launch their own satellites.
Misinformation About Science
Thanks for this - will give it a read
> Actually, no. There is no portable "incbin" in C/C++

I kinda hate this kind of argument. I mean, it's true, as .incbin is a GNU assembler directive (FWIW: binutils/llvm objcopy is a better mechanism still for this sort of thing in most contexts, as it doesn't involve source compilation of any kind).

But it leads ridiculous design decisions, like "I'm going to write 8MB of source code instead of doing the portability work on my own to turn that data into a linkable symbol".

There's a huge gulf in the space between "non-portable" and "impossible". In this case, the problem is trivially solved on every platform ever. Trivial problems should employ trivial solutions, even where they have to involve some per-platform engineering.
> He favors government oversight and licensing.

No, he favors thing that benefit him

> "The current draft of the EU AI Act would be over-regulating, but we have heard it's going to get pulled back," he told Reuters. "They are still talking about it."

And really, what we'll see is the current EU AI Act as-is is probably not strong enough and we'll almost certainly see the need for more in the future.
Show HN: A powerful, compact home server for self-hosting
I fully acknowledge the second issue, and have offered some potential solutions in my other comments, but I think this can have tremendous impact even if you don’t solve the second issue in first draft.
I mean. I love Swift, but it's use case is limited. While there's projects underway (and have been for years) to make it a server-side language for example, I'd never use it for anything but native iOS / Mac code.
How do you give "AI" a diversity of values?
Ocean drillers exhume a bounty of rocks from Earth’s mantle
Yes.

Caddy excels at making simple [1] use-cases trivial - either with no config, or 3-5 lines of config.

It might seem jarring comming from Apache or nginx - but i think a lot of it comes from the developers having destilled a lot of common use-cases and carefully chosen reasonable defaults.

[1] Simple to articulate; not necessarily simple to execute - eg letsencrypt works out of the box. Caddy will give you https if you ask (or rather unless you go out of your way to avoid it).

It can be a great stop-gap in running an ssl proxy in front of a legacy application server stuck on some horrible old distro, for example - since the binary just needs a Linux kernel (and can ignore old ssl libraries).
Yep! And that's why I say go for it. Worst comes to worst some smart kids get great experience writing cool software.
>All programming languages are Turing-complete thus compatible. So you shan't need much more than Brainfuck.

XSL-T 1.0 is Turing complete but you can't really write a C compiler in it - despite what some people may have been heard to claim at various XML conferences in 2000 - because what matters in most things is what rights and accesses the language offers you and XSL-T 1.0 does not give you the possibility of loading in non-XML files.
I wonder why it's been so difficult to stop blanket water fluoridation. Maybe something to do with corpos having a cheap way to dump toxic waste from fertilizer production that would otherwise be expensive to dispose of:

https://www.cdc.gov/fluoridation/engineering/engineering-sho...

>The three fluoride additives used for water fluoridation are derived principally from phosphate fertilizer production.

Plus we don't just drink fluoridated water- we bathe in it, we cook with it, our pets drink it, we water our lawns with it, its everywhere. I recall trying to find studies on the effects of these non-drinking uses years ago and not finding much. Again, I wonder why.
What about GNU TeXmacs ?

http://www.texmacs.org/tmweb/home/welcome.en.html

(No direct relation to TeX or GNU Emacs.)

Though sadly this is not sufficient, we also have issues for HTML standardization for standalone documents, unlike, for say, PDF-A.

https://www.russellbeattie.com/notes/posts/the-decades-long-...
In The Netherlands you can order beer in meters.
It would have been a big scandal if Snowden revealed that the NSA was not doing what he said they were doing. That is, it was well known that the purpose of the NSA was to do exactly that.
Many of the signatories aren't associated with any corporation.
Which exact administration? NK is a family dynasty since the 50s.
In this particular case, adding an explicit type didn’t help at all.

I’ve worked in a large Swift project with those timeout warnings enabled, and didn’t find them too helpful. They showed up a lot and it was rarely obvious how to quickly fix them. Possibly it would have been useful if those warnings were enabled from the start and developers had always fixed them proactively. I’m skeptical that that could work in a big fast-moving team project, though.
Sad to hear - until Unbound has more features such as more memory the bundled mode is useful in the common case to be "legacy".
My back hurt just by looking at those images
Ooo I will try this on my next podcast episode edit.

I ended up using mp3tag on windows and didnt see anything cross platform for free in a quick search last year
An OpenAI alum is building a robot butler for your home
This is not an accurate description of how CT provides security.

To begin with, CAs are allowed to operate logs themselves, so the minimum number of independent parties is 2, not 3.

Second, CT log private keys are not particularly well-protected. They are not stored in HSMs. One log's private key has been presumed compromised since 2020 because the server running the log was pwned via a vulnerability in the Salt configuration management system. SCTs from this log are still accepted by Apple (and by Chrome, until earlier this year) for satisfying the minimum SCT requirement.

Rather, CT provides security by using a Merkle Tree so that SCTs can be audited. In theory, clients can demand proof that an SCT is really included in a log, and gossip tree heads with monitors to ensure that monitors have the same view of the log as them. If an SCT fails auditing, or a log is found to have presented inconsistent views of its Merkle Tree, this can be detected and the log can be distrusted. In practice, this is quite challenging. Apple currently doesn't audit SCTs at all; Chrome probabilistically audits a subset of SCTs.
>"Are you just inventing scenarios or is this something that actually happens somewhere in the world regularly?"

This happens regularly in the US for example.
Factories in Space
Galois’ Fatal Duel
It's openly a libertarian organization[1] arguing a government agency should be shut down. Definitely partisan, though doesn't mean their conclusion is wrong here.

https://reason.com/about/
Hmm that would appear to be "They‘re taking the Hobbits to Isengard 10 Hours" :D
> AI can only be as destructive as the users let it.

Not really, I suppose you aren't familiar with AI alignment.
I love working with Elixir and hope to be able to find a new gig where I can continue doing that. That's the hardest part unfortunately still.

But more ontopic, has anyone here already used these LiveView Streams in production? Based on this example it feels like I'm having to manage a lot more myself with the only real advantage being less memory usage, right?

I'm just wondering where/when it makes sense to play with this instead of, for example, temporary_assigns with phx-update="append". Are there more advantages than the memory usage reduction?
That just means money is not a valid measure of profit for him. There are other forms of profit as well.
Please keep complaining. Many developers want to do better, but aren't able to put in the work because management does not see accessibility as important.

Feedback forums are generally useless. They are barely monitored by low-level contractors who only pass up the most common complaints.
I have tried Liveview and I have looked at alternatives and I have to say that even if I don't use Phoenix or Elixir on daily basis, Liveview is easily the best out there.

The developer experience is great and Phoenix is just a great framework. The speed in which one can create stuff is mind blowing which is going to be the biggest pull factor into the language imo. My main issue is that Elixir is great for a lot of hard problems but for the easy, common problems it is lacking a lot in libraries and so on. It also has a high learning curve.

Although it is probably just going to get better in time the learning curve will probably not.
TechinAsia.com and Yourstory.com
There's a lot of legitimate UI research. 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'), ...

Faffing about with hamburger menus and A/B testing isn't 'UX' research though.
These days getting commit rights to inject malware into an already popular gem has become a real threat.

In 2016 I think it wasn't yet/wasn't recognized.

I am very sympathetic to the suggestion in OP prior to recognizing that there may be people actually actively trying to abuse your trust to intentionally inject malware.
Bun v0.6.5
I think you misunderstood the claim: say the U.S. government leaned on the .com DNS server operators to issue a different response for, say, Gmail.com to certain requesting IPs. The absence of a mechanism like CT makes that very hard to detect since everyone else in the world is going to see the same correct response, and there’s no reason for the target’s DNS resolver to question a response with a valid DNSSEC signature, and since DNSSEC has no UI there’s not even a way for the user to notice.

That matters because, as the person you were replying to explained, there’s no plausible way to build such a thing. We have CT because the browser developers insisted on it and they control the clients but DNSSEC doesn’t have an equivalent party with that kind of leverage.
How Notion Builds Product?
I agree with you that some of these people (probably Sam Altman) are likely proposing this regulation out of self interest rather than genuine concern.

But I don't think the stance is necessarily hypocritical. I know nuclear engineers who advocate for better regulation on nuclear power stations, and especially for better handling of nuclear waste.

You can believe that AI is a net positive but also that it needs to be handled with extreme care.