Ask HN: Who wants to collaborate? (April 2022) • Hacker News Board

Re: Ask HN: Who wants to collaborate? (April 2022)

#61

Post by sgoto » Sat, Apr 02, 2022, 3:03 PM UTC

mazsa wrote: post #46

I solved the problem of formalization of constitutions in set theory, I mean the original/ideal/natural form and scope of them (not the formalization of existing constitutions like [1] or [2]). It is a kind of Archimedean fixed point, a set theoretical place to stand, but we will not move the whole world. On the contrary: we shall put it into an order, into the natural order of free and equivalent persons. I started…

Ah, that's quite interesting! I'm going through a similar process of formalization, but starting from Wikipedia (but law did indeed cross my mind as a good candidate for formalization too).

I'm also starting from a set-theoretic-like starting point, but am using Discourse Representation Theory to express it in a higher level language that is a subset of english.

https://code.sgo.to/2021/01/06/brazil.html

Find on twitter in case you are interested in telling me more about formalizing the constitution?

https://twitter.com/samuelgoto

FWIW, metamath looks really awesome, will look more closely into it!

Re: Ask HN: Who wants to collaborate? (April 2022)

#62

Post by vinner_roy » Sat, Apr 02, 2022, 3:07 PM UTC

I'm building pagespace.app, a platform to create, publish and sell longer form HTML-based content. The vision is a cross between Substack and Github for longer form content. I mention Github because much like code, good content and knowledge should improve and change over time and have lots of "commits".

Tech stack is Elixir, Vue 3, Prosemirror/TipTap on Kubernetes.

Looking for cofounders/partners.

Re: Ask HN: Who wants to collaborate? (April 2022)

#63

Post by erikerikson » Sat, Apr 02, 2022, 3:07 PM UTC

EZ-Cheeze wrote: post #21

From my recent post: "The thing that could bring the most change to the world is a system that finds everybody a thousand or more best friends based on psychological proximity and compatibility. Don’t tell me it’s impossible to predict whether two people are likely to get along or not based on a bunch of factors that can be analyzed with various techniques including AI. What would the world look like if every single…

Why would you limit it to friendships? Why not to find colleagues? Game theoretic strategy compatibility?

The problem comes in how you'd make it real (i.e. implement) and find adoption.

Re: Ask HN: Who wants to collaborate? (April 2022)

#64

Post by podviaznikov » Sat, Apr 02, 2022, 3:10 PM UTC

i_dont_know_ wrote: post #32

Visualizing political data :) I've done various 'pet projects' over the years in this realm, from exploring political bias in word embeddings to simple voting maps showing regional shifts, to comparisons of actual crime vs fear of crime across various demographics. I've even gotten to partner up with actual journalism outlets. I love doing this stuff but I'd like to collaborate with others (either with technical or p…

how to check your work? do you have github?

Re: Ask HN: Who wants to collaborate? (April 2022)

#65

Post by imranq » Sat, Apr 02, 2022, 3:12 PM UTC

xiaofan wrote: post #10

We're actully a group of nerds looking for Go/Cpp engineers familiar with distributed system, database and high performance computing. Vector search is the new trend and let's make something different together~ https://github.com/milvus-io/milvus

Vector search is getting a lot of attention these days. Why is that?

Re: Ask HN: Who wants to collaborate? (April 2022)

#66

Post by erikerikson » Sat, Apr 02, 2022, 3:13 PM UTC

ArneTR wrote: post #23

I am doing research on how to measure the energy consumption and thus carbon emission of software. The toolchain will be open-source and the data free use. Currently it is only a prototype and there are many open research questions to be solved. If any of you is interested in this topic or would like to connect please feel free to contact me. Currently we are a team of two and I also have backed the research through…

Re: Ask HN: Who wants to collaborate? (April 2022)

#67

Post by mchaynes » Sat, Apr 02, 2022, 3:22 PM UTC

bgraceotbass wrote: post #57

I have no code skills but I have an idea for an app that would help volunteers get paid by donation via qr codes and social media. I believe that would help lower income people who want to volunteer or introverts who want to get out and do good for the earth without joining a group. The main goal would be picking up trash.

I’ve had this exact idea before. How do you imagine the QR code would be shared?

Re: Ask HN: Who wants to collaborate? (April 2022)

#68

Post by EZ-Cheeze » Sat, Apr 02, 2022, 3:28 PM UTC

erikerikson wrote: post #63

EZ-Cheeze wrote: post #21

From my recent post: "The thing that could bring the most change to the world is a system that finds everybody a thousand or more best friends based on psychological proximity and compatibility. Don’t tell me it’s impossible to predict whether two people are likely to get along or not based on a bunch of factors that can be analyzed with various techniques including AI. What would the world look like if every single…

Why would you limit it to friendships? Why not to find colleagues? Game theoretic strategy compatibility? The problem comes in how you'd make it real (i.e. implement) and find adoption.

It wouldn't be just friends, but that's how I phrased it there. I called it "supporters" in these 280 characters:

"Some people just get along. They are compatible. They mesh.

I think it's possible to predict whether any two people will hit it off, and to create groups composed entirely of highly compatible, highly synergistic people.

What will happen when EVERYONE has a THOUSAND SUPPORTERS?"

And it wouldn't just be friends or supporters, either:

"Just as the system can find those who are your mirror reflection by minimizing adjacency distances, so it can find your very antithesis by maximizing them, as well as anything in-between."

That's from this post which explores implementation: https://zeroprecedent.substack.com/p/a-technique-for-generat...

I think after implementation, adoption is inevitable since the value is truly insane, better than anything else online (unless you're antisocial, etc.)

Re: Ask HN: Who wants to collaborate? (April 2022)

#69

Post by EZ-Cheeze » Sat, Apr 02, 2022, 3:28 PM UTC

minihat wrote: post #50

EZ-Cheeze wrote: post #21

From my recent post: "The thing that could bring the most change to the world is a system that finds everybody a thousand or more best friends based on psychological proximity and compatibility. Don’t tell me it’s impossible to predict whether two people are likely to get along or not based on a bunch of factors that can be analyzed with various techniques including AI. What would the world look like if every single…

Have you seen the movie Ron's Gone Wrong? Not trying to make fun of your idea. I just expect you may find this movie especially enjoyable given the problem you are interested in.

I'll watch it!

Re: Ask HN: Who wants to collaborate? (April 2022)

#70

Post by tcmb » Sat, Apr 02, 2022, 3:30 PM UTC

I'm looking for some help improving the CSS for https://ramdass-search.net/

First and foremost it should be mobile-friendly, and I'm not skilled enough in CSS to make it happen in a short amount of time.

The site should remain JS-free, so I don't want to use bootstrap or some other off-the-shelf framework.

No compensation, I'm providing the site free of charge, your contribution should be considered a donation to the people using the site.