エロ本セールナビ
セール中！
敗北乙女エクスタシーVol.21
#DLSITE #寒天 #やむっ #月蜥蜴 #みやねあき #モアイ店長 #復八磨直兎 #蘿蔔なずな #Liquid
https://hnaportal.net/ebsn/?filter=DLSITE+BJ214579
SymbolixEpisode 375 - '#G10LDFAT Special' — #AlphaRhythm - #Liquid Drum and Bass Music and Mixes https://alpharhythm.com/podcast/2025/9/8/episode-375-g10ldfat-special
#LiquidDnB #LiquidDrumAndBass #dnb
#LiquidDnB #LiquidDrumAndBass #dnb
Episode 375 - 'G10LDFAT Special' — Alpha Rhythm - Liquid Drum and Bass Music and Mixes
This week we are celebrating Goldfat's 10th birthday with an all-Goldfat mix, showcasing some of the best of Goldfat Music, both old and new! You can get the new G10LDFAT LP at: https://goldfat.bandcamp.com/ Tracklist: Mitekiss - Love Me, Haunt Me [Goldfat] Soulfil & Counter C
WordofTheHour#liquid : neither solid nor aeriform
- French: Liquide
- German: die Flüssigkeit
- Italian: liquido
- Portuguese: líquido
- Spanish: liquido
------------
Word of The Hour's Annual Survey @ https://wordofthehour.org/r/form
Molecular ImagingAFM Imaging Liquid | Molecular Imaging
Take your research further with #AFM #imaging #liquid from Molecular Imaging. Designed for exceptional precision and high-resolution imaging, our technology provides reliable analysis in liquid conditions. Perfect for researchers and scientists seeking dependable nanoscale insights, our solutions combine innovation, quality, and performance for unmatched results.
Shop Now: https://miafm.com/zoomafm/
Take your research further with #AFM #imaging #liquid from Molecular Imaging. Designed for exceptional precision and high-resolution imaging, our technology provides reliable analysis in liquid conditions. Perfect for researchers and scientists seeking dependable nanoscale insights, our solutions combine innovation, quality, and performance for unmatched results.
Shop Now: https://miafm.com/zoomafm/
Любитель ФигуристыхСпустя несколько лет после своего успешного старта, нейронная сеть MidJourney, известная своей, на редкость, точной моделью генерацией картинок (неоднократно вызывавшей скандалы из-за политических фейков), получила функцию ГЕНЕРАЦИИ ВИДЕО, примеры: https://www.midjourney.com/explore?tab=video_top
MidJourney и ранее имела функцию создания коротких роликов, чем воспользовалась одна рок-группа, но сейчас они выпустили 1 версию своей видео-модели. Серьёзная заявка на конкуренцию с RunWayML, которая до сих пор не очень хороша, и Kling, которую принято считать топовой. Модель проприоритарная, бесплатные аккаунты были отключены из-за большого количества сгенерированных фейков - поэтому вы можете попробовать её за 10-120 долларов в месяц.
(моё мнение: сыровата! местами видны недопустимые для реального видео глюки даже на примерах!)
#generativeai #midjourney #video #reference #examples #image #people #animal #room #liquid
MidJourney и ранее имела функцию создания коротких роликов, чем воспользовалась одна рок-группа, но сейчас они выпустили 1 версию своей видео-модели. Серьёзная заявка на конкуренцию с RunWayML, которая до сих пор не очень хороша, и Kling, которую принято считать топовой. Модель проприоритарная, бесплатные аккаунты были отключены из-за большого количества сгенерированных фейков - поэтому вы можете попробовать её за 10-120 долларов в месяц.
(моё мнение: сыровата! местами видны недопустимые для реального видео глюки даже на примерах!)
#generativeai #midjourney #video #reference #examples #image #people #animal #room #liquid
NebukadnezaDer #CommunityAbend 2.0 in der #STEIL #BoulderHalle in #Karlsruhe war der absolute Hammer. Alle waren total relaxed, es wurde Gegrillt, Gebouldert und Gechillt -- und ich hatte mega Spaß mein Set zu spielen. Von #Liquid #DrumNBass über #Lounge #House bis hin zu #AfterHour #Techno alles dabei.
Wenn ihr das Set nachhören wollt:
https://www.mixcloud.com/DJ_NebuK/live-at-steil-community-abend-20092025/
Oder auch auf https://www.nebuk.de/live-mixes/
#Karlsruhe #Events #Ausgehen #BBQ #Musik #Music #LiveSet #DJSet #AfterHourTechno #LoungeHouse #LiquidDnB
José A. AlonsoRefinement-types driven development: A study. ~ Facundo Domínguez, Arnaud Spiwack. https://arxiv.org/abs/2509.15005v1 #FunctionalProgramming #Liquid #Haskell #SMT
Refinement-Types Driven Development: A study
This paper advocates for the broader application of SMT solvers in everyday programming, challenging the conventional wisdom that these tools are solely for formal methods and verification. We claim that SMT solvers, when seamlessly integrated into a compiler's static checks, significantly enhance the capabilities of ordinary type checkers in program composition. Specifically, we argue that refinement types, as embodied by Liquid Haskell, enable the use of SMT solvers in mundane programming tasks. Through a case study on handling binder scopes in compilers, we envision a future where ordinary programming is made simpler and more enjoyable with the aid of refinement types and SMT solvers. As a secondary contribution, we present a prototype implementation of a theory of finite maps for Liquid Haskell's solver, developed to support our case study.
jackhutton 🇺🇸@Apple @AppleSupport I HATE that 'liquid' conceit on ios26 especially for ipad. Its awful. Stupid. Gimmicky and distracting. What have you done. This is a terrible release #apple #ios26 #iosliquid #liquid
