KK
Спарка ада
Size: a a a
2020 June 03
KK
Похоже на прозвище какого-то британского самолет времен второй мировой)
W
W
Минутка форса Ады.
Наиболее интересно будет ембеддам.
Мини RTOS из коробки, в рантайме языка.
https://blog.adacore.com/theres-a-mini-rtos-in-my-language
Один из примеров применения, в том числе, с формальной верефикацией.
https://blog.adacore.com/make-with-ada-the-smartbase
Небольшое пояснение по SPARK, с примерами (чутка кривое и маленькое, но для примера пойдет):
https://ru.qwe.wiki/wiki/SPARK_(programming_language)
Наиболее интересно будет ембеддам.
Мини RTOS из коробки, в рантайме языка.
https://blog.adacore.com/theres-a-mini-rtos-in-my-language
Один из примеров применения, в том числе, с формальной верефикацией.
https://blog.adacore.com/make-with-ada-the-smartbase
Небольшое пояснение по SPARK, с примерами (чутка кривое и маленькое, но для примера пойдет):
https://ru.qwe.wiki/wiki/SPARK_(programming_language)
Продолжение форса ады:
Недавно прикрутили protobuf, tests passed.
Есть сокеты из коробки.
Нет, я ни на что не намекаю, но почему бы и нет?
P.S. генерация биндингов из коробки к сишечке, плюсам и фортрану - в наличии.
Недавно прикрутили protobuf, tests passed.
Есть сокеты из коробки.
Нет, я ни на что не намекаю, но почему бы и нет?
P.S. генерация биндингов из коробки к сишечке, плюсам и фортрану - в наличии.
IL
Продолжение форса ады:
Недавно прикрутили protobuf, tests passed.
Есть сокеты из коробки.
Нет, я ни на что не намекаю, но почему бы и нет?
P.S. генерация биндингов из коробки к сишечке, плюсам и фортрану - в наличии.
Недавно прикрутили protobuf, tests passed.
Есть сокеты из коробки.
Нет, я ни на что не намекаю, но почему бы и нет?
P.S. генерация биндингов из коробки к сишечке, плюсам и фортрану - в наличии.
Меняй ник на ADA ONE LOVE
W
Меняй ник на ADA ONE LOVE
Лооол.
Хорошая идея, да.
Хорошая идея, да.
IL
Лооол.
Хорошая идея, да.
Хорошая идея, да.
и логин делай @adashiz01
IL
чем ты хуже @foxtran ?
IL
или @shizada1
W
и логин делай @adashiz01
Адская шиза...
Хммммм....
Звучит неплохо.
Хммммм....
Звучит неплохо.
IL
/
че это я открыл?
IL
Генерация уровня для червячков
FO
Адская шиза...
Хммммм....
Звучит неплохо.
Хммммм....
Звучит неплохо.
Лоооол
IL
Лоооол
принимай в ряды фриков!
FO
принимай в ряды фриков!
Уже!
FO
принимай в ряды фриков!
Ну хоть питона полюби!
IL
Ну хоть питона полюби!
Неть