Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Dec 07 10:29
    yairchu opened #199
  • Dec 07 09:57
    yairchu opened #198
  • Dec 02 10:21
    yairchu opened #197
  • Nov 27 13:57

    Peaker on master

    Bump stack.yaml resolver: lts.{… (compare)

  • Nov 27 10:09
    yairchu opened #196
  • Nov 25 16:17
    yairchu closed #195
  • Nov 25 16:17

    yairchu on master

    Fix #195 91cdfa1 made the mech… (compare)

  • Nov 25 15:31
    yairchu opened #195
  • Oct 13 17:14

    yairchu on github_actions

    (compare)

  • Oct 13 17:14

    yairchu on master

    GA(deps): Bump actions/cache fr… (compare)

  • Oct 13 17:14
    yairchu closed #194
  • Oct 13 16:45
    dependabot[bot] commented #194
  • Oct 13 16:45

    dependabot[bot] on github_actions

    GA(deps): Bump actions/cache fr… (compare)

  • Oct 13 16:45
    dependabot[bot] opened #194
  • Oct 03 20:11

    yairchu on github_actions

    (compare)

  • Oct 03 20:11

    yairchu on master

    GA(deps): Bump actions/cache fr… (compare)

  • Oct 03 20:11
    yairchu closed #193
  • Oct 03 16:29

    dependabot[bot] on github_actions

    (compare)

  • Oct 03 16:29
    dependabot[bot] closed #185
  • Oct 03 16:29
    dependabot[bot] commented #185
Eyal Lotem
@Peaker
@boogerlad:matrix.org you can import the rot.json by dragging&dropping the file into lamdu's window or by using lamdu import rot.json
Eyal Lotem
@Peaker
btw, if you're using Spanish, you can add Spanish as a new language to Lamdu, and translate the subset of tags that you're using to Spanish, and the keywords, if you'd like (in data/languages/english.json, can create a spanish.json)
Yair Chuchem
@yairchu

how much money is required to put both you and Eyal working on this full time?

In the near future we both have other obligations, for Eyal at Weka.IO and for myself at Sound Radix.
I personally do intend to spend more time working on Lamdu in the next year, regardless of funding. Hopefully I'll succeed devoting most of my time on Lamdu this year :)
But given generous donations we could try to expand the team with more developers who are working full time.

Tiziano Santoro
@tiziano88
Hi all! I am Tiziano, I have been playing around with ideas similar to Lamdu, though in a more generalised fashion; I have a very rough repo at https://github.com/tiziano88/linc and a (mostly unintelligible) demo at https://tiziano88.github.io/linc/ . I am mostly interested in the representation and manipulation of abstract trees, that may work for existing AST schemas and also data structures, so my goal is not to invent a new language. Anyways, looking forward to learning more about Lamdu and related projects here! [-> thread for any follow-up discussion so we don't spam the channel]
2 replies
Yair Chuchem
@yairchu

Lamdu now accepts GitHub sponsors and donations on Open Collective!

@boogerlad:matrix.org if you still want to sponsor Lamdu there's a lot we can do with funding! Depending on the amounts, from doing Summer-of-Code like initiatives to hiring full-time developers :)

janus.troelsen
@janus.troelsen:matrix.org
[m]
Nice, I just signed up :) You might get more donors if you provide some kind of perk. E.g. Csaba offers to list donors on a page, people who donate more are listed higher.
1 reply
Eyal Lotem
@Peaker
Thanks! That sounds like a nice idea :-)
🇺🇦Oleksandr Kryvonos🇺🇦
@o_kryvonos_twitter
hi, I am developing similar idea in my project, but here I will contribute Ukrainian translation to function names, I am looking forward to this small contribution
Yair Chuchem
@yairchu

Thank you very much Oleksandr! And also I really hope things improve in your country!

We will also extract the words database to a new repository so it can be used by your project and any projectional editor project wishing to support localisations

Yair Chuchem
@yairchu
We've put a new release at https://github.com/lamdu/lamdu/releases/tag/v0.8.1
If anyone could verify that this works on their platform that would be very helpful!
janus.troelsen
@janus.troelsen:matrix.org
[m]
how can i get some intuition for what the different constructors of Sugar.Types.Expression.Term mean? i was thinking these are probably standard to functional programming languages, but if i havn't written my own langauge before, where would i learn about these?
Yair Chuchem
@yairchu
I suppose we can add more comments or even links to Wikipedia or some other resource.
Are there specific ones which you need clarification for?
Yair Chuchem
@yairchu
Added some comments there. Feel free to comment on the commit if something is still lacking
Matěj Bagar
@matj1:matrix.org
[m]
I'm interested in Lamdu, but I don't know how to learn it; I can't find much documentation. Where can I find an overview of controls (syntax) and language features? Which settings can I change where to customise the editor?
5 replies
Matěj Bagar
@matj1:matrix.org
[m]
How can I change the keyboard commands? I use Colemak, but the commands work like if I was using QWERTY, so the letters in the help don't match the letters that I am supposed to press. That's annoying.
Yair Chuchem
@yairchu
Oh, that's interesting!
We used key bindings rather than letter bindings because for example when your input language is set to Hebrew, while the letters are from a totally different alphabet the keys are the same. But I guess when you use Colemak the letter printed on the key doesn't correspond to its GLFW_KEY_ constant?
Am not sure what's the best solution for this
Yair Chuchem
@yairchu
You can change the key bindings in data/config.json. @Peaker we should also make it look for it in .lamdu/config.json no?
Eyal Lotem
@Peaker
Do we only look for it in one place?
Yair Chuchem
@yairchu
We do, Lamdu.Path.searchPaths includes Paths_Lamdu's and data/ but nothing in the user folder.
Matěj Bagar
@matj1:matrix.org
[m]
I'm choosing a topic for my master's thesis, and I'm considering contributing to Lamdu as the topic. What are some things needed in Lamdu? What are the next steps in the vision of how Lamdu shall be in the future?
Eyal Lotem
@Peaker
Hey @matj1:matrix.org ! There are many areas that we believe could be interesting for academic exploration: advanced compilation, adding type system features, integration editing via interesting visualizations of the code, and more.
So I think we have a lot of possible next steps, and it's a question of what appeals to you
Yair Chuchem
@yairchu
If you want we can schedule a zoom meeting to discuss options.
Wrt "What are the next steps in the vision of how Lamdu shall be in the future?" there's the diagram of it discussed in https://youtu.be/2yGHk9XXOBE?t=186
Matěj Bagar
@matj1:matrix.org
[m]
We could have a Zoom meeting. What are doing good times for that according to you? What is your time zone? Mine is UTC+1 in winter, +2 in summer.
Yair Chuchem
@yairchu
Me and Eyal are in Tel-Aviv which is UTC+3 atm, but I'll be in the US from the 17th to 25th of October, so for me a time before or after these dates would be best.
Matěj Bagar
@matj1:matrix.org
[m]
:point_up: Edit: We could have a Zoom meeting. What are some good times for that according to you? What is your time zone? Mine is UTC+1 in winter, +2 in summer.
Edit (correct autocorrect): doing → some
Matěj Bagar
@matj1:matrix.org
[m]
I can have the meeting on a Friday at any time, on a Wednesday in T14:00+02/18:00 or on a Tuesday before T12:00+02.
These are the best times; I can have it probably at other times, mainly on weekends, but my schedule is irregular then.
The times are written according to ISO 8601.
1 reply
Yair Chuchem
@yairchu
I'm going to start live-streaming myself using Lamdu to solve the Advent of Code this year, starting tomorrow at 18:00 UTC on my YouTube channel https://www.youtube.com/@yairchu/streams