Wednesday, July 26, 2023

Tuesday, July 25, 2023

Show HN: Shell AI – My Aggressively Minimal Open Source Assistant https://ift.tt/GiUCKyv

Show HN: Shell AI – My Aggressively Minimal Open Source Assistant https://ift.tt/vgqW3bG July 25, 2023 at 06:23PM

Show HN: I spent a weekend building a tool that lets you make LoRAs without code https://ift.tt/jkKs4XU

Show HN: I spent a weekend building a tool that lets you make LoRAs without code https://www.lorai.art/ July 26, 2023 at 04:29AM

Show HN: AI to analyze SEC filings (10-Ks, 10-Qs, etc.) of public companies https://ift.tt/3bxUNRO

Show HN: AI to analyze SEC filings (10-Ks, 10-Qs, etc.) of public companies https://cofinapp.com July 25, 2023 at 11:58PM

Show HN: RealAboutInstagram – a replica highlighting harmful strategies https://ift.tt/Gc3LCuq

Show HN: RealAboutInstagram – a replica highlighting harmful strategies Hello HN! I'm a creative technologist and recently decided to develop RealAboutInstagram, a replica of the current About page of Instagram replacing its content with their current harmful strategies used on the platform and the negative impacts of social media. The information on the website is extracted from resources such as the Digital Minimalism book by Cal Newport, Ted Talks, and many others that can be found in the footer. This is one of many projects for my career, and I appreciate anyone taking the time to read this and check out the website. You can check out my other projects at https://ift.tt/3Ln0za8 Thank you for your time! https://ift.tt/Xn0VGjK July 25, 2023 at 11:31PM

Monday, July 24, 2023

Show HN: Agent Protocol https://ift.tt/gMKDsjV

Show HN: Agent Protocol https://ift.tt/Zdh5csN July 25, 2023 at 02:28AM

Show HN: Twitter Logo Mad Fold-In https://ift.tt/Nifdko8

Show HN: Twitter Logo Mad Fold-In I've been watching Elon Musk's takeover of Twitter, and I've even been personally affected by it (negatively), so I wanted a way to vent using open-source software and some very basic art skills. I woke up yesterday with an idea in mind for a MAD Fold-In[1]. A MAD Fold-In is a piece of artwork on the inside-back cover of each issue of "MAD Magazine". The main image can be folded to reveal a hidden, secondary image. I wanted to share my interactive picture with others, but printing a fold-in and mailing it to friends with instructions seemed really hard, so I searched for a digital way to do it. I found a blog post[2] from Thomas Park where he already did 100% of the work necessary to make a MAD Fold-In using nothing but CSS and HTML and a normal PNG image. Using Inkscape and some Creative Commons images, I drafted a rough piece of artwork and tweaked it until the CSS folded it nicely. I wouldn't normally share here, but I think other HN readers may get some utility from seeing and trying out a purely CSS implementation of a MAD Fold-In, even if I didn't write the CSS myself. I'm hoping to start a trend where others make their own fold-ins. Moreover, Elon Musk picked today of all days to rebrand the Twitter logo as a unicode "X" character (๐•). So, the Twitter bird really _did_ die today, as happened in my MAD fold-in, making my post somewhat topical and weirdly apropos. If this post is too off-topic, please feel free to take it down. If it stays up, please let me know what you think. In the event my server goes down, I made a WayBack Machine archive of the site [3]. References: 1: https://ift.tt/oHZ67nB 2: https://ift.tt/BbgJpSZ... 3: https://ift.tt/imYN2e7... https://ift.tt/NzgGMC6 July 25, 2023 at 04:13AM

Show HN: An Open-Source Platform for Raspberry Pi with Robust OTA Updates https://ift.tt/YKFgLHR

Show HN: An Open-Source Platform for Raspberry Pi with Robust OTA Updates Over the last few weeks, I worked on a set of tools which enables (1) a modern workflow to build customized images for Raspberry Pi, (2) robust over-the-air updates with rollback support of the entire system, including firmware files, and (3) managed state which is preserved across reboots and updates. The goal is to have a reliable platform for creating Raspberry Pi-based products. The initial motivation for the project came from one of our customers who uses Raspberry Pi to control test benches for pedelecs. The entire project is open-source. Feel free to check it out and give it a try. The project is still in an early stage and I am eager to hear your thoughts and opinions. Also, feel free to ask any questions! :) https://ift.tt/TWByhsm July 24, 2023 at 06:57PM

Show HN: I built a robot that generates b-movie plots https://ift.tt/C9a3xw4

Show HN: I built a robot that generates b-movie plots It's hilarious. https://ift.tt/uaYpSHh July 25, 2023 at 01:43AM

Show HN: SiteOS – Website platform with CRM, email, and analytics https://ift.tt/0wxIhq4

Show HN: SiteOS – Website platform with CRM, email, and analytics The Demo URL is: https://ift.tt/kT9QBIe Info: https://ift.tt/2MaIjPG GitHub: https://ift.tt/OuktJN8 https://ift.tt/eMWam7I July 24, 2023 at 11:02PM

Show HN: TLA+ AutoRepair (with GPT-4) to fix formal specs and understand them https://ift.tt/EjyJItT

Show HN: TLA+ AutoRepair (with GPT-4) to fix formal specs and understand them TLA+ is a language for formal specification. It can be used to formally verify algorithms and mathematical theorems. Companies like AWS use it for verifying mission-critical parts of systems like S3. The challenge is that TLA+ and formal specifications have a steep learning curve. This tool can aid in overcoming this obstacle at the outset. TLA+ AutoRepair is used to repair/self-heal formal specifications with GPT-4 in a loop, with or without human intervention. Given a TLA+ specification (.tla file) and a model to check (.cfg), the application will go through each error, send it to GPT-4 (or specified model), and fix all errors. Finally, it will document the code to make it more readable. Example Command: python3 autorepair.py Test_Specs/Counter.tla --model=gpt-4 https://ift.tt/kshD6MO July 24, 2023 at 11:13PM

Show HN: Borgo – a Rusty language that compiles to Go https://ift.tt/6qx1Nl9

Show HN: Borgo – a Rusty language that compiles to Go Hey HN Borgo is a programming language I've been working on for the past year. It looks like Rust (because I didn't want to write a parser) and compiles to Go. What I want from a programming language is: - Sum types - Pattern matching - Option/Result types - Garbage collected - Concurrency without async - Good third-party package ecosystem Borgo is my attempt at filling the gaps in the list above, adding features seen in ML-like languages to Go. One ambitious goal of this project is to be compatible with existing Go packages. Generating bindings is pretty much automatic (there's an importer tool) and should help massively with adoption. The repo includes bindings to some packages in the stdlib already. The compiler is in no way complete, but you can definitely build some interesting programs with it. The online playground runs the compiler as a WASM binary, stitches together the transpiled Go code and sends it off for execution to the official Go playground. The playground contains quite a few examples and goes more in depth into each feature: https://ift.tt/43b5tCX Would appreciate any feedback! :) https://ift.tt/43b5tCX July 24, 2023 at 06:52PM

Show HN: Free Threads Video Downloader https://ift.tt/di6XIu8

Show HN: Free Threads Video Downloader https://ift.tt/XucZPdf July 24, 2023 at 02:03PM

Show HN: I Created a Amazon Price Comparison Extension That Saves You $$$ https://ift.tt/AnkPGW9

Show HN: I Created a Amazon Price Comparison Extension That Saves You $$$ I was fed up of habit shopping from Amazon. So I created a Chrome Extension that allows you to easily, compare from every major retailer, whilst still browsing Amazon. Any feedback is welcomed :) https://ift.tt/iyb3fQo July 24, 2023 at 04:35PM

Sunday, July 23, 2023

Show HN: My Pen Plotting Journey https://ift.tt/60GTgqA

Show HN: My Pen Plotting Journey https://ift.tt/uxkXI5b July 24, 2023 at 07:27AM

Show HN: Configurable Pirate Insult Generator https://ift.tt/96r8pnT

Show HN: Configurable Pirate Insult Generator Arr HN! I had a need for pirate themed insults for a D&D campaign last year and put together a generator using recursive templating. Generations are scored on a couple axes (vulgarity, viciousness, intelligence) so the output can be tailored to a particular situation. There isn't any AI at work here. I have a new blog post with a lot more detail on how it works: https://ift.tt/8x1DAuX https://ift.tt/jCZyqIh July 23, 2023 at 10:26PM

Show HN: Images in Neovim https://ift.tt/zpfwFB5

Show HN: Images in Neovim This is a hack I've been thinking about and experimenting with on and off for many years, and after working on the current iteration for about a month or so it reached a point where it really is usable. Is it silly? Is it something we're not supposed to do? Is it a lot of work for something small? Yes, but we're hackers, this is what we like to do. https://ift.tt/Z2FoT0s July 23, 2023 at 02:04PM

Show HN: StratusGFX – new release of my open sourced 3D rendering engine https://ift.tt/bPUXHiw

Show HN: StratusGFX – new release of my open sourced 3D rendering engine Today I was able to release version 0.10 of my open sourced 3D rendering engine. It is the result of a few months worth of work. The previous version was also posted here and received tons of feedback which greatly helped the project! Since then I've been working to add new features and refine existing ones. GitHub: https://ift.tt/uxLq4sS Video showreel: https://www.youtube.com/watch?v=dj0wVxwd1ng The biggest changes for this version include an overhauled global illumination system, FXAA+TAA, and better mesh LOD generation and selection. https://ift.tt/0jebPtd July 23, 2023 at 12:29PM

Show HN: Scaffolder, CLI tool to generate project structure, taken from YAML https://ift.tt/lWUnzIK

Show HN: Scaffolder, CLI tool to generate project structure, taken from YAML Scaffolder is a CLI tool written in Golang to instantly generate skeleton project structure with boilerplate code, that's taken from configurable YAML file, to quickly kick-start your project I was tired of manually creating the project structure, with all those folder, files... So I decided to create a CLI tool that allows you to instantly generate skeleton projects, based on a reusable YAML file with boilerplate code if specified. YAML is very easy for both humans and programs to work with and parse, hence why it's the most logical choice in context of Scaffolder. Check out the GitHub page for detailed description and examples :) https://ift.tt/DpgATdq July 23, 2023 at 01:18PM

Saturday, July 22, 2023