Show HN: Continue (YC S23) – Open-source coding autopilot https://ift.tt/PnvFWaE

Show HN: Continue (YC S23) – Open-source coding autopilot Hi HN, we’re Nate and Ty, co-founders of Continue, an open-source autopilot for software development built to be deeply customizable and continuously learn from development data. It consists of an extended language server and (to start) a VS Code extension. Our GitHub is https://ift.tt/FElIWnC . You can watch a demo of Continue and download the extension at https://continue.dev — — — A growing number of developers are replacing Google + Stack Overflow with Large Language Models (LLMs) as their primary approach to get help, similar to how developers previously replaced reference manuals with Google + Stack Overflow. However, existing LLM developer tools are cumbersome black boxes. Developers are stuck copy/pasting from ChatGPT and guessing what context Copilot uses to make a suggestion. As we use these products, we expose how we build software and give implicit feedback that is used to improve their LLMs, yet we don’t benefit from this data nor get to keep it. The solution is to give developers what they need: transparency, hackability, and control . Every one of us should be able to reason about what’s going on, tinker, and have control over our own development data. This is why we created Continue. — — — At its most basic, Continue removes the need for copy/pasting from ChatGPT—instead, you collect context by highlighting and then ask questions in the sidebar or have an edit streamed directly to your editor. But Continue also provides powerful tools for managing context. For example, type ‘@issue’ to quickly reference a GitHub issue as you are prompting the LLM, ‘@README.md’ to reference such a file, or ‘@google’ to include the results of a Google search. And there’s a ton of room for further customization. Today, you can write your own - slash commands (e.g. ‘/commit’ to write a summary and commit message for staged changes, ‘/docs’ to grab the contents of a file and update documentation pages that depend on it, ‘/ticket’ to generate a full-featured ticket with relevant files and high-level instructions from a short description) - context sources (e.g. GitHub issues, Jira, local files, StackOverflow, documentation pages) - templated system message (e.g. “Always give maximally concise answers. Adhere to the following style guide whenever writing code: ”) - tools (e.g. add a file, run unit tests, build and watch for errors) - policies (e.g. define a goal-oriented agent that works in a write code, run code, read errors, fix code, repeat loop) Continue works with any LLM, including local models using ggml or open-source models hosted on your own cloud infrastructure, allowing you to remain 100% private. While OpenAI and Anthropic perform best today, we are excited to support the progress of open-source as it catches up ( https://ift.tt/VLuOAYF... ). When you use Continue, you automatically collect data on how you build software. By default, this development data is saved to `.continue/dev_data` on your local machine. When combined with the code that you ultimately commit, it can be used to improve the LLM that you or your team use (if you allow). You can read more about how development data is generated as a byproduct of LLM-aided development and why we believe that you should start collecting it now: https://ift.tt/7vBWEON... Continue has an Apache 2.0 license. We plan to make money by offering organizations a paid development data engine—a continuous feedback loop that ensures the LLMs always have fresh information and code in their preferred style. — — — We’d love for you to try out Continue and give us feedback! Let us know what you think in the comments : ) https://ift.tt/FElIWnC July 26, 2023 at 11:34PM

Show HN: I built a monitor for AMC movie tickets https://ift.tt/YFiTlCr

Show HN: I built a monitor for AMC movie tickets Reverse engineered the AMC GraphQL API to monitor for tickets to Oppenheimer, but the code should be fairly easy to modify to monitor other movies / formats / theatres. This was just a fun weekend project between a concert, Yankees game, and seeing the movie myself. I'm monitoring AMC Lincoln Square over at https://twitter.com/OppenheimerTix if you live in or near NYC and want to see the movie in 70MM, which I would highly recommend. https://ift.tt/65XYUSd July 27, 2023 at 01:12AM

Show HN: A glTF to HTML5 Zip Converter https://ift.tt/QPp21tf

Show HN: A glTF to HTML5 Zip Converter For everyone graphically and visually talented people there's now a converter that lets you render gltf 3d models in a web site of your choice. How it works is that you post your gltf model to a hosting space of your choice, and let our web service know the url to the gltf file. Then web service generates a zip file that has 3d engine included and unzipping it to your hosting space directory (again the same operation) lets you display the 3d model in a web page. Final touches come with ordinary embed tag which just need to find the index.html that was stored in the zip file and specify the size of the canvas with width/height tags. Embed allows you to include instance of 3d engine to your own articles and web pages. https://ift.tt/Pqs2N3C July 26, 2023 at 10:14AM

Show HN: I built a multiplayer Gameboy https://ift.tt/yo8ltqT

Show HN: I built a multiplayer Gameboy Still very much a work in progress, but really wanted to share this even in it's early state. Had heaps of fun building it to learn more about WebRTC. https://ift.tt/Th4N35j July 26, 2023 at 05:03PM

Show HN: Django Admin Site Customization Tutorial https://ift.tt/XiRubZn

Show HN: Django Admin Site Customization Tutorial https://ift.tt/HOenjvI July 26, 2023 at 05:07PM

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

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

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