Hi, Magnap here

Community Introductions
1

Hi, I’m Magnap (Maŭnap (eo); la .maunap. (jbo); mí Maonam (Toaq))!
In my day-to-day life I’m a bioinformatics MSc student, with a focus on synthetic biology. Currently working on an improved way to implement digital logic in biological systems!
I have a wide variety of interests that take turns gripping me with intense force and dragging me along for the ride… a few of the more recent ones:

  • Conlangs (duh), especially loglangs, and especially formal semantics as applied thereto
  • Bookbinding
  • Embedded programming in Rust
  • Color science and watercolor
  • Proof assistants and formal proofs
  • Knitting
  • Operations research
8 Likes
2

Please, share anything and everything about formal semantics! This topic is nigh-untouched in the glossopoeic community.

2 Likes
3

100% want to learn more about formal semantics. the only semantics knowledge I have is relevant to lexicography; I know lambda calculus is used in formal semantics, but I know nothing more than that; PLEASE please please educate us!

4

I tried to learn Coptic-style bookbinding many years ago when I was thinking of producing books about my conlang by hand, but I ended up relying on print-on-demand services instead.

coptic binding
coptic binding1500×1546 483 KB

2 Likes
5

How are you guys implementing digital logic in biological systems at the moment? Like, what are input and output channels, and where (in the cell?) are the logical operations applied? Is RNA involved?

6

P.S. what is the "g" in your name doing, for it to become a w-glide when it's loaned to conlangs?

7

could be a voiced velar fricative /ɣ/. that's reasonably close to /ɰ/ or its labialized counterpart /w/...?