А
кстати, заявление про 90% как бы намекает на то что не так уж и просто легко натянуть пруфы на сишное ядро
Size: a a a
2021 March 10
А
так что возможно борроу чекер игрушечного языка не такой уж и плохой компромисс
r
Требовать от программистов математического образования. Без опубликованной научной работы не брать. На собеседовании давать теоремы доказывать. А то расслабились, даже без высшего образования программируют.
AN
Есть пример как оно выглядит?
b
надо запарте, деньги из-под парты достали
ну учитывая что https://sel4.systems/Contribute.html страница с их сайта отдает 404…
b
не то чтобы внушает доверие, но микроядерные пацаны мне кажется в долгосрочной перспективе выиграют
b
когда вся эта докерная параша обвалится под собственным весом
s
Есть пример как оно выглядит?
Не, я не смотрел подробно.
b
red75prime
Требовать от программистов математического образования. Без опубликованной научной работы не брать. На собеседовании давать теоремы доказывать. А то расслабились, даже без высшего образования программируют.
я не понял это шутка или всерьез
s
Но в принципе я не удивлён: коммерческим компаниям выгоднее использовать другие решения. У DARPA же немного другие критерии.
b
судя по всему шутка… но сейчас найдешь людей кто такое и на серьезных щщах может написать легко
AN
> DARPA
> страница с их сайта отдает 404…
за тобой уже выйхали
> страница с их сайта отдает 404…
за тобой уже выйхали
KR
red75prime
Требовать от программистов математического образования. Без опубликованной научной работы не брать. На собеседовании давать теоремы доказывать. А то расслабились, даже без высшего образования программируют.
Не, просто надо уже этот логос написать и проблема программирования решится, то есть умрёт
b
наконец–то правильные мысли пошли!
EP
Кто-нибудь знает годный чат по си типо растового?
MM
b
EG
А чо тут обсуждать? Да, асинхронщина в расте — сложна.