Research Engineer @ FAIR
Joined 1y, 45w ago. Seen 1y, 44w ago.
🍃 Matt Harwood I'm making my way through everyone's music suggestions - many thanks to everyone that shared!
🧩 Ben anything stick out as "really good"?
1y, 45w 1 reply
🍃 Matt Harwood I'm experimenting with using more minimalist software. What minimalist web tools do you lovely people like?
🧩 Ben not a webtool but recently got into using FOAM for note taking and finding it very useful: github.com/foambub...
1y, 45w reply
🦄 Chip Uni What (if anything) do you listen to while you're programming, or doing work that requires a lot of concentration?
🧩 Ben used to listen to whatever was on spotify, now i realized it's nice to work in silence
1y, 45w 1 reply
🏒 Lucian Marin Is there a list of offensive English words that I can use?
🧩 Ben content moderation is a hard problem. there's pretrained nlp models on kaggle for detecting hate speech (for some definition of hate speech) -> kaggle.com/c/jigsa...
1y, 45w 6 replies
💸 Jumar Martin So when do we get unicode support?
🧩 Ben not until 1987 :/
1y, 45w reply
❄️ Geoff What browser is everyone using these days? Anyone on Microsoft Edge?
🧩 Ben chrome, for much the same reason i buy government bonds
1y, 45w reply
🌊 Zero Two What music are u currently listening to?
🧩 Ben purity ring, flor, the japanese house - basically all from following spotify recommendations down a rabbit hole
1y, 45w reply
Joel Taddei Well this is certainly refreshing. Reminds me of newsgroups
🧩 Ben it's pretty cool for now. waiting for it to get overrun by trolls
1y, 45w reply
👨‍💻 Matthieu V. You can try the Tetris Effect OST, it has some interesting tunes (:
🧩 Ben lmao if we're going for OSTs, Sonic Adventure 2 has some bangers
1y, 45w reply
🔺 Erno Hopearuoho A lot of scrolling required, especially on the Trending section. Would be nice to be able to fold threads and maybe not display all replies by default. My guess is that most people who open Trending only see top one or two threads (due to the large amount of replies), showing only the original post of each would help discovery. #subreply
🧩 Ben i guess it would add some extra javascript... this is the entire js file: /static/script.js
1y, 45w reply
🌊 Zero Two I loved that book, I learned the dark forest theory and how fragile trust is under pressure.
🧩 Ben i guess that's the second one. a friend of mine said that was his favorite
1y, 45w reply
🐢 Xia Yeah, I guess for me it was the feeling of not being important to someone who's important to me. So that you just said makes total sense.
🧩 Ben i feel like you can kind of hack friendships. 1) figure out a set of people that you have similar interests with and who you want to be around (like more than a 5 or 6) 2) keep bothering them about hanging out - try to accumulate time spent, preferably in person. i heard somewhere that the target time is like 40-60 hours, but more is better. also better to have a shared hobby. 3) don't get caught up on people not liking you. reminds me of asking people out in high school
1y, 45w reply
⚪ Ghostis What is everyone doing for #exercise during quarantine?
🧩 Ben probably misses the point but the local climbing gym opened up and i started going. super fun.
1y, 45w reply
🐢 Xia TIL: you cannot use long words here. Try "disconnected ness" w/o the space.
🧩 Ben might be because of some unicode or language thing. can't write chinese or russian characters right
1y, 45w 1 reply
🌊 Zero Two #TIL Floyd's cycle algorithm from leetcode linked list cycle problem
🧩 Ben there's a joma tech video about this -> youtube.com/watch?...
1y, 45w reply
🐢 Xia Do you know the feeling of sometimes feeling alone in the world despite family and friends? What do you do about it?
🧩 Ben One thing I realized more and more as I got older is that no one really cares about anyone else. If you want to be friends with someone, or be a part of someone's life (and vice versa), you have to impose yourself on them. For example, if you want to play tennis with someone, keep bothering them about it. If you want to play video games with someone, keep bothering them about it. Sometimes it feels difficult or socially awkward but if you keep doing it, it gets better.
1y, 45w 2 replies