Live data from Hacker News

Viewing profile — be5invis

be5invis

HN member
Joined
Sun, Dec 04, 2011, 2:39 AM UTC
HN karma
491
Public activity
127 items

About be5invis

No profile information was provided.

Recent public activity

  1. comment
    Comment #49118349

    Are there any plan in forseeable future (10 years) to port Rune to other platforms (win, mobile/tablet, ..)?

  2. comment
  3. comment
    Comment #21384939

    The story about line wrapping is mainly that, you: · Break the text into runs. · Calculate BiDi at paragraph level. · Shape every run to get its length and possible line breaking p…

  4. comment
    Comment #21384835

    Let me count all the features that a proper rich text box should support: · Input methods, including... · Composing IME · Speech · Handwriting · Emoji picker · Complex text renderi…

  5. comment
    Comment #20605905

    I don't see any references to things like HarfBuzz or DWRITE, which are NECESSARY to properly display any scripts that's not European. All properly implemented text editors are ric…

  6. comment
    Comment #19260908

    DWRITE is very extensible so you can always implement an IDWriteTextRenderer and do all the magic staff in it. Link: https://docs.microsoft.com/en-us/windows/desktop/directwrite...…

  7. comment
    Comment #18457527

    Rich text editors' complexity is far beyond ordinary programmer's imagination, especially when complex script (like Arabic) is in it. It is really good to see they have RTL support…

  8. comment
    Comment #15721548

    You have to know that the MSFT may not have the source code of Equation Editor, since it is a simplified version of MathType.

  9. comment
    Comment #15006926

    The website works well in Edge but you claimed that it does not support that. I have to override the user agent in order to access your editor.

  10. comment
    Comment #15003204

    I guess you (or your company) does not have any Windows PC.

  11. comment
    Comment #14617734

    You say you have dependent types OK, could you define this? data Eq : {a : Type} -> a -> a -> Type where Refl : Eq x x sym : {x : a} -> {y : a} -> Eq x y -> Eq y x sym Refl = Refl …

  12. story
  13. comment
    Comment #14171907

    So where is the famous Idris elaborator? Where are the universes? Where’s inductive types? Where are they?

  14. comment
    Comment #14137317

    Wait, isn’t using TypeScript politically incorrect? It is made by MS!!

  15. story
  16. comment
    Comment #14013756

    Your version is outdated.

  17. comment
    Comment #14010762

    Leading and width is configurable, actually :)

  18. comment
    Comment #14010666

    Iosevka does not have `fi` ligature. The "Term" variant is used for some restricted environments, like some Linux would think that Iosevka is not monospace due to it has glyphs wid…

  19. comment
    Comment #14010549

    To be honest, Iosevka is not suitable for the current VF specification, because that it does not support changing glyph topology while changing parameters.

  20. comment
    Comment #14010494

    Do you know that all letters in Iosevka are EXACTLY 1/2 em wide? For ASIAN users, you can use THIS and preserve your perfect alignment.

  21. comment
    Comment #13001337

    I think Hanlon's Razor can be applied to this example: They just do not think that encryption is important. It is real for Chinese companies.

  22. comment
    Comment #12972281

    So, when will cl support two-phase name lookup?

  23. comment
    Comment #12759712

    github homepage is unicorn now

  24. comment
    Comment #12472199

    It reminds me the format of fonts. That is, your font is actually a program, a program used to draw shapes. There are even subroutine calls in it, and it is widely used to reduce f…

  25. story