Do you the company imandra? They deal with this in interesting ways. The usual suspects have resisted because it turns off free money arbitrage.
October 30, 2026 at 12:04 PM
Do you the company imandra? They deal with this in interesting ways. The usual suspects have resisted because it turns off free money arbitrage.
2447.
Pior ainda o caso de Eneias. Claramente, Imandra está apresentando um superresumo da Eneida, com o affair havido entre seu herói e a Rainha Dido e a posterior fundação de Alba Longa, mas esses eventos levaram ANOS e ocorreram em terras distantes. Como pode Imandra já saber da fundação da
Pior ainda o caso de Eneias. Claramente, Imandra está apresentando um superresumo da Eneida, com o affair havido entre seu herói e a Rainha Dido e a posterior fundação de Alba Longa, mas esses eventos levaram ANOS e ocorreram em terras distantes. Como pode Imandra já saber da fundação da
October 4, 2026 at 10:40 PM
2447.
Pior ainda o caso de Eneias. Claramente, Imandra está apresentando um superresumo da Eneida, com o affair havido entre seu herói e a Rainha Dido e a posterior fundação de Alba Longa, mas esses eventos levaram ANOS e ocorreram em terras distantes. Como pode Imandra já saber da fundação da
Pior ainda o caso de Eneias. Claramente, Imandra está apresentando um superresumo da Eneida, com o affair havido entre seu herói e a Rainha Dido e a posterior fundação de Alba Longa, mas esses eventos levaram ANOS e ocorreram em terras distantes. Como pode Imandra já saber da fundação da
2449.
apareceu e revelou-lhe que o destino dela era permanecer em Troia. Embora a Creusa do romance tenha fugido para Creta, a pergunta de Imandra e a memória já incerta de Cassandra sugerem que a versão da Eneida possa afinal ter prevalecido.
É claro que todo o discurso de Imandra é um epílogo
apareceu e revelou-lhe que o destino dela era permanecer em Troia. Embora a Creusa do romance tenha fugido para Creta, a pergunta de Imandra e a memória já incerta de Cassandra sugerem que a versão da Eneida possa afinal ter prevalecido.
É claro que todo o discurso de Imandra é um epílogo
October 4, 2026 at 10:40 PM
2449.
apareceu e revelou-lhe que o destino dela era permanecer em Troia. Embora a Creusa do romance tenha fugido para Creta, a pergunta de Imandra e a memória já incerta de Cassandra sugerem que a versão da Eneida possa afinal ter prevalecido.
É claro que todo o discurso de Imandra é um epílogo
apareceu e revelou-lhe que o destino dela era permanecer em Troia. Embora a Creusa do romance tenha fugido para Creta, a pergunta de Imandra e a memória já incerta de Cassandra sugerem que a versão da Eneida possa afinal ter prevalecido.
É claro que todo o discurso de Imandra é um epílogo
#minhasleituras oficiais
2440.
The Firebrand, páginas 587-588. A Rainha Imandra, da Cólquida, relata a Cassandra os destinos de outras personagens do romance. "Odysseus was shipwrecked, and no one has heard of him since, and ’tis now close on three years. (...) Helen and Menelaus were still
2440.
The Firebrand, páginas 587-588. A Rainha Imandra, da Cólquida, relata a Cassandra os destinos de outras personagens do romance. "Odysseus was shipwrecked, and no one has heard of him since, and ’tis now close on three years. (...) Helen and Menelaus were still
October 4, 2026 at 10:40 PM
#minhasleituras oficiais
2440.
The Firebrand, páginas 587-588. A Rainha Imandra, da Cólquida, relata a Cassandra os destinos de outras personagens do romance. "Odysseus was shipwrecked, and no one has heard of him since, and ’tis now close on three years. (...) Helen and Menelaus were still
2440.
The Firebrand, páginas 587-588. A Rainha Imandra, da Cólquida, relata a Cassandra os destinos de outras personagens do romance. "Odysseus was shipwrecked, and no one has heard of him since, and ’tis now close on three years. (...) Helen and Menelaus were still
2443.
her fate,” Imandra said. “Did she even escape Troy?” § Kassandra began to wonder. She remembered parting from Creusa, but it had been so long ago she wondered if she had dreamed it."
Fico pensando. A queda de Troia aconteceu há três ou quatro anos. Conforme a Odisseia, Odisseu está
her fate,” Imandra said. “Did she even escape Troy?” § Kassandra began to wonder. She remembered parting from Creusa, but it had been so long ago she wondered if she had dreamed it."
Fico pensando. A queda de Troia aconteceu há três ou quatro anos. Conforme a Odisseia, Odisseu está
October 4, 2026 at 10:40 PM
2443.
her fate,” Imandra said. “Did she even escape Troy?” § Kassandra began to wonder. She remembered parting from Creusa, but it had been so long ago she wondered if she had dreamed it."
Fico pensando. A queda de Troia aconteceu há três ou quatro anos. Conforme a Odisseia, Odisseu está
her fate,” Imandra said. “Did she even escape Troy?” § Kassandra began to wonder. She remembered parting from Creusa, but it had been so long ago she wondered if she had dreamed it."
Fico pensando. A queda de Troia aconteceu há três ou quatro anos. Conforme a Odisseia, Odisseu está
#minhasleituras oficiais
2100.
The Firebrand, página 322. Cassandra e a Rainha Imandra, da Cólquida, discutem a gradual substituição do matriarcado pelo patriarcado, trazido pelos usurpadores aqueus. Cassandra pergunta e é respondida pela Rainha:
2100.
The Firebrand, página 322. Cassandra e a Rainha Imandra, da Cólquida, discutem a gradual substituição do matriarcado pelo patriarcado, trazido pelos usurpadores aqueus. Cassandra pergunta e é respondida pela Rainha:
August 29, 2026 at 3:03 AM
#minhasleituras oficiais
2100.
The Firebrand, página 322. Cassandra e a Rainha Imandra, da Cólquida, discutem a gradual substituição do matriarcado pelo patriarcado, trazido pelos usurpadores aqueus. Cassandra pergunta e é respondida pela Rainha:
2100.
The Firebrand, página 322. Cassandra e a Rainha Imandra, da Cólquida, discutem a gradual substituição do matriarcado pelo patriarcado, trazido pelos usurpadores aqueus. Cassandra pergunta e é respondida pela Rainha:
Ok so I looked it up and apparently Imandra *is* one of the hardest maps in game
I feel vindicated now
I feel vindicated now
May 27, 2025 at 12:52 PM
Ok so I looked it up and apparently Imandra *is* one of the hardest maps in game
I feel vindicated now
I feel vindicated now
>It's okay hahajd no hurry to make you play it again.
I mean, I'm still gonna be playing it on PS4, and HOPEFULLY I won't burn myself out again before I can play it on PC. Nearly did so trying to open the fucking Garage in Imandra in the first place (what I told you about earlier), and this may-
I mean, I'm still gonna be playing it on PS4, and HOPEFULLY I won't burn myself out again before I can play it on PC. Nearly did so trying to open the fucking Garage in Imandra in the first place (what I told you about earlier), and this may-
May 27, 2025 at 4:08 AM
>It's okay hahajd no hurry to make you play it again.
I mean, I'm still gonna be playing it on PS4, and HOPEFULLY I won't burn myself out again before I can play it on PC. Nearly did so trying to open the fucking Garage in Imandra in the first place (what I told you about earlier), and this may-
I mean, I'm still gonna be playing it on PS4, and HOPEFULLY I won't burn myself out again before I can play it on PC. Nearly did so trying to open the fucking Garage in Imandra in the first place (what I told you about earlier), and this may-
Yeah. It was a fucking headache and a half though let me tell you. Eugh I don't wanna go back to Imandra again. I mean I have to eventually, but I don't want to for a long while.
I'm uploading the recordings and I'll post the link and an explanation of what I was trying to do then. Btw still gonna-
I'm uploading the recordings and I'll post the link and an explanation of what I was trying to do then. Btw still gonna-
May 27, 2025 at 3:23 AM
Yeah. It was a fucking headache and a half though let me tell you. Eugh I don't wanna go back to Imandra again. I mean I have to eventually, but I don't want to for a long while.
I'm uploading the recordings and I'll post the link and an explanation of what I was trying to do then. Btw still gonna-
I'm uploading the recordings and I'll post the link and an explanation of what I was trying to do then. Btw still gonna-
God fuck Imandra euuugh
I just spent the whole fucking afternoon in there what the hell
The back of my head is pounding
I just spent the whole fucking afternoon in there what the hell
The back of my head is pounding
May 26, 2025 at 11:56 PM
God fuck Imandra euuugh
I just spent the whole fucking afternoon in there what the hell
The back of my head is pounding
I just spent the whole fucking afternoon in there what the hell
The back of my head is pounding
>Finally fucking opened the Imandra garage in Snowrunner
YES
YES
FUCK YOU
Oh god I think I burnt myself out on Snowrunner again 😭
I wanna go back to Michigan 😭😭😭
YES
YES
FUCK YOU
Oh god I think I burnt myself out on Snowrunner again 😭
I wanna go back to Michigan 😭😭😭
May 24, 2025 at 2:45 PM
>Finally fucking opened the Imandra garage in Snowrunner
YES
YES
FUCK YOU
Oh god I think I burnt myself out on Snowrunner again 😭
I wanna go back to Michigan 😭😭😭
YES
YES
FUCK YOU
Oh god I think I burnt myself out on Snowrunner again 😭
I wanna go back to Michigan 😭😭😭
Could you share the library name ?
I am only aware of this, github.com/imandra-ai/o...
I am only aware of this, github.com/imandra-ai/o...
GitHub - imandra-ai/ocaml-opentelemetry: Instrumentation for https://opentelemetry.io
Instrumentation for https://opentelemetry.io. Contribute to imandra-ai/ocaml-opentelemetry development by creating an account on GitHub.
github.com
June 13, 2025 at 8:27 PM
Could you share the library name ?
I am only aware of this, github.com/imandra-ai/o...
I am only aware of this, github.com/imandra-ai/o...
Trophic Relationships of Coregonid and Percid Fishes Evaluated by the Stomach Content and Stable Isotopes in Subarctic Lake Imandra. doi.org/10.3390/fish...
doi.org
January 13, 2026 at 8:05 PM
Trophic Relationships of Coregonid and Percid Fishes Evaluated by the Stomach Content and Stable Isotopes in Subarctic Lake Imandra. doi.org/10.3390/fish...
Soovid soovid - Imandra Lake
March 10, 2026 at 8:52 AM
Soovid soovid - Imandra Lake
#minhasleituras oficiais
1943.
The Firebrand, página 124. Cassandra comparece a um ritual de iniciação na religião das Amazonas. É o fim do inverno. " “At this time of the year,” Imandra intoned, “we celebrate the return of Earth’s Daughter from the underground where She has been imprisoned
1943.
The Firebrand, página 124. Cassandra comparece a um ritual de iniciação na religião das Amazonas. É o fim do inverno. " “At this time of the year,” Imandra intoned, “we celebrate the return of Earth’s Daughter from the underground where She has been imprisoned
July 25, 2026 at 7:58 PM
#minhasleituras oficiais
1943.
The Firebrand, página 124. Cassandra comparece a um ritual de iniciação na religião das Amazonas. É o fim do inverno. " “At this time of the year,” Imandra intoned, “we celebrate the return of Earth’s Daughter from the underground where She has been imprisoned
1943.
The Firebrand, página 124. Cassandra comparece a um ritual de iniciação na religião das Amazonas. É o fim do inverno. " “At this time of the year,” Imandra intoned, “we celebrate the return of Earth’s Daughter from the underground where She has been imprisoned
1938.
Dirigindo-se a Cassandra, diz Imandra: "When you return to Troy, my envoys shall go with you, offering my Andromache for your father’s son (...)". É outra referência obedecendo à Ilíada e à mitologia, onde Andrômaca era a esposa de Heitor, sucessor presuntivo de Príamo.
Dirigindo-se a Cassandra, diz Imandra: "When you return to Troy, my envoys shall go with you, offering my Andromache for your father’s son (...)". É outra referência obedecendo à Ilíada e à mitologia, onde Andrômaca era a esposa de Heitor, sucessor presuntivo de Príamo.
July 19, 2026 at 3:29 AM
1938.
Dirigindo-se a Cassandra, diz Imandra: "When you return to Troy, my envoys shall go with you, offering my Andromache for your father’s son (...)". É outra referência obedecendo à Ilíada e à mitologia, onde Andrômaca era a esposa de Heitor, sucessor presuntivo de Príamo.
Dirigindo-se a Cassandra, diz Imandra: "When you return to Troy, my envoys shall go with you, offering my Andromache for your father’s son (...)". É outra referência obedecendo à Ilíada e à mitologia, onde Andrômaca era a esposa de Heitor, sucessor presuntivo de Príamo.
#minhasleituras oficiais
1937.
The Firebrand, página 93. A Rainha Imandra, da Cólquida, discute política e casamentos reais com Pentesileia e Cassandra.
1937.
The Firebrand, página 93. A Rainha Imandra, da Cólquida, discute política e casamentos reais com Pentesileia e Cassandra.
July 19, 2026 at 3:29 AM
#minhasleituras oficiais
1937.
The Firebrand, página 93. A Rainha Imandra, da Cólquida, discute política e casamentos reais com Pentesileia e Cassandra.
1937.
The Firebrand, página 93. A Rainha Imandra, da Cólquida, discute política e casamentos reais com Pentesileia e Cassandra.
It was mid-May.
Lake Imandra.
The Khibiny Mountains
📍Monchegorsk, Murmansk region, Russia
#truehome #lake #mountains #north
Lake Imandra.
The Khibiny Mountains
📍Monchegorsk, Murmansk region, Russia
#truehome #lake #mountains #north
July 21, 2026 at 8:19 PM
It was mid-May.
Lake Imandra.
The Khibiny Mountains
📍Monchegorsk, Murmansk region, Russia
#truehome #lake #mountains #north
Lake Imandra.
The Khibiny Mountains
📍Monchegorsk, Murmansk region, Russia
#truehome #lake #mountains #north
Lecturas compartidas el 18 de abril de 2024. jalonso.substack.com/lecturas-com... #ITP #LeanProver #Lean4 #IsabelleHOL #Coq #Imandra #ATP #SMT #AI #DeepLearning #Math #CategoryTheory
Lecturas compartidas el 18 de abril de 2024
#ITP #LeanProver #Lean4 #IsabelleHOL #Coq #Imandra #ATP #SMT #AI #DeepLearning #Math #CategoryTheory
jalonso.substack.com
April 19, 2024 at 7:42 AM
Lecturas compartidas el 18 de abril de 2024. jalonso.substack.com/lecturas-com... #ITP #LeanProver #Lean4 #IsabelleHOL #Coq #Imandra #ATP #SMT #AI #DeepLearning #Math #CategoryTheory
Towards a certified proof checker for deep neural network verification. ~ Remi Desmartin et als. link.springer.com/content/pdf/... #ITP #Imandra #DeepLearning
April 19, 2024 at 6:26 AM
Towards a certified proof checker for deep neural network verification. ~ Remi Desmartin et als. link.springer.com/content/pdf/... #ITP #Imandra #DeepLearning
February 14, 2024 at 1:08 PM
The Imandra automated reasoning system (system description). ~ Grant Olney Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto. arxiv.org/abs/2004.102... #ITP #Imandra #OCaml #FunctionalProgramming
February 14, 2024 at 1:06 PM
The Imandra automated reasoning system (system description). ~ Grant Olney Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto. arxiv.org/abs/2004.102... #ITP #Imandra #OCaml #FunctionalProgramming
Towards a certified proof checker for deep neural network verification. ~ Remi Desmartin, Omri Isac, Grant Passmore, Kathrin Stark, Guy Katz, Ekaterina Komendantskaya. arxiv.org/abs/2307.06299 #ITP #Imandra #NeuralNetwork
Towards a Certified Proof Checker for Deep Neural Network Verification
Recent developments in deep neural networks (DNNs) have led to their adoption in safety-critical systems, which in turn has heightened the need for guaranteeing their safety. These safety...
arxiv.org
February 14, 2024 at 1:04 PM
Towards a certified proof checker for deep neural network verification. ~ Remi Desmartin, Omri Isac, Grant Passmore, Kathrin Stark, Guy Katz, Ekaterina Komendantskaya. arxiv.org/abs/2307.06299 #ITP #Imandra #NeuralNetwork
ACL2 proofs of nonlinear inequalities with Imandra. ~ Grant Passmore. arxiv.org/abs/2311.088... #ITP #ACL2 #Math
ACL2 Proofs of Nonlinear Inequalities with Imandra
We present a proof-producing integration of ACL2 and Imandra for proving nonlinear inequalities. This leverages a new Imandra interface exposing its nonlinear decision procedures. The reasoning...
arxiv.org
November 18, 2023 at 7:19 AM
ACL2 proofs of nonlinear inequalities with Imandra. ~ Grant Passmore. arxiv.org/abs/2311.088... #ITP #ACL2 #Math