Research Engineer @ FAIR
ben.bolte.cc
~ 30y old
in
United States
🍃 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"?
3y, 40w
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...
3y, 41w
reply
🦄 Chip Uni
What (if anything) do you listen to while you're programming, or doing work that requires a lot of concentration?
🦿 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...
3y, 41w
6 replies
💸 Jumar Martin
So when do we get unicode support?
❄️ Geoff
What browser is everyone using these days? Anyone on Microsoft Edge?
🌊 Zero Two
What music are u currently listening to?
Joel Taddei
Well this is certainly refreshing. Reminds me of newsgroups
👨💻 Matthieu V.
You can try the Tetris Effect OST, it has some interesting tunes (:
🔺 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: subreply.com/stati...
3y, 41w
reply
🌊 Zero Two
I loved that book, I learned the dark forest theory and how fragile trust is under pressure.
🐢 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
3y, 41w
reply
🐢 Xia
TIL: you cannot use long words here. Try "disconnected ness" w/o the space.
🌊 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?...
3y, 41w
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.
3y, 41w
2 replies