• Doug Luce

    Doug Luce

    1 year ago
    Doug Luce
    Mariano Guerra
    2 replies
    Copy to Clipboard
  • Aqeel Hashim

    Aqeel Hashim

    1 year ago
    Hello I found this community through YouTube rabbit-holes and research dives across google which lead me to a talk on the dion systems by allen webster and ryan fluery because I am researching interesting and new ways of representing ideas and thoughts into code or anything machine readable. I am very much interested in the ideas around language design and rethinking how software engineering is done. It seems as though people have forgotten that computers are simply tools that we manipulate to solve problems for us. Having more interesting ways to represents ideas and thoughts allows for more interesting solutions and a more intuitive separation of work amongst dev teams. I m curious about representing in formal mathematical definitions and implementing (and challenging) this definitions in code, essentially making PLs a translation of formal ideas of thought. P. S. I m pretty young and still studying and hoping to complete my degree next year and start my masters, I hope my questions and lack of in-depth knowledge won't become a hinderance
    Aqeel Hashim
    Mariano Guerra
    2 replies
    Copy to Clipboard
  • h

    heartpunk

    1 year ago
    (technically i think i did the introduction already but, it's been ages so) hi i'm sophie! into SRE/PLT stuff and the intersection thereof. also complexity studies (SFI WOOOOOOO) and integrating social concerns into tech work. details follow: • i'm doing some research on my own for how to improve language tooling radically. currently trying to hook interpreters to infer approximate formal semantics using symbolic execution techniques and some other stuff. starting with ruby and rubyspec/mri for now. • deeply into making computing more humane and ethical • think full time employment isn't a safe or ethical engagement structure for most techies • interested in moving to consulting/research/products that are radically focused on making the above point re making computing more humane and ethical; open to inquiries if that's ever of interest to anyone • very open to talking about my work and sharing/learning from others
    h
    e
    +4
    8 replies
    Copy to Clipboard
  • ?

    user

    11 months ago
    hello! Just came across the FoC community on the fediverse and realized that this is definitely the place to be. I don't have any real professional or academic background in language development or future-of-code adjacent work, but it's something I've been interested in for a long time. I am particularly interested in the struggle between highly interactive, live-coding, "fun" programming and the more serious and verifiable/reliable/compiled processes. I don't really have any work to share yet but I think that engaging with the community here can help me remain motivated and interested in projects (working full-time as a software engineer can sap your enthusiasm for fun research stuff outside of work.)
    Konrad Hinsen
    3 replies
    Copy to Clipboard
  • dialmove

    dialmove

    11 months ago
    Hi! I've been told about this community as a place where one can present some early stage ideas to like-minded people aware of the drastic changes that the landscape of programming systems is undergoing. During my graduate studies I did research in the fields of both theoretical Constraint Programming and End User Development, although now I only do it as a personal side project.  I devoured the now classics "Watch what I do" and "Your wish is my command", as well as all the UX books I could find and anything design-related in a wide sense. I'm a believer that the Cognive Dimensions framework of TRG Green et. al. has potential for its intended use as a meta-language for exploring software design and pivoting it in unusual directions, though that may be over-confidence on my understanding of it. 🙂 I certainly have ideas that I would like to develop into a coherent explanation, on how to create a system for information workers who want to build their own data processing workflows without constant assistance from software engineers. I've seen the venerable copy/paste being used for gluing disparate tools into personal workflows through lots of back-and-forth manual data transfers; I've even seen this copy/paste protocol upgraded from humble raw text to rich text, supporting style and multimedia objects. And I have insights for a new upgrade that provides the protocol with structured data and persistent semi-automated workflows, building the mythical "unix pipes for visual user interfaces" that we were promised decades ago. I have seen many signs that the computing field is converging towards a form of computation with novel aspects reappearing in different contexts, where many of my ideas about modern computation appear incomplete in various systems, with no single one containing all of them. I would love to explore what expectations people have about modern knowledge-processing devices, and whether my insights could be used to support those expectations and improve their users work. I hope this community will help me grow in knoledge.
    dialmove
    Chris Knott
    +1
    9 replies
    Copy to Clipboard
  • Mattia Fregola

    Mattia Fregola

    11 months ago
    Hello fellow humans! Mattia here. I am Product Designer based in Sydney, Australia. I landed here following a Bret Victor trail (and browsing around I am sensing some good Kay, Mead, Lakoff, Piaget, Mitchell, Hofstadter vibes). People in this community have been a massive source of joy for me. I hope to continue to learn from everyone, and to one day be able to make meaningful contributions. I say “one day” because I am yet unable to do things with code other than styling (html css sass) or - the horror! - hacking spreadsheets (for example this Cellular Automata one).
    Mattia Fregola
    shalabh
    2 replies
    Copy to Clipboard
  • Kilian Butler

    Kilian Butler

    11 months ago
    Hi - my name is Kilian • I run product for a London start-up building a cross-lingual dubbing system using synthetic speech - www.papercup.com • I am a frustrated computer user and dream of better things. This community newsletter has been a source of inspiration on that side for a while • I wrote my first blog on why now is the time to pay attention to human-computer interaction recently. In short, all of the pieces for a new computing paradigm of the size of desktop -> mobile are now in place. Except whereas the shift to mobile made computing ubiquitous, I think the next shift will make computing 10x better
    Kilian Butler
    Kartik Agaram
    2 replies
    Copy to Clipboard
  • l

    Lukas Süss

    11 months ago
    What brought me to the future of programming space ... Hi, I am Lukas M Süss (aka mechadense) I guess for me my path to "future of coding" relevant topics was initially kicked off many years ago (2005 maybe?) when stumbling across a german website with name "C-hater in 10 days". Before I already had banged my head into the limitations of current day programing languages again and again. • First in the context of game programming, • and later in the context of 3D modelling.That was revelation one. Here the (german) page in the internetarchive: https://web.archive.org/web/20080612103719/http://www.math.uni-bremen.de:80/~thielema/CHater.html ) This eventually led me to taking a course about the haskell programming language and the theory behind it. What I learnd there was quite eye opening and my second revelation. _The (german) course: http://www.complang.tuwien.ac.at/knoop/fp185A03_ws2122.html — by Jens Knoop — at TU Vienna_ At some point when I came across diagramming sofware (then I used yEd) I sketched out all of what I've learned so far. Thereby realizing … • (A) … how far even Haskell is still improvable. — Revelation three. • (B) … how much can be learned by high level diagramming and how awesome it would be if that would fall out of a programming language I was starting to desire autopropagarion of renaiming, automatic code substitutions, and more … Desiring structured editing — basically. My fourth revelation was making the connection between John Tromps Lambda diagrams and textual code, leading to my work on "Annotated Lambda Diagrams (ALDs)". -- _http://apm.bplaced.net/w/index.php?title=Annotated_lambda_diagram_ I found that translating existing ideas into these diagrams greatly helps me in understanding them. Which makes me think that this may be a good "semitextual" programming interface. Now I'm in the process of investigating ideas-and-work of some great people in the context of ALDs ( Looking at ideas from: Conal Elliott, Jonathan Edwards, Cryus Omar et.al. , Daniel P. Friedman, ... ) All this as spare time efforts. My fifth and so far final revelation (during 2018) emergerd probably mostly from my frustration with nonexistence … • … of local-first selfhosting options. • … of personal local-first self-owned content curation assistents. I realized that in order for good novel technical solutions of core problems to thrive sociotechnical problems need to be solved in unison (unison the word not unison the proglang here). Code just cannot be borderlessly shared if there are no well designed means that allow for judement of its trustworthyness. What I want to see eventually are distributed ledgers that: • do not insist on maximally global public consensus for everything and • are nonmonetary at their core. Very few projects aim for that. In fact I only know one so far. — — — Regarding the "future of coding" side of my interests I'm into: • denotative core language design • content adressed design (datastorage and versioning) • dependent typing • agent centric design (sociotechnical aspect) • and what I missed here ... My core interest though is actually advanced atomically precise manufacturing (APM). Aimed at future gemstome-metamaterial-on-chip-factories. But if software does not get fixed I see a dark future ahead. Both for the path there and the eventual result.
    l
    m
    +1
    5 replies
    Copy to Clipboard
  • daltonb

    daltonb

    10 months ago
    I don’t believe I’ve ever intro’d myself, so here goes! My winding path:1. First love was reading & language - hundreds of books while homeschooling (up to 8th grade) 2. Puzzles were my jumping off point into math (which I’d hated). Joined the math team and got shown how to program a TI-83, got hooked on ‘game’ programming. The ease of getting pixels on the screen has haunted me ever since. 3. Undergrad at Penn in bioengineering: not the best choice of major (should have done CS/CompE), but developed appreciation for the resilience/scalability of biological systems compared to mechanized tech, as well as alt forms of computing (e.g. biomolecular logic gates) 4. A bioinspired robotics class followed by a WONDERFUL intro to mechatronics intro’d me to electronics & microcontrollers and connected a bunch of dots. The ability to turn ideas into real devices was heady. 5. Switched to masters in robotics and did a capstone project with very talented partner. Designed a system to connect assistive inputs for people with disabilities to game consoles motivated by observations growing up with my bro. Also led to a neat collab with a rehab robotics lab using gaming for stroke rehab. Decided it was worth trying to make exist in the world & entered the spooky realm of entrepreneurship. 6. Have pretty much nailed the liminal space between success & failure - much progress made, still no product. In the process, discovered Bret Victor, the FoC slack, Alan Kay, etc & have had my mind repeatedly blown while mining computing history. The more I’ve learned, the more I’ve come to see accessibility and FoC as twin issues best tackled as a pair. Finally had some breakthroughs based on an NSF Phase I SBIR grant, & am reformulating the system around proper computing atoms (h/t Alan Kay) vs a glorified config system. Feeling good about our odds if Phase II funding comes through. My thoughts have crystallized quite a bit over the past few months, and I’m looking forward to good conversations here and progress to report. Feel free to reach out; I enjoy and benefit from verbal sculpting. An emerging primary viewpoint is programming as modeling & simulation (i.e. proper “science”).
    daltonb
    Kartik Agaram
    +1
    4 replies
    Copy to Clipboard
  • John Voorhees (Primitive)

    John Voorhees (Primitive)

    10 months ago
    So excited to meet everyone here! I'm John, the founder and creator of the Primitive Immersive Development Environment. I started Primitive in 2015 because I wanted to create the IDE of the future. I believe the future of programming is collaborative, immersive, and powered by spatial computing and artificial intelligence. The Primitive IDE is my life's work. It is a collaborative 3D/VR environment where users explore codebases to learn, review, and debug code in an unlimited environment. A few things that makes Primitive unique: • Primitive crawls GitHub and has a fully explorable mapping of the top repositories • Anybody can view their own code on their local machine and see a directory and file mapping in a 3D spatial layout • Programming files are parsed by a variety of tools (ANTLR, Roslyn, Clang, JavaC) to show their AST structure and to enable animated reference maps in the 3D space • For Java, Primitive can display multi-thread runtime traces and a memory graph in the 3D environment • There is also a backend that integrates with Bitbucket, GitHub, and GitLab and automatically analyzes your private repos to share with your team. This is great for code walkthroughs and onboarding • The backend does AST diffing in git, and will show you changes in the codebase as a 3D model. This is amazing for code review, because it's very easy to see what has changed in a PR • Finally, and most experimentally, we have a voice-controlled Codex implementation. This is the future that I'm most excited about: a team of people asking a machine to generate code, that gets displayed and tested in a 3D VR environment. Here is a demo:

    https://www.youtube.com/watch?v=icHLoxOFerk

    I'm glad to have discussions about spatial computing and AI enabled programming. I just discovered this community and I'm excited to hear about what everyone is working on. https://primitive.io/ https://twitter.com/PrimitiveVR
    John Voorhees (Primitive)
    w
    +2
    6 replies
    Copy to Clipboard