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 Black History Month an
https://elsayedahmed1958.blogspot.com

Dogs and cats under the same roof . كلاب وقطط تحت نفس السقف .

-
Image
Dogs and cats under the same roof . Dogs are usually territorial and will not only fight with new cats, but also with other new dogs. They tend to define their territory and will fight anyone who invades their space. Cats have the same tendency, even if they are smaller than dogs, they will scratch and fight for their territory. The first step is obedience. This is especially necessary for dogs who are usually the attackers in this situation. When you say "no," you must train your dog to obey. Let the cat wander around the house. Cats love to roam around, which makes the whole place smell great at home. After this process is done, lock your cat in a room, then let your dog wander around the house, looking for the cat's scent. This will make your dog aware of the scent of the cat and train the dog that the cat is a part of the house. Dogs usually start barking when they spot other animals on their territory, hoping to scare them away. They won't rush right off. Once
https://elsayedahmed1958.blogspot.com

Show HN: Gripeless – Capture Complaints https://ift.tt/2HDfCWy

-
Show HN: Gripeless – Capture Complaints Hey everyone, We all see these amazing ideas being posted on Show HN but let's be real - every product has some gripes that could be improved. The gripes could be things like broken flows, unintuitive UX behaviors, or some interactions being too slow - you name it. Everybody has their favourite products, and each of those products (awesome as they may be) have a couple of small things that could be improved to make them even better. What's interesting, though, due to a variety of reasons we usually don't report those things at all - we might not think the complaint is solicited, we might not think that anything will be fixed after we report the thing, or even just writing and sending a semi-formal letter is too much friction for such a simple task. This is why we've built Gripeless, an all-in-1 solution to make the process as smooth as possible for the user so that they don't have to write emails, don't have to think wheth
https://elsayedahmed1958.blogspot.com