• curious_reader

    curious_reader

    4 months ago
    Some interesting thoughts(thread) on security in the context of dhall Lang. https://twitter.com/GabriellaG439/status/1527087523842777088
  • Mariano Guerra

    Mariano Guerra

    4 months ago
    Mix Universe: A node-based music creation game like no other! Key Features • Nodes can play sounds, show cool visuals, or even control other nodes! • Sounds can be chosen from a variety of built in libraries (Piano, Drums, Space Strings, Synths, and More) • Sounds can be altered by adding elements to them (Volume, Duration, Attack, Pitch, LFO, Filtering, Reverb, Delay, High Pass, Low Pass, Bit Crush, and More) • Nodes can be moved, rotated, scaled, and snapped to a grid. • Full functional undo and redo system. • Multiple Themes / Worlds/ • Full Steam Workshop integration for saving and sharing mixes.

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

    Mariano Guerra
    Ivan Lugo
    +1
    3 replies
    Copy to Clipboard
  • Mariano Guerra

    Mariano Guerra

    4 months ago
    Adaptive Cards are platform-agnostic snippets of UI, authored in JSON, that apps and services can openly exchange. When delivered to a specific app, the JSON is transformed into native UI that automatically adapts to its surroundings. It helps design and integrate light-weight UI for all major platforms and frameworks. https://adaptivecards.io/
    Mariano Guerra
    1 replies
    Copy to Clipboard
  • Mariano Guerra

    Mariano Guerra

    4 months ago
    Makeabetter.computer is a microgrants program focused on people working on projects that make computers better. Example projects: 1. (1) Building a self-hosted compiler or interpreter. 2. (2) Prototype an experimental browser. 3. (3) Make your computer express emotions. 4. Note: There's no off-limits ideas, so bring your wildest ones Example usage: 1. (1) Using the money to compensate for skipping work or school. 2. (2) Paying your friend to work on your project with you. 3. (3) Paying for APIs and other software tooling. 4. (4) Sponsoring you over time on a project (Patreon, Github, etc). Grants range from $100–$500. Apply now https://makeabetter.computer/
    Mariano Guerra
    Corey
    4 replies
    Copy to Clipboard
  • c

    Chris G

    4 months ago
    "Yatima is a pure functional programming language implemented in Rust with... content addressing, first-class types, linear, affine and erased types, type-safe dependent metaprogramming"
    type Vector (A: Type): ∀ (ω k: Natural) -> Type {
       Nil: Vector A Natural.Z,
       Cons (0 k: Natural) (x: A) (xs: Vector A k): Vector A (Natural.S k),
    }
    
    def Vector.head (0 A: Type) (k: Natural) (a : Vector A (Natural.S k)): A
      = ((case a) (λ k' self => ∀ (Equal Natural (Natural.S k) k') -> A)
        (λ e => Empty.absurd A (Natural.Z_isnt_S k e))
        (λ k x xs e => x))
        (Equal.Refl Natural (Natural.S k))
    https://github.com/yatima-inc/yatima-lang-alpha
  • Mariano Guerra

    Mariano Guerra

    4 months ago
    I came across a big research lab from the 90s that I didn't know about so I decided to blog about it: 📝 Interval Research Corporation: a 90s PARC without a Xerox
    Mariano Guerra
    j
    +1
    5 replies
    Copy to Clipboard
  • Mariano Guerra

    Mariano Guerra

    4 months ago
    Registrations for Unison Forall 2022 are open June 24th (EDT), fully online and completely free https://twitter.com/unisonweb/status/1529087283378458625
    Mariano Guerra
    1 replies
    Copy to Clipboard
  • j

    jamii

    4 months ago
    Emergent Ventures is a low-application-overhead grant for 'high-reward ideas'. I haven't been able to find out what typical grant size is, but the parallel Covid Fast Grants program seems to be averaging $250k. Application - https://mercatuscenter.formstack.com/forms/emergent_ventures Previous grants - https://docs.google.com/spreadsheets/d/1NYv0vsWVtEMDvO7gYDh4DDH4oNBGQBGpV0bZzG9x9JY/edit#gid=243061127
    j
    ibdknox
    +1
    11 replies
    Copy to Clipboard
  • Mariano Guerra

    Mariano Guerra

    3 months ago
    Augmenting Digital Sheet Music through Visual Analytics: Music analysis tasks, such as structure identification and modulation detection, are tedious when performed manually due to the complexity of the common music notation (CMN). Fully automated analysis instead misses human intuition about relevance. Existing approaches use abstract data-driven visualizations to assist music analysis but lack a suitable connection to the CMN. Therefore, music analysts often prefer to remain in their familiar context. Our approach enhances the traditional analysis workflow by complementing CMN with interactive visualization entities as minimally intrusive augmentations. Gradual step-wise transitions empower analysts to retrace and comprehend the relationship between the CMN and abstract data representations. We leverage glyph-based visualizations for harmony, rhythm and melody to demonstrate our technique's applicability. Design-driven visual query filters enable analysts to investigate statistical and semantic patterns on various abstraction levels. We conducted pair analytics sessions with 16 participants of different proficiency levels to gather qualitative feedback about the intuitiveness, traceability and understandability of our approach. The results show that MusicVis supports music analysts in getting new insights about feature characteristics while increasing their engagement and willingness to explore.

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

    Mariano Guerra
    e
    +1
    4 replies
    Copy to Clipboard