Twitter | Pretraživanje | |
Brendan Zabarauskas
World Builder, Artist, Programmer. Making a language called Pikelet. Passionate about building robust, friendly, reliable things. λΠ he/him 👨‍🎨👨‍💻👨‍🔬
11.457
Tweetovi
975
Pratim
989
Osobe koje vas prate
Tweetovi
Brendan Zabarauskas 11 min
Odgovor korisniku/ci @noneuclideangrl
Another solution miight be to use reference counting, and have a weak reference somewhere (to avoid a cycle). But I dunno if that fits your use case.
Reply Retweet Označi sa "sviđa mi se"
Brendan Zabarauskas 12 min
Odgovor korisniku/ci @noneuclideangrl
Hmmmm interesting! Sometimes cloning is a good idea (sometimes folks get too hungup on not doing so), but there might be a better way. If you want me to look over it anytime - sometimes this stuff can be hard to explain without context - I'd be more than happy to help!
Reply Retweet Označi sa "sviđa mi se"
Brendan Zabarauskas 20 min
Odgovor korisniku/ci @noneuclideangrl
Reply Retweet Označi sa "sviđa mi se"
Brendan Zabarauskas 24 min
Odgovor korisniku/ci @noneuclideangrl
curse ye De Bruijn indices! so confusing!
Reply Retweet Označi sa "sviđa mi se"
Brendan Zabarauskas 26 min
Odgovor korisniku/ci @noneuclideangrl
Arrgh sounds like the months I spent trying to figure out why my polymorphic identity function wouldn't type check, when I'd messed up my variable binding implementation.
Reply Retweet Označi sa "sviđa mi se"
Brendan Zabarauskas 30 min
Odgovor korisniku/ci @noneuclideangrl
Oh neat! Encryption stuff goes way over my head. Much respect! 🤩
Reply Retweet Označi sa "sviđa mi se"
Brendan Zabarauskas 34 min
Odgovor korisniku/ci @noneuclideangrl
ooh what are you working on?
Reply Retweet Označi sa "sviđa mi se"
Brendan Zabarauskas 36 min
Odgovor korisniku/ci @mrkgrnao @roundrobocat
Ooooooh. Yeah I saw some of this stuff in this presentation - finally starting to make a bit of sense, but I've learned a bit more about how topologists use intervals now, so perhaps that helped.
Reply Retweet Označi sa "sviđa mi se"
Brendan Zabarauskas 38 min
Odgovor korisniku/ci @mrkgrnao @roundrobocat
hatcher?
Reply Retweet Označi sa "sviđa mi se"
Brendan Zabarauskas 40 min
Odgovor korisniku/ci @mrkgrnao @roundrobocat
my mind was blown when they exhaustively pattern matched on a torus and returned a pair of circles 😱
Reply Retweet Označi sa "sviđa mi se"
Brendan Zabarauskas 42 min
Odgovor korisniku/ci @mrkgrnao @roundrobocat
love those loopy bois and those quotient inductive inductive inductive types
Reply Retweet Označi sa "sviđa mi se"
Brendan Zabarauskas proslijedio/la je tweet
ヘルミッペ 5 h
色合いを変えた時の、印象の違いなどを試しました。上から文字を被せるためのテストです。
Reply Retweet Označi sa "sviđa mi se"
Brendan Zabarauskas 4. velj
Nice post on how the performance of software tools greatly impacts how they are used, and how early design decisions can mean the difference between making good performance achievable or extremely difficult (uses the Sorbet type checker as an example):
Reply Retweet Označi sa "sviđa mi se"
Brendan Zabarauskas 3. velj
Odgovor korisniku/ci @rob_rix @d_christiansen i 2 ostali
I at least have the ability to change my language design to suit, where as you are struggling with modelling existing languages I think? If you are referring to your work at github? That's super challenging. 😬
Reply Retweet Označi sa "sviđa mi se"
Brendan Zabarauskas 3. velj
Odgovor korisniku/ci @rob_rix @d_christiansen i 2 ostali
Adam Chipala mentioned something similar in his talk at POPL, but it's been something on my mind for some time - very much inspired by discussions I've had with .
Reply Retweet Označi sa "sviđa mi se"
Brendan Zabarauskas 3. velj
Odgovor korisniku/ci @rob_rix @d_christiansen @mrkgrnao
Yeah, I've not run into it yet, more just anticipating it. And the dependency information is going to be handy for other stuff too, like multistage programming - I think? It also seems handy for low level processors ultimately (if we could sidestep machine code somehow).
Reply Retweet Označi sa "sviđa mi se"
Brendan Zabarauskas 3. velj
See this sibling thread:
Reply Retweet Označi sa "sviđa mi se"
Brendan Zabarauskas 3. velj
Yeah, I'll believe you - it's a mild annoyance. I think I'm going to have to use immutable data structures for environments (in my Rust implementation). I think my struggle is more to do with how to then progress from there to doing more interesting stuff with dependency graphs.
Reply Retweet Označi sa "sviđa mi se"
Brendan Zabarauskas 3. velj
Odgovor korisniku/ci @edwinbrady @rob_rix i 2 ostali
Yeah, the levels+indices approach mentioned here is used in smalltt from what I've seen, which seems to be what you're doing in Idris 2!
Reply Retweet Označi sa "sviđa mi se"
Brendan Zabarauskas 3. velj
Odgovor korisniku/ci @d_christiansen @mrkgrnao
Like the level/index stuff doesn't it seem to help when comparing two things that might be out of order, but equivalent if you consider the way they are structured dependency-wise, and seems like it could make this harder.
Reply Retweet Označi sa "sviđa mi se"