Show HN: E-graphs and equality saturation in Haskell https://ift.tt/ucxC2ge

Show HN: E-graphs and equality saturation in Haskell https://ift.tt/N3McpEu August 28, 2022 at 12:18AM

Click here for more...
from #Bangladesh #News aka Bangladesh News Now!!!


Click here for more...
from #Bangladesh #News aka Bangladesh News Now!!!

Comments

Post a Comment

Popular posts from this blog

Monetize Fiber Services Better and Improve ROI with Top Telecom Billing Software

  Fiber internet connection has changed the way web services are utilized. With speeds in excess of 100 mbps, it is a revolutionary technology that is replacing the traditional copper wire connectivity. Subscribers are drawn towards this technology; however, not all telecom operators are able to monetize it in the best possible manner. There is a pressing need for next-gen telecom software solutions that come with backward compatibility. The Need for Backward Compatibility Fiber is a next-gen technology; however, it has to exist in a universe where copper wire and DSL connectivity is still a reality. Therefore, it needs to be backward compatible. Both the network technology and billing technology need to work with pre-existing infrastructure. So, it is vital that telcos have BSS and OSS software telecom along with relevant telecom billing software that work with older technologies. Flexible Monetization is Key Fiber offers a wide range of options for monetization. There ...
Read more

Show HN: Isitongamepass.gg https://ift.tt/JSKCUi0

Show HN: Isitongamepass.gg Xbox Game Pass is pretty amazing. However, the official website to list games is horrible. It takes forever to load, it's hard to navigate, and weirdly difficult to just look up if a game you care about is available on Game Pass. Enter https://ift.tt/1wft8Ux - a super fast site where you can look up the current Game Pass roster. My goals going into it were speed and easily accessible information. Each card has a game title, a poster image, and the set of platforms it's available on. If you click on a card, it opens up a details view that has links to the store page for the game as well as a description and availability details. This is something I put together in my free time and is the first website I've built (although I'm a professional software engineer) so I have no doubt there are some bugs. If you run into something, please comment here or send me a DM. Same goes if you have ideas for improvements! A couple other random things: Why are ...
Read more

Show HN: Open-source support bot for Discord https://ift.tt/Dji03cb

Show HN: Open-source support bot for Discord Many companies have a public Discord where people ask questions. Sometimes those questions are dumb and can be easily answered by reading the support documents. So we built a bot that does 3 things: 1. Uses FAISS to index public support documents provided as URLs 2. Monitors a Discord channel for questions, prefixed with !help 3. Responds to questions with its best guess of the right answer and cites its source document(s), using Data Augmented Generation from LangChain It won’t be right all of the time, but if people find it helpful we’ll make it better. Take a look at the repo and give us some suggestions of how to improve it, or put up a PR! Repo: https://ift.tt/Kfjx0qP Website: https://www.getbuff.io/ Demo: https://www.youtube.com/shorts/JPKW9tX0K9Y https://ift.tt/Kfjx0qP January 25, 2023 at 11:12PM Click here for more... from #Bangladesh #News aka Bangladesh News Now!!! Click here for more... from #Bangladesh #News aka Bangladesh...
Read more