@bhaktishh's talk at #icfp, #hatra, "Imperative Syntax for Dependent Types"

"Java 17 has sealed interfaces, which let you seal an interface"

"A lot of people in pl don't care about syntax; everybody outside of pl pretty much care only about syntax... people really do care about syntax, and it does matter"

"But that doesn't mean I actually want to execute these programs.. an, I'll tell you why.."

"Please keep an open mind, and put on your Java programmer hat, if you've ever had one"

「ミャクミャク」を“2,000個の目玉”で表現、ハトラの大阪・関西万博限定Tシャツ
https://www.fashion-press.net/news/136128?media=line

#fashionpress #ハトラ #HATRA #ファッション #アイテム #モチーフ #コラボレーション #Tシャツ

「ミャクミャク」を“2,000個の目玉”で表現、ハトラの大阪・関西万博限定Tシャツ

ハトラ(HATRA)から、2025年 大阪・関西万博の公式キャラクター「ミャクミャク」をモチーフとしたTシャツが登場。2025年7月19日(土)より順次、大阪・関西万博 会場内オフィシャルストア 東ゲ...

FashionPress

ハトラ“光のきらめき”着想のシアードレス&ブリーチ加工のワイドデニム、渋谷パルコで期間限定ストア
https://www.fashion-press.net/news/132471?media=line

#fashionpress #ハトラ #HATRA #ファッション #アイテム #ノースリーブ #ユニセックス #ジャカード

ハトラ“光のきらめき”着想のシアードレス&ブリーチ加工のワイドデニム、渋谷パルコで期間限定ストア

ハトラ(HATRA)の2025年春夏コレクションから、ユニセックスの新作ウェアが登場。渋谷パルコ(PARCO)では、2025年4月23日(水)から29日(火)まで、新作を取り揃える期間限定ストアを開催...

FashionPress
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 #ファッション
HATRA 2025年秋冬コレクション | 東京 | 画像167枚

 デザイナー長見佳祐が手掛ける「ハトラ(HATRA)」が「Rakuten Fashion Week TOKYO 2025 A/W」で2025年秋冬コレクションを発表した。公式会場のTODA HALL & CONFERENCE TOKYO HALL Aを舞台に、ブランド初となるフィジカルショー形式で披露した。 ハトラは、フランスでクチュール技術を学んだ長見が2010年に設立。デビュー時には「部屋」をコンセプトに、柔らかな素材を用いてパーカをはじめとする居心地の良い服作りを行ってきたが、2021年秋冬シーズンからブランドコンセプトを刷新。分解人類学の領域で「境界性」という意味で用いられている'リミナリティ'に由来する「リミナル・ウェア(LIMINAL WEAR)」を提案している。また、いち早くファッションとテクノロジーの関係性に着目してきたことでも知られており、近年は3Dクロスシミュレーションの応用や生成AIの活用を通し、新しい身体感覚の在り方を模索。2025年には「TOKYO FASHION AWARD」の第10回を受賞した。 今季のコレクションは「WALKER」と題し、“衣服が物理的・意味的に揺れる”ことについての観察を軸に製作。長見が「瞬き」と呼ぶ、着用者の動きによって絶え間なく変化し、さまざまなイメージが生まれては消え去っていくという状態や様子を、シフォン素材のプリントロングドレスや立体的なプリーツパンツ、シャツが腰からぶら下がったようなデザインのパンツ、ドレスやバッグから垂れ下がる複数の紐、メガネについた長いシルバーチェーンといったさまざまなアイテムや要素で表現した。 今回、コレクションのすべての型紙造形は3Dシュミレーションソフトウェアの「CLO」を用いて手掛けたほか、コレクション全体に生成AIによって生まれた柄やデザインを採用。シグネチャーでもある6色の原色の糸を編み合わせて柄を表現するニットシリーズからは、「地球の景色が流れ込んだ柄をアーガイル調のモチーフに落とし込んだドレス」が登場し、水の使用量を大幅に削減できる京セラの顔料インクジェットプリンター「FOREARTH」による、カラフルで多様な柄のプリントファブリックを用いたアイテムの数々がコレクションを彩った。 そのほか、作家の久米圭子による「ひとつの世界をオーブ型に象ったような彫金作品」や、長見の長年の友人である現代美術作家 「ルヌルヌ(runurunu)」の川邊靖芳とコラボレーションした「軟体動物のような曲面形状のバッグ」、ブランド設立当初から共同制作を行うジュエリーブランド「シュンオオクボ(SHUN OKUBO)」による「中央に地球を据えたサークル状のリング」など、多彩な小物がコレクションの世界観を補完。ハトラがこれまでの15年間で積み重ね発展させてきた、概念やデザイン、技術、ものづくり、関係性の集大成ともいえるショーとなった。

Moe Zine
ハトラ 2025-26年秋冬コレクション - 瞬きの中生まれる揺らぎ

ハトラ(HATRA)の2025-26年秋冬コレクションが、2025年3月20日(木・祝)、東京・TODA ホール&カンファレンスにて発表された。テーマは「WALKER」。ここ数年、生成AIや衣...

FashionPress

Het Rijk van de Sassaniden (1)

Shapur I (Bishapur)

Ik kondigde het al aan: in mijn reeks naar aanleiding van het handboek van De Blois en Van der Spek, Een kennismaking met de oude wereld, vandaag een stuk over de Sassaniden. Deze dynastie, die vanuit Perzië regeerde over Irak, Iran, Afghanistan en omringende gebieden, speelde een belangrijke rol in wat voor het Romeinse Rijk “de Crisis van de Derde Eeuw” heet. De Sassaniden waren echter meer dan een Angstgegner voor de Romeinen. De periode tussen 224 en 651 is ook te beschouwen als onderdeel van de geschiedenis van Voor-Azië. Een recente studie heet Re-Orientalizing the Sasanians.

De vroege Sassaniden

De naam “Sassaniden” is afgeleid van die van een Anahita-priester genaamd Sassan, die gold als de voorouder van de dynastie. De familie behoorde tot wat De Blois en Van der Spek de “grootgrondbezittende aristocratie van krijgers” noemen. Haar grootgrondbezit was in de omgeving van Firuzabad en Istakhr, dat niet ver ligt van het aloude Persepolis. Deze streek heette Persis, het Perzische kernland. Een van Sassans zonen, Papak, kwam aan het begin van de derde eeuw na Chr. in opstand kwam tegen de wettige heerser van heel Iran, de Parthische koning Artabanos IV.

De overwinning van Ardašir (Salmas)

Tot dan toe was Persis een Parthische vazal geweest, maar Papak en zijn zoon Ardašir wisten rond 224 de onafhankelijkheid te bevechten. In 226 nam Ardašir Ktesifon in, de hoofdstad van het Parthische Rijk. Vervolgens werden de lokale heersers vervangen door leden van de Sassanidische dynastie of andere bondgenoten, en daarmee waren alle Parthische vazallen omgezet in Sassanidische vazallen. Het resultaat was een staat die centraler werd bestuurd.

Er waren ook continuïteiten. Ktesifon bleef de stad waar de koningen werden gekroond en Ardašir aanvaardde de titel van “koning der koningen”, die tot dan toe gebruikt was geweest door de Parthische heerser en – eeuwen daarvoor – door de Achaimenidische heersers.

Rotsreliëf met de investituur van Ardašir (links), die de macht krijgt van Ahuramazda (rechts).

De religie van de Sassaniden

In hun inscripties omschrijven de Sassanidische vorsten zichzelf als “Mazda-aanbiddende koningen”: ze vereerden dus de oppergod Ahuramazda. Koning Ardašir verleende privileges aan de magiërs, de religieuze specialisten van het zoroastrisme, die zo grote politieke macht verwierven. Ze speelden bijvoorbeeld een rol bij de inauguratieceremonie in Ktesifon, fungeerden als rechters en als belastinginners. In de Sassanidische rotsreliëfs zien we vaak “investituurscènes”, waarin Ahuramazda, gezeten op een paard, de macht overdraagt ​​aan een koning.

Deze religieuze ideologie liet aanvankelijk weinig ruimte voor andere ideeën. De profeet Mani (216-276), die had geprobeerd het christendom, het boeddhisme en het zoroastrisme te combineren, belandde in de cel. Toen het Romeinse Rijk, de aartsvijand van het Sassanidische Rijk, steeds christelijker werd, nam in Perzië de vervolging van de christenen toe. Zoals in het Romeinse Rijk het Perzische manicheïsme werd vervolgd, zo zag men in het Sassanidische Rijk christenen als sympathisanten van een buitenlands geloof.

Paleis, Firuzabad

Shapur I

Het conflict met Rome, dat in 231 begon met gevechten aan de Eufraat, escaleerde onder Ardaširs zoon en opvolger Shapur I (r.241-272). Volgens Romeinse bronnen stelden de Sassaniden territoriale eisen: ze zouden het Achaimenidische Rijk willen herstellen en eisten alle Romeinse gebieden in Azië op. Deze claim stemt ruwweg overeen met de titel “koning van Iran en niet-Iran” maar lijkt overdreven. In feite wilde Shapur vermoedelijk vooral de gebieden terugkrijgen die ooit door de Parthen geregeerd waren geweest, waaronder Hatra en Armenië. Toekomstige oorlogen zouden zich dan ook concentreren op de regio langs de bovenloop van de Tigris. Wie deze regio beheerste, beheerste de zuidelijke toegangswegen naar Armenië en kon Romeins Syrië binnenvallen.

Zulke oorlogen waren niet nieuw. Ook de Parthen hadden met Rome gestreden om dit gebied. Het verschil was enerzijds dat de Sassaniden ernaar streefden bufferstaten te annexeren en anderzijds dat de Sassaniden er, zo schrijven De Blois en Van der Spek,

beter dan hun voorgangers in staat waren belastingen te heffen en voorraden te verzamelen en (mede daardoor) grote, sterke legers konden mobiliseren.

Om de sleutelstad Nisibis te bemachtigen, viel Shapur ook delen van Romeins Syrië aan. Toen hij Antiochië had geplunderd, was een Romeinse tegenaanval onvermijdelijk. Keizer Gordianus III viel Mesopotamië binnen en was aanvankelijk succesvol, maar sneuvelde (244). Om zijn leger te behouden moest zijn opvolger, Philippus Arabs, een weinig eervol vredesverdrag sluiten. Met enige  rechtvaardiging beweerde Shapur Philippus op de Romeinse troon te hebben geplaatst. Romeinse krijgsgevangenen werden gedwongen de stad Bishapur te bouwen, waar een rotsreliëf Shapurs triomf herdacht. Soortgelijke reliëfs zijn ook elders te zien.

Mozaïek uit Bishapur (Nationaal Museum, Teheran)

Meer Perzische successen volgden. De Romeinse keizer Valerianus werd niet alleen verslagen, hij werd zelfs gevangengenomen (260). De vernedering, weergegeven op de rotsreliëfs in Bishapur en Naqš-e Rustam, kon niet completer zijn en de gebeurtenis markeert het dieptepunt van Romes Crisis van de Derde Eeuw. Onder de keizers Odaenathus (r.261-267), Carus (r.282-283), Diocletianus (r.284-305) en Galerius (r.293-311) herstelde Rome echter zijn posities. In 298 sloten de Romeinen en de Sassaniden een vredesverdrag waarin de Perzen gebieden in het noorden van Mesopotamië opgaven.

Het oosten

Rome was niet de enige vijand van Sassanidisch Perzië. Shapur viel ook de Kushana’s aan, die regeerden over Gandara (de vallei van de rivier de Kabul) en de Punjab. De Perzen bezetten Peshawar en namen als buit onder meer de bedelnap van Boeddha mee. Die zal nog wel ergens in Bishapur zijn.

Door een Sassanidisch leger opgeworpen belegeingsdam bij Doura Europos. De mijnen, waarin ze gifgassen inzetten, lagen uiteraard onderaards.

De inkomsten van de plundering van Peshawar en Antiochië werden benut om grote stukken voordien ongebruikt land in cultuur te brengen. Er kwamen nieuwe wegen en bruggen. De Sassaniden openden handelsroutes met India en Arabië en ontwikkelden nieuwe banksystemen. Leuk weetje: ons woord cheque gaat terug op een Perzisch woord.

Zo meteen meer.

 [Een overzicht van de blogjes over het handboek oude geschiedenis is hier.]

#ahuramazda #antiochie #ardasirI #artabanosIv #bishapur #boeddha #carus #crisisVanDeDerdeEeuw #deBloisEnVanDerSpek #diocletianus #galerius #gandara #gordianusIii #handboek #hatra #istakhr #ktesifon #kushanas #mani #manicheisme #naqsERustam #nisibis #odaenathus #parthischeRijk #persis #peshawar #philippusArabs #punjab #sassaniden #sassanidischeRotsreliefs #shapurI #valerianus #zoroastrisme

ハトラ“波打つような光沢”パファージャケット&“溶けた金属”柄ニット、渋谷パルコで期間限定ストア
https://www.fashion-press.net/news/111571?media=line
#fashionpress #ハトラ #HATRA #ファッション #アイテム #ステッチ #モチーフ #ジャカード
ハトラ“波打つような光沢”パファージャケット&“溶けた金属”柄ニット、渋谷パルコで期間限定ストア

ハトラ(HATRA)の2023年秋冬コレクションから、パファージャケットやニットなどが登場。東京・渋谷パルコ(PARCO)では、2023年11月25日(土)から12月3日(日)まで、2023年秋冬のア...

FashionPress
@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
HATRA 2023 - 4th International Workshop on Human Aspects of Types and Reasoning Assistants - SPLASH 2023

Programming language designers seek to provide strong tools to help developers reason about their programs. For example, the formal methods community seeks to enable developers to prove correctness properties of their code, and type system designers seek to exclude classes of undesirable behavior from programs. The security community creates tools to help developers achieve their security goals. In order to make these approaches as effective as possible for developers, recent work has integrated approaches from human-computer interaction research into programming language design. This work ...

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
HATRA 2023 - 4th International Workshop on Human Aspects of Types and Reasoning Assistants - SPLASH 2023

Programming language designers seek to provide strong tools to help developers reason about their programs. For example, the formal methods community seeks to enable developers to prove correctness properties of their code, and type system designers seek to exclude classes of undesirable behavior from programs. The security community creates tools to help developers achieve their security goals. In order to make these approaches as effective as possible for developers, recent work has integrated approaches from human-computer interaction research into programming language design. This work ...

NB: while the emphasis in the article is on the destruction of many of the monuments, #Hatra at least has been restored and can be visited #Iraq #archaeology #tourism: https://www.thenationalnews.com/travel/destinations/2022/09/12/iraq-welcomes-tourists-to-explore-the-ancient-ruins-of-hatra/
Iraq welcomes tourists to explore the ancient ruins of Hatra

The Unesco World Heritage Site features monuments and statues that have been restored after destruction wrought by ISIS

The National