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 28, 2020 at 08:57PM

Comments

Post a Comment

Popular posts from this blog

Commemorating Rosa Parks Day

-
Image
Commemorating Rosa Parks Day By Jeanne Brophy “I do the very best I can to look upon life with optimism and hope and looking forward to a better day, but I don’t think there is any such thing as complete happiness.” ~ Rosa Parks on optimism Today marks the 20th anniversary of Rosa Parks Day as legislated by the California State Legislature.  Known as the mother of the civil rights movement Rosa Parks ignited a civil rights movement with her refusal to move from her seat. It all began   sixty-five years ago, on December 5, 1955 in Montgomery, Alabama , Rosa Parks was jailed and fined $10 for refusing to give up her seat on a public bus to a white man, a violation of the city’s racial segregation laws. This act of civil disobedience, organized by a young Baptist minister named Martin Luther King, Jr., launched the Montgomery Bus Boycott.  The series of events that followed her arrest changed the course of American history.  In commemoration of the start of Bla...
https://elsayedahmed1958.blogspot.com

Launch HN: Goodcover (YC S17) – Cooperative Renters Insurance for Half the Price https://ift.tt/2SG7rih

-
Launch HN: Goodcover (YC S17) – Cooperative Renters Insurance for Half the Price Hi HN, we’re Chris and Dan, co-founders of Goodcover ( https://ift.tt/2T4mCkG ). Goodcover provides renters insurance (only in California at the moment) and operates as a cooperative. We take a fixed fee on every policy, pool the premiums to pay claims, and then return what’s left over back to Members through an annual dividend. Thanks to this model and good technology we’re able to cut the price of renters insurance in half. I (Chris) worked in traditional insurance for 8 years. That time taught me to love insurance and how it picks people up after disasters, but it also gave me first hand exposure to the things people hate about it – the ever-increasing prices, the adversarial claims negotiations, the mountains of paperwork, and the byzantine decision making. All these inefficiencies kept us from really understanding and working for our policyholders – the people we were meant to serve. I became convince...
https://elsayedahmed1958.blogspot.com

Launch HN: API Tracker (YC W20) – Track and manage the APIs you use https://ift.tt/2SYCc15

-
Launch HN: API Tracker (YC W20) – Track and manage the APIs you use Hey HN! We’re Cameron, Trung and Matt from API Tracker ( https://ift.tt/38GoNBc ). We make tools to help with using third-party APIs in production. When software teams integrate with APIs they often run into outages, network issues, interface changes or even bugs that cause unexpected behavior in the rest of their system. These problems are hard to predict and prepare for so most teams don’t deal with them until there's a outage and have to do an emergency build to add logging and get to a root cause. This is what happened to us. Trung and I are both software engineers and we spent a lot of time and energy trying to make our API integrations robust and reliable in production. We found ourselves instrumenting all our API calls so we could know how many calls we were making, how long they were taking and if they were failing. We set up alerts for errors and latency increases and integrated with PagerDuty. We wrote re...
https://elsayedahmed1958.blogspot.com