Hacker Newsnew | past | comments | ask | show | jobs | submit | Meneth's commentslogin

The "everyone dies" scenario is overwhelmingly likely given that no solutions to either inner or outer alignment exist.

[1] https://en.wikipedia.org/wiki/AI_alignment


His Github page [1] matches some of this. 83% commits, 14% PRs, 2% reviews, 1% issues. Clearly out of control.

[1] https://github.com/awesomekling


Or, more accurately, Please don't.

That's what you get for using unfree software.

There's no free alternatives, because AMD doesn't document the bitstream format (i.e. what you need to push to the FPGA to program it to do wha you want).

I'm fairly sure the FPGA space is big enough there are alternate products for most of the offerings

Xilinx has the best silicon. Everyone else is behind. Altera is basically dead thanks Intel. Lattice is nice for low power but performance-wise they are behind. Don't know much about Microchip, but from the little I've heard their tooling is a disaster even by the standards of FPGA tooling. Then there are Gowin (not bad, but Chinglish docs and everything), Gatemate (pretty innovative and vendor-backed nextpnr support - but only one low-mid FPGA with a promise to release chiplet assemblies of it latter). And Effinix - don't know much about them, do anyone have experience?

It's not. There's a duopoly between AMD (Xilinx) and Intel (Altera). There's more choice at the very low end but if you're going for a powerful FPGA (which is mostly what people need) those are the choices.

This isn't why there are no free alternatives: there are for 7 Series chips. Free alternatives have terrible QoR.

I would imagine Red Hat are pretty close to "they", since they created Systemd and then there was the RHEL redistribution controversy [ https://old.reddit.com/r/Fedora/comments/14k8jmw/can_someone... ].


I too guess they meant Red Hat. But that move just resulted in really big clients switching to RHEL derivatives like Rocky or Almalinux. Closing systemd would spawn a fork and possibly an specification effort for non-systemd components to join in.


Unfortunate that they aren't using the AGPL license. It will allow SAAS companies to Embrace, Extend, and Extinguish.

Indeed, this seems to be already planned. https://radicle.dev/faq "Radworks intends to offer services built on top of Radicle."


AD: Radicle is protocol driven, my hope as a contributor is it becomes infrastructure.


"We need a new standard!" :p


No one can apply to be pope of the catholic church.


Technically, all adult Catholics can become Pope. But realistically it's just one of the cardinals, which means you need to become a bishop first, which means you need to become a priest first, which means you need to be celibate (x). This guy has a wife, according to the article, so he cannot become a Pope.

(x) this is technically not true for some Anglican orders that later became Catholics? Maybe? (I never remember the rules of the ordinariate.) So maybe he could first become a priest in Anglican Church, then switch to Catholicism, then become a bishop, then a Cardinal, then a Pope? It's a long shot though.

edit: ahhh the married priests in Ordinariate cannot become bishops. So he would need to have first his marriage annulled I guess.


While this is for practical purposes true _now_, there actually were a small number of married popes (https://en.wikipedia.org/wiki/List_of_sexually_active_popes#...), and there have been a few popes who were not priests before being elected (if you want to be pedantic, Peter wasn't a priest, and may have been married, but there were later examples).

> all adult Catholics can become Pope

All adult male Catholics, though also see Pope Joan (probably didn't actually exist, but was generally believed to have existed until quite recently). There's also no actual age requirement, though in practice the youngest pope was _probably_ 18.


Adult male Catholics, surely?


... Maybe: https://en.wikipedia.org/wiki/Pope_Joan

(She probably didn't actually exist, but it's interesting that until quite recently she was generally believed to have existed.)


Yes, that was satire, in Latin, John is spelled Joannes, or Joan for short.


What do you mean? Catcholic Church has records, did they just came up with something about a nonexistent Pope Joan out of thin air? How could they...


Catholic Church's records on early popes are often surprisingly bad, particularly in antipope-heavy eras. There are a _number_ of popes where the detail is pretty vague. Use of damnatio memoriae also confuses the issue, eg: https://en.wikipedia.org/wiki/Pope_Formosus#Legacy


eh not really, we NOW have quite good records on most popes except for the first few ones that we get just in a list from St Irenaeus (for example from St Linus - the guy immediately after St Peter - we get almost nothing)

but about the middle age popes we know quite a lot NOW. But it used to be different.


Correct. In fact, even to be a bishop you have to state as part of the ritual that you do not wish to be a bishop. (Many do of course.)

(Am off to read the article now. :) )


Sure, anyone and everyone can apply, to basically anything. Sometimes you can even get into stuff they didn't think they accepted applicants to. Most of the times you get ignored though.


Not the point of the story at all. Read before commenting.


A bunch of plugins running on canvas.instructure.com are proprietary, according to their FAQ: https://github.com/instructure/canvas-lms/wiki/FAQ.

I would guess these plugins are chosen so a majority of user won't want to live without them.

It also seems these plugins "link" to canvas-lms, so keeping the proprietary would be a GPL violation if anyone except Instructure holds part of the copyright to Canvas.


You know what you doing!


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: