freeman42x

tried to clarify a bit in natural language what #Intelligence 🧠 and #Ethics ⚖️ are about: 🧠 Intelligence is a metric associated to an agent that measures its capability of achieving its goals. A metric that can be used for intelligence is the probability of the agent to achieve the goals it set its mind to. ⚖️ Ethics is a society level goal that is dependent on the goals of individual agents that maximises the well-being of the individuals in the group Next step would be formalisation of the concepts Once you formalised both intelligence and ethics you can implement intelligent agents that meet ethics constraints using compile-time #proofs #AGI #AI #EthicalAI #Singularity #DataScience #MachineLearning #DeepLearning #TechEthics #Innovation

😂

😂

Missionaries damning people to hell

At that price I wouldn't be amazed if it were vagina ham

@spaces_inside I can't in good conscience say right

@freeman42x Right!!??

To cure cancer... right?!

😂

😂

@PhotonicMoses These are classified black-project tri-winged hypersonic transatmospheric tactical reconnaissance/attack platforms—pure reverse-engineered alien-derived TR-3B/Astral/fluxliner variants operating in the deep-black electrogravitic domain.

@freeman42x Whachall doin with these? Asking for a galactic federation

👽

@fresheyeball LEAN has algebraic data types. lean-lang.org

Ok so F*, is ugly. Maybe Coq? How do we get proof oriented code that is also ADT oriented, instead of piles upon piles of numbers? Same reason I struggle with APLs, I just don't want the semantics of my code to be like... yolo it's some numbers representing uh, something!

AI capabilities are doubling fast, but so is Congressional awareness of AI superintelligence and the risks. You can make a "METR graph" for AI policy and it shows an explosion... and it's bipartisan ->

😂

Having a good time

Tell me something new :(

OMG, this plot twist 🤣

Great reaction🤣

@beyondLLMs I wonder what could have possibly distracted us. I have no clue. I don't see any NVidia GPUs in the picture.

@freeman42x guilty as charged

Yeah, you got me

Checkmate atheists