Show HN: Formally verified FPGA watchdog for AM broadcast in unmanned tunnels (github.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of github.com: Show HN: Formally verified FPGA watchdog for AM broadcast in unmanned tunnels

First screen, captured 8 months ago.

Looks similar

Screenshot of github.com: Zlob.h 100% POSIX and glibc compatible globbing lib that is faste and better

Zlob.h 100% POSIX and glibc compatible globbing lib that is faste and better (github.com)

17 points by neogoose 8 months ago | 10 comments

Screenshot of github.com: Janderland/fenv: FoundationDB development environment

Janderland/fenv: FoundationDB development environment (github.com)

12 points by surprisetalk 9 months ago | 4 comments

Screenshot of github.com: Show HN: Parqeye – A CLI tool to visualize and inspect Parquet files

Show HN: Parqeye – A CLI tool to visualize and inspect Parquet files (github.com)

135 points by kaushiksrini 11 months ago | 32 comments

Screenshot of github.com: Show HN: Code Claude Code

Show HN: Code Claude Code (github.com)

103 points by sean_ 1 year ago | 23 comments

Screenshot of github.com: Show HN: An AI zettelkasten that extracts ideas from articles, videos, and PDFs

Show HN: An AI zettelkasten that extracts ideas from articles, videos, and PDFs (github.com)

17 points by schoblaska 10 months ago | 1 comments

Screenshot of github.com: Show HN: Moribito – A TUI for LDAP Viewing/Queries

Show HN: Moribito – A TUI for LDAP Viewing/Queries (github.com)

89 points by woumn 1 year ago | 23 comments