HN user

jjaredsimpson

763 karma
Posts1
Comments319
View on HN
Daft Punk Break Up 5 years ago

I feel like Alive should count even though its not new material. It's so good and different take on their own tracks.

Since the stars are near 1 solar mass and each has <10d orbital period, I think pairs should be nearer than Mercury to our sun which has 88d period.

Then the paper gives the separations of the systems as 18AU for the inner quadruple and 250AU for the whole system. That would put the inner system within the orbit of Uranus and the whole system larger than our solar system which has Kuiper belt at 50AU.

I think the an easy way to think about it is by thinking about function types, instead of collection types.

Func Arg Val represents a function type from Args to Vals

consider foo(func : Func a b)

The argument to the function foo must be assignable to (a subtype of) Func a b

What are those subtypes? We can find out by considering expressions involving the argument

bidentifer = func(avalue)

so func must be an object whose type is compatible with assignments from the avalue, so its argument type must be a supertype of a

while the assignment to bidentifier implies the return value must be assignable to the return type so it must be a subtype

therefore the subtypes of Func a b are the set of types Func (super a) (sub b)

this is the origin of the phrase be generous in what you accept and specific about what you return

thinking about whether bikes are vehicles and such doesn't really clarify anything. you have to actually think about the expressions you are trying to construct

Moving down the Func type hierarchy moves you up the Argument type hierarchy (contra) but moves you down the Return type hierarchy (co)

I only zone out in meetings with no focus. Provide an agenda which describes what you want to talk about. This helps me identify my value and not begin to immediately wonder how long this aimless meeting will last. Describe the problem this meeting wants to solve and why you can't solve it by yourself. People schedule meetings and expect attendees to do the work on making the meeting successful.

It's not my responsibility not to be bored, it's the organizers responsibility to be engaging.

It's key to include false starts and promising paths that dead end. Learning to explore unknown solution spaces and refine the domain of the problem itself are critical skills in any open ended problem.

Spending an entire school lifetime being taught to "solve" "problems" and then being confronted with a world where problems aren't defined and solutions are ad-hoc and piecemeal is a rude awakening.

The strategies that made us a good students and made us feel good and smart in school aren't the same strategies that make for a good employee and those strategies set new devs up to fail when they can't "see the answer" to the current jira ticket they are tasked with.

I believe we are alone in Milky Way.

Self assembling replicators from some civilization should have colonized and cataloged every star system over billion year time scales.

It's inconceivable that no intelligent space faring civilization would have thought to do this.

Electron hate is an entry in the genre, "modern software is inefficient and bloated because devs are lazy"

This genre will never want for new entries because, devs will keep getting things done and critics will keep complaining.

Electron hate is a moral argument, "devs are wasteful." It's not a technical argument. People confuse their ability to conceive of software which has the same behavior as shipped software, but improves on arbitrary figures of merit, excepting "date of RTM."

Battle of Alesia 7 years ago

I dunno about best, but History of Rome podcast is excellent if you like podcasts as a format. Covers 750bc up to 450ad.

The coverage of punic wars, late republic, early empire, crisis of the third century are my favorite arcs.

Biological systems climb up energy gradients and outcompete other systems.

Artificial systems should be able to climb given a suitable gradient. I think the hard part of AGI is going to be designing the environment and gradient to produce "intention", I don't think the hard part is studying the human mind to find out the "secret of intelligence"

The goal of AGI isn't silicon minds isomorphic to human minds at each level of interpretation. Just the existence of an intelligent system.

Reading the AI go FOOM debate solidified a lot of the mushy parts of my "singularitianism"

I think the linchpin of my belief is recursive self improvement. I think machine intelligences are a different kind of substance with different dynamics than the ones we typically encounter.

I don't think someone will compile the first AGI and presto there is it. I think a long running system of processes will interact and rewrite its own code to produce something, which eventually a reasonable boundary could be drawn to distinguish the system and anyone interacting with the system would say: "this thing is intelligent, the most intelligent thing on the planet". It would have instant access to all written knowledge, essentially unbounded power to compute new facts and information and model the world to as accurate of an approximation as needed to produce high confidence utterances.

I just don't see how a system like that couldn't come into existence one day. Issues around timelines are completely unknowable to me. But I would put a distribution of something like I would be surprised if it happened in the next 50 years and shocked if it didn't happen within the next 1000. Very fuzzy, but it "feels" inevitable.

If a collection of unthinking cells can coordinate and produce the feeling of conscious experience then I can't see what would stop silicon from producing similar behavior without many bounds inherent in biological systems.

This example is fresh in my mind but might be crude

Every public bathroom is a mess. Urine on seats and the floor. But I've never gone to someone's house and seen their bathroom in that condition.

People act badly when no one is watching and they have reason to believe their badness won't be discovered.

I'm skeptical of the value of anonymity to the collective where it's obvious to see the value to the individual