home.social

#mrv — Public Fediverse posts

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

fetched live
  1. ИграКОД: Генератор судоку на TypeScript: почему найти решение проще, чем доказать единственность

    Главная ошибка наивного генератора судоку — проверять, что решение существует, но не проверять, что оно единственное. Вот почти заполненное поле: 534..8912 672195348 198342567 859..1423 426853791 713924856 961537284 287419635 345286179 solve() быстро заполнит четыре пропуска. Только завершений здесь два: цифры 6 и 7 можно переставить, не нарушив ни строку, ни столбец, ни блок. countSolutions(puzzle, 2) останавливается после второго решения и возвращает 2 . Это не демонстрационная картинка. Та же строка из 81 символа лежит в solver.spec.ts , тест так и называется: «контрпример из лида действительно имеет два решения». Я реализовал три стратегии поиска, а MRV и propagation дополнительно сравнил на наборах задач. Ещё измерил две операции: получение первого решения и доказательство того, что второго решения нет. Вторая вызывается после каждой попытки убрать подсказку, поэтому она в основном определяет цену генерации. React, Web Worker и тесты появятся дальше как обвязка этого поиска, а не как отдельные темы. Это первый выпуск рубрики «ИграКОД» — про алгоритмы через запускаемые мини-игры. Ранее в цикле выходили материалы про useEffect , any , перенос TypeScript на Go , варианты архитектуры React-магазина и мы собирали и разбирали комбайн .

    habr.com/ru/articles/1065276/

    #TypeScript #судоку #алгоритмы #backtracking #MRV #propagation #генерация_судоку #React #Web_Worker #тестирование

  2. ИграКОД: Генератор судоку на TypeScript: почему найти решение проще, чем доказать единственность

    Главная ошибка наивного генератора судоку — проверять, что решение существует, но не проверять, что оно единственное. Вот почти заполненное поле: 534..8912 672195348 198342567 859..1423 426853791 713924856 961537284 287419635 345286179 solve() быстро заполнит четыре пропуска. Только завершений здесь два: цифры 6 и 7 можно переставить, не нарушив ни строку, ни столбец, ни блок. countSolutions(puzzle, 2) останавливается после второго решения и возвращает 2 . Это не демонстрационная картинка. Та же строка из 81 символа лежит в solver.spec.ts , тест так и называется: «контрпример из лида действительно имеет два решения». Я реализовал три стратегии поиска, а MRV и propagation дополнительно сравнил на наборах задач. Ещё измерил две операции: получение первого решения и доказательство того, что второго решения нет. Вторая вызывается после каждой попытки убрать подсказку, поэтому она в основном определяет цену генерации. React, Web Worker и тесты появятся дальше как обвязка этого поиска, а не как отдельные темы. Это первый выпуск рубрики «ИграКОД» — про алгоритмы через запускаемые мини-игры. Ранее в цикле выходили материалы про useEffect , any , перенос TypeScript на Go , варианты архитектуры React-магазина и мы собирали и разбирали комбайн .

    habr.com/ru/articles/1065276/

    #TypeScript #судоку #алгоритмы #backtracking #MRV #propagation #генерация_судоку #React #Web_Worker #тестирование

  3. ИграКОД: Генератор судоку на TypeScript: почему найти решение проще, чем доказать единственность

    Главная ошибка наивного генератора судоку — проверять, что решение существует, но не проверять, что оно единственное. Вот почти заполненное поле: 534..8912 672195348 198342567 859..1423 426853791 713924856 961537284 287419635 345286179 solve() быстро заполнит четыре пропуска. Только завершений здесь два: цифры 6 и 7 можно переставить, не нарушив ни строку, ни столбец, ни блок. countSolutions(puzzle, 2) останавливается после второго решения и возвращает 2 . Это не демонстрационная картинка. Та же строка из 81 символа лежит в solver.spec.ts , тест так и называется: «контрпример из лида действительно имеет два решения». Я реализовал три стратегии поиска, а MRV и propagation дополнительно сравнил на наборах задач. Ещё измерил две операции: получение первого решения и доказательство того, что второго решения нет. Вторая вызывается после каждой попытки убрать подсказку, поэтому она в основном определяет цену генерации. React, Web Worker и тесты появятся дальше как обвязка этого поиска, а не как отдельные темы. Это первый выпуск рубрики «ИграКОД» — про алгоритмы через запускаемые мини-игры. Ранее в цикле выходили материалы про useEffect , any , перенос TypeScript на Go , варианты архитектуры React-магазина и мы собирали и разбирали комбайн .

    habr.com/ru/articles/1065276/

    #TypeScript #судоку #алгоритмы #backtracking #MRV #propagation #генерация_судоку #React #Web_Worker #тестирование

  4. DARPA's Twin-Armed Robot Heads to Geosynchronous Orbit to Service Satellites in Flight

    Follow us and never miss a story.

    1ban.news/mrv-rsgs-robotic-sat

    #1ban #mrv #rsgs #robotic #satellite #space

  5. #AP:
    "
    Private mission launches to extend life of out-of-gas communication satellites
    "
    "Once in place by mid-2027, the minivan-sized spacecraft will use its 10-foot (9-meter) arms to attach a jetpack to an aging communication satellite. Then it will zip off to two more satellites in need."

    cfpublic.org/space/2026-07-23/

    23.7.2026

    ("jetpacks" > MEP 1, MEP 2, MEP 3)

    #DARPA #Intelsat #MEP #MRV #MRV1 #NorthropGrumman #Optus #Raumfahrt #satcom #Satelliten #SES #SpaceFlight

  6. #AP:
    "
    Private mission launches to extend life of out-of-gas communication satellites
    "
    "Once in place by mid-2027, the minivan-sized spacecraft will use its 10-foot (9-meter) arms to attach a jetpack to an aging communication satellite. Then it will zip off to two more satellites in need."

    cfpublic.org/space/2026-07-23/

    23.7.2026

    ("jetpacks" > MEP 1, MEP 2, MEP 3)

    #DARPA #Intelsat #MEP #MRV #MRV1 #NorthropGrumman #Optus #Raumfahrt #satcom #Satelliten #SES #SpaceFlight

  7. #AP:
    "
    Private mission launches to extend life of out-of-gas communication satellites
    "
    "Once in place by mid-2027, the minivan-sized spacecraft will use its 10-foot (9-meter) arms to attach a jetpack to an aging communication satellite. Then it will zip off to two more satellites in need."

    cfpublic.org/space/2026-07-23/

    23.7.2026

    ("jetpacks" > MEP 1, MEP 2, MEP 3)

    #DARPA #Intelsat #MEP #MRV #MRV1 #NorthropGrumman #Optus #Raumfahrt #satcom #Satelliten #SES #SpaceFlight

  8. #AP:
    "
    Private mission launches to extend life of out-of-gas communication satellites
    "
    "Once in place by mid-2027, the minivan-sized spacecraft will use its 10-foot (9-meter) arms to attach a jetpack to an aging communication satellite. Then it will zip off to two more satellites in need."

    cfpublic.org/space/2026-07-23/

    23.7.2026

    ("jetpacks" > MEP 1, MEP 2, MEP 3)

    #DARPA #Intelsat #MEP #MRV #MRV1 #NorthropGrumman #Optus #Raumfahrt #satcom #Satelliten #SES #SpaceFlight

  9. #AP:
    "
    Private mission launches to extend life of out-of-gas communication satellites
    "
    "Once in place by mid-2027, the minivan-sized spacecraft will use its 10-foot (9-meter) arms to attach a jetpack to an aging communication satellite. Then it will zip off to two more satellites in need."

    cfpublic.org/space/2026-07-23/

    23.7.2026

    ("jetpacks" > MEP 1, MEP 2, MEP 3)

    #DARPA #Intelsat #MEP #MRV #MRV1 #NorthropGrumman #Optus #Raumfahrt #satcom #Satelliten #SES #SpaceFlight

  10. SpaceX launches orbital repair robot on veteran Falcon 9's final ride to geosynchronous orbit

    Share if you found this interesting.

    1ban.news/orbital-repair-robot

    #1ban #orbital #repair #robot #mrv #space

  11. The Mission Robotic Vehicle (#MRV) is equipped with a highly dexterous #robotic servicing suite designed to perform complex tasks such as on-orbit upgrades, inspections, anomaly resolution, and #satellite relocation. Scheduled to launch 🚀 in summer 2026 darpa.mil/news/2026/robotic-se

    #robotics #SpaceRobot

  12. The Mission Robotic Vehicle (#MRV) is equipped with a highly dexterous #robotic servicing suite designed to perform complex tasks such as on-orbit upgrades, inspections, anomaly resolution, and #satellite relocation. Scheduled to launch 🚀 in summer 2026 darpa.mil/news/2026/robotic-se

    #robotics #SpaceRobot

  13. The Mission Robotic Vehicle (#MRV) is equipped with a highly dexterous #robotic servicing suite designed to perform complex tasks such as on-orbit upgrades, inspections, anomaly resolution, and #satellite relocation. Scheduled to launch 🚀 in summer 2026 darpa.mil/news/2026/robotic-se

    #robotics #SpaceRobot

  14. The Mission Robotic Vehicle (#MRV) is equipped with a highly dexterous #robotic servicing suite designed to perform complex tasks such as on-orbit upgrades, inspections, anomaly resolution, and #satellite relocation. Scheduled to launch 🚀 in summer 2026 darpa.mil/news/2026/robotic-se

    #robotics #SpaceRobot

  15. The Mission Robotic Vehicle (#MRV) is equipped with a highly dexterous #robotic servicing suite designed to perform complex tasks such as on-orbit upgrades, inspections, anomaly resolution, and #satellite relocation. Scheduled to launch 🚀 in summer 2026 darpa.mil/news/2026/robotic-se

    #robotics #SpaceRobot