Wednesday, 22 June 2022
Show HN: VSCode extension that allows you to find and add links to your Markdown https://bit.ly/3n8r7dl
Show HN: VSCode extension that allows you to find and add links to your Markdown https://bit.ly/3OhTC45 June 23, 2022 at 03:48AM
Show HN: Shopify's headless commerce stack now GA (Hydrogen and Oxygen) https://bit.ly/3Oh85x4
Show HN: Shopify's headless commerce stack now GA (Hydrogen and Oxygen) https://bit.ly/3bhOL4m June 22, 2022 at 11:28PM
Show HN: Pragmatic Formal Modeling (Tutorial series with runnable examples) https://bit.ly/3Om28PO
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://bit.ly/3Oq15hg June 22, 2022 at 06:43PM
Show HN: Fluid Simulation that I created. Any tips for improvement https://bit.ly/3Nqlged
Show HN: Fluid Simulation that I created. Any tips for improvement https://bit.ly/3Ot6ggo June 22, 2022 at 08:08AM
Tuesday, 21 June 2022
Show HN: PyCircTools – A Python library to create circuits https://bit.ly/3yaQq4J
Show HN: PyCircTools – A Python library to create circuits PyCircTools is a python library that allows any programmer to create circuits with it. It is currently a work in progress and as for today, v0.0.3 is the most recent release. It just has logic gates, custom exceptions and tests for now, but the library will be updated with more content, so check back on it back to see new additions! https://bit.ly/3zPWaCd June 21, 2022 at 10:41PM
Show HN: A simple website to show how NFTs are stored https://bit.ly/3N4OAqk
Show HN: A simple website to show how NFTs are stored https://bit.ly/3Ot0knF June 22, 2022 at 12:41AM
Show HN: Hacker Blues https://bit.ly/3xC6w5W
Show HN: Hacker Blues https://bit.ly/3y6DuNh June 21, 2022 at 11:12PM
Show HN: I built a fun, free tool to help you build in public https://bit.ly/3Otzo77
Show HN: I built a fun, free tool to help you build in public https://bit.ly/3QDT8qL June 21, 2022 at 02:17PM
Show HN: Free Datasets for Spatial Engineers and Location Analysts https://bit.ly/3bcqmgy
Show HN: Free Datasets for Spatial Engineers and Location Analysts location data providers are often in the press with negative headlines. Those services aggregate movement data from apps and aggregate the data to derive movement patterns which might be helpful for marketers. In fact, I had two moments in my life where I evaluated a PoC with those location data brokers. They were all shady about where the data comes from which is important to understand the Bias of the data. I never got a good answer. The data often just represented < 0.4% of the population (at least in Europe - different game in the USA). For a big city they might have 20K unique users while in the city were more than 3M users living. They dismiss any professional data analytics principle. The data comes in CSV (if a lot of data they give you like 10 separate files). Data was not always plausible in itself Those experiences brought me to build certain parts of those data brokers but only with open-source data: If it is about location data you should know OpenStreetMap. It's the biggest Database with meta info on location. It's not perfect but big companies like Mapbox, Apple, and Microsoft rely on it. Since the API is kind of messy, you can load with this repository whole cities information smoothly into a PostGres --> https://bit.ly/3Oc12Ga Googe Popular Times: Movement data can be also found on Google. When you search a location it is often shown how frequently a place was visited on an hourly-daily basis (on an index of 0-100). With this libary you can access all the Popular Times data for location and entire cities --> https://bit.ly/3tRVdWh Global Admin Boundaries: A huge problem that often people feel when working with location data is aggregating the data into different geo-based slices (country level, admin level, or even smaller into sub-districts). Here is a repo that cleaned the data out of Open Street Map for geo boundaries worldwide from very broad to a very small granularity --> https://bit.ly/3OrE0uz I think with those Open Source Tools and some data science magic you can generate similar outcomes as those location data providers but totally anonymized and free. Would be awesome if anybody is interested in building a case around it :-) June 21, 2022 at 12:35PM
Show HN: Writing a simple Tcl interpreter in Golang https://bit.ly/3HIvEg8
Show HN: Writing a simple Tcl interpreter in Golang https://bit.ly/3bkpUwZ June 21, 2022 at 10:44AM
Show HN: Weld – ETL, Reverse-ETL and SQL modelling all in one tool https://bit.ly/3QFiHYy
Show HN: Weld – ETL, Reverse-ETL and SQL modelling all in one tool https://bit.ly/3QDKlVu June 21, 2022 at 09:47AM
Monday, 20 June 2022
Show HN: Markwhen: Markdown for Timelines https://bit.ly/3tJwhjy
Show HN: Markwhen: Markdown for Timelines https://bit.ly/3QxCoBi June 20, 2022 at 03:39PM
Show HN: Designing Design System Book https://bit.ly/3b7oJRb
Show HN: Designing Design System Book https://bit.ly/3OsUClK June 20, 2022 at 08:05AM
Show HN: A more powerful Crontab based on Kubernetes https://bit.ly/3HAuZ06
Show HN: A more powerful Crontab based on Kubernetes https://bit.ly/3n0yGm2 June 20, 2022 at 05:55AM
Show HN: Open-source structured data profiling library https://bit.ly/3N0ajQ8
Show HN: Open-source structured data profiling library https://bit.ly/3zNxlXo June 20, 2022 at 11:01AM
Show HN: Create Tours for Your GitHub Projects https://bit.ly/39Fabbe
Show HN: Create Tours for Your GitHub Projects https://bit.ly/3y0VXe1 June 20, 2022 at 09:26AM
Show HN: An open source web crawler for the Mwmbl non-profit search engine https://bit.ly/3n3NCjo
Show HN: An open source web crawler for the Mwmbl non-profit search engine https://bit.ly/3N4LSRM June 20, 2022 at 09:18AM
Sunday, 19 June 2022
Show HN: Open source GamePort adapter to connect old DB15 joysticks to USB port https://bit.ly/3OqXsHP
Show HN: Open source GamePort adapter to connect old DB15 joysticks to USB port https://bit.ly/3bbOHD0 June 19, 2022 at 08:10PM
Show HN: Mabel – a fancy BitTorrent client for the terminal https://bit.ly/3OqXHmd
Show HN: Mabel – a fancy BitTorrent client for the terminal https://bit.ly/3N6YR58 June 19, 2022 at 06:47PM
Show HN: The custom HTML element for interactive panoramas https://bit.ly/3zOrgKl
Show HN: The custom HTML element for interactive panoramas https://bit.ly/3bbOboS June 19, 2022 at 01:57PM
Subscribe to:
Posts (Atom)