home.social

#eiffel — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #eiffel, aggregated by home.social.

fetched live
  1. Marc Riboud
    Marc Riboud reportedly took his first photographic attempt in Paris. In 1953, while the Eiffel Tower was being repainted, he allegedly climbed the tower and photographed one of the workers on the job, Paris, 1953
    #marcriboud #photography #eiffel

  2. Kastje op het stadsplein van Ulmen (Eiffel). Ramvol, ik kon er nog net mijn wegbrengboeken in kwijt. Veel krimi boeken.

    #minibiebmaandag #minibieb #bücherkiste #ulmen #Eiffel

  3. Kastje in Saxler, Eiffel, Duitsland. Naast de bushalte en de 'kein Trinkwasser' stenen waterbak. Goede kwaliteit boeken, niet de bekende winkeldochters.

    #minibiebmaandag #minibieb #bücherkiste #Saxler #Eiffel

  4. [Перевод] Верификация программного обеспечения в эпоху искусственного интеллекта

    Генеративный ИИ возродил давнее обещание: что нам больше не придётся писать программы — что достаточно будет лишь сформулировать, что требуется , а машина сделает остальное. В этой статье данное обещание рассматривается через призму программной инженерии и, в особенности, верификации . Утверждается, что хотя современный ИИ действительно меняет способ создания программ, кодирование составляет лишь малую долю программной инженерии; что трудные части — требования, архитектура и прежде всего проверка и верификация (V & V) — остаются трудными; и что определяющий вид отказа ИИ, галлюцинация , делает гарантии корректности более, а не менее важными. Мы рассматриваем измеренные свидетельства инцидентов, связанных с ИИ, напоминаем, почему «почти корректные» компоненты складываются в ненадёжные системы, и описываем эксперимент по созданию формально верифицированной системы управления конференциями с помощью ИИ-ассистента и среды AutoProof для языка Eiffel. Из этого опыта мы выводим итеративный процесс — специфицируй понемногу, реализуй понемногу, пытайся верифицировать, исправляй — и взгляд на инструментальную цепочку как на федерацию взаимодействующих ИИ-агентов. Вывод осторожно оптимистичен: для повседневных разработок ИИ — это нивелирующая технология, способная во многом автоматизировать работу; для деловых и критических разработок это усиливающая технология, и уроки программной инженерии применимы как никогда.

    habr.com/ru/articles/1046936/

    #генеративный_ИИ #большие_языковые_модели #верификация_ПО #проектирование_по_контракту #Eiffel #AutoProof #инженерия_требований #галлюцинации #формальные_методы

  5. #Girona’s Pont de les Peixateries Velles, designed by Gustave #Eiffel, decorated for the Temps de Flors festival that was going on there a couple of weeks ago.

    #photography #TravelPhotography #travel #bridge #Catalonia #Spain

  6. ProtoBuf advolvendum est
    The proficient Miguel Young de la Sota suggests to use Protocol Buffers1 instead of JSON in his article "Nobody Gets Fired for Picking JSON, but Maybe They Should?"

    I shall add to my advolvenda2
    monodes.com/predaelli/2026/03/
    #Advolvenda #Agenda #Eiffel #LibertyEiffel

  7. Merdalors...je visite #Palamós depuis 50 ans, et je ne savais pas qu'il y avait un pont Gustave #Eiffel, comme à Girona... caché au fond d'une rue.
    Edit: Il a été construit comme second pont Eiffel à Girona en 1878, et déplacé à Palamos en 1968 ! Dans l'esprit: on va pas le jeter, on a qu'a le mettre dans l'endroit le plus class du monde. costabravamaniacs.com/celebrit