BusyBrain⌨

BusyBrain⌨

w42.bsky.social

Interested in how machine can speak human language and automated theorem proving

👤 Joined on 28 October 2024

443

Followers

4660

Following

141

Total Posts

📜 Kullanıcı Geçmişi

  • 28 Eki 2024, 01:39
    🎉 Bluesky'e katıldı - İlk kullanıcı adı: @linkedml.bsky.social
  • 19 Kas 2024, 04:13
    ✏️ Kullanıcı adı değişti: @linkedml.bsky.social → @linkml.bsky.social
  • 21 Kas 2024, 10:54
    ✏️ Kullanıcı adı değişti: @linkml.bsky.social → @w42.bsky.social
  • 27 Kas 2024, 09:02
    ✏️ Kullanıcı adı değişti: @w42.bsky.social → @nametime.bsky.social
  • 27 Kas 2024, 09:02
    ✏️ Kullanıcı adı değişti: @nametime.bsky.social → @w42.bsky.social

❤️ Beğendiği Gönderiler

NEW on “How to Fix the Internet” - Neurotechnology holds the potential for miracle cures, but also for a Pandora’s box of abuses, neuroscientist @rafaelyuste.bsky.social and international human rights lawyer Jared Genser tell EFF's Cindy Cohn and @thejasonkelley.com.

Show Post

It's actually considered polite to slurp your noodles. www.symplectomorphic.com/assets/chapt...

Show Post

Pro-tip: Do not underestimate the effect of respecting people and their time nor underestimate the effect of not doing so.

Show Post

Multicluster resiliency with global load balancing and mesh federation | Red Hat Developer developers.redhat.com/articles/202...

Show Post
Eddie Ester
12 August 2025 00:26

New paper day! Whereas earlier studies have shown that human eye movement patterns are influenced by the physical properties of remembered stimuli, we show that they are also influenced by stimulus meaning. h/t to Ali Pexsa (not on bluesky) who led this work. tinyurl.com/4y4aev3a

Show Post

Select language

Install App

Install App