Show HN: Andromeda Invaders: Autoplay - Press ‘Enter’ twice and wait 5 seconds https://ift.tt/nUPxSO1

Show HN: Andromeda Invaders: Autoplay - Press ‘Enter’ twice and wait 5 seconds https://ift.tt/dEftOvY March 19, 2023 at 01:10AM

Show HN: RoboMUA – AI-Powered Beauty Solutions for All Skin Shades https://ift.tt/U16j8kY

Show HN: RoboMUA – AI-Powered Beauty Solutions for All Skin Shades roboMUA is leveraging artificial intelligence, augmented reality, and unique inclusive data sets for over 100 skin shades to help users efficiently find custom beauty products and even clothing items (shape/bodywear) from the comfort of their devices. https://ift.tt/xItYEgh March 19, 2023 at 04:13AM

Show HN: Supersonic: a desktop client for Subsonic music servers built with Go https://ift.tt/DPbJaoE

Show HN: Supersonic: a desktop client for Subsonic music servers built with Go For the past several months I've been working on a new cross-platform desktop client for self-hosted Subsonic music servers. The second alpha release was just published yesterday! Built with Go and the Fyne UI toolkit, and using libmpv as an audio backend, Supersonic supports high quality gapless playback of pretty much every audio format, and is fast and lightweight on resources. It also features infinite scrolling through albums. https://ift.tt/OVUjzRZ March 18, 2023 at 11:30PM

Show HN: Easy-to-use licensing library for .NET apps https://ift.tt/N3r0Az5

Show HN: Easy-to-use licensing library for .NET apps This free, open-source .NET library allows you to license your non-free applications through activation keys. Follow the quick start instructions and try it out in 5 minutes! Available on: NuGet https://ift.tt/kqd2WEg... Website (full docs, downloads) https://ift.tt/WBdYbgt GitHub (downloads, full docs, release notes etc.) https://ift.tt/5zYBcsU https://ift.tt/5zYBcsU March 18, 2023 at 11:33PM

Show HN: i2forge – A Platform for Verified Reasoning https://ift.tt/LHzDSEk

Show HN: i2forge – A Platform for Verified Reasoning Hi! We're Amisi and Claude, builders of the i2 language and the i2forge platform. i2 is an (early draft of a) language designed to make formal verification easy for mathematicians. We are launching the language as an open source project today ( https://i2lang.org ) together with a closed alpha for i2forge. However, we have a publicly accessible demo page which anyone can use, and we would love your feedback. Thanks. https://ift.tt/BHiIWZJ March 18, 2023 at 07:27AM

Show HN: Llamero – A GUI app to easily download, install and infer LLaMA models https://ift.tt/fqZ74Ve

Show HN: Llamero – A GUI app to easily download, install and infer LLaMA models https://ift.tt/GXJBYmw March 17, 2023 at 05:12PM

Show HN: Writing my masters thesis in public https://ift.tt/WZTSwPB

Show HN: Writing my masters thesis in public https://ift.tt/Ugrxe0V March 18, 2023 at 03:36AM