LiCS @LiCSpreprintBot

Logic in Computer Science (cs.LO) Created by @venriched source: https://t.co/bdiIknjayG rss.arxiv.org/rss/cs.LO Joined February 2024

Tweets

7K
Followers

101
Following

0
Likes

0

LiCS @LiCSpreprintBot

3 months ago

[2025-06-19, 0 new articles found for cs_LO Logic in Computer Sciencs]

0 0 1 89 0

LiCS @LiCSpreprintBot

3 months ago

[2025-06-17, 10 new articles found for cs_LO Logic in Computer Sciencs]

0 0 0 45 0

型推栄 @_jj1lis_uec

1K Followers 925 Following 巨人の肩の上に立つ

Qubtcoin @Qubtcoin

162 Followers 67 Following Take a big step forward in promoting human civilization

Alex Kavvos @lambdabetaeta

725 Followers 886 Following computer scientist (moonlighting as category theorist). lecturer at @bristolcs @BristolUni

ᓇᓄᖅ ben maimoon @eigendoikayt

37 Followers 541 Following בלשן גזעני, המתמקד בעיקר באנגלית עתיקה ובפרוטו-פינית.

dengqj @dengqj123

6 Followers 230 Following

PhD student | 3 Masters: Forensics, Info Sci, Data Sci | NLU & Neurosymbolic AI researcher | Community Educator @UNHSHARPP advocating consent | CIRTL Scholar

Sushma Anand Akoju. S... @morals4kindness

96 Followers 1K Following PhD student | 3 Masters: Forensics, Info Sci, Data Sci | NLU & Neurosymbolic AI researcher | Community Educator @UNHSHARPP advocating consent | CIRTL Scholar

y0_ @y0_2inf2inf

252 Followers 461 Following { SE, C++, Haskell, Vim, 読書{森博嗣}, 資格・試験{CS学士, FE, AP}, 数学, 読書記録, 計算理論 }

Luis Guilherme Camps @luisgcamps

114 Followers 4K Following

ぽつねん @ms06snt

562 Followers 1K Following 🍒🍹@LFC

ゼッグ @euanthes

282 Followers 2K Following RPGerian of the Red River Karst

Andreu Ballús @andreuballus

500 Followers 591 Following Xilòfon (segons el meu fill).

りゅうたくん @kuripon_desu4

34 Followers 125 Following 院入学未定 | abduction, peirce, logic, Spanish | 現在取り組んでいること:abduction, Peirceの論理

\newcommand{\femb0t}{ @__femb0t

21K Followers 860 Following ✨ Privacy and Sécurité phd student (hiatus) (ﾉ◕ヮ◕)ﾉ*:･ﾟ✨ Learning ✨Have many interests✨⋇⋆✦⋆⋇ ✨

Xero @chaos_xero

0 Followers 1K Following

hehao @hehao9504

17 Followers 1K Following I am new guy in AI related with Causal Learning

roseline j. a. @rxlnja

107 Followers 447 Following theoretical cs kid currently @ matscience, chennai 🦋@rxlnj.bsky.social

𝑿𝑹𝑷 𝗡𝗼... @Aim_Wander812

7 Followers 249 Following Official XRP Notification

anson parker @AnsonParker

261 Followers 727 Following web developer, data science librarian, web3 legal engineer

Anish Rajeev @anish_rajeev

56 Followers 176 Following stun the world

てけてけ坊主 @teke0139

1K Followers 2K Following 横浜生まれジャグリング/数学/数理論理学/WEAVER (主に数学の)@tomatoma_math

michael_e_bain @MichaelEBain

9 Followers 264 Following

そのだ　しょ @nopu_dansant

200 Followers 550 Following 趣味は微分から積分まで多岐にわたる。

w₀ @lombriz5150

26 Followers 191 Following 櫻井桃華担当P

Khaïdesi @vlokarion

39 Followers 490 Following

toru@帰国中🇯�... @yekcat

682 Followers 572 Following MTG関連のつぶやきが主でしたが最近は勤務地での生活ツイート多めです。2022.2〜@成都市、中国🇨🇳

Denis Fedyanin @FedyaninDe

1 Followers 20 Following

“Knowledge alone is capable of transforming the world, while at the same time leaving it exactly as it is.” Yukio Mishima

Jaafar @faar_j3

199 Followers 745 Following “Knowledge alone is capable of transforming the world, while at the same time leaving it exactly as it is.” Yukio Mishima

mitochondria maximalist. 'Slander is spoken, in print it is libel'-JJJ. Pro nuclear armageddon.big dick energy.Reposts≠endorsements

Skeletor Gōlgo @Dummy29093255

194 Followers 6K Following mitochondria maximalist. 'Slander is spoken, in print it is libel'-JJJ. Pro nuclear armageddon.big dick energy.Reposts≠endorsements

大学院で数学基... @logic_joa

76 Followers 159 Following 数学基礎論に興味のある高校教員です。完全性定理を今勉強しています。

Yoshida @999reincarnated

53 Followers 90 Following utl1/b2/哲学 or anything else

Enric @teymos_

78 Followers 841 Following -

ΜΙΣΑΝΘΡΩΠΟ�... @algiz88_

214 Followers 1K Following

grief topos @useTheForcing

144 Followers 2K Following all the things shining

Ernest Ng @ngernest2

509 Followers 3K Following Programming Languages PhD student @Cornell_CS | he/him

Robert @Rerrez_

142 Followers 6K Following Low noise #MMT #Science

Faz Ray @FazRay123

7 Followers 635 Following

August ℤ/5ℤ @ModalMetamodel

852 Followers 97 Following In logic, there are no morals.

君がいるだけで @Nr2YcdmDGE53729

347 Followers 822 Following 心が強くなれること何より大切なものを気付かせてくれたね論理学や数学、数学の哲学などに興味があります。誹謗中傷等はNG

Yukihiro ODA @Yukihiro0036

424 Followers 461 Following Specially appointed research fellow at Tohoku Univ. Logic/Cyclic proofs/π-calculus 酒は人類の友だぞ。友人を見捨てられるか

こっとん @CottonShampoo

2K Followers 1K Following こっとんです！シャンプーごくごく

MxGhadimi @MxGhadimi

4 Followers 142 Following クラックヘッド | CS & MATH | Formal Methods & Programming languages | undergrad

🤘 @kusto_y

15 Followers 298 Following FLOSS/プログラム言語/RISC-V

d @LuDaniel

0 Followers 11 Following

CS student. Studying logic and programming languages. Mastodon: @tomstructured@mathstodon.xyz

Tom @tomstructured

24 Followers 505 Following CS student. Studying logic and programming languages. Mastodon: @[email protected]

wuc9521 @wuc9521

84 Followers 1K Following

Nosstrad @somethingnorma

35 Followers 193 Following

GME x BBBY x CYDY to Uranus
DD for ML, Retail, Biotech
Tweets, Likes or Reweets are only personal opinions, not financial advice nor am I a financial advisor.

🎱 BitcoinBananaBY @BitcoinBananaBY

710 Followers 2K Following GME x BBBY x CYDY to Uranus DD for ML, Retail, Biotech Tweets, Likes or Reweets are only personal opinions, not financial advice nor am I a financial advisor.

Mahboobe Haddadi @mahboobehads

0 Followers 185 Following

18 Eyes | 十八瞳�... @tongren1818

33 Followers 202 Following Keep it simple and fun! | Generative AI

Associate Professor (Statistics), UTHM 🇲🇾
PhD:University of Exeter, UK.
Interest:Statistical modelling, Spatio temporal models and public health.
useR.

Norziha Che Him @nch6101

73 Followers 202 Following Associate Professor (Statistics), UTHM 🇲🇾 PhD:University of Exeter, UK. Interest:Statistical modelling, Spatio temporal models and public health. useR.

No recent Following. New Following will appear here.

No recent Favorites. New Favorites will appear here.