People
Activity
  • Sep 02 10:19
    brendanzab edited #103
  • Sep 01 15:36
    brendanzab edited #93
  • Sep 01 13:21
    brendanzab opened #128
  • Sep 01 11:52
    brendanzab synchronize #125
  • Sep 01 11:45
    brendanzab commented #93
  • Sep 01 11:44
    brendanzab commented #93
  • Aug 31 07:29

    brendanzab on gh-pages

    Deploy pikelet-lang/pikelet to … (compare)

  • Aug 31 07:25
  • Aug 31 07:24

    brendanzab on master

    Remove diagram This is covered… Add mathjax commands for contex… Merge pull request #127 from br… (compare)

  • Aug 31 07:24
    brendanzab closed #127
  • Aug 31 07:23
    brendanzab opened #127
  • Aug 30 07:56

    brendanzab on gh-pages

    Deploy pikelet-lang/pikelet to … (compare)

  • Aug 30 07:22
  • Aug 30 07:21

    brendanzab on master

    Comment Add mathjax commands for variab… Merge pull request #126 from br… (compare)

  • Aug 30 07:21
    brendanzab closed #126
  • Aug 30 07:20
    brendanzab opened #126
  • Aug 30 05:53
  • Aug 30 05:42
    brendanzab synchronize #125
  • Aug 30 01:08
  • Aug 30 00:54
    brendanzab synchronize #125
Angelo Bulfone
@boomshroom
I think Go actually managed to paradoxically implement its heap and garbage collector in itself.
Anyways, I need to get up early tomorrow and it's already past midnight, so see you tomorrow!
Brendan Zabarauskas
@brendanzab
Gnight!
Jon Purdy
@evincarofautumn
Huh, so he’s in my timezone
Brendan Zabarauskas
@brendanzab
Software Foundations has a new chapter on QuickCheck which is neat! Seems to miss a section on the motivations though...
Angelo Bulfone
@boomshroom
North America West coast?
Jon Purdy
@evincarofautumn
@boomshroom SF Bay Area, yeah :)
Angelo Bulfone
@boomshroom
I'm quite a bit further north in Vancouver, Canada.
Brendan Zabarauskas
@brendanzab
/me is in Melbourne
Ie. the Australian one, not the californian one
Jon Purdy
@evincarofautumn
@boomshroom Ah, cool—that’s not a far flight, but not exactly “let’s meet for coffee” distance :P
Angelo Bulfone
@boomshroom
Seeing the work on Habit just makes me more excited about Pikelet.
Brendan Zabarauskas
@brendanzab
Heh, so much more work to do though 😬
Angelo Bulfone
@boomshroom
Also I'm not even out of university yet and have a disappointingly low amount of code contributions.
Jon Purdy
@evincarofautumn
Bah, that’s a weak metric anyhow, don’t concern yourself
Angelo Bulfone
@boomshroom
I tend to be more concerned about what's cool rather than what's practical.
Hence why I do so much OS dev.
Brendan Zabarauskas
@brendanzab
Plenty of time for that! I’d advise not getting so sucked into oss that you drop out like I did!
Jon Purdy
@evincarofautumn
Well, broadly speaking, you need both—cool for short-term notoriety and attracting new interest, practical for long-term success
Brendan Zabarauskas
@brendanzab
Yeah
Angelo Bulfone
@boomshroom
My recent attempt at a game is one of my first real attempts at something practical, but it's already stalled due to having trouble with the engine and my inability to draw.
Brendan Zabarauskas
@brendanzab
You can embrace the terrible drawing style perhaps?
😊
Angelo Bulfone
@boomshroom
That can be a bit difficult when trying to tell a story.
I'm probably being way too ambitious for my first attempt.
Brendan Zabarauskas
@brendanzab
Yeaaah, very easy to fall into.
Angelo Bulfone
@boomshroom
I should also mention that I'm not a writer, I just love story-driven action RPGs. :P
Brendan Zabarauskas
@brendanzab
Only one way to get better
Well, that is an oversimplification
Angelo Bulfone
@boomshroom
For real this time, good night!
Brendan Zabarauskas
@brendanzab
:joy:
Jon Purdy
@evincarofautumn

if I say goodnight and an hour later you see me online it's not that I lied it's just that I failed

https://twitter.com/artyintheuk/status/1034637711410388992

Brendan Zabarauskas
@brendanzab
:clap: :D
Angelo Bulfone
@boomshroom
According to Wikipedia, ANF seems to be preferred by strict languages while CPS is preferred by non-strict ones.
While Pikelet will probably be strict by its nature, it would be really interesting if there was a non-strict systems language.
Looking at the notations themselves, the only real difference seems to be let-polymorphism.
Brendan Zabarauskas
@brendanzab
yeah, not sure if that is an inherent limitation though
but yeah, William Bowman recommends it because it's easier to do type preserving compilation with it
ie. with dependent types
Brendan Zabarauskas
@brendanzab
Also had an interesting discussion with him about ANF and effects: https://twitter.com/brendanzab/status/1035852942568374272
Brendan Zabarauskas
@brendanzab
Tbh I feel like I’m running into a bit of ‘idea debt’ with Pikelet...
A bit stuck making much progress
ie. been thinking too much about what to do, and not keeping up with actually trying things
Brendan Zabarauskas
@brendanzab
need to try more stuff :laughing:
Jon Purdy
@evincarofautumn
Interesting thread
I feel like combining effects and dependent types shouldn’t be as involved as they’re making it out to be—or rather, what do dependent types add that change the nature of effects?
Brendan Zabarauskas
@brendanzab
yeah, might be worth asking that on that thread!
I am kind of just trusting them when they say that they are