nowfound

Dev tools · August 5, 2019

Rget verify GitHub releases against a public recorded cryptographic log

Attacks that introduce malicious modifications to software are seemingly on the rise.

Rget verify GitHub releases against a public recorded cryptographic log launched on August 5, 2019 with 22 votes, #790 of 3,185 launches that month and more than 75% of that year's launches. The site was still online in September 2026, 7 years on.

In plain words

Rget is a developer tool that verifies GitHub releases against a public recorded cryptographic log. It helps developers ensure the authenticity and integrity of software releases by cross-referencing them with cryptographic records. The tool is designed for developers who need to validate that GitHub releases haven't been tampered with or altered after publication.

written from the facts on this page · September 2026

From the sources

Attacks that introduce malicious modifications to software are seemingly on the rise. In the Open Source Software ecosystem a number of recent attacks have shown that seemingly trusted distribution points are at risk of distributing undetected modification to users. The general pattern is that an attacker gets access to code repositories, package managers, and/or file servers via a misplaced credential, weak password, or less commonly, an exploit. These attacks could happen to nearly any project but a few recent examples include strong_password ruby gem , Canonical’s GitHub , Purescript Installer , Linux Mint . The goal of rget ( take me to the code already ) is to help both users and…from merklecounty.substack.com

Does a similar job

all alternatives →
  • A simple Go web server with logging, tracing, health check2018 · gist.github.com · ▲318

    GitHub Gist: instantly share code, notes, and snippets.

  • WS
    We scaled Git to support 1 TB repos2022 · xethub.com · ▲279

    I’ve been in the MLOps space for ~10 years, and data is still the hardest unsolved open problem. Code is versioned using Git, data is stored somewhere else, and context often lives in a 3rd location like Slack or GDocs. This is why we built XetHub, a platform that enables teams to treat data like code, using Git. Unlike Git LFS, we don’t just store the files. We use content-defined chunking and Merkle Trees to dedupe against everything in history. This allows small changes in large files to be stored compactly. Read more here:…

  • Keep – GitHub Actions for your monitoring tools2023 · github.com · ▲181

    Hi Hacker News! Shahar and Tal from Keep here. A few months ago, we introduced here at HN (https://news.ycombinator.com/item?id=34806482) Keep as an “open source alerting CLI” and got some interesting feedback - mainly around UI, automation, and supporting more tools. We were VERY early back then, and we understood that although the current DX around creating alerts is not great, it's not that critical and developers don’t need another tool just for that. But we did find something else. While talking to developers and devops, we found that a lot of companies use many tools…

  • GA
  • I'm Creating a GitHub Repo Quality Bot2018 · github.com · ▲58

    :cop: GitHub Bot For Validating Pull Request Mergability Requirements and Issues Structure - Schachte/Git-Enforcer

  • CommitCheck2019 · github.com · ▲67

    Consistent GitHub commit messages, PR titles & descriptions

More dev tools this month

the category →
  • /dev/null▲490

    a social network for devs

    Dev tools · 3d ago · dev-null.sh

  • open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

    Dev tools · 28d ago · github.com

  • Contribute to reladraw/reladraw development by creating an account on GitHub.

    Dev tools · 26d ago · github.com

  • OpenBot▲362

    Grok Bot alternative: free, local, open-source, multiplayer

    Dev tools · 23d ago · openbot.run

  • Talanoa▲346

    Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

    Dev tools · 21d ago · talanoa.email

  • CoreSpeed▲332

    One MCP for everything your agents need: apps, memory, tools

    Dev tools · 29d ago · corespeed.io

Source: Show HN post ↗

Launched alongside, August 2019

the whole month →
  • View 100s of startup pitch decks or submit your own.

    Growth · 2019 · startupdecks.co

  • Dashblock▲696

    Turn any website into an API

    Dev tools · 2019

  • ⬛️ CLI tool and library for saving complete web pages as a single HTML file - Y2Z/monolith

    Dev tools · 2019 · github.com

  • Get waves▲602

    A simple web app to generate svg waves, unique every time

    Dev tools · 2019 · getwaves.io

  • The easiest way to scrape the internet.

    Dev tools · 2019

  • A gallery of real world marketing examples

    Growth · 2019 · marketingexamples.com