#monad — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #monad, aggregated by home.social.
-
https://www.europesays.com/videos/2973/ ARTEMIS II: Raumfahrtministerin Bär jubelt! “Deutschland ist jetzt eine große Raumfahrernation!” #2026 #aktuell #artemis #Artemis2 #deutschland #DorotheeBär #fernsehen #monad #n24 #nachrichten #NachrichtenAktuell #NASA #news #raumfahrt #ruamfahrtministerin #topnews #tv #video #welt #WELTNews
-
#gnostic #gnosticteachings #gnosticchristians #naghammadi #apocrypha #apocryphaltexts #noncanon #archons #yaldabaoth #aeons #sophia #pleroma #monad #sabaoth #anunnaki #jesus #realjesus #gospelofmarymagdalene #gospelofphilip #gospelofthomas #mysteries #ancientmysteries #ancienthistory #earlychristianity #jesuschrist
https://youtu.be/XYdCkFzmQD0?si=ScP_cIqpPcrMIjga -
#gnostic #gnosticteachings #gnosticchristians #naghammadi #apocrypha #apocryphaltexts #noncanon #archons #yaldabaoth #aeons #sophia #pleroma #monad #sabaoth #anunnaki #jesus #realjesus #gospelofmarymagdalene #gospelofphilip #gospelofthomas #mysteries #ancientmysteries #ancienthistory #earlychristianity #jesuschrist
https://youtu.be/XYdCkFzmQD0?si=ScP_cIqpPcrMIjga -
#gnostic #gnosticteachings #gnosticchristians #naghammadi #apocrypha #apocryphaltexts #noncanon #archons #yaldabaoth #aeons #sophia #pleroma #monad #sabaoth #anunnaki #jesus #realjesus #gospelofmarymagdalene #gospelofphilip #gospelofthomas #mysteries #ancientmysteries #ancienthistory #earlychristianity #jesuschrist
https://youtu.be/XYdCkFzmQD0?si=ScP_cIqpPcrMIjga -
#gnostic #gnosticteachings #gnosticchristians #naghammadi #apocrypha #apocryphaltexts #noncanon #archons #yaldabaoth #aeons #sophia #pleroma #monad #sabaoth #anunnaki #jesus #realjesus #gospelofmarymagdalene #gospelofphilip #gospelofthomas #mysteries #ancientmysteries #ancienthistory #earlychristianity #jesuschrist
https://youtu.be/XYdCkFzmQD0?si=ScP_cIqpPcrMIjga -
Funxy — гибридный язык программирования со статической типизацией
Funxy — гибридный язык программирования со статической типизацией, pattern matching и удобной работой с бинарными данными. Для чего подходит Скрипты и автоматизация. Один бинарник без зависимостей — скачал и работает. Встроенная работа с файлами, JSON, HTTP, SQL. Небольшие приложения. CLI-утилиты, API-сервисы, обработка данных. Работа с бинарными данными. Парсинг на уровне отдельных битов. Сетевые протоколы, форматы файлов, нестандартные структуры. Обучение программированию. Простой синтаксис, но с важными концепциями: типы, pattern matching, иммутабельные структуры данных, рекурсия с TCO (можно писать рекурсивный код без страха переполнения стека).
https://habr.com/ru/articles/974674/
#haskell #monad #tco #скриптовый_язык #разработка_языков_программирования #функциональное_программирование #рекурсия #matching #bitstring #http
-
Funxy — гибридный язык программирования со статической типизацией
Funxy — гибридный язык программирования со статической типизацией, pattern matching и удобной работой с бинарными данными. Для чего подходит Скрипты и автоматизация. Один бинарник без зависимостей — скачал и работает. Встроенная работа с файлами, JSON, HTTP, SQL. Небольшие приложения. CLI-утилиты, API-сервисы, обработка данных. Работа с бинарными данными. Парсинг на уровне отдельных битов. Сетевые протоколы, форматы файлов, нестандартные структуры. Обучение программированию. Простой синтаксис, но с важными концепциями: типы, pattern matching, иммутабельные структуры данных, рекурсия с TCO (можно писать рекурсивный код без страха переполнения стека).
https://habr.com/ru/articles/974674/
#haskell #monad #tco #скриптовый_язык #разработка_языков_программирования #функциональное_программирование #рекурсия #matching #bitstring #http
-
Funxy — гибридный язык программирования со статической типизацией
Funxy — гибридный язык программирования со статической типизацией, pattern matching и удобной работой с бинарными данными. Для чего подходит Скрипты и автоматизация. Один бинарник без зависимостей — скачал и работает. Встроенная работа с файлами, JSON, HTTP, SQL. Небольшие приложения. CLI-утилиты, API-сервисы, обработка данных. Работа с бинарными данными. Парсинг на уровне отдельных битов. Сетевые протоколы, форматы файлов, нестандартные структуры. Обучение программированию. Простой синтаксис, но с важными концепциями: типы, pattern matching, иммутабельные структуры данных, рекурсия с TCO (можно писать рекурсивный код без страха переполнения стека).
https://habr.com/ru/articles/974674/
#haskell #monad #tco #скриптовый_язык #разработка_языков_программирования #функциональное_программирование #рекурсия #matching #bitstring #http
-
Funxy — гибридный язык программирования со статической типизацией
Funxy — гибридный язык программирования со статической типизацией, pattern matching и удобной работой с бинарными данными. Для чего подходит Скрипты и автоматизация. Один бинарник без зависимостей — скачал и работает. Встроенная работа с файлами, JSON, HTTP, SQL. Небольшие приложения. CLI-утилиты, API-сервисы, обработка данных. Работа с бинарными данными. Парсинг на уровне отдельных битов. Сетевые протоколы, форматы файлов, нестандартные структуры. Обучение программированию. Простой синтаксис, но с важными концепциями: типы, pattern matching, иммутабельные структуры данных, рекурсия с TCO (можно писать рекурсивный код без страха переполнения стека).
https://habr.com/ru/articles/974674/
#haskell #monad #tco #скриптовый_язык #разработка_языков_программирования #функциональное_программирование #рекурсия #matching #bitstring #http
-
🌐 Expansión global: #Bitget y #ChorusOne unen fuerzas para potenciar el #staking de #Monad en mercados emergentes. Más de $6M 'staked' en la primera semana. ¡El acceso a la innovación #cripto se amplía!
-
The Protocol: AWS Outage Halts Some Crypto Apps - Also: Monad’s Tech, Quantum Computing and Bitcoin and Securitize’s MCP Server. - https://www.coindesk.com/tech/2025/10/22/the-protocol-aws-outage-halts-some-crypto-apps #amazonwebservices #quantumcomputing #theprotocol #newsletters #securitize #niccarter #bitcoin #amazon #monad #tech #news #ai
-
The Protocol: AWS Outage Halts Some Crypto Apps - Also: Monad’s Tech, Quantum Computing and Bitcoin and Securitize’s MCP Server. - https://www.coindesk.com/tech/2025/10/22/the-protocol-aws-outage-halts-some-crypto-apps #amazonwebservices #quantumcomputing #theprotocol #newsletters #securitize #niccarter #bitcoin #amazon #monad #tech #news #ai
-
The Protocol: AWS Outage Halts Some Crypto Apps - Also: Monad’s Tech, Quantum Computing and Bitcoin and Securitize’s MCP Server. - https://www.coindesk.com/tech/2025/10/22/the-protocol-aws-outage-halts-some-crypto-apps #amazonwebservices #quantumcomputing #theprotocol #newsletters #securitize #niccarter #bitcoin #amazon #monad #tech #news #ai
-
The Protocol: AWS Outage Halts Some Crypto Apps - Also: Monad’s Tech, Quantum Computing and Bitcoin and Securitize’s MCP Server. - https://www.coindesk.com/tech/2025/10/22/the-protocol-aws-outage-halts-some-crypto-apps #amazonwebservices #quantumcomputing #theprotocol #newsletters #securitize #niccarter #bitcoin #amazon #monad #tech #news #ai
-
Monad’s Fast EVM Chain Promises ‘Night and Day’ Performance Gains - CoinDesk sat down with Monad Foundation’s Head of Growth Kevin McCordic to talk about the... - https://www.coindesk.com/tech/2025/10/20/monad-s-fast-evm-chain-promises-night-and-day-performance-gains #ethereum #airdrop #solana #layer1 #layer2 #monad #tech #news
-
Crypto Price Prediction Today 15 October – XRP, Monad Airdrop, SUI - The market has rebounded today after a difficult start to the week, boosting the c... - https://cryptonews.com/news/crypto-price-prediction-today-15-october-xrp-monad-airdrop-sui/ #priceanalysis #monad #sui #xrp
-
The Protocol: Monad Airdrop Portal Opens as Token Launch Nears - Welcome to The Protocol, CoinDesk's weekly wrap of the most important stories in cryptocu... - https://www.coindesk.com/tech/2025/10/15/the-protocol-monad-airdrop-portal-opens-as-token-launch-nears #ethereumfoundation #theprotocol #newsletter #ethereum #airdrops #monad #tech #news
-
The Protocol: Monad Airdrop Portal Opens as Token Launch Nears - Welcome to The Protocol, CoinDesk's weekly wrap of the most important stories in cryptocu... - https://www.coindesk.com/tech/2025/10/15/the-protocol-monad-airdrop-portal-opens-as-token-launch-nears #ethereumfoundation #theprotocol #newsletter #ethereum #airdrops #monad #tech #news
-
The Protocol: Monad Airdrop Portal Opens as Token Launch Nears - Welcome to The Protocol, CoinDesk's weekly wrap of the most important stories in cryptocu... - https://www.coindesk.com/tech/2025/10/15/the-protocol-monad-airdrop-portal-opens-as-token-launch-nears #ethereumfoundation #theprotocol #newsletter #ethereum #airdrops #monad #tech #news
-
The Protocol: Monad Airdrop Portal Opens as Token Launch Nears - Welcome to The Protocol, CoinDesk's weekly wrap of the most important stories in cryptocu... - https://www.coindesk.com/tech/2025/10/15/the-protocol-monad-airdrop-portal-opens-as-token-launch-nears #ethereumfoundation #theprotocol #newsletter #ethereum #airdrops #monad #tech #news
-
Monad Co-Founder’s Urgent Warning: Scammers Infiltrate Official Telegram With Fake Airdrop Ads - Monad co-founder Keone Hon has issued a public warning after scammers infiltrated ... - https://cryptonews.com/news/monad-co-founders-urgent-warning-scammers-infiltrate-official-telegram-with-fake-airdrop-ads/ #blockchainnews #cryptoscam #airdrop #monad #news
-
Hyped Token Launches Fall Flat as TGE Loses Mojo Ahead of Airdrop Season - Several recent token launches have seen dramatic drawdowns, bringing to token generation ... - https://www.coindesk.com/business/2025/10/10/hyped-token-launches-fall-flat-as-tge-loses-its-mojo-ahead-of-airdrop-season #finance #airdrop #opensea #monad #news
-
Monad Confirms Airdrop Timing, But Allocation Details Remain Under Wraps - Monad, the Layer-1 blockchain, confirmed in a post on X that its long-anticipated token a... - https://www.coindesk.com/business/2025/10/09/monad-confirms-airdrop-timing-but-allocation-details-remain-under-wraps #topstories #airdrops #finance #layer1 #monad #news
-
Hyperliquid Lists MON-USD Perpetuals Ahead of Hotly Anticipated Monad Airdrop - Hyperliquid, the decentralized perpetuals exchange, announced Wednesday that it has liste... - https://www.coindesk.com/business/2025/10/08/hyperliquid-lists-mon-usd-perpetuals-ahead-of-hotly-anticipated-monad-airdrop #hyperliquid #airdrops #finance #airdrop #monad #defi #news
-
part of a panel on "Disruption in the Long Eighteenth Century" at this year's UAAC-AAUC conference at York University:
https://uaac-aauc.com/conference/
#leibniz #lahontan #perspectivism #Indigenous #beaver #beavers #beaverlodge #cameraobscura #uaac #baronlahontan #monad #monadology #cosmovision
-
Monad Acquires Portal Labs to Expand Stablecoin Payments on High-Speed Blockchain - Monad Foundation, the organization behind high-speed layer-1 blockchain Monad, is acquiri... - https://www.coindesk.com/business/2025/07/09/monad-acquires-portal-labs-to-expand-stablecoin-payments-on-high-speed-blockchain #globalpayments #stablecoins #finance #monad #news
-
Crypto VC Paradigm Leads $11.6M Round for Kuru Labs’ DeFi Liquidity Engine - Kuru Labs, a decentralized finance (DeFi) startup built on the Monad blockchain, has clos... - https://www.coindesk.com/business/2025/07/07/crypto-vc-paradigm-leads-usd11-6m-funding-round-for-defi-firm-kuru-labs #fundraise #finance #monad #news #dex
-
Top ten posts in June 2025
https://library.hrmtc.com/2025/07/01/top-ten-posts-in-june-2025/
#angelDiaries #article #bestPosts #bestTen #blood #book #BrianPCopenhaver #CindyBarukhMilstein #cinema #cryptic #empodiment #erikDavis #esotericSecrets #esotericism #GarryJShaw #GeorgiaVanRaalte #GrahamStJohn #initiation #JeanSeznac #JohnCoulthart #JohnMalkovich #Journal #June2025 #MaggieMayhem #magic #manuscripts #menstruationMagic #Monad #movie #mysterious #paganGods #PatrickLeppetit #poster #resistance #ritual #RobertSchwentke #RolloAhmed #sacred #secretSocieties #Seneca #summary #summaryOfTheMonth #Surrealism #survival #TerenceMcKenna #topPosts #topTen #Voynich #westernCulture #zine
-
Writing functional Java just got a whole lot cleaner. ✨
The new For-Comprehension builder in #higher-kinded-j helps de-sugar complex monadic chains into a simple, sequential script.
It brings the elegance of Scala to your functional Java projects.
Compose sequences of monadic operations (like flatMap and map) in a highly readable, linear style.
Key Features:
➡️ from(…): A generator that extracts a value from a monadic context (flatMap).
➡️ let(…): Binds the result of a pure computation to a new variable (map).
➡️ when(…): Filters results, short-circuiting with the monad's "zero" element (for MonadZero types like List or Maybe).
➡️ yield(…): Concludes the comprehension, producing the final monadic value.
It's especially powerful for taming complex structures like monad transformers (StateT, EitherT).
Come see how it works! Any feedback is welcome. [https://higher-kinded-j.github.io/for_comprehension.html]
#Java #FunctionalProgramming #FP #Monad #HKT #Library #OpenSource #HKJ -
Learn how to use the State monad and IO monad in #Java with higher-kinded types by building a playable Draughts game with the new #higher-kinded-j functional library. #fp #functional #monad #hkj https://higher-kinded-j.github.io/draughts.html
-
C++OnSea 2025 SESSION ANNOUNCEMENT: Safe and Readable Code: Monadic Operations in C++23 by @asperamanca
https://cpponsea.uk/2025/session/safe-and-readable-code-monadic-operations-in-cpp23
Register now at https://cpponsea.uk/tickets/
-
The 9th Amendment of the U.S. Constitution:
"The enumeration in the Constitution, of certain rights, shall not be construed to deny or disparage others retained by the people."I always liked this one because it has a sort of mathematical "closure" property. It's not enough to say "this is the set of laws", it's more than that. You can't enumerate all of a person's rights, in effect.say
Legal scholars might argue that this amendment is practically useless, and use the 14th instead. Also the 10th amendment has basically given those rights to the States through precedent.
But I like the 9th. It has Mathematical Beauty, and shows that some laws are unknowable
-
Алгебраические эффекты на Javascript
В этой статье я хотел рассказать об интересном подходе к построению программ, описанному в книге Sandy Maguire, Algebra-Driven Design. Подход позволяет строить программы на основе абстрактных математических структур и законов. Это позволяет разработать обобщенные подходы к их созданию и тестированию. Но потом я понял, что в этом мало смысла без объяснения, почему такой подход в принципе имеет право на существование. В книге для примеров используется Haskell - ленивый, чистый функциональный язык, имеющий крайне мало отношения к языкам, которые широко применяются на практике. Распространено мнение, что приемы, используемые в Haskell, существуют в основном для преодоления его же недостатков и в других языках не нужны. Например, про монады пишут, что это оторванная от реальной жизни абстракция, которую не встретить в повседневной работе. Нет ничего более далекого от истины. Монады - это не костыль, а мощная абстракция, которая позволяет выявить связь между такими непохожими языками, как C и Haskell, и свести к одному знаменателю такие далекие друг от друга концепции как асинхронные функции и глобальные переменные. Так что в этой статье я ограничусь описанием алгебраического программирования на примере монады. Я по шагам пройду путь от классической, сравнительно бесполезной в динамически типизированных языках монады, до Freer монады, которая обладает настолько удивительными свойствами, что может найти применение даже в императивном языке. Вы убедитесь, что алгебраический подход применим в обычных языках и дает превосходные результаты.
-
Алгебраические эффекты на Javascript
В этой статье я хотел рассказать об интересном подходе к построению программ, описанному в книге Sandy Maguire, Algebra-Driven Design. Подход позволяет строить программы на основе абстрактных математических структур и законов. Это позволяет разработать обобщенные подходы к их созданию и тестированию. Но потом я понял, что в этом мало смысла без объяснения, почему такой подход в принципе имеет право на существование. В книге для примеров используется Haskell - ленивый, чистый функциональный язык, имеющий крайне мало отношения к языкам, которые широко применяются на практике. Распространено мнение, что приемы, используемые в Haskell, существуют в основном для преодоления его же недостатков и в других языках не нужны. Например, про монады пишут, что это оторванная от реальной жизни абстракция, которую не встретить в повседневной работе. Нет ничего более далекого от истины. Монады - это не костыль, а мощная абстракция, которая позволяет выявить связь между такими непохожими языками, как C и Haskell, и свести к одному знаменателю такие далекие друг от друга концепции как асинхронные функции и глобальные переменные. Так что в этой статье я ограничусь описанием алгебраического программирования на примере монады. Я по шагам пройду путь от классической, сравнительно бесполезной в динамически типизированных языках монады, до Freer монады, которая обладает настолько удивительными свойствами, что может найти применение даже в императивном языке. Вы убедитесь, что алгебраический подход применим в обычных языках и дает превосходные результаты.
-
Алгебраические эффекты на Javascript
В этой статье я хотел рассказать об интересном подходе к построению программ, описанному в книге Sandy Maguire, Algebra-Driven Design. Подход позволяет строить программы на основе абстрактных математических структур и законов. Это позволяет разработать обобщенные подходы к их созданию и тестированию. Но потом я понял, что в этом мало смысла без объяснения, почему такой подход в принципе имеет право на существование. В книге для примеров используется Haskell - ленивый, чистый функциональный язык, имеющий крайне мало отношения к языкам, которые широко применяются на практике. Распространено мнение, что приемы, используемые в Haskell, существуют в основном для преодоления его же недостатков и в других языках не нужны. Например, про монады пишут, что это оторванная от реальной жизни абстракция, которую не встретить в повседневной работе. Нет ничего более далекого от истины. Монады - это не костыль, а мощная абстракция, которая позволяет выявить связь между такими непохожими языками, как C и Haskell, и свести к одному знаменателю такие далекие друг от друга концепции как асинхронные функции и глобальные переменные. Так что в этой статье я ограничусь описанием алгебраического программирования на примере монады. Я по шагам пройду путь от классической, сравнительно бесполезной в динамически типизированных языках монады, до Freer монады, которая обладает настолько удивительными свойствами, что может найти применение даже в императивном языке. Вы убедитесь, что алгебраический подход применим в обычных языках и дает превосходные результаты.
