betamike (u/betamike)

betamike commented on Ask HN: How do you communicate in a remote startup? · Posted by u/aml183

screye · a year ago

If you're in similar time zones, try https://www.gather.town/ ?

I've used it for remote conferences, and I like its 2D UI. Real sense of space there.

betamike · a year ago

This is what my last, 6 person, startup used, and it was really helpful. It lowered the barrier to having a quick discussion, since you could see if someone was at their "desk" or busy in a meeting.

Also you can see if other teammates are having a discussion or co-working in a common area, which made for some ad-hoc co-working sessions.

betamike commented on The Road to RBAC: Evaluating and Implementing Authorization Systems prodvana.io/blog/the-road... · Posted by u/betamike

aconfer · 2 years ago

This is a great write up! I’m curious, did any enterprise requirements influence this decision? Specifically supporting SCIM for synchronizing users with something like okta?

betamike · 2 years ago

Author here, and yep! We eventually want to offer those kinds of enterprise features (SCIM, syncing group membership from Okta/other IdPs), so I kept that in mind throughout the process.

While I haven't gone too deep on that yet, I was thinking we'd take inspiration from how GitHub maps IdP groups to native GitHub teams. So first step here would be adding user groups/teams natively in the product.

betamike commented on Yabai – A tiling window manager for macOS github.com/koekeishiya/ya... · Posted by u/CathalMullan

poidos · 2 years ago

I like rectangle [0]. It fits my needs well enough without requiring disabling SIP. I especially like the “repeated key presses resize a window on the same side” feature, so I can get cycle the size of the window on the right side of the screen from 1/2->1/3->2/3 easily. I miss i3 sometimes and this ain’t an identical replacement but it gets the job done! Turns out I don’t move my windows all that often anyways.

[0]: https://rectangleapp.com/

betamike · 2 years ago

Just wanted to point out that disabling SIP is not required to use most of yabai's window management features. You do lose some features[0] but I've found the only ones I really care about is focusing spaces, and you can create keyboard shortcuts for that in System Settings.

[0]: https://github.com/koekeishiya/yabai/wiki/Disabling-System-I...

betamike commented on Open source code with profanity in comments is statistically better blog.desdelinux.net/en/op... · Posted by u/dev_snd

betamike · 3 years ago

I skimmed the paper, and it looks like they are looking for swearing _anywhere_ in the repos' code, not just comments.

I would be curious to see the ratio of swearing in comments vs code identifiers. I'd also be curious to see if the repos with swearing in their comments just have more comments in total. Perhaps the correlation is, "code with more comments is more likely to be higher quality".

betamike commented on Tutanota – Revolutionary Changes Ahead tutanota.com/blog/announc... · Posted by u/dotcoma

dean2432 · 3 years ago

is their calendar any good? i was looking at proton calendar, but it lacks a search function.

edit: tutanota calendar also lacks search, but at least they have it planned. proton haven't.

betamike · 3 years ago

I just saw this earlier this week: Proton just added Calendar search to the beta Android app[1], and it looks like they are working to bring it to other platforms.

[1] https://proton.me/support/calendar-search

betamike commented on IBM's Asshole Test johnpublic.mataroa.blog/b... · Posted by u/johnpublic

krono · 4 years ago

  Near the beginning of a class, Professor Neyman wrote two problems on the blackboard. Dantzig arrived late and assumed that they were a homework assignment.
  According to Dantzig, they "seemed to be a little harder than usual", but a few days later he handed in completed solutions for both problems, still believing that they were an assignment that was overdue.
  Six weeks later, an excited Neyman eagerly told him that the "homework" problems he had solved were two of the most famous unsolved problems in statistics.

https://en.wikipedia.org/wiki/George_Dantzig

Reminds me of that :)

edit: Here's a slightly more colourful telling of the story: https://www.snopes.com/fact-check/the-unsolvable-math-proble...

Does anyone happen to know which two problems Dantzig solved? Don't seem to be having much luck on my searches

betamike · 4 years ago

Hah! This reminded me of a similar story:

"In 1951, David A. Huffman and his MIT information theory classmates were given the choice of a term paper or a final exam. The professor, Robert M. Fano, assigned a term paper on the problem of finding the most efficient binary code. Huffman, unable to prove any codes were the most efficient, was about to give up and start studying for the final when he hit upon the idea of using a frequency-sorted binary tree and quickly proved this method the most efficient.[5]

In doing so, Huffman outdid Fano, who had worked with Claude Shannon to develop a similar code. Building the tree from the bottom up guaranteed optimality, unlike the top-down approach of Shannon–Fano coding."

https://en.wikipedia.org/wiki/Huffman_coding#History

betamike commented on OpenBoard – FOSS Keyboard for Android which respects your privacy github.com/dslul/openboar... · Posted by u/mikepechadotcom

lcnmrn · 5 years ago

Simple Keyboard is both on F-Droid and Play Store. https://github.com/rkkr/simple-keyboard

betamike · 5 years ago

Just a note for anyone checking it out, Simple Keyboard doesn't support spellcheck (which is why I use OpenBoard instead).

betamike commented on Impossible Foods raises $200M in fresh funding reuters.com/article/us-im... · Posted by u/randtrain34

actuator · 6 years ago

Thanks, I just searched for that. Those are some extreme numbers[1] and there seem to be a lot of dishes in East Asia that are making use of it, not sure if the use is just as an additive.

I wonder why it doesn't come up a lot in protein rich food discussion. I will try to read up more about it.

[1] https://ndb.nal.usda.gov/fdc-app.html#/food-details/168147/n...

betamike · 6 years ago

Just for some additional search terms, seitan is a form of prepared Vital Wheat Gluten.