Ack Like U Want It
YouTube video by Black Moon - Topic
music.youtube.com
November 6, 2026 at 2:18 AM
【マンスリー・シネマ・トーク・ギフ】
日時：11/20(金)19:00〜20:30
場所：ビッカフェ
bicabooks.com/imgs/cafe.html
(CINEXより約200m)
今月は東京支部セレクト❗
お題映画
『もしもの愛』
10/23(金)より公開
11/6(金)よりNetflixにて配信開始
www.netflix.com/title/821064...
参加予約制
11/13(金)より受付開始です🙋♂️
(otokei)
#もしもの愛 #cinemactif #MCTT #MCTG
日時：11/20(金)19:00〜20:30
場所：ビッカフェ
bicabooks.com/imgs/cafe.html
(CINEXより約200m)
今月は東京支部セレクト❗
お題映画
『もしもの愛』
10/23(金)より公開
11/6(金)よりNetflixにて配信開始
www.netflix.com/title/821064...
参加予約制
11/13(金)より受付開始です🙋♂️
(otokei)
#もしもの愛 #cinemactif #MCTT #MCTG
October 31, 2026 at 4:12 AM
【マンスリー・シネマ・トーク・ギフ】
日時：11/20(金)19:00〜20:30
場所：ビッカフェ
bicabooks.com/imgs/cafe.html
(CINEXより約200m)
今月は東京支部セレクト❗
お題映画
『もしもの愛』
10/23(金)より公開
11/6(金)よりNetflixにて配信開始
www.netflix.com/title/821064...
参加予約制
11/13(金)より受付開始です🙋♂️
(otokei)
#もしもの愛 #cinemactif #MCTT #MCTG
日時：11/20(金)19:00〜20:30
場所：ビッカフェ
bicabooks.com/imgs/cafe.html
(CINEXより約200m)
今月は東京支部セレクト❗
お題映画
『もしもの愛』
10/23(金)より公開
11/6(金)よりNetflixにて配信開始
www.netflix.com/title/821064...
参加予約制
11/13(金)より受付開始です🙋♂️
(otokei)
#もしもの愛 #cinemactif #MCTT #MCTG
【マンスリー・シネマ・トーク】とは？
毎月お題映画について、お茶をしながら話をするカジュアルな会です☕
お題映画を観た方なら、どなたでも参加できます🙆♂️
お題映画
『もしもの愛』
(otokei)
#もしもの愛 #cinemactif #MCTT #MCTG
毎月お題映画について、お茶をしながら話をするカジュアルな会です☕
お題映画を観た方なら、どなたでも参加できます🙆♂️
お題映画
『もしもの愛』
(otokei)
#もしもの愛 #cinemactif #MCTT #MCTG
October 31, 2026 at 4:25 AM
【マンスリー・シネマ・トーク】とは？
毎月お題映画について、お茶をしながら話をするカジュアルな会です☕
お題映画を観た方なら、どなたでも参加できます🙆♂️
お題映画
『もしもの愛』
(otokei)
#もしもの愛 #cinemactif #MCTT #MCTG
毎月お題映画について、お茶をしながら話をするカジュアルな会です☕
お題映画を観た方なら、どなたでも参加できます🙆♂️
お題映画
『もしもの愛』
(otokei)
#もしもの愛 #cinemactif #MCTT #MCTG
November 18, 2025 at 8:16 AM
November 15, 2025 at 11:52 PM
POPCORN PUSHERS is set in a mob-owned movie theatre and run by the people who butter you up! Season 1 episodes now dropping weekly on Youtube: www.youtube.com/watch?v=mCTT...
POPCORN PUSHERS - Comedy Series First Look | Sitcom Trailer #comedyshow #popcorn
YouTube video by Popcorn Pushers
www.youtube.com
January 20, 2026 at 5:04 PM
POPCORN PUSHERS is set in a mob-owned movie theatre and run by the people who butter you up! Season 1 episodes now dropping weekly on Youtube: www.youtube.com/watch?v=mCTT...
McTT: A verified kernel for a proof assistant. ~ Junyoung Jang, Antoine Gaulin, Jason Z. S. Hu, Brigitte Pientka. dl.acm.org/doi/10.1145/... #ITP #Rocq #OCaml #FunctionalProgramming
McTT: A Verified Kernel for a Proof Assistant | Proceedings of the ACM on Programming Languages
Proof assistants based on type theories have been widely successful from verifying safety-critical software to establishing a new standard of rigour by formalizing mathematics. But these proof assistants and even their type-checking kernels are also ...
dl.acm.org
October 15, 2025 at 9:33 AM
McTT: A verified kernel for a proof assistant. ~ Junyoung Jang, Antoine Gaulin, Jason Z. S. Hu, Brigitte Pientka. dl.acm.org/doi/10.1145/... #ITP #Rocq #OCaml #FunctionalProgramming
McTT: A verified kernel for a proof assistant. ~ Junyoung Jang et als. hustmphrrr.github.io/asset/papers... #ProofAssistants #Rocq
July 27, 2025 at 9:31 AM
McTT: A verified kernel for a proof assistant. ~ Junyoung Jang et als. hustmphrrr.github.io/asset/papers... #ProofAssistants #Rocq
Lawyer says tourist accused of hurling rock at Hawaiian monk seal has been doxed and threatened https://mrf.lu/McTT
Lawyer says tourist accused of hurling rock at Hawaiian monk seal has been doxed and threatened
www.mcall.com
May 28, 2026 at 2:49 AM
Lawyer says tourist accused of hurling rock at Hawaiian monk seal has been doxed and threatened https://mrf.lu/McTT
ไม่ต้องรู้ว่าเราคบกันแบบไหน - ดา เอ็นโดรฟิน
#MCTTcoverไม่ต้องรู้ว่าเราคบกันแบบไหน #MCTT #Toptenss #Michaelkvs
Cover by : @Michaellhor x @toptenss_
www.youtube.com/watch?v=V-R6...
#MCTTcoverไม่ต้องรู้ว่าเราคบกันแบบไหน #MCTT #Toptenss #Michaelkvs
Cover by : @Michaellhor x @toptenss_
www.youtube.com/watch?v=V-R6...
ไม่ต้องรู้ว่าเราคบกันแบบไหน - ดา เอ็นโดรฟิน | Cover by Michael x Topten
YouTube video by TOPTEN OFFICIAL
www.youtube.com
January 15, 2026 at 2:15 PM
ไม่ต้องรู้ว่าเราคบกันแบบไหน - ดา เอ็นโดรฟิน
#MCTTcoverไม่ต้องรู้ว่าเราคบกันแบบไหน #MCTT #Toptenss #Michaelkvs
Cover by : @Michaellhor x @toptenss_
www.youtube.com/watch?v=V-R6...
#MCTTcoverไม่ต้องรู้ว่าเราคบกันแบบไหน #MCTT #Toptenss #Michaelkvs
Cover by : @Michaellhor x @toptenss_
www.youtube.com/watch?v=V-R6...
本日、マンスリーシネマトーク名古屋を開催いたしまして、2018年3月以来の活動に終止符を打ちました。これまでのミーティングに御参加くださった皆様に感謝いたします。
青空には、一応名古屋支部のアカウントがありますが、予告通り、3月末で閉じます。
#cinemactif #MCT #MCTN #MCTT #MCTGM
青空には、一応名古屋支部のアカウントがありますが、予告通り、3月末で閉じます。
#cinemactif #MCT #MCTN #MCTT #MCTGM
cinemactif（シネマクティフ）名古屋支部 on X: "映画茶話会 マンスリー・シネマ・トーク・ナゴヤ (MCTN) 3/22(土)16:00〜17:30 Gallery+Cafe blanka https://t.co/9qhCxFRn3P お題映画は『#フライト・リスク』 参加ご希望の方はDMか当ポストのリプライ欄まで🐨🙇皆様のお越しをお待ちしております🙏 (しめじ) #cinemactif #twcn #MCT #MCTN #MCTG https://t.co/1p217HEPKU" / X
映画茶話会 マンスリー・シネマ・トーク・ナゴヤ (MCTN) 3/22(土)16:00〜17:30 Gallery+Cafe blanka https://t.co/9qhCxFRn3P お題映画は『#フライト・リスク』 参加ご希望の方はDMか当ポストのリプライ欄まで🐨🙇皆様のお越しをお待ちしております🙏 (しめじ) #cinemactif #twcn #MCT #MCTN #MCTG https://t.co/1p217HEPKU
x.com
March 22, 2025 at 2:09 PM
本日、マンスリーシネマトーク名古屋を開催いたしまして、2018年3月以来の活動に終止符を打ちました。これまでのミーティングに御参加くださった皆様に感謝いたします。
青空には、一応名古屋支部のアカウントがありますが、予告通り、3月末で閉じます。
#cinemactif #MCT #MCTN #MCTT #MCTGM
青空には、一応名古屋支部のアカウントがありますが、予告通り、3月末で閉じます。
#cinemactif #MCT #MCTN #MCTT #MCTGM
Some sweet footage of George and Britt from MCTT❤️ #shiningtimestation #thomasandfriends #brittallcroft #georgecarlin
October 26, 2025 at 3:19 AM
Some sweet footage of George and Britt from MCTT❤️ #shiningtimestation #thomasandfriends #brittallcroft #georgecarlin
Ulrich Schnauss - I Take Comfort In Your Ignorance (Tycho remix) (2013)
www.youtube.com/watch?v=mCtt...
www.youtube.com/watch?v=mCtt...
Ulrich Schnauss - I Take Comfort In Your Ignorance (Tycho remix) (Official Audio)
YouTube video by Domino Recording Co.
www.youtube.com
November 22, 2025 at 8:31 PM
Ulrich Schnauss - I Take Comfort In Your Ignorance (Tycho remix) (2013)
www.youtube.com/watch?v=mCtt...
www.youtube.com/watch?v=mCtt...
temporarily emerging from my cave to request MCTT get their own series soon, my 🐐s
August 7, 2026 at 12:14 AM
temporarily emerging from my cave to request MCTT get their own series soon, my 🐐s
【マンスリー・シネマ・トーク】とは？
毎月お題映画について、お茶をしながら話をするカジュアルな会です☕
お題映画を観た方なら、どなたでも参加できます🙆♂️
お題映画
『旅と日々』
(otokei)
#映画旅と日々 #cinemactif #MCTT #MCTG
毎月お題映画について、お茶をしながら話をするカジュアルな会です☕
お題映画を観た方なら、どなたでも参加できます🙆♂️
お題映画
『旅と日々』
(otokei)
#映画旅と日々 #cinemactif #MCTT #MCTG
November 14, 2025 at 4:32 PM
【マンスリー・シネマ・トーク】とは？
毎月お題映画について、お茶をしながら話をするカジュアルな会です☕
お題映画を観た方なら、どなたでも参加できます🙆♂️
お題映画
『旅と日々』
(otokei)
#映画旅と日々 #cinemactif #MCTT #MCTG
毎月お題映画について、お茶をしながら話をするカジュアルな会です☕
お題映画を観た方なら、どなたでも参加できます🙆♂️
お題映画
『旅と日々』
(otokei)
#映画旅と日々 #cinemactif #MCTT #MCTG
【マンスリー・シネマ・トーク・ギフ】
日時：11/21(金)19:00〜20:30
場所：ビッカフェ
bicabooks.com/imgs/cafe.html
(CINEXより約200m)
お題映画
『旅と日々』
※今月は東京支部のセレクトです❗
参加ご希望の方はDMか
mactifgifu@gmail.com
までご連絡下さい🙋♂️
(otokei)
#映画旅と日々 #cinemactif #MCTT #MCTG
日時：11/21(金)19:00〜20:30
場所：ビッカフェ
bicabooks.com/imgs/cafe.html
(CINEXより約200m)
お題映画
『旅と日々』
※今月は東京支部のセレクトです❗
参加ご希望の方はDMか
mactifgifu@gmail.com
までご連絡下さい🙋♂️
(otokei)
#映画旅と日々 #cinemactif #MCTT #MCTG
November 14, 2025 at 4:29 PM
【マンスリー・シネマ・トーク・ギフ】
日時：11/21(金)19:00〜20:30
場所：ビッカフェ
bicabooks.com/imgs/cafe.html
(CINEXより約200m)
お題映画
『旅と日々』
※今月は東京支部のセレクトです❗
参加ご希望の方はDMか
mactifgifu@gmail.com
までご連絡下さい🙋♂️
(otokei)
#映画旅と日々 #cinemactif #MCTT #MCTG
日時：11/21(金)19:00〜20:30
場所：ビッカフェ
bicabooks.com/imgs/cafe.html
(CINEXより約200m)
お題映画
『旅と日々』
※今月は東京支部のセレクトです❗
参加ご希望の方はDMか
mactifgifu@gmail.com
までご連絡下さい🙋♂️
(otokei)
#映画旅と日々 #cinemactif #MCTT #MCTG
【マンスリー・シネマ・トーク】とは？
毎月お題映画について、お茶をしながら話をするカジュアルな会です☕
お題映画を観た方なら、どなたでも参加できます🙆♂️
お題映画
『旅と日々』
(otokei)
#映画旅と日々 #cinemactif #MCTT #MCTG
毎月お題映画について、お茶をしながら話をするカジュアルな会です☕
お題映画を観た方なら、どなたでも参加できます🙆♂️
お題映画
『旅と日々』
(otokei)
#映画旅と日々 #cinemactif #MCTT #MCTG
November 8, 2025 at 2:58 PM
【マンスリー・シネマ・トーク】とは？
毎月お題映画について、お茶をしながら話をするカジュアルな会です☕
お題映画を観た方なら、どなたでも参加できます🙆♂️
お題映画
『旅と日々』
(otokei)
#映画旅と日々 #cinemactif #MCTT #MCTG
毎月お題映画について、お茶をしながら話をするカジュアルな会です☕
お題映画を観た方なら、どなたでも参加できます🙆♂️
お題映画
『旅と日々』
(otokei)
#映画旅と日々 #cinemactif #MCTT #MCTG
【マンスリー・シネマ・トーク・ギフ】
日時：11/21(金)19:00〜20:30
場所：ビッカフェ
bicabooks.com/imgs/cafe.html
(CINEXより約200m)
お題映画
『旅と日々』
※今月は東京支部のセレクトです❗
参加予約制
11/14(金)より受付開始です🙋♂️
(otokei)
#映画旅と日々 #cinemactif #MCTT #MCTG
日時：11/21(金)19:00〜20:30
場所：ビッカフェ
bicabooks.com/imgs/cafe.html
(CINEXより約200m)
お題映画
『旅と日々』
※今月は東京支部のセレクトです❗
参加予約制
11/14(金)より受付開始です🙋♂️
(otokei)
#映画旅と日々 #cinemactif #MCTT #MCTG
November 8, 2025 at 2:55 PM
【マンスリー・シネマ・トーク・ギフ】
日時：11/21(金)19:00〜20:30
場所：ビッカフェ
bicabooks.com/imgs/cafe.html
(CINEXより約200m)
お題映画
『旅と日々』
※今月は東京支部のセレクトです❗
参加予約制
11/14(金)より受付開始です🙋♂️
(otokei)
#映画旅と日々 #cinemactif #MCTT #MCTG
日時：11/21(金)19:00〜20:30
場所：ビッカフェ
bicabooks.com/imgs/cafe.html
(CINEXより約200m)
お題映画
『旅と日々』
※今月は東京支部のセレクトです❗
参加予約制
11/14(金)より受付開始です🙋♂️
(otokei)
#映画旅と日々 #cinemactif #MCTT #MCTG
Roblox : When The - Surviving The Avocados From Mexico For The First Time!
www.youtube.com/watch?v=mCTT...
www.youtube.com/watch?v=mCTT...
Roblox : When The - Surviving The Avocados From Mexico For The First Time!
YouTube video by FurF Wheel
www.youtube.com
January 15, 2025 at 3:40 AM
Roblox : When The - Surviving The Avocados From Mexico For The First Time!
www.youtube.com/watch?v=mCTT...
www.youtube.com/watch?v=mCTT...
Roblox : When The - Surviving The Avocados From Mexico For The First Time!
www.youtube.com/watch?v=mCTT...
www.youtube.com/watch?v=mCTT...
Roblox : When The - Surviving The Avocados From Mexico For The First Time!
YouTube video by FurF Wheel
www.youtube.com
January 10, 2025 at 8:01 PM
Roblox : When The - Surviving The Avocados From Mexico For The First Time!
www.youtube.com/watch?v=mCTT...
www.youtube.com/watch?v=mCTT...
Project home page: https://beluga-lang.github.io/McTT/icfp25/
McTT: Building A Correct-By-Construction Proof Checkers For
Type Theories
beluga-lang.github.io
October 15, 2025 at 6:26 AM
Project home page: https://beluga-lang.github.io/McTT/icfp25/
Jang–Gaulin–Hu–Pientka, "McTT: A Verified Kernel for a Proof Assistant"
https://doi.org/10.1145/3747511
"Proof assistants based on type theories have been widely successful from verifying safety-critical software to establishing a new standard of rigour by formalizing mathematics. But these […]
https://doi.org/10.1145/3747511
"Proof assistants based on type theories have been widely successful from verifying safety-critical software to establishing a new standard of rigour by formalizing mathematics. But these […]
Original post on mathstodon.xyz
mathstodon.xyz
October 15, 2025 at 6:07 AM
Jang–Gaulin–Hu–Pientka, "McTT: A Verified Kernel for a Proof Assistant"
https://doi.org/10.1145/3747511
"Proof assistants based on type theories have been widely successful from verifying safety-critical software to establishing a new standard of rigour by formalizing mathematics. But these […]
https://doi.org/10.1145/3747511
"Proof assistants based on type theories have been widely successful from verifying safety-critical software to establishing a new standard of rigour by formalizing mathematics. But these […]
#music #reggae #reggaesky
#PlayList_Week_2024_11_17
Eric Morris w/Edwards All Stars - Ungodly People (aka Worried People or Troublesome People)
youtube.com/watch?v=MCTt...
#PlayList_Week_2024_11_17
Eric Morris w/Edwards All Stars - Ungodly People (aka Worried People or Troublesome People)
youtube.com/watch?v=MCTt...
November 20, 2024 at 7:33 PM
#music #reggae #reggaesky
#PlayList_Week_2024_11_17
Eric Morris w/Edwards All Stars - Ungodly People (aka Worried People or Troublesome People)
youtube.com/watch?v=MCTt...
#PlayList_Week_2024_11_17
Eric Morris w/Edwards All Stars - Ungodly People (aka Worried People or Troublesome People)
youtube.com/watch?v=MCTt...
Heading over to my vanilla server, MCTT SMP on twitch.tv/anathra
Anathra - Twitch
Return to MCTT SMP | !Discord !YouTube | Java 1.21.4 [Gaeilge/English]
twitch.tv
February 3, 2025 at 8:32 PM
Heading over to my vanilla server, MCTT SMP on twitch.tv/anathra