#hatra — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #hatra, aggregated by home.social.
-
https://www.moezine.com/1776006/ HATRA 2025年秋冬コレクション | 東京 | 画像167枚 デザイナー長見佳祐が手掛ける「ハトラ（HATRA）」が「Rakuten Fashion Week TOKYO 2025 A/W」で2025年秋冬コレクションを発表した。公式会場のTODA HALL & CONFERENCE TOKYO HALL Aを舞台に、ブランド初となるフィジカルショー形式で披露した。 ハトラは、フランスでクチュール技術を学んだ長見が2010年に設立。デビュー時には「部屋」をコンセプトに、柔らかな素材を用いてパーカをはじめとする居心地の良い服作りを行ってきたが、2021年秋冬シーズンからブランドコンセプトを刷新。分解人類学の領域で「境界性」という意味で用いられている”リミナリティ”に由来する「リミナル・ウェア（LIMINAL WEAR）」を提案している。また、いち早くファッションとテクノロジーの関係性に着目してきたことでも知ら… #2025AW #fashion #hatra #ファッション
-
@MartinEscardo there's also a variant of 1) which is the human factors of dependent type systems, e.g. the #HATRA workshop. https://2023.splashcon.org/home/hatra-2023
-
Got some thoughts on Human Aspects of type systems, proof assistants, or anything related? Possibly just one page of thoughts? Then send them to HATRA 2023 https://2023.splashcon.org/home/hatra-2023 by 12 July! #HATRA #HATRA2023
-
Got some thoughts on Human Aspects of type systems, proof assistants, or anything related? Possibly just one page of thoughts? Then send them to HATRA 2023 https://2023.splashcon.org/home/hatra-2023 by 12 July! #HATRA #HATRA2023
-
Got some thoughts on Human Aspects of type systems, proof assistants, or anything related? Possibly just one page of thoughts? Then send them to HATRA 2023 https://2023.splashcon.org/home/hatra-2023 by 12 July! #HATRA #HATRA2023
-
Got some thoughts on Human Aspects of type systems, proof assistants, or anything related? Possibly just one page of thoughts? Then send them to HATRA 2023 https://2023.splashcon.org/home/hatra-2023 by 12 July! #HATRA #HATRA2023
-
Got some thoughts on Human Aspects of type systems, proof assistants, or anything related? Possibly just one page of thoughts? Then send them to HATRA 2023 https://2023.splashcon.org/home/hatra-2023 by 12 July! #HATRA #HATRA2023
