RB
остальные проблемы - namespace self = dk|atreus
Size: a a a
2021 March 08
RB
если хочет при сборке - так же элементарно. Я не понимаю какого уровня консифгруация ему нужны
RB
если его просто подставить файл при компиляции нормально - так же это делается и в С/С++. Причём тут zig непонятно
RB
а вообще в целом подход копипаста дерьма, которая нужна в скриптухе. Нормальная язык тебе позволяет сделать полиморфную реализацию и загрузить туда конфиг
RB
который ты опишешь хоть в жсоне
RB
ну на скриптухе ты можешь написать внешний когенератор, макрос дерьма. И потом написать ещё одну программу, которая будет генерировать тебе твои led
r
Alexander Krivitskiy
Ещё один пруф в пользу того, что зиг более подходящая альтернатива сишке, чем Раст.
Ещё один пруф того, что учение - свет, а неучёных тьма. Чувак не слышал про трейты.
ΑZ
Решил посмотреть на доказательства в Automath. Ну, что я могу сказать?
these are REAL AUTOMATH PROOFS written by REAL TYPE THEORISTS
They have played us for absolute fools!
these are REAL AUTOMATH PROOFS written by REAL TYPE THEORISTS
zeta0@satz201:=rlapp(ksi0,is(ts(ksi0,pl(eta0,zeta0)),pl(ts(ksi0,eta0),ts(ksi0,zeta0))),[t:pos(ksi0)]t8".4201"(t),[t:is(ksi0,0)]t9".4201"(t),[t:neg(ksi0)]t14".4201"(t)):is(ts(ksi0,pl(eta0,zeta0)),pl(ts(ksi0,eta0),ts(ksi0,zeta0)))
disttp1:=tr3is(rl,ts(pl(ksi0,eta0),zeta0),ts(zeta0,pl(ksi0,eta0)),pl(ts(zeta0,ksi0),ts(zeta0,eta0)),pl(ts(ksi0,zeta0),ts(eta0,zeta0)),comts(pl(ksi0,eta0),zeta0),satz201(zeta0,ksi0,eta0),ispl12(ts(zeta0,ksi0),ts(ksi0,zeta0),ts(zeta0,eta0),ts(eta0,zeta0),comts(zeta0,ksi0),comts(zeta0,eta0))):is(ts(pl(ksi0,eta0),zeta0),pl(ts(ksi0,zeta0),ts(eta0,zeta0)))
disttp2:=satz201:is(ts(ksi0,pl(eta0,zeta0)),pl(ts(ksi0,eta0),ts(ksi0,zeta0)))
distpt1:=symis(rl,ts(pl(ksi0,eta0),zeta0),pl(ts(ksi0,zeta0),ts(eta0,zeta0)),disttp1):is(pl(ts(ksi0,zeta0),ts(eta0,zeta0)),ts(pl(ksi0,eta0),zeta0))
distpt2:=symis(rl,ts(ksi0,pl(eta0,zeta0)),pl(ts(ksi0,eta0),ts(ksi0,zeta0)),disttp2):is(pl(ts(ksi0,eta0),ts(ksi0,zeta0)),ts(ksi0,pl(eta0,zeta0)))
satz202:=tris(rl,ts(ksi0,mn(eta0,zeta0)),pl(ts(ksi0,eta0),ts(ksi0,mn0(zeta0))),mn(ts(ksi0,eta0),ts(ksi0,zeta0)),disttp2(ksi0,eta0,mn0(zeta0)),ispl2(ts(ksi0,mn0(zeta0)),mn0(ts(ksi0,zeta0)),ts(ksi0,eta0),satz197b(ksi0,zeta0))):is(ts(ksi0,mn(eta0,zeta0)),mn(ts(ksi0,eta0),ts(ksi0,zeta0)))
disttm1:=tris(rl,ts(mn(ksi0,eta0),zeta0),pl(ts(ksi0,zeta0),ts(mn0(eta0),zeta0)),mn(ts(ksi0,zeta0),ts(eta0,zeta0)),disttp1(ksi0,mn0(eta0),zeta0),ispl2(ts(mn0(eta0),zeta0),mn0(ts(eta0,zeta0)),ts(ksi0,zeta0),satz197a(eta0,zeta0))):is(ts(mn(ksi0,eta0),zeta0),mn(ts(ksi0,zeta0),ts(eta0,zeta0)))
They have played us for absolute fools!
A
Roman Blog
Типичная история. Я ничего не знаю, но ретранслирую херню. "я думаю", "я думаю потому-то" и никаких обоснований думанью. Да, макросы отдельный потому, что обычный язык бы слишком мощный и проблема во времени компиляции, при этом далее пишет, что компилятор в этой хернее тормозит так, как нигде более
Так он написал же, что из динамики пришёл. На реддите верно написали, что он не понимает причин для любви раста, тк не из с/с++ мира
b
Agrailag
Так он написал же, что из динамики пришёл. На реддите верно написали, что он не понимает причин для любви раста, тк не из с/с++ мира
люди из с/с++ тоже обычно не понимают причин для любви раста
b
Why I rewrote my Rust keyboard firmware in Zig: consistency, mastery, and fun
https://www.reddit.com/r/rust/comments/lznan0/why_i_rewrote_my_rust_keyboard_firmware_in_zig/?utm_medium=android_app&utm_source=share
https://www.reddit.com/r/rust/comments/lznan0/why_i_rewrote_my_rust_keyboard_firmware_in_zig/?utm_medium=android_app&utm_source=share
отличную методичку подвезли, да, еще вчера на хакерньюсе читали https://news.ycombinator.com/item?id=26374268
b
можно сказать это даже бинго–методичка, в заголовке есть одновременно rust, zig и firmware
ΑZ
Переслано от невидимка 🇧🇾...
ΑZ
AL
Как проще всего выкачать гитхаб репу целиком с задачами и пулреквестами для просмотра оффлайн?
b
Как проще всего выкачать гитхаб репу целиком с задачами и пулреквестами для просмотра оффлайн?
через API, но вообще есть такая штукенция https://github.com/mattduck/gh2md
AL
через API, но вообще есть такая штукенция https://github.com/mattduck/gh2md
О, спасибо, потыкаю.
Что самому можно по апи походить эт понятно, но хочется уже готовое чет. Хотелка-то вряд ли сильно необычная
Что самому можно по апи походить эт понятно, но хочется уже готовое чет. Хотелка-то вряд ли сильно необычная
b
кстати что касается гитхаба, я бы вообще от него отказывался по возможности
b
я игрался с radicle, например, имхо это очень удачная вешч. полностью работает на гитовых объектах