Show HN: Erlang code generator for Idris 2 https://ift.tt/2S4IN9Z

Show HN: Erlang code generator for Idris 2 https://ift.tt/3icQBB8 September 29, 2020 at 12:27AM

Comments

Post a Comment

Popular posts from this blog

Launch HN: Jika (YC S20) – Price A/B Testing for Shopify https://ift.tt/2ZzTJB9

Launch HN: Jika (YC S20) – Price A/B Testing for Shopify Hi all! I'm Kennan and I recently founded Jika ( https://jika.ai ). Jika helps Shopify sellers a/b test their product pricing so they can make more money. Let’s say you sell shoes on Shopify for $100 and want to test $110. You’d 1-click install the Jika Shopify App and then go to the Jika dashboard where you select and start a test for $110. Jika then handles the heavy lifting of showing price A to 50% of your visitors and price B to the other 50%. As the test is running, Jika keeps track of revenue, conversions, and visitors at each price point. You’d rinse and repeat this process as much as you can since the optimal price for a product is always changing. Up until now, most people have priced off competitors, but that doesn't cut it anymore with big companies getting more and more sophisticated. A prime example of this is Amazon accelerating their development of in-house brands (~640 in late 2019) and using their datase...
Read more

Launch HN: Daybreak Health (YC S20) – Online counseling designed for teens https://ift.tt/2XheXCv

Launch HN: Daybreak Health (YC S20) – Online counseling designed for teens I'm Alex, one of the cofounders of Daybreak Health (www.daybreakhealth.com) along with Luke and Sid. We help teens feel better, build skills for life and achieve their goals through online counseling. Our licensed counselors provide evidence-based counseling to teens through online video sessions, messaging, and a mobile app. The evidence supports that behavioral therapy like CBT and DBT is effective. It works to treat diagnosable conditions like anxiety and depression, and it also works to help young people feel happier and achieve their goals [1][2][3][4][5]. But too often teens don't get the mental health support they need because it is stigmatized, difficult to schedule and attend, and expensive. At Daybreak we bring counseling to the teen on a digital device and we charge less than half the cost of a traditional therapy session. In October of 2018, my younger brother nearly lost his life due to the ...
Read more

Launch HN: Epihub (YC S20) – Shopify for teaching online https://ift.tt/3l3c6XN

Launch HN: Epihub (YC S20) – Shopify for teaching online Hey HN! I’m Uday, and I co-founded Epihub [0] with Kwasi and Michael ( https://epihub.com ). Epihub is Shopify for teaching online. Our software lets you schedule, meet, and bill clients from your own website. A few years ago, we started building a product called Epigrammar, which was a collaborative document annotation tool that let teachers rapidly give feedback to their students by identifying trends in their feedback. Kwasi and I really wanted to see if we could scale the tutoring experience to an entire classroom, since my co-founder Mike was teaching Classics at both a private school in Connecticut while running a non-profit tutoring program in Latin/Greek for public school students in New York. Mike would try out our products that we had built over the weekend during the week (sometimes to success), but oftentimes, things were not actually helping him teach. That’s when we'd go back to the drawing board. We spent a few...
Read more