Top Tweets for #formalLanguages
🔗 Link to the paper: https://t.co/FfRS6ld6wM
🔗 We have an amazing blog post at: https://t.co/4igR2s2ghx
🔗 All codes can be found here: https://t.co/aWP13LCzBF
#ACL2026 #NLP #LLM #FineTuning #InContextLearning #FormalLanguages
@_CIRM 🆕🎬Research School in Discrete Mathematics and Computer Science
Rampersad, Narad (2024). An introduction to Walnut - lecture 1&2. CIRM. Audiovisual resource. @_CIRM #Combinatorics #FormalLanguages https://t.co/oRfSUdNsbw
https://t.co/WoSqpN3rkp
"Closing the gap between formal logic and human thought is a challenge, but with Tau's self-defining system, formal languages can evolve to better match human language over time." #formallanguages #Tau #selfdefiningsystem #humansyntax $AGRS
jerusalem
jerusa alem
jer usa lem
jerusa lembra de me dar 10 na prova pfv te adoro
#formallanguages
#TGIF! General #ComputerScience on cs-stackexchange-com via #segetter. Cleasrly visible six topics: #algorithms + #graphs; #complexity + #computability; #formallanguages + #automata; #machinelearning + #ai; #logic; #datastructures. A link to the full map…https://t.co/D20BYp3OXO
#BestPaperAward Winner: "Critical Behavior in Physics and #Probabilistic #FormalLanguages" from Henry W. Lin and Prof. Max @tegmark (Massachusetts Institute of Technology @MIT) https://t.co/K970AwwPSZ
We are delighted to announce the 2018 #Entropy #BestPaperAward winners 👏(in no particular order): 👍"#CriticalBehavior in Physics and #Probabilistic #FormalLanguages" and 👍"#Multiscale #Information #Decomposition: Exact #Computation for #Multivariate #GaussianProcesses"
I’m pleased & honored to have received the 2018 #Award “Digitaler Aufbruch der Lehre” for my #teaching concept developed for last semester’s #formalLanguages course.
Thanks to the Freunde u. Förderer der Hochschule Hof, #HofUniversity, and – last but not least – my #students. 🙏
I’m getting into the #aesthetics of printed #formalLanguages exams. I’m curious whether my students will appreciate this tomorrow…
#LaTeX
Update on my #FormalLanguages course: Participation in #FlippedClassroom activities decrease over time.
I’m afraid #students think that they don’t need to work on assignments, because it’s all there in #Moodle. – There’s no Moodle at exams.
How to motivate them?
I 💙 #regex. For example, in @Twitterrific I want to muffle all tweets that contain at least 12 hashtags in a row:
Hashtags ≥ 12 :: (#\w+\s*){12,}
Quite simple. I think I’ll ask my #FormalLanguages #students to solve this (and certainly more difficult) problems. :-)
@vi3k6i5 In fact, it might be possible to extend FlashText to process #regex patterns belonging to simple families, viz. finite dot-depth, w/o losing any efficiency. #FormalLanguages #FirstOrderLogic
Trends for you
Most Popular Users
Elon Musk 
@elonmusk
241.2M followers
Barack Obama
@barackobama
119.1M followers
Cristiano Ronaldo
@cristiano
112.8M followers
Donald J. Trump
@realdonaldtrump
111.8M followers
Narendra Modi
@narendramodi
107.1M followers
Rihanna
@rihanna
98.3M followers
NASA
@nasa
92.3M followers
Justin Bieber
@justinbieber
91.5M followers
KATY PERRY
@katyperry
89M followers
Taylor Swift
@taylorswift13
82.9M followers
Lady Gaga
@ladygaga
74.4M followers
Virat Kohli
@imvkohli
71.9M followers
Kim Kardashian
@kimkardashian
70.4M followers
YouTube
@youtube
68.8M followers
Neymar Jr
@neymarjr
64.8M followers
Bill Gates
@billgates
64.6M followers
The Ellen Show
@theellenshow
62.4M followers
Selena Gomez
@selenagomez
62.1M followers
CNN
@cnn
61.8M followers
X
@x
60.8M followers