home.social

#cs — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #cs, aggregated by home.social.

fetched live
  1. 📰 "Coupling-Aware Vanka Smoothing for Multigrid Preconditioning of the Implicit Immersed Boundary Equations"
    arxiv.org/abs/2608.14310 #Physics.Comp-Ph #Physics.Flu-Dyn #Mechanics #Math.Na #Matrix #Cs.Na

  2. 📰 "Coupling-Aware Vanka Smoothing for Multigrid Preconditioning of the Implicit Immersed Boundary Equations"
    arxiv.org/abs/2608.14310 #Physics.Comp-Ph #Physics.Flu-Dyn #Mechanics #Math.Na #Matrix #Cs.Na

  3. 📰 "Multimarginal flow matching with optimal transport potentials"
    arxiv.org/abs/2606.05327 #Dynamics #Q-Bio.Qm #Stat.Ml #Cs.Lg #Cell

  4. 📰 "Multimarginal flow matching with optimal transport potentials"
    arxiv.org/abs/2606.05327 #Dynamics #Q-Bio.Qm #Stat.Ml #Cs.Lg #Cell

  5. wacoca.com/news/2909343/ 高校生の熱い鉄道会議を見届けろ!奈良県・王寺町鉄道フェスティバル2026が8/22・23開催!南田裕介らのトークショーも 駅前ではグルメイベント | 旅とおでかけ 鉄道チャンネル #546 #Ch546 #CS #nara #スカパー #チャンネル #前面展望 #奈良 #奈良県 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車 #高校生の熱い鉄道会議を見届けろ!奈良県・王寺町鉄道フェスティバル2026が8/22・23開催!南田裕介らのトークショーも 駅前ではグルメイベント

  6. wacoca.com/news/2909343/ 高校生の熱い鉄道会議を見届けろ!奈良県・王寺町鉄道フェスティバル2026が8/22・23開催!南田裕介らのトークショーも 駅前ではグルメイベント | 旅とおでかけ 鉄道チャンネル #546 #Ch546 #CS #nara #スカパー #チャンネル #前面展望 #奈良 #奈良県 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車 #高校生の熱い鉄道会議を見届けろ!奈良県・王寺町鉄道フェスティバル2026が8/22・23開催!南田裕介らのトークショーも 駅前ではグルメイベント

  7. wacoca.com/news/2909343/ 高校生の熱い鉄道会議を見届けろ!奈良県・王寺町鉄道フェスティバル2026が8/22・23開催!南田裕介らのトークショーも 駅前ではグルメイベント | 旅とおでかけ 鉄道チャンネル #546 #Ch546 #CS #nara #スカパー #チャンネル #前面展望 #奈良 #奈良県 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車 #高校生の熱い鉄道会議を見届けろ!奈良県・王寺町鉄道フェスティバル2026が8/22・23開催!南田裕介らのトークショーも 駅前ではグルメイベント

  8. wacoca.com/news/2909343/ 高校生の熱い鉄道会議を見届けろ!奈良県・王寺町鉄道フェスティバル2026が8/22・23開催!南田裕介らのトークショーも 駅前ではグルメイベント | 旅とおでかけ 鉄道チャンネル #546 #Ch546 #CS #nara #スカパー #チャンネル #前面展望 #奈良 #奈良県 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車 #高校生の熱い鉄道会議を見届けろ!奈良県・王寺町鉄道フェスティバル2026が8/22・23開催!南田裕介らのトークショーも 駅前ではグルメイベント

  9. Continuing on my series on fractional indexing, I come to the conclusion that it is a bit of a scam. You have to be very careful with the usage patterns of the indexed list to be sure the index key length does not get out of hand. While a nice concept, it somewhat reminds me of "two digits for the year are enough" or "a 32bit signed integer" is enough to store a time stamp.

    More rant details in my blog: blog.miamao.de/blog/2026-08/15

    #fractionalIndexing #dataStructures #algorithm #cs

  10. Continuing on my series on fractional indexing, I come to the conclusion that it is a bit of a scam. You have to be very careful with the usage patterns of the indexed list to be sure the index key length does not get out of hand. While a nice concept, it somewhat reminds me of "two digits for the year are enough" or "a 32bit signed integer" is enough to store a time stamp.

    More rant details in my blog: blog.miamao.de/blog/2026-08/15

    #fractionalIndexing #dataStructures #algorithm #cs

  11. wacoca.com/media/738200/ 川崎駅前で音楽ライブイベント「LIVE STOCK」11/3開催!ミューザ川崎とクラブチッタに豪華アーティスト集結 出演者と会場の詳細まとめ | 旅とおでかけ 鉄道チャンネル #546 #Ch546 #CS #music #スカパー #チャンネル #前面展望 #川崎駅前で音楽ライブイベント「LIVESTOCK」11/3開催!ミューザ川崎とクラブチッタに豪華アーティスト集結 出演者と会場の詳細まとめ #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車 #音楽

  12. wacoca.com/media/738138/ 『VIVANT』“野崎守”阿部寛に「別班説」が浮上 「2年間の空白」の経歴…別班・司令とのシーンに注目 – オリコンニュース # #CS #OD #tbs #television #tv #TVPrograms #VIVANT #テレビ #テレビ番組

  13. wacoca.com/media/738138/ 『VIVANT』“野崎守”阿部寛に「別班説」が浮上 「2年間の空白」の経歴…別班・司令とのシーンに注目 – オリコンニュース # #CS #OD #tbs #television #tv #TVPrograms #VIVANT #テレビ #テレビ番組

  14. wacoca.com/media/738138/ 『VIVANT』“野崎守”阿部寛に「別班説」が浮上 「2年間の空白」の経歴…別班・司令とのシーンに注目 – オリコンニュース # #CS #OD #tbs #television #tv #TVPrograms #VIVANT #テレビ #テレビ番組

  15. wacoca.com/media/738138/ 『VIVANT』“野崎守”阿部寛に「別班説」が浮上 「2年間の空白」の経歴…別班・司令とのシーンに注目 – オリコンニュース # #CS #OD #tbs #television #tv #TVPrograms #VIVANT #テレビ #テレビ番組

  16. wacoca.com/media/738138/ 『VIVANT』“野崎守”阿部寛に「別班説」が浮上 「2年間の空白」の経歴…別班・司令とのシーンに注目 – オリコンニュース # #CS #OD #tbs #television #tv #TVPrograms #VIVANT #テレビ #テレビ番組

  17. wacoca.com/life/442868/ 【2026夏】今年の夏休みはいつ取得する?働く女性でお盆に休みを取る人は4割弱!旅行準備はギリギリ派が多数など実態が明らかに | 旅とおでかけ 鉄道チャンネル #【2026夏】今年の夏休みはいつ取得する?働く女性でお盆に休みを取る人は4割弱!旅行準備はギリギリ派が多数など実態が明らかに #546 #Ch546 #CS #Ryoko #Travel #スカパー #チャンネル #前面展望 #旅行 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車

  18. wacoca.com/life/442868/ 【2026夏】今年の夏休みはいつ取得する?働く女性でお盆に休みを取る人は4割弱!旅行準備はギリギリ派が多数など実態が明らかに | 旅とおでかけ 鉄道チャンネル #【2026夏】今年の夏休みはいつ取得する?働く女性でお盆に休みを取る人は4割弱!旅行準備はギリギリ派が多数など実態が明らかに #546 #Ch546 #CS #Ryoko #Travel #スカパー #チャンネル #前面展望 #旅行 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車

  19. wacoca.com/life/442868/ 【2026夏】今年の夏休みはいつ取得する?働く女性でお盆に休みを取る人は4割弱!旅行準備はギリギリ派が多数など実態が明らかに | 旅とおでかけ 鉄道チャンネル #【2026夏】今年の夏休みはいつ取得する?働く女性でお盆に休みを取る人は4割弱!旅行準備はギリギリ派が多数など実態が明らかに #546 #Ch546 #CS #Ryoko #Travel #スカパー #チャンネル #前面展望 #旅行 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車

  20. wacoca.com/life/442868/ 【2026夏】今年の夏休みはいつ取得する?働く女性でお盆に休みを取る人は4割弱!旅行準備はギリギリ派が多数など実態が明らかに | 旅とおでかけ 鉄道チャンネル #【2026夏】今年の夏休みはいつ取得する?働く女性でお盆に休みを取る人は4割弱!旅行準備はギリギリ派が多数など実態が明らかに #546 #Ch546 #CS #Ryoko #Travel #スカパー #チャンネル #前面展望 #旅行 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車

  21. wacoca.com/life/442868/ 【2026夏】今年の夏休みはいつ取得する?働く女性でお盆に休みを取る人は4割弱!旅行準備はギリギリ派が多数など実態が明らかに | 旅とおでかけ 鉄道チャンネル #【2026夏】今年の夏休みはいつ取得する?働く女性でお盆に休みを取る人は4割弱!旅行準備はギリギリ派が多数など実態が明らかに #546 #Ch546 #CS #Ryoko #Travel #スカパー #チャンネル #前面展望 #旅行 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車

  22. wacoca.com/life/442840/ 【時間変更無料】新幹線+ホテルがお得なJR東海ツアーズ「2WEEK SALE」開催!年末年始の予約も先行で確実におさえよう | 旅とおでかけ 鉄道チャンネル #【時間変更無料】新幹線+ホテルがお得なJR東海ツアーズ「2WEEKSALE」開催!年末年始の予約も先行で確実におさえよう #546 #Ch546 #CS #Ryoko #Travel #スカパー #チャンネル #前面展望 #旅行 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車

  23. wacoca.com/life/442840/ 【時間変更無料】新幹線+ホテルがお得なJR東海ツアーズ「2WEEK SALE」開催!年末年始の予約も先行で確実におさえよう | 旅とおでかけ 鉄道チャンネル #【時間変更無料】新幹線+ホテルがお得なJR東海ツアーズ「2WEEKSALE」開催!年末年始の予約も先行で確実におさえよう #546 #Ch546 #CS #Ryoko #Travel #スカパー #チャンネル #前面展望 #旅行 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車

  24. wacoca.com/life/442840/ 【時間変更無料】新幹線+ホテルがお得なJR東海ツアーズ「2WEEK SALE」開催!年末年始の予約も先行で確実におさえよう | 旅とおでかけ 鉄道チャンネル #【時間変更無料】新幹線+ホテルがお得なJR東海ツアーズ「2WEEKSALE」開催!年末年始の予約も先行で確実におさえよう #546 #Ch546 #CS #Ryoko #Travel #スカパー #チャンネル #前面展望 #旅行 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車

  25. wacoca.com/life/442840/ 【時間変更無料】新幹線+ホテルがお得なJR東海ツアーズ「2WEEK SALE」開催!年末年始の予約も先行で確実におさえよう | 旅とおでかけ 鉄道チャンネル #【時間変更無料】新幹線+ホテルがお得なJR東海ツアーズ「2WEEKSALE」開催!年末年始の予約も先行で確実におさえよう #546 #Ch546 #CS #Ryoko #Travel #スカパー #チャンネル #前面展望 #旅行 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車

  26. wacoca.com/life/442840/ 【時間変更無料】新幹線+ホテルがお得なJR東海ツアーズ「2WEEK SALE」開催!年末年始の予約も先行で確実におさえよう | 旅とおでかけ 鉄道チャンネル #【時間変更無料】新幹線+ホテルがお得なJR東海ツアーズ「2WEEKSALE」開催!年末年始の予約も先行で確実におさえよう #546 #Ch546 #CS #Ryoko #Travel #スカパー #チャンネル #前面展望 #旅行 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車

  27. wacoca.com/media/737118/ 森田剛、42歳の万年マンガ家アシスタントに 森川葵、阿部寛、松本まりから共演『見上げてごらん』予告解禁 – オリコンニュース # #a&e #CS #CSI #film #movie #映画

  28. wacoca.com/media/737118/ 森田剛、42歳の万年マンガ家アシスタントに 森川葵、阿部寛、松本まりから共演『見上げてごらん』予告解禁 – オリコンニュース # #a&e #CS #CSI #film #movie #映画

  29. wacoca.com/news/2907036/ フロントは道の駅、客室は町のあちこちに?「古民家一棟貸し」小浜町家ステイ とミシュラン掲載店で味わう若狭グルメ体験記(福井県小浜市) | 旅とおでかけ 鉄道チャンネル #546 #Ch546 #CS #Fukui #スカパー #チャンネル #フロントは道の駅、客室は町のあちこちに?「古民家一棟貸し」小浜町家ステイとミシュラン掲載店で味わう若狭グルメ体験記(福井県小浜市) #前面展望 #福井 #福井県 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車

  30. wacoca.com/news/2907036/ フロントは道の駅、客室は町のあちこちに?「古民家一棟貸し」小浜町家ステイ とミシュラン掲載店で味わう若狭グルメ体験記(福井県小浜市) | 旅とおでかけ 鉄道チャンネル #546 #Ch546 #CS #Fukui #スカパー #チャンネル #フロントは道の駅、客室は町のあちこちに?「古民家一棟貸し」小浜町家ステイとミシュラン掲載店で味わう若狭グルメ体験記(福井県小浜市) #前面展望 #福井 #福井県 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車

  31. wacoca.com/news/2907036/ フロントは道の駅、客室は町のあちこちに?「古民家一棟貸し」小浜町家ステイ とミシュラン掲載店で味わう若狭グルメ体験記(福井県小浜市) | 旅とおでかけ 鉄道チャンネル #546 #Ch546 #CS #Fukui #スカパー #チャンネル #フロントは道の駅、客室は町のあちこちに?「古民家一棟貸し」小浜町家ステイとミシュラン掲載店で味わう若狭グルメ体験記(福井県小浜市) #前面展望 #福井 #福井県 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車

  32. wacoca.com/news/2907036/ フロントは道の駅、客室は町のあちこちに?「古民家一棟貸し」小浜町家ステイ とミシュラン掲載店で味わう若狭グルメ体験記(福井県小浜市) | 旅とおでかけ 鉄道チャンネル #546 #Ch546 #CS #Fukui #スカパー #チャンネル #フロントは道の駅、客室は町のあちこちに?「古民家一棟貸し」小浜町家ステイとミシュラン掲載店で味わう若狭グルメ体験記(福井県小浜市) #前面展望 #福井 #福井県 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車

  33. wacoca.com/news/2906847/ 【京都駅徒歩3分】JR東海×マリオットの新ホテル「コートヤード・バイ・マリオット京都駅」が11月16日開業! 京都旅の新拠点となり得る注目スポットを徹底紹介 | 旅とおでかけ 鉄道チャンネル #【京都駅徒歩3分】JR東海×マリオットの新ホテル「コートヤード・バイ・マリオット京都駅」が11月16日開業!京都旅の新拠点となり得る注目スポットを徹底紹介 #546 #Ch546 #CS #KYOTO #スカパー #チャンネル #京都 #京都府 #前面展望 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車

  34. wacoca.com/news/2906847/ 【京都駅徒歩3分】JR東海×マリオットの新ホテル「コートヤード・バイ・マリオット京都駅」が11月16日開業! 京都旅の新拠点となり得る注目スポットを徹底紹介 | 旅とおでかけ 鉄道チャンネル #【京都駅徒歩3分】JR東海×マリオットの新ホテル「コートヤード・バイ・マリオット京都駅」が11月16日開業!京都旅の新拠点となり得る注目スポットを徹底紹介 #546 #Ch546 #CS #KYOTO #スカパー #チャンネル #京都 #京都府 #前面展望 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車

  35. wacoca.com/news/2906847/ 【京都駅徒歩3分】JR東海×マリオットの新ホテル「コートヤード・バイ・マリオット京都駅」が11月16日開業! 京都旅の新拠点となり得る注目スポットを徹底紹介 | 旅とおでかけ 鉄道チャンネル #【京都駅徒歩3分】JR東海×マリオットの新ホテル「コートヤード・バイ・マリオット京都駅」が11月16日開業!京都旅の新拠点となり得る注目スポットを徹底紹介 #546 #Ch546 #CS #KYOTO #スカパー #チャンネル #京都 #京都府 #前面展望 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車

  36. wacoca.com/news/2906847/ 【京都駅徒歩3分】JR東海×マリオットの新ホテル「コートヤード・バイ・マリオット京都駅」が11月16日開業! 京都旅の新拠点となり得る注目スポットを徹底紹介 | 旅とおでかけ 鉄道チャンネル #【京都駅徒歩3分】JR東海×マリオットの新ホテル「コートヤード・バイ・マリオット京都駅」が11月16日開業!京都旅の新拠点となり得る注目スポットを徹底紹介 #546 #Ch546 #CS #KYOTO #スカパー #チャンネル #京都 #京都府 #前面展望 #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車

  37. wacoca.com/news/2906210/ 岐阜県・長良川鉄道沿線の暮らしに密着、六角精児がナビゲーター『わが家の最寄りは秘境駅』8/12放送 BS日テレ | 旅とおでかけ 鉄道チャンネル #546 #Ch546 #CS #gifu #スカパー #チャンネル #前面展望 #岐阜 #岐阜県 #岐阜県・長良川鉄道沿線の暮らしに密着、六角精児がナビゲーター『わが家の最寄りは秘境駅』8/12放送 BS日テレ #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車

  38. wacoca.com/news/2906210/ 岐阜県・長良川鉄道沿線の暮らしに密着、六角精児がナビゲーター『わが家の最寄りは秘境駅』8/12放送 BS日テレ | 旅とおでかけ 鉄道チャンネル #546 #Ch546 #CS #gifu #スカパー #チャンネル #前面展望 #岐阜 #岐阜県 #岐阜県・長良川鉄道沿線の暮らしに密着、六角精児がナビゲーター『わが家の最寄りは秘境駅』8/12放送 BS日テレ #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車

  39. wacoca.com/news/2906210/ 岐阜県・長良川鉄道沿線の暮らしに密着、六角精児がナビゲーター『わが家の最寄りは秘境駅』8/12放送 BS日テレ | 旅とおでかけ 鉄道チャンネル #546 #Ch546 #CS #gifu #スカパー #チャンネル #前面展望 #岐阜 #岐阜県 #岐阜県・長良川鉄道沿線の暮らしに密着、六角精児がナビゲーター『わが家の最寄りは秘境駅』8/12放送 BS日テレ #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車

  40. wacoca.com/news/2906210/ 岐阜県・長良川鉄道沿線の暮らしに密着、六角精児がナビゲーター『わが家の最寄りは秘境駅』8/12放送 BS日テレ | 旅とおでかけ 鉄道チャンネル #546 #Ch546 #CS #gifu #スカパー #チャンネル #前面展望 #岐阜 #岐阜県 #岐阜県・長良川鉄道沿線の暮らしに密着、六角精児がナビゲーター『わが家の最寄りは秘境駅』8/12放送 BS日テレ #鉄道 #鉄道コラム #鉄道チャンネル #鉄道ニュース #電車

  41. 📰 "A Fixed-Point Neural Operator for Size- and Functional-Transferable Hamiltonian Prediction"
    arxiv.org/abs/2606.14498 #Physics.Chem-Ph #Dynamics #Matrix #Cs.Ai

  42. 📰 "A Fixed-Point Neural Operator for Size- and Functional-Transferable Hamiltonian Prediction"
    arxiv.org/abs/2606.14498 #Physics.Chem-Ph #Dynamics #Matrix #Cs.Ai

  43. 📰 "Loom: Multi-Region Analysis of Spatial Transcriptomics with Local Neighborhoods and Global Trajectories"
    arxiv.org/abs/2607.22505 #Q-Bio.Qm #Dynamics #Cs.Hc #Cell

  44. 📰 "Loom: Multi-Region Analysis of Spatial Transcriptomics with Local Neighborhoods and Global Trajectories"
    arxiv.org/abs/2607.22505 #Q-Bio.Qm #Dynamics #Cs.Hc #Cell

  45. 📰 "Density-Functional Excited-State Gradients and Nonadiabatic Couplings on a Consumer GPU from a Contraction-DAG"
    arxiv.org/abs/2608.06536 #Physics.Chem-Ph #Dynamics #Matrix #Cs.Lg #Cs.Ar

  46. 📰 "Density-Functional Excited-State Gradients and Nonadiabatic Couplings on a Consumer GPU from a Contraction-DAG"
    arxiv.org/abs/2608.06536 #Physics.Chem-Ph #Dynamics #Matrix #Cs.Lg #Cs.Ar

  47. Ok, #math / #cs / #computermusic question here. Let's say we have an ordered list. I want to repeatedly pick groups of 4 elements from the list based on an index pattern, like:

    (1, 1, 2, -3)

    That means from a given starting index i, choose:

    i +=0 (the starting point)
    i +=1
    i +=1
    i +=2

    Then go to index i +=-3 and repeat.

    Question is, what would you call the

    (1, 1, 2, -3)

    part? Index sequence? Ordinal sequence? Is there a standard way to notate that?

  48. Ok, #math / #cs / #computermusic question here. Let's say we have an ordered list. I want to repeatedly pick groups of 4 elements from the list based on an index pattern, like:

    (1, 1, 2, -3)

    That means from a given starting index i, choose:

    i +=0 (the starting point)
    i +=1
    i +=1
    i +=2

    Then go to index i +=-3 and repeat.

    Question is, what would you call the

    (1, 1, 2, -3)

    part? Index sequence? Ordinal sequence? Is there a standard way to notate that?

  49. Ok, #math / #cs / #computermusic question here. Let's say we have an ordered list. I want to repeatedly pick groups of 4 elements from the list based on an index pattern, like:

    (1, 1, 2, -3)

    That means from a given starting index i, choose:

    i +=0 (the starting point)
    i +=1
    i +=1
    i +=2

    Then go to index i +=-3 and repeat.

    Question is, what would you call the

    (1, 1, 2, -3)

    part? Index sequence? Ordinal sequence? Is there a standard way to notate that?

  50. Ok, #math / #cs / #computermusic question here. Let's say we have an ordered list. I want to repeatedly pick groups of 4 elements from the list based on an index pattern, like:

    (1, 1, 2, -3)

    That means from a given starting index i, choose:

    i +=0 (the starting point)
    i +=1
    i +=1
    i +=2

    Then go to index i +=-3 and repeat.

    Question is, what would you call the

    (1, 1, 2, -3)

    part? Index sequence? Ordinal sequence? Is there a standard way to notate that?

  51. #CS grad students scouring for their PhD dissertation ideas may find inspirations in Tony Hoare's 2005 "Grand Challenges" paper.

    Grand Challenges for Computing Research, Hoare (2005)

    #safe #secure #verified #software

    cs.ryerson.ca/~aferworn/course

  52. #CS grad students scouring for their PhD dissertation ideas may find inspirations in Tony Hoare's 2005 "Grand Challenges" paper.

    Grand Challenges for Computing Research, Hoare (2005)

    #safe #secure #verified #software

    cs.ryerson.ca/~aferworn/course

  53. #CS grad students scouring for their PhD dissertation ideas may find inspirations in Tony Hoare's 2005 "Grand Challenges" paper.

    Grand Challenges for Computing Research, Hoare (2005)

    #safe #secure #verified #software

    cs.ryerson.ca/~aferworn/course