Skip to content
View JungeWerther's full-sized avatar
🌍
Fullstack development, data engineering, science, analysis.
🌍
Fullstack development, data engineering, science, analysis.

Block or report JungeWerther

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
JungeWerther/README.md

πŸ‘‹ Hello, programmer.

IMG_2067 I could use a hand!

Are you interested in the Curry-Howard Correspondence? Maybe we're on the same wave-length.


Here are some key ideas that make sense to me:

  • Pragmatism over correspondence theory
  • Focusing on solutions rather than getting stuck on how things 'ought to be'
  • You'll make mistakes anyway, might as well get it over with (confront your fear of mistakes)
  • Aesthetics are important
  • Pursuing many deep interests leads to a rich outlook on life
  • Talk to people
  • Acknowledge what you want

If this resonates with you, reach out! I want to work with you.

Pinned Loading

  1. From Public

    πŸž› The Encapsulation Library πŸž› - Functional Programming in python

    Python 3

  2. swiechers Public

    Portfolio Site

    TypeScript 1

  3. baruch Public

    Locally running 'intelligent' socket-based modular smart-home assistant

    Python

  4. Simple-Rails-Search-Engine Public

    Simple search engine for products in rails using hierarchical navigable small worlds (hnswlib)

    Ruby

  5. metta-helpers Public

    Helper functions for MeTTa Opencog Hyperon language for cognitive computations

    Python

  6. trueagi-io/metta-examples Public

    Discussion of MeTTa programming with examples

    Python 21 19