BusyBrain⌨
banner
w42.bsky.social
BusyBrain⌨
@w42.bsky.social
Interested in how machine can speak human language and automated theorem proving
If you think the out (site) group isn't enjoying thinking like your ingroup, I've lost respect for you. Sorry.
December 1, 2024 at 10:10 PM
I think this is not fair assessment, you should invoke (by trigger intention to know more) AIO if you want to compare them fairly and in en-US lang and US region. this is what I found, should quite useful

someone gave me Kagi promo link here, and seems like the indexes just too small and slower
November 30, 2024 at 12:25 PM
wow i just realized this streaming has been up for years. yt infra is top tier
November 30, 2024 at 4:34 AM
💀💀
November 28, 2024 at 8:17 PM
November 28, 2024 at 8:09 PM
November 28, 2024 at 12:32 PM
how about exclusive applied it on my "following" feed? no fancy trick just plain rec sys adhere my up and down votes, so I can spend less time comprehend signals. bsky seem so slow pick up my preferences here
November 28, 2024 at 4:55 AM
seems like each mastodon server have their rules and thus their culture
November 27, 2024 at 7:44 PM
who? Teo? saw her tweet about this thread. I assume it'll bring more anons here
November 24, 2024 at 6:44 PM
this is intuitive, finally someone made it

journals.plos.org/ploscompbiol...
November 24, 2024 at 5:47 AM
someone should built this on top of blue sky open protocol and firehorse data stream
November 24, 2024 at 4:17 AM
November 24, 2024 at 1:52 AM
some tweets are just too good to not share here
November 23, 2024 at 7:52 AM
you hasn't post on x for days cat, I tought you stop playing life
November 23, 2024 at 6:42 AM
hmm

#CERN
November 20, 2024 at 8:52 AM