Viewing profile — itsarnavb

I'm thinking of making it easy to "teleport" to any location within the cage Imagine typing in coordinates or picking a location on a map, and then suddenly your phone or any other…

And the techniques to produce the material are not too crazy, all within reach of sufficiently dedicated amateurs

Now I'm imagining what history would have looked like if the alchemists had indeed stumbled upon a floating lead apatite sample a few centuries ago...

Why not just absorb it into Google maps?

I like this description of the problem and the suggestion: > Today on Twitter, as on most social media, justice works in a roughly Stalinist style. The normal penalty is permanent …

Here ya go! https://replit.com/@ArnavBansal/nixed-cobol

Was your society any less market-driven during your parents' generation, when the factory worker could support a family with a single income? On the other hand, are societies like …

wow, Taleb's Barbell strategy at play

My sense for WhatsApp's dominance is peripheral contacts. I can convince close friends and family to move to Signal, but not distant friends, especially the large groups I'm in. I'…

Congrats to the Deno team and community on reaching 1.0! We've launched Deno support on repl.it here (in beta): https://repl.it/languages/deno for folks to try out.

There are controls. I believe they're selective about who they let in, and let present.

Thanks! :D This made my day

Just added it. Thanks. I'll try to import a larger set of symbols soon, to fix the gaps.

Thanks! Added hats :D

...and done! :)

Yep, I've used it. It's amazing! I'm also adding a link to it on my page, so people can find symbols they don't yet know how to describe with text I felt that 'type and hit enter t…

Thanks! Adding them right now!

Hello HN. I'm new to LaTeX. It was taking me a while to lookup common notation, so I took a lot longer ( https://xkcd.com/1205 ), and built a search for it. I'll be using LaTeX ove…

This gif should explain: https://imgur.com/6BnAFjh

It's probably using Google custom search. I think that's the only way you can actually get Google search results as an API. Perhaps custom search displays differing results?