• ?

    user

    5 months ago
    Hello, I'm working on creating a dependently typed programming language that stores code as raw syntax trees for deduplication purposes (kinda like unison). I joined this server because I was wondering if anyone knew any good resources about how I might go about implementing a dependently typed programming language, (i.e. PI operator, type inference & checking, hierarchy of universes & inductive types)
    Jimmy Miller
    4 replies
    Copy to Clipboard
  • Joran Dirk Greef

    Joran Dirk Greef

    4 months ago
    Hey folks! I got here via HYTRADBOI. I’m the lead for your friendly neighborhood TigerBeetle, an open-source distributed DB by Coil to track financial transactions. Looking forward to connecting and learning from you.
    Joran Dirk Greef
    Orion Reed
    2 replies
    Copy to Clipboard
  • p

    peter royal

    4 months ago
    👋 i also found my way here via HYTRADBOI. my interest is the intersection of coding, data modeling, time, and users. i’ve been toying with computers for decades, and working professionally as a developer for 2+ of them. my current interest is around a “what’s old again is new again” to use ledgers to track data changes, particularly around the devex in making this approachable to a wider set of developers. most of my experience has been with end-user software, be it business applications, games, or trading systems. i also did a stint at a startup for a bit in the semantic web space in the mid-00's when it was the new web3.0. that definitely “poisoned” my mind (so to speak) in thinking about data models, schemas, interoperability, and dynamically reconfigurable software. i love learning about new-to-me ideas, and look forward to chatting with you all.
  • Vaughan Rouesnel

    Vaughan Rouesnel

    4 months ago
    Also coming from HYTRADBOI. Living in Berlin. I think programming should be way more visual and easily debuggable. We should be able to visualize our projects structure and execution flow. We should also be able to interact with state and data visually. I also think we need a new database closely tied to the frontend.
  • Brett Neese

    Brett Neese

    4 months ago
    👋 Hey everyone, my name is Brett Neese and I split my time between Puerto Vallarta and Mexico City, Mexico at the moment. I am a software engineer by day and I am studying for a master's degree in cybernetics (which is hard to define but tl;dr I think a lot about systems of all kinds from a philosophical perspective) at DePaul University at night (I built my own degree program). Currently I'm thinking a lot about emergence in computing (and even writing some of it down!). A friend sent me a link to the latest episode of the podcast which I found particularly relevant to the work I was already doing. It actually started me down a bit of a rabbit hole and now I'm here. I don't just write theory, either, I'm also a bit of an artist (or trying to be one). I think that art can provide a glimpse into what a different world would look like so I'm trying to tie the two together. You can read some of my writing here https://queerinterfac.es/tagged/essays and find more about me here: http://www.brettneese.xyz
    Brett Neese
    Daniel Krasner
    +1
    4 replies
    Copy to Clipboard
  • Gabriel Grinberg

    Gabriel Grinberg

    4 months ago
    Hey everyone 👋 I'm Gabriel. Recently quit my day job as an Engineering manager to build the visual programming platform I've always dreamt of. Have been following the projects listed on the Future of Coding website for quite a while now, and just realized there's a Slack community! Looking forward to have fruitful conversations on how can backend development evolve to a visual programming paradigm. If these topics are of interest to you please ping me! and I'll be sharing some progress in #share-your-work soon 😊
  • r

    Riley Stewart

    4 months ago
    Greetings. As someone deeply involved in computing, I've always felt rather conflicted about it. On the one hand, the unbounded potential of the dynamic medium has oriented my life for as long as I've been in contact with it. However, not long after I began to learn its workings did I grow disappointed by the imperfections inherent within our computing environments. More than anything else, the limits they face are not imposed by intractable reality, yet rather the uncontrollable buildup of accidental complexity that all but the most carefully engineered software projects are liable to. There has to be some way of building that avoids these traps systematically and easily. In the past few months, I've come to the realization that the object-oriented idea offers the clearest way out, despite being maligned by a few popular yet flawed languages that poisoned the idea in the programmer mindshare. A new generation of scripting languages have embraced it to varying success (Ruby more than others IMO), but nothing approaches Smalltalk/Self levels of object uniformity or CLOS levels of metacircularity. What's missing, I feel, is something that picks those threads back up and takes advantage of modern affordances to make something radically simpler and human oriented, and I have been exploring language design space towards that end. It's exciting to find a community of people who see the same problems in this critical field, and I hope to learn from your points of view as we all take our stabs at the problem. The current state of programming is alarming, as evidenced by the growing number of people seeking to change something about it. My hope is that ours is the generation that succeeds in doing so.
    r
    1 replies
    Copy to Clipboard
  • Mark Christian

    Mark Christian

    4 months ago
    Hello, friends! My name is Mark, and I've been vaguely noodling on the future of building webapps for the past few months. I am delighted to have discovered this community! I'm a frontend developer by trade. I currently work as an engineer in residence at a VC firm, kicking the proverbial tires on new tech platforms and frameworks. Previously, I was an early engineer at Slack and, in the ever-receding distance of my memory, at Twitter as well.
    Mark Christian
    1 replies
    Copy to Clipboard
  • Mario Sangiorgio

    Mario Sangiorgio

    4 months ago
    Hello, I'm Mario. A London-based software engineer. I mostly work on backend/system software but I'm very interested in how we could improve the way we code. I've been listening to the podcast for a while and I just realised that there is also this Slack community, which I'm sure has a lot of interesting content and discussions
    Mario Sangiorgio
    Tom Larkworthy
    3 replies
    Copy to Clipboard
  • Jim Meyer

    Jim Meyer

    4 months ago
    Hi all, I'm Jim 👋 I enjoy working in the space where design and code meets. I've worked directly with UX teams on design systems, but I also go way in the other direction, having worked on compilers and developer tooling like the GraphQL plugin for WebStorm. Currently obsessed with making designers fall in love with code through better design tools. Latest thinking: Code should invite shaping in the same way that clay does for car designers. Design experiments with code should be visual and fun with instant feedback. Have already found tons of interesting threads in here. Looking forward to many more to come 🙂