https://futureofcoding.org/ logo
Docs
Join the conversationJoin Slack
Channels
administrivia
announcements
bot-dark-forest
devlog-together
in-alberta
in-boston
in-germany
in-israel
in-london
in-nyc
in-ontario
in-seattle
in-sf
in-socal
introduce-yourself
linking-together
of-end-user-programming
of-functional-programming
of-graphics
of-logic-programming
of-music
present-company
random-encounters
reading-together
share-your-work
thinking-together
two-minute-week
wormholes
Powered by Linen
thinking-together
  • s

    Stathis

    07/27/2019, 10:39 AM
    Some interesting ideas here on the interaction of text+mouse:

    https://www.youtube.com/watch?v=SgAWGh1s9zg▾

    👍🏻 2
    ❤️ 6
    n
    w
    • 3
    • 3
  • n

    Nick Smith

    07/27/2019, 12:40 PM
    I have a new random question: Has anyone seen attempts to take a functional language and mix it with a graph database / query language? Today I've been wondering if you can have a standard "select" query from a graph DB spit out the resultant subtree(s) as an ADT (record) that a functional language can traverse/manipulate as normal in order to make an update. You could take the Elm Architecture and just swap out the Model for a graph DB, and have the update function trigger a query upon it that feeds data into the functional language.
    e
    g
    g
    • 4
    • 4
  • n

    Nick Smith

    07/27/2019, 12:42 PM
    Maybe the reason why nobody's invented the future of programming is that they always settle for only one of these paradigms 😂
    d
    • 2
    • 1
  • d

    Duncan Cragg

    07/27/2019, 12:44 PM
    Sounds like how my Onex works!
    n
    • 2
    • 4
  • d

    Dan Cook

    07/27/2019, 9:30 PM
    So I've been going through the "recap" podcasts and getting a good picture of where @stevekrouse has been and where he's going, and this community along with it; and I'm coming from a smaller community that formed in response to a discontinued VPRI mailing list, and attempts to collaborate, and finding other similar communities along the way, until ultimately winding up here. From all I've seen, it seems that this community is the biggest most functional group of such people out there, in the realm of collaboration toward the future of coding or Kay's "computer revolution that hasn't happened yet". And in particular, where Steve has been, the connections he has / has had, the following here, his involvement with education, etc. ... It seems that Steve is very much at a center-point of all this (at least from a community/influence standpoint), and in the very fortunate position to have been where he's been and connect and that he's able to be formally researching and developing this stuff as the main focus of his time ... I don't know that there's anyone else on the planet quite in that position of ability and center of influence. What I'm getting at is that it's my opinion that the best thing anyone can do for this collaborative effort / future of coding, is to enhance Steve's work & influence as much as possible, and also of this community. That's not to say don't work on your own stuff -- we need as many people doing that as possible! But as far as growing and empowering a community and an individual in a unique position to drive it forward -- whether personally or though his connections and influence -- I think there's enormous potential to focus/draw as much as possible to him & this community. If we help Steve succeed, we help this community & effort succeed. It seems that perhaps Alan Kay felt the same way, yes? So for example, rather than doing any further work to build up my own community from nothing, I would just direct people here. And anything we as a community can do to get Steve as much funding and sources and contacts/followers as possible, could have tremendous potential / payoff for the future of software. Seriously, he's in a very privileged position (and lucky to have some key influences & friends that helped him get there). Just saying, think about it
    👍 3
    r
    s
    • 3
    • 2
  • w

    Will

    07/27/2019, 10:53 PM
    I think the step to take is transitioning from “common location for discussion” to “organized community”, e.g. having an individual or (preferably) group/committee that meets regularly and tried to make decisions that benefit the community
    👍 4
    i
    d
    • 3
    • 3
  • w

    Will

    07/27/2019, 10:55 PM
    (@stevekrouse curious to hear your thoughts on all this since you’re running the show!)
    d
    i
    +2
    • 5
    • 6
  • j

    Justin Blank

    07/28/2019, 4:06 PM
    Reading about program synthesis, I noticed a major implicit assumption in most programming tools. The assumption is that the format that’s best for reading code is also the format that’s best for manipulating it. I’m sure that’s often, probably mostly true. Really terse DSLs (regex, date formats, sprintf) seem like a good candidate where they might come apart. This is probably old news, but I hadn’t thought about it that way.
    t
    p
    d
    • 4
    • 5
  • k

    Kartik Agaram

    07/29/2019, 4:35 AM
    "I’ve noticed when I think about performance nowadays that I think in terms of two different aesthetics. One aesthetic, which I’ll call Never Miss a Frame, comes from the world of game development and is focused on writing code that has good worst case performance by making good use of the hardware. The other aesthetic, which I’ll call Do Almost Nothing comes from a more academic world and is focused on algorithmically minimizing the work that needs to be done to the extent that there’s barely any work left, paying attention to the performance at all scales." http://thume.ca/2019/07/27/two-performance-aesthetics
    👍 3
    👀 1
    d
    i
    • 3
    • 4
  • j

    Jonathan Schuster

    07/29/2019, 2:47 PM
    For those interested, I wrote about my highlights from Curry On: http://jschuster.org/blog/2019/07/29/highlights-from-curry-on-2019/
    👍 2
    ❤️ 3
    s
    t
    p
    • 4
    • 4
  • s

    shalabh

    07/29/2019, 4:18 PM
    https://www.forbes.com/sites/cognitiveworld/2019/07/29/the-future-will-be-formulated-using-category-theory
    s
    d
    i
    • 4
    • 8
  • w

    Will

    07/29/2019, 4:41 PM
    If you wanted to justify the claim “functional programming and PL theory are useful tools to learn”, how would you do it? What concepts and skills would you point to, and what real-world examples/applications would you use to demonstrate the usefulness of FP? For example, “Can Programming Be Liberated from the von Neumann Style” and “Why Functional Programming Matters” both use higher-order functions/composition on lists/trees to prove the point.
    i
    e
    s
    • 4
    • 14
  • p

    Pezo - Zoltan Peto

    07/29/2019, 10:39 PM
    I'm often wondering about Uncle Bob's Transformation Priority Premise (extract here: https://medium.com/@zolipeto/extract-of-uncle-bobs-transformation-priority-premise-post-85ab20216fb1 ) Now I am wondering if it is approachable from another angle: using structured programmings 'Sequence, Selection, Iteration' as building blocks (maybe with some extansion eg. State). WDYT? Is there any research on that? @Prathyush For example I'd say these transformations would make sense: nil -> Sequence Sequence -> Selection (+State to branch on & StateSetter before Selection happens) Selection -> Iteration So I'd be interesred how structured programmings building blocks behave and relate when we use TDD or when we just refactor a piece of code.
    g
    • 2
    • 3
  • k

    Kartik Agaram

    07/30/2019, 12:20 AM
    Has anyone here (particularly Forth folks like @Jeremy Penner) heard of sourceless programming? I came across the term in https://news.ycombinator.com/item?id=20550656, and the best description I can find for it is in some of the slides of https://docs.google.com/presentation/d/1wL2eqf7eHGEybsK0C4MUB4ibP1z6voyhgYfUSNhuBQA/edit
    🔍 1
    p
    d
    +3
    • 6
    • 25
  • f

    Felix Kohlgrüber

    07/30/2019, 10:57 AM
    How would you render source code if you weren't tied to a 2D grid of monospace characters? I'd probably start by using a proportional font for all words in the code. I posted an example of this here: https://mobile.twitter.com/FKohlgrueber/status/1156152950093426688 After getting used to it, I feel like it's easier to scan the code in that representation. What do you think?
    👍 2
    o
    s
    +11
    • 14
    • 34
  • y

    Yves Jean

    07/30/2019, 1:39 PM
    I was planning on posting this but @Kartik Agaram query for "sourceless programming" is a good reason. Please check out (still in Beta) www.kodou.io for an example of an API-first programming model with no downloaded source or dependencies. The Documentation page describes it. We are looking for feedback. Accounts only by request at this time.
    k
    • 2
    • 2
  • s

    Sébastien

    07/30/2019, 8:42 PM
    There's a lot to learn from audio applications in terms of interactive editing

    https://www.youtube.com/watch?time_continue=185&v=mfwB3_oCumM▾

    👍 2
    b
    a
    • 3
    • 2
  • p

    Pezo - Zoltan Peto

    07/30/2019, 11:05 PM
    Are you aware of a tool (I imagine something like a jest plugin) where you can specify a unit test with all the inputs and their possible values and add logical rules to be able to omit some of the input permutations based on the given logical rule. The remaining set of permutations to test might be represented in a table (and I'd be prompted to fill in all these tests.) That does not seem hard to do at all, but maybe there is something out there. + is there any tool which does something similar under the hold? Maybe a proof assistant when we are specifying our types? Dunno it just seems there must be something and I can't join the dots.
    a
    d
    • 3
    • 6
  • a

    alltom

    07/31/2019, 5:09 AM
    @stevekrouse (or anyone more well read on this than me), I enjoyed https://futureofcoding.org/essays/dctp.html but I got tripped up on the part I snipped below. Is there any reason why you chose to sequence the buttons instead of expanding the domain of
    button
    ?
    s
    • 2
    • 4
  • g

    Garth Goldwater

    08/01/2019, 12:37 AM
    does anyone know of any radical paradigms for navigating the web? eg: not treating web pages like documents, not treating history as mostly ephemeral, facilitating collection or breadth-first search, weird zooming user interfaces, etc?
    ❤️ 1
    a
    n
    +4
    • 7
    • 18
  • d

    Dan Cook

    08/01/2019, 12:45 AM
    The page-centric concept of the web (from a browser standpoint) is a bit strange to begin with, if you think about it. I think it would make sense if instead of "loading a page", you loaded a script, which then programmatically creates content. And then, why should loading something else have to make that go away? Perhaps loading the same thing twice would just give you two copies of it, just like if you run the same program twice or open the same file twice. That would also give "history" a different connotation
    m
    • 2
    • 3
  • u

    user

    08/01/2019, 3:19 PM
    message has been deleted
    d
    a
    • 2
    • 2
  • s

    Steve Dekorte

    08/01/2019, 10:36 PM
    I'm finding it a bit daunting to catch up on this channel's history. Is there a good web page that summarizes the current ideas on interesting directions in "programming" UIs?
    i
    g
    o
    • 4
    • 46
  • d

    Drewverlee

    08/02/2019, 12:08 AM
    Anyone want to do a group watch and discussion of some of the "curry on" conference talks?
    g
    • 2
    • 1
  • s

    Steve Dekorte

    08/02/2019, 1:31 AM
    Are there any yearly conferences that are closely related to FoC?
    s
    j
    d
    • 4
    • 5
  • i

    Ivan Reese

    08/02/2019, 6:59 AM
    🕐🎢 If you were going to create a "timeline" view that showed the progress of execution of a program through time, what would you make it look like?
    k
    w
    +4
    • 7
    • 36
  • e

    Edward de Jong / Beads Project

    08/04/2019, 10:38 PM
    With 1000 programming languages to choose from, how to rank them? One important quantity that can be measured is MTTR BSOTTA -Mean Time To Repair By Someone Other Than The Author. This is what killed APL, LISP and FORTH; high MTTR scores. https://www.e-dejong.com/blog/2019/8/4/a-very-important-quality-in-a-programming-language-mttr-bsotta
    👍 3
    k
    d
    d
    • 4
    • 7
  • s

    stevekrouse

    08/05/2019, 10:31 AM
    This is just approximate (there's a known bug) but I wrote a script to pull all the links from all Slack messages. Here are the top links mentioned by number of mentions:
    👍 9
    t
    w
    k
    • 4
    • 4
  • s

    stevekrouse

    08/05/2019, 2:02 PM
    In terms of conferences this month in Europe, I just got my tickets to BobKonf in Berlin (featuring Conal Elliot and @Adriaan Leijnse, thanks Adriaan for the heads up) and PPIG (I know @jonathoda is also going) in Newcastle. Anyone else attending? Come join if you can! https://bobkonf.de/2019-summer/program.html https://www.eventbrite.com/e/ppig-2019-registration-65130919333
    👍 2
    c
    m
    • 3
    • 2
  • p

    Pezo - Zoltan Peto

    08/07/2019, 1:06 PM
    https://arend-lang.github.io/
    👍 2
    e
    g
    • 3
    • 5
Powered by Linen
Title
p

Pezo - Zoltan Peto

08/07/2019, 1:06 PM
https://arend-lang.github.io/
👍 2
https://news.ycombinator.com/item?id=20630319
https://research.jetbrains.org/groups/group-for-dependent-types-and-hott
e

Edward de Jong / Beads Project

08/08/2019, 4:52 AM
These theorem proving projects which can't make a simple program like an analog clock, which is only 150 words of code, are depressing to me, showing how little progress has been made at improving programming. Lots of mathematical jargon like "cubical syntax"; near zero utility outside a mathematical conference.
👍 1
g

Garth Goldwater

08/08/2019, 2:39 PM
i wish i could understand this stuff better—it seems like the universe/homotopy level might have connections to asai’s reflective language black scheme:

https://youtu.be/SrKj4hYic5A▾

e

Edward de Jong / Beads Project

08/13/2019, 7:09 AM
Self-modifying code produces the smallest, most powerful programs you can imagine, however it also has the worst scores for MTTR BSOTTA (mean time to repair by someone other than the author). LISP will always be a fascinating language for some, but be an anathema in commercial situations where maintenance dominates. However, if you are smart enough, you can pull it off, as Autocad was written in LISP originally, and that is one of the greatest programs ever written.
View count: 1