Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Ask HN: What's You Life's Work?

news.ycombinator.com

Post reply on HN
Print view View original

81–90 of 92 posts

Re: Ask HN: What's You Life's Work?

#81

Post by 082349872349872 »

zmgsabst wrote: post #80
082349872349872 wrote: post #79

Earlier quoted context omitted.

ok, I'll bite: algebraically logic is being and computation is becoming; how does this geometrically map into denotations and diffyqs?

You have something like this [1], where you have clear maps from the type theory world into the typed representation of software and the category map structures to Euclidean VM/difference EQ representation of software. This is classic Curry-Howard. And algebra/geometry split of being/becoming happens in both the type theory/category theory and typed program/difference equation relations. [1] - https://zmichaelgehlke.…

could I get a quick example? let's say the top of the square is:

    A * A->B                 
    --------         f(x), where f:A->B and x:A
       B
what does that interval map onto on the bottom of the square? is the inverse map also interesting?

Edit: are you familiar with Vicker's work? if so, would it help understand (I have it saved off but have not gotten into it yet) the content of the square? https://www.cs.bham.ac.uk/~sjv/talks.php

Re: Ask HN: What's You Life's Work?

#82

Post by conorcleary »

zackmorris wrote: post #36

Coping. I had lists like yours in the 1990s, but working to make rent eventually expanded to use up all of my time. Now I practice meditation and stoicism, work on myself with bodybuilding and kickboxing, but have no expectation that things will improve. That said, I didn't know about manifestation, or such basic principles as the difference between reason and meaning. So I believe that I inadvertently shifted into t…

Sounds like you either smoke too much weed or not enough.

Re: Ask HN: What's You Life's Work?

#83

Post by zmgsabst »

082349872349872 wrote: post #81
zmgsabst wrote: post #80

Earlier quoted context omitted.

You have something like this [1], where you have clear maps from the type theory world into the typed representation of software and the category map structures to Euclidean VM/difference EQ representation of software. This is classic Curry-Howard. And algebra/geometry split of being/becoming happens in both the type theory/category theory and typed program/difference equation relations. [1] - https://zmichaelgehlke.…

could I get a quick example? let's say the top of the square is: A * A->B -------- f(x), where f:A->B and x:A B what does that interval map onto on the bottom of the square? is the inverse map also interesting? Edit: are you familiar with Vicker's work? if so, would it help understand (I have it saved off but have not gotten into it yet) the content of the square? https://www.cs.bham.ac.uk/~sjv/talks.php

I have two white papers on transporting shape types to difference equations on images; and am working on a third related to models of Zn.

https://www.zmgsabstract.com/whitepapers/shapes-as-digital-i...

https://www.zmgsabstract.com/whitepapers/shapes-have-operati...

This is pretty new; but the main interest is actually the inverse mapping — can you recover a type theory that is the “internal language” of the diagram modeling the difference equations that (eg) represents a DNN?

That would be the “effective semantics” of the DNN, expressed as typed statements.

- - -

I’m following the work of (eg) Michael Shulman on attaching types to categories; and my own experience as an SDE on the logic, types, difference equation side. (There’s some papers on programs as Euclidean VMs I used as well, but I don’t have them handy.)

The weakest link is category to difference equations; but that exists to some degree already due to physics — and I’m muddling my way through implementing that to gain deeper insight myself.

Re: Ask HN: What's You Life's Work?

#84

Post by bsenftner »

bsenftner wrote: post #47

This is something I've knowingly devoted my life. It's an immature idea / realization / dream I had at age 12, which was about 1976. I saw a presentation by Ohio State's 3D computer graphics group, basically showing off the then-new field of 3D computer graphics. I thought in my 12 year old head "some day someone will make realistic versions of ordinary people in animation, and that person is gonna be rich using thes…

As I expected, the lowest voted post. Nobody understands the power of media with the media consumer embedded into it. This is a new, extremely powerful form of media. It is an empathy engine. The use of actor embedding in media for advertisements is merely the financial foundation to launch a new form of highly empathic storytelling. Consider the racists and sexists in our society and how their thoughts would change after experiencing feature film quality talents producing media where they are minorities? Nobody seems to grasp the positive capabilities possible with ordinary people automagically embedded into media. I just get "I hate ads" and pornographic push back.

Re: Ask HN: What's You Life's Work?

#85

Post by 082349872349872 »

zmgsabst wrote: post #83
082349872349872 wrote: post #81

Earlier quoted context omitted.

could I get a quick example? let's say the top of the square is: A * A->B -------- f(x), where f:A->B and x:A B what does that interval map onto on the bottom of the square? is the inverse map also interesting? Edit: are you familiar with Vicker's work? if so, would it help understand (I have it saved off but have not gotten into it yet) the content of the square? https://www.cs.bham.ac.uk/~sjv/talks.php

I have two white papers on transporting shape types to difference equations on images; and am working on a third related to models of Zn. https://www.zmgsabstract.com/whitepapers/shapes-as-digital-i... https://www.zmgsabstract.com/whitepapers/shapes-have-operati... This is pretty new; but the main interest is actually the inverse mapping — can you recover a type theory that is the “internal language” of the diagram m…

Cool! Feel free to let me know when you've written up groups/Zn.

Re: Ask HN: What's You Life's Work?

#86

Post by examplary_cable »

obloid wrote: post #46

It seems like there is a lot of pressure these days for people to find their "passion" or their life's work. But I think there are only a small subset of people who have that kind of single-minded focus. I used to get anxious about the fact that I did not have a passion. I have many varied interests and hobbies, but that dilution of interest prevents me from really excelling in one thing or having anything close to a…

> but that dilution of interest prevents me from really excelling in one thing or having anything close to a "life's work".

Same.

I feel like I might stretch myself too thin and not be able to "become" anyone because of this. It's also because every low-hanging fruit was discovered or invented already, so presumably, in order to invent anything new you would be required to focus 100% of your time for 1 thing.

And I hate this.

So it's not possible for me to be interested in multiple things and avoid this feeling that I'm wasting my time?

Anyways, I'm also ok with that. I'll let interest guide me in my life journey.

Re: Ask HN: What's You Life's Work?

#87

Post by examplary_cable »

qdot76367 wrote: post #7

I suspect https://buttplug.io is gonna keep me busy. I’ve already been working in the intimate haptics field for ~18 years and it’s remained interesting the whole time, so no plans on stopping.

> https://buttplug.io

LMAO.

If that's what interests you ha!

Re: Ask HN: What's You Life's Work?

#88

Post by examplary_cable »

recursivedoubts wrote: post #28

my children, first & foremost technically: https://htmx.org - bringing hypermedia back as a viable web architecture https://hyperscript.org - bringing HyperTalk back as a viable scripting language https://grugbrain.dev - bringing humility back as a viable programming vibe

> https://htmx.org

I love htmlx. That you so much for this. I'm currently using https://alpinejs.dev/ because it allows me to work directly with HTML so I can have meta-programming capabilities that React.js/Vue.js simply could not handle.

That you for htmlx!

Re: Ask HN: What's You Life's Work?

#89

Post by examplary_cable »

jameal wrote: post #4

I'm not sure what form it will take exactly, but I would say my life's work is to live as fully into my values as I can. I used to just want to have a nice job with autonomy and to be able to work from home, until I got it and I realized that it wasn't as fulfilling as I thought it would be. I had security but I was disconnected. There is so much disconnection in the world. We become disconnected from ourselves, from…

> I used to be a complete introvert and would become overwhelmed easily. Now I truly enjoy meeting new people and being put in new situations

I see this a somewhat of an identity problem. If you pick "shy" identities for yourself, then they all correlate on being shy( e.g: Autistic, Programmer, Nerd etc). So the more strongly you feel about being X, the shy-er you'll become. That's why I don't like to call myself too many things because I sub-consciously attach the sub-traits of the personality unto myself.

Re: Ask HN: What's You Life's Work?

#90

Post by jonjacky »

recursivedoubts wrote: post #28

my children, first & foremost technically: https://htmx.org - bringing hypermedia back as a viable web architecture https://hyperscript.org - bringing HyperTalk back as a viable scripting language https://grugbrain.dev - bringing humility back as a viable programming vibe

grugbrain.dev is wonderful. Also, it is an example of the simplicity it advocates: One file, simple HTML with a bit of simple CSS inline at the start of the file. That's all! Simple and effective.
Post reply on HN