Show HN: request_migrations – request and response migrations for Rails APIs https://ift.tt/et4Gf90

Show HN: request_migrations – request and response migrations for Rails APIs https://ift.tt/iNoDRmB June 24, 2022 at 03:13AM

Show HN: Translating DOOM from C to V via C2V, building under 1s and running it https://ift.tt/siAdlEy

Show HN: Translating DOOM from C to V via C2V, building under 1s and running it https://www.youtube.com/watch?v=6oXrz3oRoEg June 24, 2022 at 02:52AM

Show HN: In-depth photographic look at all the golf courses I play https://ift.tt/4rHqdby

Show HN: In-depth photographic look at all the golf courses I play I'm an avid golfer; it's my main hobby. I decided to start taking pictures of all the courses I play. While there's a lot of golf websites out there, none of them really try to document the courses in depth and look at each hole, along with the course facilities like the practice areas. I live in Chicago and am starting with the courses in this area (of which there are dozens of public courses to play). While I play golf, I take photos with my phone of every (relevant) aspect of the golf course I can think of. Then they're processed and organized on the website. Obviously I'm starting this journey on my own, and in that sense it's not scalable. I won't be able to visit all the courses in the US, let alone the world. I hope to find others that would like to contribute to the effort. At some point I'd like to add course news and histories to the site. Many golf courses in the US are over 100 years old and have rich histories. And of course many older courses exist in Europe. I also have started adding descriptions/commentary for each hole on courses. For example, see: https://ift.tt/qh34JHO... And maybe went a little overboard on this one: https://ift.tt/gQkU1yf... Anyway, it's a fun project and could go in a lot of directions. PS: I'm always looking to expand my golfing circle. If you're in Chicago and want to play sometime, hit me up -- contact details are on the website. https://ift.tt/eEJy1zD June 24, 2022 at 01:23AM

Show HN: Integrate ONDC with just a few lines of code https://ift.tt/OusLAZ4

Show HN: Integrate ONDC with just a few lines of code https://ift.tt/h7ZKSlP June 23, 2022 at 01:06PM

Show HN: VSCode extension that allows you to find and add links to your Markdown https://ift.tt/yoFzQpt

Show HN: VSCode extension that allows you to find and add links to your Markdown https://ift.tt/R30ljoZ June 23, 2022 at 08:18AM

Show HN: Shopify's headless commerce stack now GA (Hydrogen and Oxygen) https://ift.tt/XOIswlb

Show HN: Shopify's headless commerce stack now GA (Hydrogen and Oxygen) https://ift.tt/cVfn4g6 June 23, 2022 at 03:58AM

Show HN: Pragmatic Formal Modeling (Tutorial series with runnable examples) https://ift.tt/dEnjcyW

Show HN: Pragmatic Formal Modeling (Tutorial series with runnable examples) Formal modeling is a mathematical approach for designing and checking correctness of software systems. It focuses on standard software engineering and distributed systems problems of the sort programmers face every day. It takes a pragmatic engineering approach: each problem starts with UML diagrams, design decisions and sometimes even a requirements document. We work through how to get from a whiteboard design to an initial mathematical model. Then we refine it based on logical errors found by the model checker, which return with a level of detail unheard of in a standard debugger. Formal modeling is a skill every engineer should have in their toolbox. All the examples are downloadable, and their is a quick setup section at the start. Additionally, there is an explorable model error debugger build right into the website. https://ift.tt/lKh0dGc June 22, 2022 at 11:13PM