Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

How are you doing? #1

Open
jeanthom opened this issue Apr 24, 2020 · 18 comments
Open

How are you doing? #1

jeanthom opened this issue Apr 24, 2020 · 18 comments
Labels
bug Something isn't working documentation Improvements or additions to documentation duplicate This issue or pull request already exists enhancement New feature or request good first issue Good for newcomers help wanted Extra attention is needed invalid This doesn't seem right question Further information is requested wontfix This will not be worked on

Comments

@jeanthom
Copy link

jeanthom commented Apr 24, 2020 •
edited
Loading

(Feel free to write whatever you want, this could serve as a Show and Tell conversation or a shitpost place)
@jeanthom jeanthom pinned this issue Apr 24, 2020
@zapashcanon zapashcanon added documentation Improvements or additions to documentation good first issue Good for newcomers labels Apr 24, 2020
@jeanthom
Copy link
Author

you go first

@zapashcanon
Copy link

I'm fine. I'm doing a lot of OCaml. :) Your turn.

@jeanthom
Copy link
Author

I'm doing good. I had a web meeting with people from IBM this morning, it was cool.

@zapashcanon
Copy link

Nice.

@ghost
Copy link

ghost commented Apr 24, 2020

Haha quarantine go STAY HOME AND CONTRIBUTE TO FREE SOFTWARE
btw i use Arch

@zapashcanon zapashcanon unassigned ghost Apr 24, 2020
@lyxal
Copy link
Member

lyxal commented Apr 25, 2020

I'm making a new golfing language

@jeanthom
Copy link
Author

Interesting! Are you into code golfing competitions? What kind of features would be useful in a golfing language?

@lyxal
Copy link
Member

lyxal commented Apr 25, 2020

Well, I'm active over on codegolf.stackexchange.com

@jeanthom jeanthom assigned xhebox and unassigned lyxal Apr 25, 2020
@lyxal
Copy link
Member

lyxal commented Apr 25, 2020

Amd there's a place where I'm collecting my ideas and planning / designing the language

@lyxal
Copy link
Member

lyxal commented Apr 25, 2020

H*ck i forgot to link that place. https://chat.stackexchange.com/rooms/106764/vyxal

@xhebox
Copy link

xhebox commented Apr 25, 2020

Well, I am working on my homework and iterative split-radix fft.

@Polochon-street Polochon-street removed their assignment Apr 25, 2020
@ghost ghost added bug Something isn't working duplicate This issue or pull request already exists enhancement New feature or request help wanted Extra attention is needed invalid This doesn't seem right question Further information is requested wontfix This will not be worked on and removed duplicate This issue or pull request already exists labels Apr 28, 2020
@AsmitJoy
Copy link

AsmitJoy commented May 4, 2020

Hj...

@cpressey
Copy link
Member

cpressey commented May 5, 2020

For my part, lockdown has given me plenty of time to contemplate the Great Mysteries of GitHub, such as: If I can star my own repos, how come I can't follow myself?

@jeanthom
Copy link
Author

jeanthom commented May 8, 2020

I tend to think of GitHub stars as a bookmark feature, so it could make sense to star your own repos.

@zoobab
Copy link

zoobab commented May 8, 2020

Github's goal is now to sell Azure CPU minutes, locking down developers in a box, run by closed source software of course.

@Guigui220D
Copy link

I tend to think of GitHub stars as a bookmark feature, so it could make sense to star your own repos.

I like to use it as such as well but the search bar being terrible doesn't help me with that

@ghost ghost added the duplicate This issue or pull request already exists label Jul 19, 2020
@jeanthom
Copy link
Author

This is off-topic, please open a new issue.

@ghost
Copy link

ghost commented Jul 23, 2020

@jeanthom #7

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working documentation Improvements or additions to documentation duplicate This issue or pull request already exists enhancement New feature or request good first issue Good for newcomers help wanted Extra attention is needed invalid This doesn't seem right question Further information is requested wontfix This will not be worked on
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests